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

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

Каждый поток поддерживает очередь запросов на вход в критическую секцию. Приоритет – временная метка (векторные часы) (+ номер потока ?).

Когда поток хочет войти в критическую секцию, он:

1. Добавляет свой запрос в свою очередь
2. Посылает всем потокам запрос
3. Ждет от них ответа
4. Получив все ответы, ждет, когда он станет первым в своей очереди, и входит в критическую секцию
5. Выйдя из критической секции, посылает всем сообщение release

Действия вне критической секции:

• При получении запроса от другого потока, запрос добавляется в очередь и запрашивающему потоку посылается ответ.
• При получении release от другого потока, его запрос удаляется из очереди

[math]3*(N -– 1)[/math] messages.