[Mono-dev] The State Of Mono Assembly Verification?

[Paolo Molaro]

On 02/02/06 Sebastien Pouliot wrote:
> Can this be re-phrased as "can't have maximum performance with all
> security checks" ? as I believe we *could* have a fast (but not as fast
> as it could be) JIT with all checks - just like MS has (at least if we
> had the same resources ;-).

Change to: "with all the necessary checks". An external verifier can check
for much more things that are not strictly required for the security of the system.
So we can have a fast jit with all the necessary checks (please also note that
the jit needs to do many of the checks anyway and it needs to do them
inside jit code, because they lead to different generated code).
And people can have an external verifier if they contribute it with more checks.
The JIT verifier has much higher priority than the external one, IMHO.

lupus

-- 
-----------------------------------------------------------------
lupus at debian.org                                     debian/rules
lupus at ximian.com                             Monkeys do it better