Изменения

Перейти к: навигация, поиск

Алгоритмы взаимного исключения

96 байт убрано, 20:05, 30 сентября 2018
Алгоритм Лампорта (вариант 1)
Когда поток заканчивает работу в критической секции, он освобождает номер ''n'' и выходит из критической секции.
Ключевое свойство: если поток <tex>P</tex> выполнил <tex>doorway (DW)</tex> до потока <tex>Q</tex>, то у него более ранний номер очереди.=====Псевдокод=====
'''threadlocal int''' id <font color=green>// 0 to N-1</font>
want[id] = false
Обладает свойством первый пришел, первый обслужен (<tex>FCFS</tex>). Это сильнее чем линейное ожидание, cамое сильное свойство прогрессаза счет того, что поток <tex>P</tex> выполнивший <tex>doorway (DW)</tex> до потока <tex>Q</tex>, имеет более ранний номер в очереди.
===Алгоритм Лампорта (вариант <tex>2</tex>)===
302
правки

Навигация