data race free java programs

Arnab De <>
Sat, 8 May 2010 04:27:00 -0700 (PDT)

          From comp.compilers

Related articles
data race free java programs (Arnab De) (2010-05-08)
| List of all articles for this month |

From: Arnab De <>
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

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,

Post a followup to this message

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