• Bug
  • Status: Open
  • 2 Major
  • Resolution:
  • prodmgmt
  • Reporter: teck
  • August 11, 2009
  • 0
  • Watchers: 0
  • March 19, 2010



In the attached example, the field set in test.B$Sub.mutate(B) is not instrumented. This allows shared objects to read/written w/o DSO knowing about it

It is expected that this program will generate (and ignore) an UnlockedSharedObjectException, instead you get this:

Exception in thread “main” java.lang.AssertionError: mutated without a lock at test.Main.main(Main.java:14)


Steve Harris 2009-08-12

Subclasses of logical structures are flacky as a whole. We should at some point look into it.