Projects

Fri May 5 17:14:00 GMT 2000

On 2000年5月05日, Boehm, Hans wrote:
>This assumes that calls to _Jv_MonitorEnter() and _Jv_MonitorExit() nest
>correctly. That's certainly true for Java source files. It used to not be
>guaranteed for .class files. Is it now?
>>Hans
>
Hmmm... I've compiled many thousands of lines of Java files and 
haven't yet found a .class file that didn't nest properly. In fact, I
put code into the gcj byte code verifier to abort if they ever didn't nest
properly. Originally it tripped a few times when I was trying to
get the logic right to munch all the try/catch blocks that release monitors,
but I haven't had it happen for about a year's worth of Java compilation.
I'd sure be interested to see a valid .class file in which monitors don't
properly nest with exceptions.
-- 
Jon Olson, Modular Mining Systems
	 3289 E. Hemisphere Loop
	 Tucson, AZ 85706
INTERNET: olson@mmsi.com
PHONE: (520)746-9127
FAX: (520)889-5790