Memoires De Messire Du Val, Marquis De Fontenay-Mareuil, Volume 1 (French Edition)

Многопроцессорный вычислительный комплекс на основе коммутационной матрицы с симметричной обработкой...

Если значение семафора опускается ниже нулевой отметки, выполняющий операцию процесс приостанавливает свою работу; Операция типа V, увеличивающая значение семафора. Если значение семафора в результате операции становится больше или равно 0, один из процессов, приостановленных во время выполнения операции P, выходит из состояния приостанова; Условная операция типа P, сокращенно CP (co di io al P), уменьшающая значение семафора и возвращающая логическое значение "истина" в том случае, когда значение семафора остается положительным. Если в результате операции значение семафора должно стать отрицательным или нулевым, никаких действий над ним не производится и операция возвращает логическое значение "ложь". Определенные таким образом семафоры, безусловно, никак не связаны с семафорами пользовательского уровня. 3.3.2 Реализация семафоров Дийкстра показал, что семафоры можно реализовать без использования специальных машинных инструкций. Здесь представлены реализующие семафоры функции, написанные на языке Си. s ruc semaphore { i val; / замок - 1 элемент на каждый процессор / i las id; / идентификатор процессора, получившего семафор последним / }; i procid; / уникальный идентификатор процессора / i las id; / идентификатор процессора, получившего семафор последним / I i (semaphore) s ruc semaphore semaphore; { i i; for (i = 0; i < UMPROCS; i )> semaphore.val = 0; } Pprim(semaphore) s ruc semaphore semaphore; { i i,firs ; loop: firs = las id; semaphore.val = 1; forloop: for (i = firs ; i < UMPROCS; i )> { if (i == procid) { semaphore.val = 2; for (i = 1; i < UMPROCS; i )> if (i != procid 3.5.3 Алгоритм банкира Одна из причин, по которой этот алгоритм не используется в реальном мире широко – чтобы использовать его, операционная система должна знать максимальное количество ресурсов, в которых каждый процесс будет нуждаться когда-либо.