Bytecode verification

Erik Schnetter erik.schnetter at
Wed Apr 30 05:27:34 PDT 1997

On Tue, 29 Apr 1997, Per Bothner wrote:

[Some discussion of local variables and exceptions deleted]

> > Should is be a merge of all possible locals from anywhere in the exception
> > block?  This seems rather heavy handed to me, but perhas there's an
> > alternative?
> Well, at least conceptually, that seems to be what is needed.
> But I agree, that seems a bit expensive.  Some simplifications seem
> easy - not doing a merge for instructions that cannot throw
> an exception.  And you only need to do a merge when the types
> of a local variable has changed.  So on the whole, I don't think
> it should be too bad.

Hmm.  It is not that I am experienced with threads, but I seem to recall 
a method that can throw an exception asynchronously to another thread.  
That would mean that any exception can occur at any time.


Erik Schnetter, erik.schnetter at

Arthur C. Clarke saw the future.
	He knew it would be run by huge computers.
		And he was right.		Just not about the size.

More information about the kaffe mailing list