正则语言的高效通用去中心化监控
软件工程
2014-02-18 v1
摘要
本文的主要贡献是一种高效且通用的去中心化监控算法，该算法允许在无中心观测点的系统中，仅通过本地监控器检测任意正则规范的满足或违反情况。我们的算法不假设系统事件与监控器通信之间存在任何形式的同步，采用状态机作为底层机制以提高效率，并力求使监控器之间交换的消息数量和大小最小化。我们提供了该算法的完整实现及开源基准测试，以评估其在交换消息数量、大小以及监控器间通信所 induced 延迟方面的效率。实验结果证明了我们算法的有效性，其在多项（新的）监控指标上优于此前最通用的算法。
引用
@article{arxiv.1402.3821,
title = {Efficient and Generalized Decentralized Monitoring of Regular Languages},
author = {Tom Cornebize and Yliès Falcone},
journal= {arXiv preprint arXiv:1402.3821},
year = {2014}
}