内存一致性:在并发/多处理器系统中,用来规定不同处理器(或线程)对共享内存读写操作的可见顺序与结果的一组规则(即“哪些读写顺序是允许的”)。常见模型包括顺序一致性、TSO、弱一致性等。
/ˈmɛməri kənˈsɪstənsi/
Memory-consistency affects how threads observe shared data.
内存一致性会影响线程如何观察到共享数据。
Without a clear memory-consistency model, the same concurrent program may produce different outcomes on different CPUs due to reordering and caching effects.
如果没有清晰的内存一致性模型,由于指令重排与缓存等影响,同一个并发程序在不同 CPU 上可能产生不同结果。
由 memory(内存) 与 consistency(一致性) 组合而成的技术术语:强调“共享内存的读写在多核/多线程环境下需要满足某种一致的可见性规则”。该概念在多处理器体系结构与并发编程研究中逐步发展,用于形式化描述硬件与编译器优化(如重排)对程序行为的影响。