Последовательность PRAM - PRAM consistency
Последовательность PRAM (конвейерный оперативная память ) также известный как ФИФО последовательность.
Все процессы видеть объем памяти пишет из одного процесса в том порядке, в котором они были отправлены из процесса.[1]
Записи из разных процессов могут отображаться в разном порядке в разных процессах. Только порядок записи должен быть последовательный, таким образом, имя конвейерныйСогласованность .PRAM легко реализовать. Фактически это говорит о том, что нет никаких гарантий относительно порядка, в котором разные процессы видят записи, за исключением того, что две или более записи из одного источника должны поступать по порядку, как если бы они были в конвейере.
P1: W (x) 1 P2: R (x) 1W (x) 2 P3: R (x) 1R (x) 2 P4: R (x) 2R (x) 1 Время ---->
Рис. Допустимая последовательность событий для согласованности PRAM.
Приведенная выше последовательность не действительна для Причинная последовательность поскольку W (x) 1 и W (x) 2 являются причинными, поэтому разные процессы должны читать их в одной и той же последовательности.
Рекомендации
- ^ Липтон / Сандберг (1988). PRAM: масштабируемая разделяемая память.