分布式基于组件系统的监控
软件工程
2017-05-16 v1
摘要
本文针对具有多方交互的分布式基于组件的系统的在线监控问题，属性由用户提供的线性时序逻辑给出并涉及全局状态。我们考虑本质独立的组件，其交互被划分在分布式控制器上。在此背景下，出现的问题是系统全局状态对监控器不可用。相反，我们将本地控制器附加到调度器以检索并发局部轨迹。局部轨迹被发送到一个全局观察器，该观察器以保持并发性的方式重建与局部轨迹兼容的全局轨迹集合。在此上下文中，全局轨迹的重建通过使用编码与局部观察轨迹兼容的全局轨迹的部分状态格在线完成。我们在名为RVDIST的原型工具中实现了我们的监控方法。RVDIST与分布式模型并行执行，以每个调度器生成的事件作为输入，并输出计算格的评估结果。我们的实验表明，由于在线监控算法中应用的优化，i) 构建的计算格大小对接收事件数量不敏感，(ii) 格大小保持合理，以及(iii) 监控过程开销很小。
引用
@article{arxiv.1705.05242,
title = {Monitoring Distributed Component-Based Systems},
author = {Hosein Nazarpour and Yliès Falcone and Mohamad Jaber and Saddek Bensalem and Marius Bozga},
journal= {arXiv preprint arXiv:1705.05242},
year = {2017}
}