7.6 Here is a description of Dekker

7.6 Here is a description of Dekker’s solution, the first known solution to the mutual exclusion algorithm for two processes:
Check if the solution satisfies the necessary liveness and safety properties, and provide brief arguments.
7.7 Consider the following two-process mutual exclusion algorithm:

Результаты (русский) 1:

7.6 вот описание Деккера решения, первое известное решение для алгоритма взаимного исключения для двух процессов:Проверьте, если решение удовлетворяет необходимым живучесть и свойства безопасности и предоставляют краткие аргументы.7.7 рассмотрим следующие два процесса взаимного исключения алгоритм:

Результаты (русский) 2:

7.6 Ниже приводится описание решения Деккера, первое известное решение алгоритма взаимного исключения для двух процессов:
Проверьте , если решение удовлетворяет необходимым живучести и безопасности свойств, а также дать краткие аргументы.
7.7 Рассмотрим следующий два процесса алгоритм взаимного исключения: