Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming
Identifieur interne : 002960 ( Crin/Corpus ); précédent : 002959; suivant : 002961Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming
Auteurs : Jacques JaraySource :
English descriptors
- KwdEn :
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.
Links to Exploration step
CRIN:jaray00bLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="488">Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:jaray00b</idno>
<date when="2000" year="2000">2000</date>
<idno type="wicri:Area/Crin/Corpus">002960</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming</title>
<author><name sortKey="Jaray, Jacques" sort="Jaray, Jacques" uniqKey="Jaray J" first="Jacques" last="Jaray">Jacques Jaray</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>ada rendezvous</term>
<term>java monitors.</term>
<term>model-checking</term>
<term>race-condition</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="1810">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.</div>
</front>
</TEI>
<BibTex type="techreport"><ref>jaray00b</ref>
<crinnumber>A00-R-086</crinnumber>
<category>15</category>
<equipe>MODEL</equipe>
<author><e>Jaray, Jacques</e>
</author>
<title>Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming</title>
<year>2000</year>
<type>Rapport de recherche</type>
<month>Apr</month>
<keywords><e>race-condition</e>
<e>model-checking</e>
<e>ada rendezvous</e>
<e>java monitors.</e>
</keywords>
<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.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002960 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd -nk 002960 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Corpus |type= RBID |clé= CRIN:jaray00b |texte= Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |