Dijkstra presented the mutual exclu

Dijkstra presented the mutual exclusion problem in [D65] where he first described Dekker’s two-process solution on the shared-memory model and then generalized it to n processes. His solution was not starvation-free. The first known solution that satisfied the progress property was due to Knuth [K66]. Peterson’s algorithm [P81] is the simplest two-process algorithm on the shared-memory model. His technique for generalization to the n-process case is applicable to the generalization of other two-process algorithms too. The bakery algorithm was first presented by Lamport in [L74] and later improved in [L79]. It is the only known algorithm that solves the mutual exclusion problem with- out assuming read–write atomicity—that is, when a read overlaps with a write, the read is allowed to return any value, but still the algorithm works correctly. However, the unbounded nature of the shared variable poses a practical limitation. Ben-Ari’s book [B82] contains a description of several well-known shared-memory algorithms for mutual exclusion.
Lamport’s message-passing algorithm for mutual exclusion is described in [L78]; Ricart and Agrawala’s algorithm can be found in [RA81]—a small correction was reported later. Carvalho and Roucairol [CR83] suggested an improvement of [RA81] that led to a mes- sage complexity between 0 and 2(n − 1). Maekawa’s algorithm appears in [M85], and it is the first such algorithm with sublinear message complexity. Sanders [S87] presented a general framework for all message-based mutual exclusion algorithms. Suzuki and Kasami’s algorithm [SK85] was developed in 1981, but due to editorial problems, its pub- lication was delayed until 1985. Raymond’s algorithm [R89] is the first algorithm with a message complexity of O(log n).
Joung [J98] introduced the group mutual exclusion problem. Hennessy and Patterson’s book [HP11] contains a summary of various synchronization primitives used by historical and contemporary processors on shared-memory architectures.

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

Dijkstra presented the mutual exclusion problem in [D65] where he first described Dekker’s two-process solution on the shared-memory model and then generalized it to n processes. His solution was not starvation-free. The first known solution that satisfied the progress property was due to Knuth [K66]. Peterson’s algorithm [P81] is the simplest two-process algorithm on the shared-memory model. His technique for generalization to the n-process case is applicable to the generalization of other two-process algorithms too. The bakery algorithm was first presented by Lamport in [L74] and later improved in [L79]. It is the only known algorithm that solves the mutual exclusion problem with- out assuming read–write atomicity—that is, when a read overlaps with a write, the read is allowed to return any value, but still the algorithm works correctly. However, the unbounded nature of the shared variable poses a practical limitation. Ben-Ari’s book [B82] contains a description of several well-known shared-memory algorithms for mutual exclusion.Алгоритм передачи сообщений Лэмпорт для взаимного исключения описаны в [L78]; Алгоритм Ricart и Agrawala его можно найти в [RA81] — небольшое исправление было сообщено позже. Карвалью и Roucairol [CR83] предложил улучшения [RA81], что привело к Мон Сейдж сложности от 0 до 2 (n − 1). Алгоритм Маэкава появляется в [M85], и это первый такой алгоритм с сложность Сублинейная сообщения. Сандерс [S87] представил общую основу для всех алгоритмов на основе взаимного исключения. Suzuki и Касами в алгоритм [SK85] был разработан в 1981 году, но из-за редакционных проблем, его паб его было отложено до 1985 года. Раймонд алгоритм [Р89] — первый алгоритм с сообщением сложности O (log n).Чжун [J98] представил проблему взаимного исключения группы. Хеннесси и Паттерсон в книге [HP11] содержит резюме различных примитивы синхронизации, используемые исторических и современных процессоров архитектуры общей памяти.

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

Дейкстра представил взаимную проблему исключения в [D65] , где он впервые описал решение двух процессов Деккера на модели разделяемой памяти , а затем перенесли его на п процессов. Его решение не было голодание свободной. Первое известное решение , которое удовлетворяет свойству прогресса было связано с Кнутом [K66]. Петерсона алгоритм [P81] это самый простой алгоритм два процесса на модели разделяемой памяти. Его техника для обобщения на случай п-процесс применим к обобщению других алгоритмов двух процессов тоже. Алгоритм хлебозавод был впервые представлен Лампорт в [L74] , а затем улучшилось в [L79]. Это единственный известный алгоритм , который решает проблему взаимного исключения без предполагая чтения-записи атомность-то есть, когда для чтения перекрывается с записью, чтение разрешено возвращать любое значение, но по- прежнему алгоритм работает правильно. Тем не менее, неограничен характер общей переменной представляет собой практическое ограничение. Книга Бен-Ари [B82] содержит описание нескольких хорошо известных алгоритмов с общей памятью для взаимного исключения.
Передачи сообщений алгоритм Лампорта для взаимного исключения описана в [L78]; Алгоритм Ricart и Агравала можно найти в работах [RA81] -a небольшая коррекция было сообщено позже. Карвалью и Roucairol [CR83] предложил улучшение [RA81] , что привело к сообще- сложности шалфея между 0 и 2 (п - 1). Алгоритм Маекава появляется в [М85], и это первый такой алгоритм со сложностью сублинеен сообщения. Сандерс [S87] представил общую основу для всех алгоритмов взаимного исключения на базе сообщений. Suzuki и Касами в алгоритм [SK85] был разработан в 1981 году, но из - за редакционных проблем, его публи- кация была отложена до алгоритма 1985. Раймонда [R89] это первый алгоритм с сложности для сообщений O (журнал N).
Joung [J98 ] ввел групповую проблему взаимного исключения. Hennessy и Паттерсона книга [HP11] содержит краткую информацию о различных примитивов синхронизации , используемых исторических и современных процессоров на архитектуре с общей памятью.