The technical report discusses the importance of capturing sound and faithful concurrent traces for online monitoring of concurrent programs. It introduces a non-blocking vector clock algorithm to collect traces reflecting the partial order between events. The report emphasizes the significance of correct ordering information in traces for effective monitoring of behavioral properties. It also addresses the challenges of monitoring concurrent programs and proposes a tool, FACTS, for instrumenting programs to compile sound representative traces. The evaluation of the tool on various benchmarks demonstrates its effectiveness in capturing accurate traces.
Til et annet språk
fra kildeinnhold
arxiv.org
Viktige innsikter hentet fra
by Chukri Souei... klokken arxiv.org 02-29-2024
https://arxiv.org/pdf/2402.18391.pdfDypere Spørsmål