Пустой цикл

Cтраница 2

В силу теоремы 4.4, если переход f принадлежит пустому при Af0 циклу, то он никогда не сработает, так как его входное место, входящее в пустой цикл, никогда не получит фишки. Путь из цикла в синхрографе может начинаться только переходом. Поскольку в пустом цикле этот переход мертв, то и все остальные переходы пустого пути, начинающегося в пустом цикле, мертвы. [16]

Например, АЦП обычно требуют определенного времени с момента запуска до считывания измеренного значения. Часть работы системное программное обеспечение контроллера выполняет по прерываниям. Грамотно реализованная система исполнения нигде и никогда не использует пустые циклы ожидания готовности аппаратуры. Для прикладного программиста все эти детали не важны. Существенно только то, что значения входов обновляются автоматически исключительно в начале каждого рабочего цикла. [17]

В шине PCI используется централизованный арбитр. [19]

Шина предоставляется для одной транзакции, хотя продолжительность этой транзакции теоретически произвольна. Если устройству нужно совершить вторую транзакцию и ни одно другое устройство не запрашивает шину, оно может занять шину снова, хотя обычно между транзакциями нужно вставлять пустой цикл. Однако при особых обстоятельствах ( при отсутствии конкуренции на доступ к шине) устройство может совершать последовательные транзакции без пустых циклов между ними. Если линия сбрасывается, устройство должно освободить шину в следующем цикле. Такая система позволяет осуществлять очень длинные передачи ( что весьма рационально) при отсутствии конкуренции на доступ к шине, однако при этом она быстро реагирует на запросы шины, поступающие от других устройств. [20]

Несколько позднее Э. Л. Горель в работе О схемах Ннова с отношением конечной эквивалентности ( Кибернетика, № 5, 1971) построила полную схему аксиом для формальной эквивалентное, при которой не допускаются конфигурации бесконечной длины, но возможны конфигурации, завершающиеся пустым циклом. [21]

Страницы: 1 2