[论文解读] Global Clock, Physical Time Order and Pending Period Analysis in Multiprocessor Systems

Yunji Chen, Tianshi Chen+1 more|ArXiv.org|Mar 29, 2009

Parallel Computing and Optimization Techniques参考文献 42被引用 9

一句话总结

本文提出利用全局时钟的物理时间顺序与待处理周期分析，通过在多处理器系统中建立一致的、基于实时的局部操作排序，将复杂的验证问题（如内存一致性与事件排序）简化为多项式时间解法，实现完整内存一致性验证的复杂度为$O(n^2C^p p)$，事件排序问题的复杂度为$O(nC^p p)$。

ABSTRACT

In multiprocessor systems, various problems are treated with Lamport's logical clock and the resultant logical time orders between operations. However, one often needs to face the high complexities caused by the lack of logical time order information in practice. In this paper, we utilize the \emph{global clock} to infuse the so-called \emph{pending period} to each operation in a multiprocessor system, where the pending period is a time interval that contains the performed time of the operation. Further, we define the \emph{physical time order} for any two operations with disjoint pending periods. The physical time order is obeyed by any real execution in multiprocessor systems due to that it is part of the truly happened operation orders restricted by global clock, and it is then proven to be independent and consistent with traditional logical time orders. The above novel yet fundamental concepts enables new effective approaches for analyzing multiprocessor systems, which are named \emph{pending period analysis} as a whole. As a consequence of pending period analysis, many important problems of multiprocessor systems can be tackled effectively. As a significant application example, complete memory consistency verification, which was known as an NP-hard problem, can be solved with the complexity of $O(n^2)$ (where $n$ is the number of operations). Moreover, the two event ordering problems, which were proven to be Co-NP-Hard and NP-hard respectively, can both be solved with the time complexity of O(n) if restricted by pending period information.

研究动机与目标

• 解决由于缺乏完整的逻辑时间顺序信息而导致的多处理器系统中内存一致性与事件排序验证的高计算复杂度问题。
• 通过引入基于全局时钟的物理时间顺序，克服Lamport逻辑时钟的局限性，以反映真实执行时间。
• 构建一个实用框架——待处理周期分析，通过使用时间区间而非精确时间戳，实现对操作顺序的高效推断。
• 利用从全局时钟同步中导出的物理时间顺序约束，降低多处理器系统中已知难题的复杂度。
• 实现对真实世界多处理器系统中内存一致性与事件排序的可扩展且完整的验证，具备工业适用性。

提出的方法

• 将待处理周期定义为操作处于活跃状态的时间区间，作为对精确执行时间的松弛。
• 基于全局时钟时间戳，引入物理时间顺序，作为具有不相交待处理周期的操作之间的部分顺序。
• 证明物理时间顺序与传统逻辑时间顺序（如处理器顺序、执行顺序）相互独立且一致。
• 构建前沿图以建模可能的执行路径，并利用其高效计算“必须已发生”与“可能已发生”的关系。
• 应用赋值分析，仅从部分观测操作中推断所有操作的待处理周期，从而降低观测开销。
• 将物理时间顺序与逻辑时间顺序结合，以在推断过程中约束并剪枝候选执行空间。

实验结果

研究问题

• RQ1 多处理器系统中的全局时钟是否可用于定义超越逻辑时钟的、一致的、基于实时的局部操作排序？
• RQ2 如何利用待处理周期——即操作的灵活时间区间——来简化真实执行中操作顺序的分析？
• RQ3 物理时间顺序在多大程度上能降低完整内存一致性验证等NP难问题的复杂度？
• RQ4 在待处理周期信息约束下，原本为Co-NP难与NP难的事件排序问题能否被高效求解？
• RQ5 将物理时间顺序与逻辑时间顺序结合，对执行分析的可扩展性与准确性有何影响？

主要发现

• 物理时间顺序被证明与传统逻辑时间顺序相互独立且一致，为实时执行分析提供了可靠基础。
• 待处理周期分析使完整内存一致性验证的复杂度达到$O(n^2C^p p)$，显著降低了NP难问题的复杂度。
• 两个此前为Co-NP难与NP难的事件排序问题，在待处理周期信息约束下，现可于$O(nC^p p)$时间内求解。
• 前沿图模型可在$O(n_f + e_f)$时间内高效计算“必须已发生”与“可能已发生”的关系，其中$n_f$与$e_f$分别为前沿图中的节点与边数。
• 赋值分析表明，仅观测部分操作的待处理周期，即可推断出所有操作的待处理周期。
• 所提出的框架已在工业环境中成功应用，展示了在真实多处理器验证任务中实际可行性和性能提升。