Sequential Consistency
释义 Definition(中文)
顺序一致性:一种并发/多处理器系统的内存一致性模型。它要求:所有线程(或处理器)观察到的内存读写结果,等价于把所有线程的操作按某个单一的全局顺序交错排列执行,并且每个线程自己的操作在这个全局顺序中仍保持其程序顺序不变。(在实际硬件/编译器中常有更弱的模型以换取性能。)
发音 Pronunciation(IPA)
/sɪˈkwenʃəl kənˈsɪstənsi/
例句 Examples
Sequential consistency makes it easier to reason about concurrent code.
顺序一致性能让我们更容易推理并发代码的行为。
On modern CPUs, you may need memory fences to ensure sequential consistency for a critical section across threads.
在现代 CPU 上,你可能需要使用内存栅栏(memory fences)来确保跨线程的关键代码段满足顺序一致性的效果。
词源 Etymology(中文)
sequential 来自拉丁语 sequi(“跟随”),表示“按顺序的”;consistency 来自拉丁语 consistere(“站在一起、保持一致”),表示“一致性”。合起来强调:并发执行的结果应当看起来像按某个顺序依次发生且彼此一致。
相关词 Related Words
文学与经典作品 Literary Works(出现或重点讨论)
- Leslie Lamport, “How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs”(1979)——提出并定义顺序一致性概念的经典论文。
- Sarita V. Adve & Kourosh Gharachorloo, “Shared Memory Consistency Models: A Tutorial”(1996)——系统讲解包括顺序一致性在内的多种一致性模型。
- Maurice Herlihy & Nir Shavit, The Art of Multiprocessor Programming——在并发数据结构与正确性讨论中常以顺序一致性作对照与基础模型。
- John L. Hennessy & David A. Patterson, Computer Architecture: A Quantitative Approach——在体系结构与内存系统章节讨论一致性/排序相关概念,涉及顺序一致性及其与现实硬件的差异。