JVM misconceptions (Re: [Mono-list] Re: can you explain what you mean?)

[Jeffery von Ronne]

On Sun, Jul 15, 2001 at 05:57:23PM -0400, Miguel de Icaza wrote:
> > These restrictions don't sound any different from what the JVM
> > imposes and documents.  In fact, I suspect that Microsoft based
> > their VM on the Java VM and simply adopted the restrictions that the
> > JVM already imposes.
> 
> I have been unable to track down any restrictions on the JVM of this
> kind.  Please, give me a link.

I believe Tom is referring to the verification requirements found
in section 4.9.2 of the JVM spec (2nd edition).  <URL: 
http://java.sun.com/docs/books/vmspec/2nd-edition/html/ClassFile.doc.html#9801>
Look at the dataflow analysis, particularly the stuff about merging the
operands Stacks.

This is, however, all written from the perspective of the verifier, so
it isn't obvious what restrictions this puts on the code generator.

-- 
Jeffery von Ronne <jronne@ics.uci.edu>
Graduate Student
Information and Computer Science
University of California, Irvine