Слабая консистенция - Weak consistency
Эта статья включает список литературы, связанное чтение или внешние ссылки, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты.Май 2017 г.) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
Название слабая консистенция может использоваться в двух смыслах. В первом смысле строгий и популярный, слабая консистенция один из модели согласованности используется в области параллельное программирование (например, в распределенная разделяемая память, распределенные транзакции так далее.).
Говорят, что протокол поддерживает слабую согласованность, если:
- Все обращения к переменным синхронизации видны всем процессам (или узлам, процессорам) в одном и том же порядке (последовательно) - это операции синхронизации. Доступы к критическим разделам видны последовательно.
- Все остальные обращения можно увидеть в разном порядке на разных процессах (или узлах, процессорах).
- Набор операций чтения и записи между разными операциями синхронизации одинаков в каждом процессе.
Следовательно, не может быть доступа к переменной синхронизации, если есть ожидающие операции записи. И не может быть запущена новая операция чтения / записи, если система выполняет какую-либо операцию синхронизации.
Во втором, более общем смысле слабая консистенция может применяться к любой модели согласованности слабее, чем последовательная последовательность.
Более строгое условие сильная последовательность, где параллельные процессы могут наблюдать только одно согласованное состояние.
использованная литература
- Оригинальная статья о слабом порядке: М. Дюбуа, К. Шойрих и Ф. А. Бриггс, Буферизация доступа к памяти в мультипроцессорах, в Трудах 13-го Ежегодного Международный симпозиум по компьютерной архитектуре 14, 2 (июнь 1986), 434-442.
- Сарита В. Адве, Марк Д. Хилл, Слабый порядок - новое определение, в материалах 17-го ежегодного Международный симпозиум по компьютерной архитектуре.
Эта компьютерная инженерия -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |