Алгоритм Лампорта взаимного исключения — различия между версиями
Sementry (обсуждение | вклад) м |
Sementry (обсуждение | вклад) м |
||
Строка 15: | Строка 15: | ||
* При получении release от другого потока, его запрос удаляется из очереди | * При получении release от другого потока, его запрос удаляется из очереди | ||
− | <tex>3 | + | Суммарно на каждую критическую секцию приходится <tex>3(N - 1)</tex> сообщение. |
Версия 18:25, 19 июня 2013
Алгоритм Лампорта взаимного исключения:
Каждый поток поддерживает очередь запросов на вход в критическую секцию. Приоритет – временная метка (часы с прямой зависимостью) (+ номер потока ?).
Когда поток хочет войти в критическую секцию, он:
- Добавляет свой запрос в свою очередь
- Посылает всем потокам запрос
- Ждет от них ответа
- Получив все ответы, ждет, когда он станет первым в своей очереди, и входит в критическую секцию
- Выйдя из критической секции, посылает всем сообщение release
Действия вне критической секции:
- При получении запроса от другого потока, запрос добавляется в очередь и запрашивающему потоку посылается ответ.
- При получении release от другого потока, его запрос удаляется из очереди
Суммарно на каждую критическую секцию приходится
сообщение.