|data race free java programs firstname.lastname@example.org (Arnab De) (2010-05-08)|
|From:||Arnab De <email@example.com>|
|Date:||Sat, 8 May 2010 04:27:00 -0700 (PDT)|
|Keywords:||Java, parallel, question|
|Posted-Date:||09 May 2010 12:23:38 EDT|
It is clear that data races are typically considered as an error in
concurrent programs and there are several techniques in literature to
check whether a Java program is data race free statically. Can anyone
point me to some open source Java programs that have been proved to be
data race free?
Thanks in advance,
Return to the
Search the comp.compilers archives again.