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

Rainer Blome rainer@physik3.gwdg.de
Wed, 23 Aug 1995 21:04:05 +0200


patrick,

me:
> > b) many good things in the far future are worse than some good things now.
you: 
> 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.

rainer