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

好像没学过，最近读论文发现不太懂，于是简单补一些内容 ## NTP 协议 现代计算机系统依赖石英晶体振荡器来跟踪物理时间（UTC），这种硬件时钟通过主板电池供电确保断电后仍能持续运行。然而，石英钟存在固有的时钟漂移（clock drift）现象，其晶体振荡频率受温度、老化等因素影响，导致系统时间与真实时间逐渐产生偏差。两个独立计算机时钟的偏差值（c…

在 2025 年的华为软件精英挑战赛中，我们面对的是一个分布式对象存储系统的性能优化问题。表面上，我们需要处理读、写、删三种操作，但赛题的核心很快就清晰了：**最终得分几乎完全取决于读取（Read）性能**。 写入操作本身不直接计分，但它是我们**唯一**的优化手段。写入操作如何将逻辑对象映射到物理磁盘块，直接决定了读取时磁头的移动效率。删除操作则…