Team abstraction

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: New Results

Static Analysis of Parallel Software

Participant : Antoine Miné.

We propose in [17] (§ VI) and [28] an analysis of parallel software composed of a fixed set of threads communicating through a shared memory and synchronization primitives (such as mutexes) and scheduled according to strict priorities (so-called real-time scheduling). The analysis is built on top of a generic static analysis of sequential programs with two additional components: a fixpoint iterator to compute and apply an abstraction of thread interferences, and a scheduler partitioning domain to discover and exploit mutual exclusion properties. The analysis has been implemented as the Thésée prototype (see 5.2 ).


Logo Inria