I should be guaranteed that the monitor is released when code exits a synchronized method, but something isn't quite right here, and I don't know anything about the internals of how object ...

A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simultaneously. Thus, ...

Learn techniques that take the guesswork out of safe multithreaded programming, then get started with a free, Java-based monitor package that automates assertion checking during execution.