improve specjbb marks...rework locks a little...
authorbdemsky <bdemsky>
Mon, 11 Apr 2011 09:14:58 +0000 (09:14 +0000)
committerbdemsky <bdemsky>
Mon, 11 Apr 2011 09:14:58 +0000 (09:14 +0000)
commit911888f64e116a8d31b8cc0cef7ec849d186387a
tree750fddb9d0176396d89448cfc6fe11b386042f5b
parent8355f957ae106a2b2de4768457dd50bab6fc771e
improve specjbb marks...rework locks a little...
Robust/src/IR/Flat/BuildCode.java
Robust/src/Runtime/garbage.c
Robust/src/Runtime/object.c
Robust/src/Runtime/runtime.c