dkrikun / eraser

Academic project in program analysis
0 stars 0 forks source link

Bug, in jvmti different locks are removed on thread::unlock #17

Closed dkrikun closed 13 years ago

dkrikun commented 13 years ago

Whereas in unittests, using mock types, everything is fine. Therefore, the bug is supposedly because of operator== issues.

dkrikun commented 13 years ago

operator== is not even called. Probably hash func. is bad. Edited: hash func. is no longer relevant, because only operator== is used in universal_set now.

dkrikun commented 13 years ago

In native_monitor_enter it has been observed that different thread param values are passed in for the same thread. Edited: cancel, this is a mistake

dkrikun commented 13 years ago

Looks like I've fixed this, please run more samples and verify.