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

Согласованность PRAM (конвейерная память с произвольным доступом ), также известная как согласованность FIFO .

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

использованная литература