Please use this identifier to cite or link to this item:
|A choreographed outline instrumentation approach for asynchronous components
Attard, Duncan Paul
Computer software -- Verification
Asynchronous transfer mode
|Reykjavik University. Department of Computer Science
|Aceto, L., Attard, D. P., Francalanza, A., & Ingólfsdóttir, A. (2021). A choreographed outline instrumentation approach for asynchronous components. Reykjavik: Reykjavik University. Department of Computer Science.
|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.
|Appears in Collections:
|Scholarly Works - FacICTCS
Files in This Item:
|View/Open Request a copy
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.