coop/preempt [was: Re: release and thoughts]

Rainer Blome
Wed, 23 Aug 1995 21:04:05 +0200


> > b) many good things in the far future are worse than some good things now.
> But TUNES is a Usefull Not Expedient System.

very funny.  you go on:
> ... this whole debate ... is being done far too early. We should
> implement preemptive multitasking and only [then] ...
that's what i was saying.

> The fact that proofs are an essetial part of TUNES is clearly outlined
> on the Web documents (about the HLL).
sure.  i was referring to provably cooperative programs, they're not a main
goal, as far as i can see.