多线程组件化系统的并发保持与可靠监控
软件工程
2017-01-24 v2
摘要
本文探讨了多线程组件化系统中逻辑无关的线性时序用户自定义属性的监控问题。我们考虑本质上独立、可并发执行的组件，并通过集中式协调实现多方交互。在此背景下，出现的问题是系统的全局状态对监控器不可用。一个朴素的解决方案是插入一个监控器，强制系统同步以在运行时获取全局状态序列。但这样的解决方案会完全违背拥有并发组件的初衷。取而代之，我们通过累积系统在运行时经过的部分状态，在线重建全局状态。我们定义了组件的变换，这些变换既保持其语义和并发性，同时又允许监控全局状态属性。此外，我们展示了 RVMT-BIP，这是一个原型工具，实现了对 BIP（行为、交互、优先级）框架中描述的多线程系统进行监控的变换。BIP 是一个用于异构系统形式化构建的表达性框架。我们在多个多线程 BIP 系统上的实验表明，RVMT-BIP 带来的运行时开销很低。
引用
@article{arxiv.1612.06154,
title = {Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems},
author = {Hosein Nazarpour and Yliès Falcone and Saddek Bensalem and Marius Bozga},
journal= {arXiv preprint arXiv:1612.06154},
year = {2017}
}