Последовательность 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 являются причинными, поэтому разные процессы должны читать их в одной и той же последовательности.

Рекомендации

  1. ^ Липтон / Сандберг (1988). PRAM: масштабируемая разделяемая память.