On Synchronous and Asynchronous Monitor Instrumentation for Actor-based Systems
I. Cassar, und A. Francalanza. Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Seite 54--68. (September 2014)
DOI: 10.4204/EPTCS.175.4
Zusammenfassung
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.
%0 Conference Paper
%1 Cassar:2014
%A Cassar, Ian
%A Francalanza, Adrian
%B Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems
%D 2014
%K Actors Concurrency Instrumentation
%P 54--68
%R 10.4204/EPTCS.175.4
%T On Synchronous and Asynchronous Monitor Instrumentation for Actor-based Systems
%X 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.
@inproceedings{Cassar:2014,
abstract = {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.},
added-at = {2017-02-08T18:55:21.000+0100},
author = {Cassar, Ian and Francalanza, Adrian},
biburl = {https://www.bibsonomy.org/bibtex/23022aa140b6e8cb85d9cc504405a8cad/gron},
booktitle = {Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems},
doi = {10.4204/EPTCS.175.4},
interhash = {d001b05adfcc0e0e9a8d391f4061c6e6},
intrahash = {3022aa140b6e8cb85d9cc504405a8cad},
keywords = {Actors Concurrency Instrumentation},
month = {September},
pages = {54--68},
series = {FOCLASA 2014},
timestamp = {2017-02-08T18:59:17.000+0100},
title = {{On Synchronous and Asynchronous Monitor Instrumentation for Actor-based Systems}},
year = 2014
}