PRAM_Consistency

PRAM consistency

PRAM consistency

Add article description


PRAM consistency (pipelined random access memory) also known as FIFO consistency.

All processes see memory writes from one process in the order they were issued from the process.[1]

Writes from different processes may be seen in a different order on different processes. Only the write order needs to be consistent, thus the name pipelined. PRAM consistency is easy to implement. In effect it says that there are no guarantees about the order in which different processes see writes, except that two or more writes from a single source must arrive in order, as though they were in a pipeline.

  P1:W(x)1 
  P2:       R(x)1W(x)2
  P3:                  R(x)1R(x)2
  P4:                  R(x)2R(x)1
  Time ---->

Fig: A valid sequence of events for PRAM consistency.

The above sequence is not valid for Causal consistency because W(x)1 and W(x)2 are causal, so different processes must read it in the same sequence.


References

  1. Lipton/Sandberg (1988). PRAM: a scalable shared memory.

Share this article:

This article uses material from the Wikipedia article PRAM_Consistency, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.