Последовательная согласованность
-
Определение последовательной согласованности
- Последовательная согласованность описывает модель согласованности в параллельных вычислениях.
- Результат выполнения программы на одном процессоре совпадает с последовательностью выполнения на всех процессорах.
- Порядок выполнения операций на разных процессорах не определен, но сохраняется между одинаковыми операциями на разных процессорах.
-
Пример последовательной согласованности
- В примере A1 выполняется перед B1 и B1 перед C1, но порядок выполнения между процессорами B2 и C1 не определен.
-
Концепция глобальной памяти и коммутатора
- Существует единая глобальная память, к которой подключаются процессоры через коммутатор.
- Каждый процессор выполняет операции с памятью в программном порядке, а коммутатор обеспечивает сериализацию операций.
-
Сравнение с строгой согласованностью
- Последовательная согласованность слабее строгой согласованности, которая требует, чтобы операции отображались в порядке их выполнения.
-
Дополнительные термины
- Упоминаются параллельная структура данных, линеаризуемость и сериализуемость.
-
Рекомендации
- Статья содержит рекомендации, но они не выделены в тексте.