补全:能不能看到新值
补全 sees:写方发布、读方也同步,两个都成立才保证看到。
贯穿本节的可见性模型(判题机有 GIL、复现不出真缓存问题,这是它的确定契约):sees(写方发布, 读方同步)——两个都为真才保证读到新值;stale=没同步会读到旧值;needs_sync(被写, 被别人读)=要不要同步。
补全 sees:写方发布、读方也同步,两个都成立才保证看到。
贯穿本节的可见性模型(判题机有 GIL、复现不出真缓存问题,这是它的确定契约):sees(写方发布, 读方同步)——两个都为真才保证读到新值;stale=没同步会读到旧值;needs_sync(被写, 被别人读)=要不要同步。
全部评论