MCScheduling 1.0
Set of Algorithms for Solving Mixed-Criticality Scheduling
|
A so-called critical list that is used by the clairvoyant EDF algorithm. More...
Public Member Functions | |
void | Add (Task task) |
Adds the specified task into the list. | |
void | AddWithNote (Task task, int maxStartTimeNote) |
Adds the specified task into the list. | |
void | Update (int maximumStartTimeBreach, int maximumStartTimeUpdate, int criticality) |
Updates the maximum start time of each task T whose value of this property is less then maximumStartTimeBreach, such that: | |
Task | GetMinimum () |
Returns the taks with the lowest maximal start time. | |
void | Remove (Task task) |
Removes the specified task from the list. | |
Properties | |
int | Count [get] |
The number of tasks in the list. |
A so-called critical list that is used by the clairvoyant EDF algorithm.
See ClairvoyantEDF class.
void MCScheduling.ClairvoyantEDF.CriticalList.Add | ( | Task | task | ) |
Adds the specified task into the list.
task | The task to add. |
void MCScheduling.ClairvoyantEDF.CriticalList.AddWithNote | ( | Task | task, |
int | maxStartTimeNote | ||
) |
Adds the specified task into the list.
Moreover it sets the maximum start times of all the jobs in the list whose maximum start time value is less then the value of the specified task to maxStartTimeNote.
task | The task to add. |
maxStartTimeNote | The maximum start time update for all tasks whose value of this property is less then the one of the task to add. |
Task MCScheduling.ClairvoyantEDF.CriticalList.GetMinimum | ( | ) |
Returns the taks with the lowest maximal start time.
InvalidOperationException | If the list is empty. |
void MCScheduling.ClairvoyantEDF.CriticalList.Update | ( | int | maximumStartTimeBreach, |
int | maximumStartTimeUpdate, | ||
int | criticality | ||
) |
Updates the maximum start time of each task T whose value of this property is less then maximumStartTimeBreach, such that:
T.MaximumStartTime = min(T.MaximumStartTime, MaximumStartTimeUpdate - T.ExecutionTime[min(T.criticality, criticality)].
maximumStartTimeBreach | The maximum start time to update. |
maximumStartTimeUpdate | The update start time value. |
criticality | The criticality update parameter. |
int MCScheduling.ClairvoyantEDF.CriticalList.Count [get] |
The number of tasks in the list.