Shared-memory solutions to the mutu

Shared-memory solutions to the mutual exclusion problem using read–write atomicity proved to be a fertile area of research and have been extensively studied. Joung’s group mutual exclusion problem [J98] added a new twist to this problem by allowing a number of processes interested in the same forum to concurrently enter their CSs. This is relevant for computer-supported cooperative work.
Computer architects however decided to make the CS algorithms less painful by introducing special instructions in the instruction set. In addition to TS and (LL, SC) discussed in this chapter, there are other instructions like compare-and-swap (CAS) or fetch-and-add (FA) to facilitate process synchronization. A well-known software construct for process synchronization is semaphore. A semaphore s is a nonnegative shared integer variable that allows two atomic operations: P(s) ≡ 〈s > 0 → s: = s − 1〉 and V(s) ≡ 〈s: = s + 1〉. Semaphores can be implemented using atomic read–write operations or more easily using special instructions like TS or CAS or LL/SC.
In both shared-memory and message-passing solutions to mutual exclusion, a desirable property is that no process that is outside its CS should influence the entry of another process into its CS. As a consequence, the following n-process solution (on the shared-memory model) is considered unacceptable:

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

Общая память решения проблемы взаимного исключения с помощью чтения записи атомарность оказалась плодородной области научных исследований и были обстоятельно изучены. Проблемы взаимного исключения групп стволов в [J98] добавлен новый поворот к этой проблеме, позволяя ряду процессов, заинтересованных в том же форуме, одновременно ввести их CSs. Это актуально для компьютера поддерживает совместную работу.Компьютерные архитекторы однако решили сделать алгоритмы CS менее болезненным путем введения специальных инструкций в набор инструкций. В дополнение к TS и (LL, SC) рассмотреть в этой главе, есть другие инструкции, как сравнить и swap (CAS) или fetch и добавить (FA) для облегчения процесса синхронизации. Известного программного обеспечения для процесса синхронизации является семафором. Семафор s является неотрицательное общей целочисленной переменной, которая позволяет двум атомарные операции: P(s) ≡ 〈s > 0 → s: = s − 1〉 и V(s) ≡ 〈s: = s + 1〉. Семафоры могут быть реализованы с помощью атомарных операций чтения записи или более легко, используя специальные инструкции как TS или CAS или LL/СК.В общей памяти и передачи сообщений решений для взаимного исключения желательно свойство является, что не процесс, который находится вне его CS должна влиять на запись другого процесса в его CS. Как следствие следующие n процесса решения (на модели общей памяти) считается неприемлемым:

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

Решения с разделяемой памятью к взаимной задаче исключения , используя для чтения-записи атомарность оказался благодатной областью исследований и были тщательно изучены. Группа взаимоисключение проблема Joung в [J98] добавлен новый поворот к этой проблеме, позволяя ряд процессов , заинтересованных в том же форуме , чтобы одновременно ввести их CSs. Это относится к компьютерной поддержке совместной работы.
Компьютерные архитекторы , однако решили сделать алгоритмы CS менее болезненным путем введения специальных инструкций в наборе команд. В дополнение к TS и (LL, SC) , обсуждаемом в этой главе, существуют и другие инструкции , как сравнение с обменом (CAS) или выборки и добавления (FA) для облегчения синхронизации процесса. Хорошо известная конструкция программного обеспечения для синхронизации процесса является семафора. Семафор s является неотрицательным общим целой переменной , что позволяет двум атомарные операции: P (s) ≡ <s> 0 → s: = s - 1> и V (s) ≡ <s: = s + 1>. Семафоры могут быть реализованы с помощью операции атомно для чтения-записи или более легко , используя специальные инструкции , такие как TS или CAS или LL / SC.
В обоих разделяемой памяти и передачи сообщений решения для взаимного исключения, желательным свойством является то , что нет никакого процесса , который находится вне его CS должно влиять на запись другого процесса в его CS. Как следствие, решение следующих п-процесса (на модели с разделяемой памятью) считается неприемлемым:

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

общая память решений для взаимного отчуждения проблему, используя читать - писать атомарность оказалась благодатной область исследований и обстоятельно изучить.чжун группы взаимного отчуждения проблему [j98] добавил новый поворот в этой проблемы, позволяя целый ряд процессов, заинтересованным в том же форуме, одновременно их CSS.это относится к компьютер поддерживает совместную работу.компьютер, архитекторов, однако решил сделать CS алгоритмов менее болезненным путем включения специальных инструкций в набор команд.в дополнение к тс и (мр, SC), рассматриваемых в настоящей главе, существуют другие инструкции, как сопоставить и обмена (кас) или получить и добавить (фа) для облегчения процесса синхронизации.известный программное обеспечение строительства для синхронизации процессов является семафор.семафор, S - неотрицательное разделяет целое переменная, которая позволяет двум атомарные операции: P (S) ≡ 〈 S > 0 - S = S - 1 〉 и V (S) ≡ 〈 S = S + 1 〉.семафоры, могут быть реализованы, использующих атомную читать - писать операций или более легко, используя специальные инструкции, как тс или кас или мр /.в общей памятью и передачи сообщений решений для взаимного отчуждения, желательно собственности заключается в том, что никакого процесса, что находится за пределами ее CS должны влиять на позиции другого процесса, в ао.как следствие, после n-process решение (о совместной модель памяти) считается неприемлемым: