On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems

Ian Cassar
Adrian Francalanza

We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems. We show that, in such a context, asynchronous monitoring incurs substantially lower overhead costs. We also show how, for certain properties that require synchronous monitoring, a hybrid approach can be used that ensures timely violation detections for the important events while, at the same time, incurring lower overhead costs that are closer to those of an asynchronous instrumentation.

In Javier Cámara and José Proença: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2014), Rome, Italy, 6th September 2014, Electronic Proceedings in Theoretical Computer Science 175, pp. 54–68.
Published: 11th February 2015.

ArXived at: http://dx.doi.org/10.4204/EPTCS.175.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org