Mutual exclusion is a fundamental p

Mutual exclusion is a fundamental problem in concurrent programming and has been extensively studied under different contexts. Imagine that n users (n > 1) want to print data on a shared printer infinitely often. Since at most one user can print at any time, there should be a protocol for the fair sharing of that printer. As another example, consider a network of processes, where each process has a copy of a shared file F. To be consistent, all copies of F must be identical, regardless of how individual processes perform their read or write operations. Simultaneous updates of the local copies will violate the consistency of F. A simple way to achieve this is to give each process exclusive write access to its local copy of F during write operations and propagate all updates to the various local copies of F with the other processes, before any other process starts accessing its local copy. This shows the importance of studying the mutual exclusion problem. The problem can be generalized to the access of any shared resource on a network of processes. In multiprocessor cache coherence, at most one process has the right to update a shared variable. A well-known implementation of mutual exclusion is found in the CSMA/CD protocol used to resolve bus contention in Ethernets.
Most of the classical solutions to the mutual exclusion problem have been studied for shared-memory systems with read–write atomicity. In this chapter, we will examine both shared-memory and message-passing solutions. We begin with message-passing solutions.

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

Взаимное исключение является фундаментальной проблемой в параллельном программировании и широко изучается в различных контекстах. Представьте себе, что n (n > 1), пользователи бесконечно часто печатать данные на общем принтере. Поскольку в большинстве один пользователь может печатать в любое время, должен быть протокол для справедливого распределения этого принтера. В качестве другого примера рассмотрим сеть процессов, где каждый процесс имеет копию общего файла ф Чтобы быть последовательными, все копии F должны быть идентичными, независимо от того, как отдельные процессы выполняют их чтения или операции записи. Одновременное обновление локальных копий будет нарушать согласованность ф Простой способ добиться этого является дать каждому процессу эксклюзивный доступ на запись его локальную копию F во время операций записи и распространяются все обновления для различных локальных копий F с другими процессами, прежде чем любой другой процесс, начинает доступ к своей локальной копии. Это свидетельствует о важности изучения проблемы взаимного исключения. Проблема может быть обобщён для доступа к любому общему ресурсу в сети процессов. В многопроцессорных кэша согласованности в большинстве один процесс имеет право на обновление общей переменной. В протоколе CSMA/CD, используемый для разрешения конфликтов шины в Ethernets находится известный осуществление взаимного исключения.Большинство классических решений проблемы взаимного исключения были изучены для систем с общей памятью с атомарность чтения записи. В этой главе мы рассмотрим решения общей памяти и передачи сообщений. Мы начнем с передачи сообщений решений.

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

Взаимное исключение является одной из основных проблем в параллельном программировании и широко изучается в разных контекстах. Представьте себе , что п пользователей (п> 1) , которые требуется напечатать данные на общем принтере бесконечно часто. Так как в большинстве один пользователь может напечатать в любое время, должен быть протокол для справедливого распределения этого принтера. В качестве другого примера рассмотрим сеть процессов, где каждый процесс имеет копию общего файла F. Для того, чтобы быть последовательным, все копии F должны быть одинаковыми, независимо от того, каким образом отдельные процессы выполняют свои операции чтения или записи. Одновременные обновления локальных копий будет нарушать Консистенция F. Простой способ для достижения этой цели является предоставление каждому процессу эксклюзивный доступ на запись в свою локальную копию F во время операций записи и распространять все обновления различных локальных копий F с другой процессы, прежде чем любой другой процесс начинает доступ к его локальной копии. Это показывает важность изучения проблемы взаимного исключения. Проблема может быть обобщена на доступ к какой - либо общий ресурс на сети процессов. В многопроцессорной когерентности кэша, в лучшем случае один процесс имеет право обновлять общую переменную. Хорошо известно , реализация взаимного исключения содержится в протоколе CSMA / CD используется для разрешения шине в Ethernets.
Большинство классических решений взаимной проблемы исключения были изучены для систем с общей памятью с чтения-записи атомарностью. В этой главе мы рассмотрим как разделяемой памяти и передачи сообщений решений. Начнем с передачи сообщений решений.