用于在线监控的可靠并发轨迹技术报告

监控并发程序通常依赖于收集轨迹以抽象程序执行。然而，现有针对一般行为属性的方法要么未针对在线监控进行定制，要么不再维护，要么实现了往往导致不可靠判决的天真插桩。我们首先定义了轨迹何时能代表并发执行的概念。接着，我们提出了一种非阻塞向量时钟算法，用于即时收集反映事件间偏序关系的可靠并发轨迹。此外，代表轨迹中的并发事件对由全序形式化综合而成的监控器构成了可靠性问题。为此，我们从监控器中提取因果依赖关系，以检查轨迹是否具有所需的排序，并定义了在运行时判定收集到的轨迹是否可监控的条件。我们将这些贡献实现为一个名为 FACTS 的工具，该工具对编译为 Java 字节码的程序进行插桩，构建可靠的代表轨迹，并就不可监控的轨迹向监控器发出警告。我们评估了我们的工作并将其与现有方法进行了比较。