光把变量标成「随时读内存」，对多线程【0】。
贯穿本节的可见性模型（判题机有 GIL、复现不出真缓存问题，这是它的确定契约）：sees(写方发布, 读方同步)——两个都为真才保证读到新值；stale=没同步会读到旧值；needs_sync(被写, 被别人读)=要不要同步。
sees(写方发布, 读方同步)
stale
needs_sync(被写, 被别人读)
全部评论