监控部分同步分布式系统的精确度、召回率与灵敏度
分布式、并行与集群计算
2016-07-13 v1
摘要
运行时验证关注通过监控器分析给定程序的执行，以确定其是否可能违反规范。监控器的假设/模型与底层程序的假设/模型之间常存在阻抗失配。这对于当前时间和状态概念本质上不确定的分布式系统尤为棘手。基于异步系统模型假设设计的监控器，对于在部分同步系统中执行的程序可能导致假阳性：监控器可能标记出底层系统中实际并未发生的全局谓词。基于部分同步系统模型假设设计的监控器，对于在部分同步边界（ albeit 暂时地）与监控器模型假设不同的环境中执行的程序，可能导致假阴性以及假阳性。本文分析了监控器与底层程序之间的阻抗失配对检测合取谓词的影响。我们发现存在一个小区间，在此区间内监控器假设对底层程序环境高度敏感。我们给出了该区间的解析推导，并提供了仿真支持，以探索在部分同步系统下谓词检测对监控器与程序之间阻抗失配的灵敏度。
引用
@article{arxiv.1607.03369,
title = {Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems},
author = {Sorrachai Yingchareonthawornchai and Duong Nguyen and Vidhya Tekken Valapil and Sandeep Kulkarni and Murat Demirbas},
journal= {arXiv preprint arXiv:1607.03369},
year = {2016}
}
备注
Technical Report