Согласованность 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
  Time ---->

Рис.: Действительная последовательность событий для согласованности PRAM.

Приведенная выше последовательность недопустима для причинной согласованности , поскольку W(x)1 и W(x)2 являются причинными, поэтому разные процессы должны читать ее в одной и той же последовательности.

Ссылки

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

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

[ 1 ]