This is the mail archive of the java@gcc.gnu.org mailing list for the Java project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Eager vs Lazy resolution of classes

Andrew Haley wrote:

> This issue has a bearing on split verification.
> 
> We need to be able to verify a class without doing full class
> initialization of the classes it refers to.  The verifier in the
> runtime library does this (see ref_intersection::compatible()).  This is
> OK.

Anyone interested in this should definitely check out Alessandro
Coglio's "Improving the Official Specification of Bytecode
Verification":

  http://www.kestrel.edu/HTML/projects/java/ccpe03.pdf

(Especially section 5.1 of the paper.)

My 2p.
Ranjit.

-- 
Ranjit Mathew          Email: rmathew AT gmail DOT com

Bangalore, INDIA.      Web: http://ranjitmathew.tripod.com/
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]