内存一致性模型 記憶體一致性模型描述的是程序在执行过程中記憶體操作正确性的问题記憶體操作包括读操作和写操作每一操作又可以用两个时间点界定发出Invoke和响应Response在假定没有流水线的情况下即单个处理器内指令的执行是按顺序执行的设系统内共有N个处理器每个处理器可发出 s n    n  N  displaystyle snnleq N 个記憶體操作读或写那么总共有   n   n  N s n    n   n  N s n  displaystyle frac sum nnNsnprod nnNsn 种可能的执行顺序記憶體一致性模型描述的就是这些操作可能的执行顺序中哪些是正确的