パイプラインRAM一貫性 (またはFIFO一貫性)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/29 18:38 UTC 版)
「一貫性モデル (ソフトウェア)」の記事における「パイプラインRAM一貫性 (またはFIFO一貫性)」の解説
詳細は「PRAM一貫性」を参照 パイプラインRAM整合性(PRAM整合性)は、1988年にLiptonとSandbergによって最初に記述された一貫性(整合性)モデルの1つとして発表された。非公式な定義のため、実際には少なくとも2つの微妙に異なる実装があり、1つはAhamadらによるもの、もう1つはMosbergerによる。 PRAM一貫性では、すべてのプロセスが、あるプロセスの操作を、そのプロセスが発行したのと同じ順序で見るが、異なるプロセスが発行した操作は、異なるプロセスから異なる順序で見ることができる。PRAMの一貫性は、プロセッサの一貫性よりも弱い。PRAMでは、ある場所へのコヒーレンスをそのプロセッサ全体で維持する必要性が緩和されている。ここでは、任意の変数への読み出しは、プロセッサ内で書き込みの前に実行することができる。このモデルでは、書き込み前の読み取り、読み取り後の読み取り、書き込み前の書き込みの順序は維持される。 SequenceP1P2P3P41W(x)1 2 R(x)1 3 W(x)2 4 R(x)1 R(x)2 5 R(x)2 R(x)1
※この「パイプラインRAM一貫性 (またはFIFO一貫性)」の解説は、「一貫性モデル (ソフトウェア)」の解説の一部です。
「パイプラインRAM一貫性 (またはFIFO一貫性)」を含む「一貫性モデル (ソフトウェア)」の記事については、「一貫性モデル (ソフトウェア)」の概要を参照ください。
- パイプラインRAM一貫性のページへのリンク