data race free java programs

Arnab De <arnabde03@gmail.com>
Sat, 8 May 2010 04:27:00 -0700 (PDT)

          From comp.compilers
Related articles
data race free java programs arnabde03@gmail.com (Arnab De) (2010-05-08)
| List of all articles for this month |
From: Arnab De <arnabde03@gmail.com>
Newsgroups: comp.compilers
Date: Sat, 8 May 2010 04:27:00 -0700 (PDT)
Organization: Compilers Central
Keywords: Java, parallel, question
Posted-Date: 09 May 2010 12:23:38 EDT

Hi,
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,
Arnab


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.