[moca] definitions of race conditions?

[Martin Berger <martinb@xxxxxxxxxxxxxx>]

i would like to know what the right definition of "race condition"
must be. in the literature i have seen something like the following:

   the program P1 | ... | Pn has a race condition if at least two
   distinct processes Pi and Pj exist such that Pi = Ci[ai] and Pj =
   Cj[aj] where ai and aj are reads or writes to the same memory
   location, at least one or them is a write and Ci[.], Cj[.] are
   reduction contexts not restricting ai/aj

i have a problem with this definition, but before expanding on it,
i would like to understand the community's view of race conditions.
so please tell me what you think that term means or point me to
your favourite authoritative definition.

thanks, martin


 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html