Litmus: Running Tests against Hardware

Abstract : Shared memory multiprocessors typically expose subtle, poorly understood and poorly speci ed relaxed-memory semantics to programmers. To understand them, and to develop formal models to use in program veri cation, we nd it essential to take an empirical approach, testing what results parallel programs can actually produce when executed on the hardware. We describe a key ingredient of our approach, our litmus tool, which takes small `litmus test' programs and runs them for many iterations to nd interesting behaviour. It embodies various techniques for making such interesting behaviour appear more frequently
Type de document :
Communication dans un congrès
TACAS'11, 17th International Conference on Tools And Algorithms for the Construction and Analysis of Systems, Mar 2011, Saarbrücken, Germany. 2011, 〈10.1007/978-3-642-19835-9_5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01100851
Contributeur : Luc Maranget <>
Soumis le : mercredi 7 janvier 2015 - 11:12:09
Dernière modification le : vendredi 25 mai 2018 - 12:02:03

Lien texte intégral

Identifiants

Collections

Citation

Luc Maranget, Jade Alglave, Susmit Sarkar, Peter Sewell. Litmus: Running Tests against Hardware. TACAS'11, 17th International Conference on Tools And Algorithms for the Construction and Analysis of Systems, Mar 2011, Saarbrücken, Germany. 2011, 〈10.1007/978-3-642-19835-9_5〉. 〈hal-01100851〉

Partager

Métriques

Consultations de la notice

103