[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Scott Lanham
Subject: Re: [DotGNU]Register Based VM's Q.
Date: Tue, 14 Aug 2001 21:46:47 +0000

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 

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]