Roger Racine wrote: >I am having a debate with someone about the possibility of allowing time >slicing within Ada programs if the Annex D standard task dispatching policy >is followed. > >His position (if I have it correctly) is that time slicing is specifically >forbidden. He takes his position from the RM, section D.2.2. My position >is that time slicing is allowed. My position comes from reading the >Rationale, section D.2.1, the last paragraph of the section You don't need to go to the Rationale; the permission is in the RM itself, in D.2.2(6): "The task dispatching policy is specified by a Task_Dispatching_Policy configuration pragma. If no such pragma appears in any of the program units comprising a partition, the task dispatching policy for that partition is unspecified." Thus an implementation can supply a task dispatching policy, e.g. Time_Slicing, and make this the default. The reason for this freedom, if I remember the history correcdtly, is that the target environment may be an OS the details of whose dispatching policy are proprietary, so the Ada implementation might not even be able to document what the policy is. This does not absolve the Ada implementor from implementing FIFO_Within_Priorities, since the user can always explicitly specify this policy with the Task_Dispatching_Policy pragma. Regards, Ben Brosgol Aonix [log in to unmask]