Opportunistic Monitoring of Multithreaded Programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Opportunistic Monitoring of Multithreaded Programs

Résumé

We introduce a generic approach for monitoring multithreaded programs online leveraging existing runtime verification (RV) techniques. In our setting, monitors are deployed to monitor specific threads and only exchange information upon reaching synchronization regions defined by the program itself. They use the opportunity of a lock in the program, to evaluate information across threads. As such, we refer to this approach as opportunistic monitoring. By using the existing synchronization, our approach reduces additional overhead and interference to synchronize at the cost of adding a delay to determine the verdict. We utilize a textbook example of readers-writers to show how opportunistic monitoring is capable of expressing specifications on concurrent regions. We also present a preliminary assessment of the overhead of our approach and compare it to classical monitoring showing that it scales particularly well with the concurrency present in the program.
Fichier principal
Vignette du fichier
main.pdf (339.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04381611 , version 1 (09-01-2024)

Licence

Paternité

Identifiants

Citer

Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone. Opportunistic Monitoring of Multithreaded Programs. FASE 2023 - 26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.173-194, ⟨10.1007/978-3-031-30826-0_10⟩. ⟨hal-04381611⟩
10 Consultations
16 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More