Precision, recall, and sensitivity of monitoring partially synchronous distributed programs
No Thumbnail Available
Access rights
openAccess
URL
Journal Title
Journal ISSN
Volume Title
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Other link related to publication (opens in new window)
Date
2021-10
Department
Major/Subject
Mcode
Degree programme
Language
en
Pages
30
319-348
319-348
Series
DISTRIBUTED COMPUTING, Volume 34, issue 5
Abstract
Distributed programs are often designed with implicit assumptions about the underlying system. We focus on assumptions related to clock synchronization. When a program written with clock synchronization assumptions is monitored to determine if it satisfies its requirements, the monitor should also account for these assumptions precisely. Otherwise, the monitor will either miss potential bugs (false negatives) or find bugs that are inconsistent with these assumptions (false positives). However, if assumptions made by the program are implicit or change over time and are not immediately available to the monitor, such false positives and/or negatives are unavoidable. This paper characterizes precision (probability that the violation identified by the monitor is valid) and recall (probability that the monitor identifies an actual violation) of the monitor based on the gap between clock synchronization assumptions made by the program/application and the clock synchronization assumptions made by the monitor. Our analysis is based on the development of an analytical model for precision, recall and sensitivity of monitors detecting conjunctive predicates. We validate the model via simulations and experiments on the Amazon Web Services platform.Description
KATSO ONKO ARXIVIIN VAIHDETTU FAM SUBMITATUN TILALLE!!!
Keywords
Conjunctive Predicate, Distributed Monitoring, Partially Synchronous Systems, Precision and Recall, Predicate Detection
Other note
Citation
Nguyen, D, Yingchareonthawornchai, S, Tekken Valapil, V, Kulkarni, S S & Demirbas, M 2021, ' Precision, recall, and sensitivity of monitoring partially synchronous distributed programs ', Distributed Computing, vol. 34, no. 5, pp. 319-348 . https://doi.org/10.1007/s00446-021-00402-w