[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
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.
>