Операционные системы распределенных вычислительных систем


Консистентность по входу. - часть 2


(2) Процесс не может захватить синхронизационную переменную в монопольном режиме (для модификации охраняемых данных), пока другой процесс, владеющий этой переменной (даже в немонопольном режиме), не освободит ее;

(3) Если какой-то процесс захватил синхронизационную переменную в монопольном режиме, то ни один процесс не сможет ее захватить даже в немонопольном режиме до тех пор, пока первый процесс не освободит эту переменную и будут обновлены текущие значения охраняемых переменных в процессе, запрашивающем синхронизационную переменную.

 

6.3.8           Сравнение моделей консистентности.

Различия между описанными моделями консистентности памяти определяются ограничениями моделей, простотой реализации и способами программирования. В приведенной ниже таблице определены отличительные характеристики описанных моделей консистентности памяти.

(а) Модели консистентности, не использующие операции синхронизации.

 

Консистентность

Описание

Строгая

Упорядочение всех доступов к разделяемым данным по абсолютному времени

Последовательная

Все процессы видят все записи разделяемых  данных в одном и том же порядке

Причинная

Все процессы видят все причинно-связанные  записи данных в одном и том же порядке

 Процессорная

PRAM-консистентность + когерентность памяти

PRAM

Все процессоры видят записи любого процессора в одном и том же порядке

 

 (б) Модели консистентности с операциями синхронизации.

Консистентность

Описание

Слабая

Разделяемые данные можно считать консистентными только после выполнения синхронизации

По выходу

Разделяемые данные становятся консистентными после выхода из критической секции

По входу

Связанные с критической секцией разделяемые данные становятся консистентными при входе в нее

 

6.4 Протоколы когерентности.

WRITE-INVALIDATE - всем владельцам копий сообщается о их недействительности.

WRITE-UPDATE - организуется обновление копий у всех владельцов.

Выбор определяется частотами чтений и записей, а также временами оповещения и обновления.




Начало  Назад  Вперед