5/31/10 Download jrf-version2.0.tar.gz.
Files :
site.properties
jpf-jrf/CHANGES
README-JRF
NOSA-1.3-JPF
bin/jrf
bin/jrf_heuristic
jpf.properties
jrf.jpf
jrf_heuristic.jpf
src/
main/jrf
eliminator/
hbset/
heuristic/
listener/
search/
peers/jrf/stub
examples/simple
jpf-files/classes/
peers/
. . .
* NOTE : See CHANGES for license information
Install :
1)Install jpf-core and jpf-concurrent
2) Download and unzip jrf-version2.0.tar.gz to your destination directory.
3) Make a directory .jpf under your homedirectory and move site.properties to this directory. Change the directory name in site.properties to your destination directory.
4) go to your destination directory
YOUR DIRECTORY STRUCTURE WILL BE
~/.jpf/site.properties
~/.../destination/jpf-concurrent/
jpf-jrf/
jpf-core/
5) copy jpf-file/classes/*.java to jpf-core/src/classes/java/util/concurrent/atomic/
-
6)copy jpf-file/peers/*.java to jpf-core/src/peers/gov/nasa/jpf/jvm
7) Apply 1~3 in CHANGES to jpf-core.
8) goto jpf-core/ and build using ant
9) goto jpf-concurrent/ and build using ant
10) goto jpf-jrf/ and build using ant
11) run JRF using bin/jrf
ex) ~/.../destination/jpf-jrf] bin/jrf simple.SimpleRace
The result file placed under jpf-jrf/result/
How to use JRF :
1) place target source code you want to check data race freedom under
src/examples/
ex) Assume you create test package under src/examples/,
and put Test.java under src/examples/test/ directory.
2) compile target source code using
ant
3) run JRF with your Test as target
bin/jrf test.Test
How to configure JRF :
*See jrf.jpf for details about how to use different configuration of JRF features
12/04/09 Download jrf-version1.0.zip or jrf-version1.0.gz.
Files :
CHANGES
README-JRF
extensions/jrf
eliminator/
hbset/
heuristic/
listener/
stub/
examples/
amino-cbbs/
simple/
herlihy-shavits/
google-concurrent/
spring-framework/
. . .
* NOTE : See CHANGES for license information
Install :
1) download and unzip jrf_v1.0.zip to your destination directory.
2) go to your destination directory
3) build JPF together with JRF using
build-tools/bin/ant
How to use JRF :
1) place target source code you want to check data race freedom under
examples/jrf/
ex) Assume you create test package under examples/jrf,
and put Test.java under examples/jrf/test/ directory.
2) compile target source code using
build-tools/bin/ant compile-jrf-examples
3) run JRF with your Test as target
bin/jrf test.Test
How to configure JRF :
*See jrf.properties for details about how to use different configuration of JRF features