写方更新了，读方没同步
写方：值已换成新的
读方：还一直看着旧的
没有同步时，一个线程的写另一个线程迟迟看不到，根源是【0】。
贯穿本节的可见性模型（判题机有 GIL、复现不出真缓存问题，这是它的确定契约）：sees(写方发布, 读方同步)——两个都为真才保证读到新值；stale=没同步会读到旧值；needs_sync(被写, 被别人读)=要不要同步。
sees(写方发布, 读方同步)
stale
needs_sync(被写, 被别人读)
全部评论