Precision, recall, and sensitivity of monitoring partially synchronous distributed programs

• Published in: Distributed computing Vol. 34; no. 5; pp. 319 - 348
• Main Authors: Nguyen, Duong, Yingchareonthawornchai, Sorrachai, Tekken Valapil, Vidhya, Kulkarni, Sandeep S., Demirbas, Murat
• Format: Journal Article
• Language: English
• Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2021; Springer Nature B.V
• Subjects: Clock synchronization; Clocks & watches; Communication; Computer Communication Networks; Computer Hardware; Computer Science; Computer Systems Organization and Communication Networks; Mathematical models; Recall; Software Engineering/Programming and Operating Systems; Theory of Computation; Web services; Precision and Recall; Distributed Monitoring; Conjunctive Predicate; Predicate Detection; Partially Synchronous Systems

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 a...