Re: [DotGNU]Register Based VM's Q.

[Scott Lanham]

We run programs natively in the form of compiled c/c++ programs that don't 
have type safety at the "machine" level. Why is it important to have type 
safety at the machine level with a virtual machine as opposed to a physical 
one?

It seems to me that neither c or c++ can easily provide the type saftey 
information that is required. Maybe a VM that suits c/c++ for DotGNU that has 
a decent "rest of the world" protection model is a better option (just for 
compiling c/c++ apps that is :-)

>
> A VM with a flat address space is fairly easy to isolate
> from the rest of the world, but the program is only safe from
> the rest of the world.  It isn't safe from itself.  e.g. buffer
> overruns, type unsafe operations, etc.
>
> Internet C++ seems to be based on this kind of approach.
> Nothing wrong with it, except it won't work for IL,
> which requires strict type-safety.
>