Correctness Issues after adopting latest version of Graal

Stefan Marr java at stefan-marr.de
Fri Apr 11 11:15:30 UTC 2014


Hi:

On 11 Apr 2014, at 09:42, Stefan Marr <java at stefan-marr.de> wrote:

>> After adopting the latest Graal/Truffle version, I am seeing correctness issues when running on top of Graal.
> 
> Just a small update: After the latest version of today (d8b9e3761e52), the issues I am seeing are reduced, but not gone.
> The minimal example I distilled yesterday seems to be fixed, but I still got two benchmarks failing with incorrect results.

Haven’t been able to distill a small test case, but the two remaining benchmarks that show correctness issues are:


./graal.sh -cp Smalltalk Examples/Benchmarks/BenchmarkHarness.som Bounce 1000 0 1000

and

./graal.sh -cp Smalltalk:Examples/Benchmarks/Richards/ Examples/Benchmarks/BenchmarkHarness.som Richards 1000 0 100

Best regards
Stefan


PS:

To checkout the relevant branch of TruffleSOM (graal.sh will need you to set $GRAAL_HOME to work out of the box):

git clone --recursive -b exp/greater-than https://github.com/SOM-st/TruffleSOM.git 
ant jar
./graal.sh -cp Smalltalk Examples/Benchmarks/BenchmarkHarness.som GreaterThan 1000 0 1000


The Truffle patch is at [2], and the relevant code can be checked out with:
 git clone -b master https://github.com/smarr/graal.git

-- 
Stefan Marr
INRIA Lille - Nord Europe
http://stefan-marr.de/research/





More information about the graal-dev mailing list