Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming

Jacques Jaray 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Concurrent programming is getting popular through the use of Java threads for instance. On the other hand sequential programmers make a sparse use of formal techniques like assertions and proof to produce the code. It is well known that concurrent programs are much more difficult to produce right than the sequential one. Testing is of poor help as we are not sure to replay testing conditions and we are subject to race conditions whose consequence is that a program may runon a machine but not on another one. Model checking appeared efficient and easy to make use in fixing an error of synchronization.
Type de document :
Rapport
[Intern report] A00-R-086 || jaray00b, 2000, 13 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099298
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:35
Dernière modification le : mardi 24 avril 2018 - 13:34:48

Identifiants

  • HAL Id : inria-00099298, version 1

Collections

Citation

Jacques Jaray. Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming. [Intern report] A00-R-086 || jaray00b, 2000, 13 p. 〈inria-00099298〉

Partager

Métriques

Consultations de la notice

110