over-eager verification

Wed Mar 6 14:57:00 GMT 2002

>>>>> "Per" == Per Bothner <per@bothner.com> writes:

>> Sure, but a Java program might need to prompt an operator
>> immediately when an invalid class is loaded rather than a few weeks
>> later in the middle of the night when the operator is asleep.

Per> Yes, and a Java program might want to throw an exception
Per> immmediately if there is a bug in it, rather than when the buggy
Per> section of code is executed.
I'm irritated by comments like this. Frankly, it reads as insulting.
FWIW, I agree that Andrew's argument seems weak.
Per> Eager verification is primarily to catch bugs in the compiler or
Per> the verifier itself.
I disagree. I think eager verification is primarily important due to
compatibility and adherence to the specification.
Providing an option to disable verification might be plausible. ISTR
that one of the Sun JDK's provides such an option.
Tom