Evaluation of crash-consistency guarantees in multi-threaded PM applications (Ainur)

Type: National Project Project

Duration: from 2022 Jan 17 to 2025 Jan 16

Financed by: FCT

Prime Contractor: INESC-ID (Other)

The goal of the Ainur project is therefore to develop tool and techniques for evaluating the crash-consistency guarantees of multi-threaded PM programs in a black-box and fully automated fashion. This will be achieved through the use of automated black-box instrumentation techniques, the development of application models that generically capture the PM semantics for a wide range of programs and a guided reproducible thread scheduler that can expose bugs arising from the interleaving between multiple threads and PM operations. During this project, we will also plan to answer the more fundamental question of whether the interplay between PM and concurrency gives rise to a new class of bugs or if those bugs can be reduced to existing concurrency bug classes in non-PM programs. We will reply on a set of real-word programs and libraries to evaluate our tools and techniques and with the acquired insights propose novel constructs or abstractions whenever relevant.


  • INESC-ID (Other)

Principal Investigators