The Scheduler Will Fitzgerald (11 Apr 2000 18:12 UTC)
Re: The Scheduler Marc Feeley (13 Apr 2000 14:16 UTC)
RE: The Scheduler Will Fitzgerald (13 Apr 2000 15:27 UTC)
Re: The Scheduler Marc Feeley (13 Apr 2000 16:56 UTC)
RE: The Scheduler Will Fitzgerald (13 Apr 2000 17:29 UTC)
Re: The Scheduler David Rush (14 Apr 2000 10:34 UTC)
RE: The Scheduler Will Fitzgerald (14 Apr 2000 13:42 UTC)
Re: The Scheduler Marc Feeley (14 Apr 2000 13:47 UTC)
Re: The Scheduler David Rush (14 Apr 2000 15:14 UTC)
Re: The Scheduler Mark K. Gardner (14 Apr 2000 16:09 UTC)
Re: The Scheduler David Rush (14 Apr 2000 16:31 UTC)
Re: The Scheduler Marc Feeley (15 Apr 2000 02:26 UTC)

RE: The Scheduler Will Fitzgerald 13 Apr 2000 17:29 UTC

Marc, thanks for the complete remarks. They were very helpful.

One alternative I suggested is something like the following:

(1) The type of the value of the priority field of a thread is left
undefined.
(2) The 'user' defines a THREAD-PRIORITY>? ordering procedure.
(3) To change the priority, you need to use THREAD-PRIORITY-SET!

(1) and (2) could default to values as in the proposal.

But you say (2) can't be done, for the reasons you describe. Pity. (But
I guess we can create an integer priority from anything I can dream up,
including the mythical deadline).

--
Will