内存一致性模型
維基百科,自由的 encyclopedia
記憶體一致性模型描述的是程序在执行过程中記憶體操作正确性的问题。記憶體操作包括读操作和写操作,每一操作又可以用两个时间点界定:发出(Invoke)和响应(Response)。在假定没有流水线的情况下(即单个处理器内指令的执行是按顺序执行的),设系统内共有N个处理器,每个处理器可发出个記憶體操作(读或写),那么总共有:种可能的执行顺序。記憶體一致性模型描述的就是这些操作可能的执行顺序中哪些是正确的。
本條目存在以下問題,請協助改善本條目或在討論頁針對議題發表看法。
|