| 摘要 |
A method for scheduling interdependent tasks on a multi-task system includes: associating to each task a logical time vector indicative of the current occurrence of the task and the occurrences of other tasks on which the current occurrence depends; defining a partial order on the set of logical time vectors, such that a first vector is greater than a second vector if all first vector components are greater or equal to the respective second vector components, and at least one component of the first vector is strictly greater than the respective component of the second vector; after an execution of a task, updating its logical time vector for a new occurrence by incrementing at least one component of the vector; comparing the logical time vectors according to the partial order relation; and executing each task having a logical time vector smaller than all other logical time vectors.
|
