search

staticanalysis / data-race-test

Automatically exported from code.google.com/p/data-race-test
0 stars 0 forks source link

Java: support arrays, float, double, long #29

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Need to support all basic types in Java. 

Tests: 
testNegative_WW_ArrayAccessNoLocks
testPositive_WW_ArrayAccessNoLocks
testPositive_WW_NoLocksFloat
testPositive_WW_NoLocksDouble
testPositive_WW_NoLocksLong

Original issue reported on code.google.com by konstant...@gmail.com on 1 Mar 2010 at 9:10

GoogleCodeExporter commented 9 years ago 
these are fixed now:

testPositive_WW_NoLocksFloat
testPositive_WW_NoLocksDouble
testPositive_WW_NoLocksLong

left to go:
testNegative_WW_ArrayAccessNoLocks
testPositive_WW_ArrayAccessNoLocks

FYI: array access is properly intercepted, one just needs to invent unique IDs 
for
array elements

Original comment by egor.pasko@gmail.com on 3 Apr 2010 at 5:32

GoogleCodeExporter commented 9 years ago 
finally fixed, though unique ids for array elements will have to be improved for
64bit offline detector, placed a TODO

Original comment by egor.pasko@gmail.com on 20 May 2010 at 12:27