Juice [Re: UVM and Microsoft]
Wed, 21 May 1997 12:55:58 -0500
| From: Patrick Logan <email@example.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