On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
This addresses runtime verification efficiency for actor-based systems, but it is incremental as it builds on existing monitoring frameworks.
The paper tackled the problem of runtime overheads from monitoring instrumentation in actor-based systems, showing that asynchronous monitoring incurs substantially lower overhead costs and proposing a hybrid approach for properties requiring synchronous monitoring to reduce overheads while ensuring timely violation detections.
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.