A Choreographed Outline Instrumentation Algorithm for Asynchronous Components
This addresses the need for scalable and minimally invasive instrumentation in decentralized software analysis, representing an incremental improvement over existing methods.
The paper tackled the problem of runtime analysis in decentralized software by introducing a new algorithm for choreographed outline instrumentation, which dynamically scales and reorganizes monitors during execution. The results showed that this implementation induces runtime overhead comparable to inline instrumentation in many practical cases, debunking the notion that outline monitoring is infeasible.
The runtime analysis of decentralised software requires instrumentation methods that are scalable, but also minimally invasive. This paper presents a new algorithm that instruments choreographed outline monitors. Our instrumentation algorithm scales and reorganises monitors dynamically as the system executes. We demonstrate the implementability of choreographed outline instrumentation and compare it to inline instrumentation, subject to rigorous and comprehensive benchmarking. Our results debunk the general notion that outline monitoring is necessarily infeasible, and show that our implementation induces runtime overhead comparable to that of its inline counterpart for many practical cases.