本文通过线段树来高效解决并发分析中动态维护偏序关系的难题。传统方法如向量时钟在处理非流式更新时，成本高昂（ \mathcal O(nk) ）且不支持高效删除。本文为每对线程链维护一个专门的数据结构，查询任意事件间的可达性被转化为一个高效的区间查询操作。 Key findings: 在具有少量链的 DAG 上，动态可达性问题可以被高效地归约为另一个基…