Juice [Re: UVM and Microsoft]

[Dwight Hughes]

| From: Patrick Logan <patrickl@servio.gemstone.com>
| 
| Mitch Wand had a paper in the first (I think) Lisp and Functional
| Programming Conference, ca. 1980. It was about using continuations to
| implement pre-emptive threads. (This is all vague recollection.)

There are a couple of papers done by the Mach guys at CMU on using
continuations as threads - which they actually managed to implement
in the Mach kernel and measure (nice speedup).

| In that paper, he goes on to hypothesize about an entire OS built this
| way. One of the mechanisms he mentions is using lexical scoping as a
| security feature. The idea is an application is compiled within a
| top-level environment suitable for its security requirements.
| 
| I like the this idea, maybe it has some merit worth bringing in to the
| multiple-secure-vm-with-secure-instruction-sets discussion. I haven't
| thought about it in any depth whatsoever.

This means the application is compiled in an environment where the only
resources visible are those appropriate to a particular level of 
security, correct?

-- Dwight