Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/85960
Title: | A choreographed outline instrumentation approach for asynchronous components |
Authors: | Aceto, Luca Attard, Duncan Paul Francalanza, Adrian Ingólfsdóttir, Anna |
Keywords: | Software engineering Computer software -- Verification Asynchronous transfer mode Distributed algorithms |
Issue Date: | 2021-04 |
Publisher: | Reykjavik University. Department of Computer Science |
Citation: | 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. |
Abstract: | 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. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/85960 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
2104.09433.pdf Restricted Access | 1.81 MB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.