302
правки
Изменения
→Алгоритмы взаимного исключения
'''waitnig'''
#Секция <tex>doorway</tex> должны быть <tex>wait free</tex>, то есть выполняться за конечное число шагов, независимо от других потоков.
#Секция <tex>waiting</tex> должна выполнять условие: Если <tex>DW_i \rightarraow Rightarrow DW_j</tex>, то <tex>res(WT_i) \rightarraow Rightarrow res(WT_j)</tex>.
===Алгоритм Лампорта (вариант <tex>2</tex>)===
