Right, there's no such guarantee/requirement. JVMS mentions that implementations are permitted to enforce balance (called structured locking there) but not required: http://docs.oracle.com/javase/specs/jvms/se7/html/jvms-2.html#jvms-2.11.10
Thanks Sent from my phone On Feb 27, 2014 8:40 AM, "Jeroen Frijters" <jer...@sumatra.nl> wrote: > David Holmes wrote: > > I don't think this is workable. Exposing a monitor as Lock would allow > > you to break the guarantees/requirements involving balanced-locking for > > monitors. > > Where are these guarantees/requirements documented? > > Regards, > Jeroen > >