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