release and thoughts
Thu, 17 Aug 1995 08:59:45 -0400

Billy Tanksley:
.  Actually, the total amount of supervision is the same; the
.  difference is that by proving those things about the task the
.  system can ignore those aspects of the task during runtime.  You
.  lose a constant amount of time at startup, you gain a linear amout
.  of time during running.

There's two ways of looking at this.

(1) You can look at what is expected of code designed to run under
    this system.  If the system is really going to be able to run
    distributed, then there's going to be constraints on the code
    objects far more severe than those imposed by virtual memory --
    cooperative multi-tasking is a meaningless distinction when you're
    talking about code objects on different machines.

(2) You can talk in terms of how you're implementing multiple code
    objects on the same physical machine.  This is interesting, but
    it seems we're still at the stage of defining our interfaces, and
    that must take precedence.