Арифметическо-логическое устройство процессов содержит конвейер команд, состоящих из N видов функциональных устройств и обеспечивающий выполнение Мразличных команд (п. 2.3.1). Некоторые функциональные устройства могут дублироваться, в этом случае они работают параллельно. При поступлении из ОЗУ команды определенного типа конвейер настраивается на ее выполнение и пропускает операнды последовательно через все функциональные устройства. Если следующие команды имеют тот же тип, то конвейер не перестраивается, а выполняет их в прежнем режиме, загружая последовательно все функциональные устройства. При поступлении команды другого типа ее выполнение блокируется до тех пор пока не будет завершено выполнение предыдущих команд, и конвейер не освободится. После этого происходит перестройка, конвейера на новый тип команд и работа по описанному выше алгоритму.
Принятые допущения:
1. Конвейер рассматривается как простая очередь (рис. 4.1), образованная функциональными устройствами (с учетом их дублирования);
2. При прохождении команд через дублированные функциональные устройства не должна нарушаться их очередность - правило FIFO.
3. Необходимо составить начальную маркировку, соответствующую тестовой последовательности команд.
