面向角色系统的同步与异步监视插桩
计算机科学中的逻辑
2015-02-13 v1 软件工程
摘要
我们研究了在基于角色系统的运行时验证框架中，同步与异步监视插桩对运行时开销的影响。我们表明，在此情形下，异步监视产生的开销成本显著更低。我们还展示了对于某些需要同步监视的性质，可采用一种混合方法，该方法能对重要事件确保及时的违规检测，同时产生更接近异步插桩开销的较低开销成本。
引用
@article{arxiv.1502.03514,
title = {On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems},
author = {Ian Cassar and Adrian Francalanza},
journal= {arXiv preprint arXiv:1502.03514},
year = {2015}
}
备注
In Proceedings FOCLASA 2014, arXiv:1502.03157