Skip to Main content Skip to Navigation
Master thesis

Synchronisation de fils d'exécution en interprétation abstraite

Matthias Bry 1, 2 
2 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : After a short presentation of static analysis by Abstract Interpretation, we summarize and extend previous work by A. Miné on checking for run-time errors in parallel and multi-threaded programs, focusing on real-time systems used in critical embedded software, where threads communicate through shared memory and mutual exclusion locks, using a thread-modular iteration. As an extension, we define system events and present some of their natural uses in parallel programs, proposing some theoretical ways to integrate them into previous work on Abstract Interpretation, using the idea of interference partitioning, previously introduced to take mutexes into account. We finally present a demonstrator implementing one of these techniques.
Document type :
Master thesis
Complete list of metadata
Contributor : Antoine Miné Connect in order to contact the contributor
Submitted on : Friday, January 10, 2014 - 3:48:11 PM
Last modification on : Thursday, March 17, 2022 - 10:08:35 AM


  • HAL Id : hal-00926979, version 1



Matthias Bry. Synchronisation de fils d'exécution en interprétation abstraite. Performance et fiabilité [cs.PF]. 2013. ⟨hal-00926979⟩



Record views