[cap-talk] Midori in The Register

[David-Sarah Hopwood]

James A. Donald wrote:
> James A. Donald wrote:
>>> I am kind of worried by the references to "managed
>>> code"...
> 
> Jonathan S. Shapiro wrote:
>> So far as I know, managed code refers to code that is
>>
>>   (a) type safe (and therefore memory safe)
>>   (b) runs in a garbage-collected environment.
>>
>> I am not aware that any guarantee stronger than these exists. Have I
>> missed something?
> 
> The problem is that these guarantees are a little *too* strong for 
> device drivers.

No. It is perfectly feasible to implement device drivers in a
type-safe and memory-safe language, as demonstrated by Backwater
<http://www.altair.sk/mediawiki/upload/2/2b/Backwater.pdf> and
by House <http://programatica.cs.pdx.edu/House/>.

-- 
David-Sarah Hopwood