Skip to main content
\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)
Mathematics LibreTexts

7.4: Choosing a Priority List

  • Page ID
    34214
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

    We will explore two algorithms for selecting a priority list.

    Decreasing time algorithm

    The decreasing time algorithm takes the approach of trying to get the very long tasks out of the way as soon as possible by putting them first on the priority list.

    Decreasing Time Algorithm

    Create the priority list by listing the tasks in order from longest completion time to shortest completion time.

    Example 3

    Consider the scheduling problem represented by the digraph below. Create a priority list using the decreasing time list algorithm, then use it to schedule for two processors using the list processing algorithm.

    sc4.svg

    Solution

    To use the decreasing time list algorithm, we create our priority list by listing the tasks in order from longest task time to shortest task time. If there is a tie, we will list the task with smaller task number first (not for any good reason, but just for consistency).

    For this digraph, the decreasing time algorithm would create a priority list of:

    \(\mathrm{T}_{6}(10), \mathrm{T}_{3}(7), \mathrm{T}_{10}(7), \mathrm{T}_{1}(6), \mathrm{T}_{5}(5), \mathrm{T}_{4}(4), \mathrm{T}_{7}(4), \mathrm{T}_{2}(3), \mathrm{T}_{8}(3), \mathrm{T}_{9}(2)\)

    Once we have the priority list, we can create the schedule using the list processing algorithm. With two processors, we’d get:

    Time 0: We identify ready tasks, and assign \(\mathrm{T}_{3}\) to \(\mathrm{P}_{1}\) and \(\mathrm{T}_{1}\) to \(\mathrm{P}_{2}\)

    Priority list: \(\mathrm{T}_{6}, \cancel{(\mathrm{T}_{3})}, \mathrm{T}_{10}, \cancel{(\mathrm{T}_{1})}, \mathrm{T}_{5}, (\mathrm{T}_{4}), \mathrm{T}_{7}, (\mathrm{T}_{2}), \mathrm{T}_{8}, \mathrm{T}_{9}\)

    clipboard_e703f720a08aad265afd1225075591440.png

    Time 6: \(\mathrm{P}_{2}\) completes \(\mathrm{T}_{1}\). No new tasks become ready, so \(\mathrm{T}_{4}\) is assigned to \(\mathrm{P}_{2}\).

    Priority list: \(\mathrm{T}_{6}, \cancel{(\mathrm{T}_{3})}, \mathrm{T}_{10}, \xcancel{(\mathrm{T}_{1})}, \mathrm{T}_{5}, \cancel{(\mathrm{T}_{4})}, \mathrm{T}_{7}, (\mathrm{T}_{2}), \mathrm{T}_{8}, \mathrm{T}_{9}\)

    clipboard_ec24ebf2ce33459b8974ae360bc36959b.png

    Time 7: \(\mathrm{P}_{1}\) completes \(\mathrm{T}_{3}\). No new tasks become ready, so \(\mathrm{T}_{2}\) is assigned to \(\mathrm{P}_{1}\).

    Priority list: \(\mathrm{T}_{6}, \xcancel{(\mathrm{T}_{3})}, \mathrm{T}_{10}, \xcancel{(\mathrm{T}_{1})}, \mathrm{T}_{5}, \cancel{(\mathrm{T}_{4})}, \mathrm{T}_{7}, \cancel{(\mathrm{T}_{2})}, \mathrm{T}_{8}, \mathrm{T}_{9}\)

    clipboard_efe5bc017ef0173e4a1df6c03eff62c90.png

    Time 10: Both processors complete their tasks. \(\mathrm{T}_{6}\) becomes ready, and is assigned to \(\mathrm{P}_{1}\). No other tasks are ready, so \(\mathrm{P}_{2}\) idles.

    Priority list: \(\cancel{\mathrm{T}_{6}}, \xcancel{(\mathrm{T}_{3})}, \mathrm{T}_{10}, \xcancel{(\mathrm{T}_{1})}, \mathrm{T}_{5}, \xcancel{(\mathrm{T}_{4})}, \mathrm{T}_{7}, \xcancel{(\mathrm{T}_{2})}, \mathrm{T}_{8}, \mathrm{T}_{9}\)

    clipboard_e512e9c2ed991ded58e7a27d44142a55a.png

    Time 20: With \(\mathrm{T}_{6}\) complete, \(\mathrm{T}_{5}\) and \(\mathrm{T}_{7}\) become ready, and are assigned to \(\mathrm{P}_{1}\) and \(\mathrm{P}_{2}\) respectively.

    Priority list: \(\xcancel{(\mathrm{T}_{6})}, \xcancel{(\mathrm{T}_{3})}, \mathrm{T}_{10}, \xcancel{(\mathrm{T}_{1})}, \cancel{(\mathrm{T}_{5})}, \xcancel{(\mathrm{T}_{4})}, \cancel{(\mathrm{T}_{7})}, \xcancel{(\mathrm{T}_{2})}, \mathrm{T}_{8}, \mathrm{T}_{9}\)

    clipboard_e489ac776b4f4bbdf786ee597826eae80.png

    Time 24: \(\mathrm{P}_{2}\) completes \(\mathrm{T}_{7}\). No new items become ready, so \(\mathrm{P}_{2}\) idles.

    Time 25: \(\mathrm{P}_{1}\) completes \(\mathrm{T}_{5}\). \(\mathrm{T}_{8}\) and \(\mathrm{T}_{9}\) become ready, and are assigned.

    Priority list: \(\xcancel{(\mathrm{T}_{6})}, \xcancel{(\mathrm{T}_{3})}, \mathrm{T}_{10}, \xcancel{(\mathrm{T}_{1})}, \xcancel{(\mathrm{T}_{5})}, \xcancel{(\mathrm{T}_{4})}, \xcancel{(\mathrm{T}_{7})}, \xcancel{(\mathrm{T}_{2})}, \cancel{(\mathrm{T}_{8})}, \cancel{(\mathrm{T}_{9})}\)

    clipboard_e5e6ece99dbe18a75824499c1d29e6a8d.png

    Time 27: \(\mathrm{T}_{9}\) is completed. No items ready, so \(\mathrm{P}_{2}\) idles.

    Time 28: \(\mathrm{T}_{8}\) is completed. \(\mathrm{T}_{10}\) becomes ready, and is assigned to \(\mathrm{P}_{1}\).

    Priority list: \(\xcancel{(\mathrm{T}_{6})}, \xcancel{(\mathrm{T}_{3})}, \cancel{(\mathrm{T}_{10})}, \xcancel{(\mathrm{T}_{1})}, \xcancel{(\mathrm{T}_{5})}, \xcancel{(\mathrm{T}_{4})}, \xcancel{(\mathrm{T}_{7})}, \xcancel{(\mathrm{T}_{2})}, \xcancel{(\mathrm{T}_{8})}, \xcancel{(\mathrm{T}_{9})}\)

    clipboard_e3136d11371231accc1af61a55c53d6b1.png

    This is our completed schedule, with a finishing time of 35.

    Using the decreasing time algorithm, the priority list led to a schedule with a finishing time of 35. Is this good? It certainly looks like there was a lot of idle time in this schedule. To get some idea how good or bad this schedule is, we could compute the critical time, the minimum time to complete the job. To find this, we look for the sequence of tasks with the highest total completion time. For this digraph that sequence would appear to be: \(\mathrm{T}_{2}, \mathrm{T}_{6}, \mathrm{T}_{5}, \mathrm{T}_{8}, \mathrm{T}_{10},\) with total sequence time of 28. From this we can conclude that our schedule isn’t horrible, but there is a possibility that a better schedule exists.

    Try it Now 2

    Determine the priority list for the digraph from Try it Now 1 using the decreasing time algorithm.

    Answer

    \(\mathrm{T}_{7}, \mathrm{T}_{1}, \mathrm{T}_{4,} \mathrm{T}_{2}, \mathrm{T}_{9}, \mathrm{T}_{5}, \mathrm{T}_{3}, \mathrm{T}_{6,} \mathrm{T}_{8}\)

    Critical path algorithm

    A sequence of tasks in the digraph is called a path. In the previous example, we saw that the critical path dictates the minimum completion time for a schedule. Perhaps, then, it would make sense to consider the critical path when creating our schedule. For example, in the last schedule, the processors began working on tasks 1 and 3 because they were longer tasks, but starting on task 2 earlier would have allowed work to begin on the long task 6 earlier.

    The critical path algorithm allows you to create a priority list based on idea of critical paths.

    Critical Path Algorithm (version 1)
    1. Find the critical path.
    2. The first task in the critical path gets added to the priority list.
    3. Remove that task from the digraph
    4. Repeat, finding the new critical path with the revised digraph
    Example 4

    The original digraph from Example 3 has critical path \(\mathrm{T}_{2}, \mathrm{T}_{6}, \mathrm{T}_{5}, \mathrm{T}_{8}, \mathrm{T}_{10},\) so \(\mathrm{T}_{2}\) gets added first to the priority list. Removing \(\mathrm{T}_{2}\) from the digraph, it now looks like:

    sc5.svg

    Solution

    The critical path (longest path) in the remaining digraph is now \(\mathrm{T}_{6}, \mathrm{T}_{5}, \mathrm{T}_{8}, \mathrm{T}_{10},\) so \(\mathrm{T}_{6}\) is added to the priority list and removed.

    sc6.svg

    Now there are two paths with the same longest length: \(\mathrm{T}_{1}, \mathrm{T}_{5}, \mathrm{T}_{8}, \mathrm{T}_{10}\) and \(\mathrm{T}_{3}, \mathrm{T}_{7}, \mathrm{T}_{8}, \mathrm{T}_{10}\). We can add \(\mathrm{T}_{1}\) to the priority list (or \(\mathrm{T}_{3}\) – we usually add the one with smaller item number) and remove it, and continue the process.

    I’m sure you can imagine that searching for the critical path every time you remove a task from the digraph would get really tiring, especially for a large digraph. In practice, the critical path algorithm is implementing by first working from the end backwards. This is called the backflow algorithm.

    Backflow Algorithm
    1. Introduce an “end” vertex, and assign it a time of 0, shown in [brackets]
    2. Move backwards to every vertex that has an arrow to the end and assign it a critical time
    3. From each of those vertices, move backwards and assign those vertices critical times. Notice that the critical time for the earlier vertex will be that task’s time plus the critical time for the later vertex.

    Example: Consider this segment of digraph.

    sc7.svg

    In this case, if T2 has already been determined to have a critical time of 10, then T1 will have a critical time of 5+10 = 15

    sc8.svg

    If you have already assigned a critical time to a vertex, replace it only if the new time is larger.

    Example: In the digraph below, T1 should be labeled with a critical time of 16, since it is the longer of 5+10 and 5+11.

    sc9.svg

    4. Repeat until all vertices are labeled with their critical times

    One you have completed the backflow algorithm, you can easily create the critical path priority list by using the critical times you just found.

    Critical Path Algorithm (version 2)
    1. Apply the backflow algorithm to the digraph
    2. Create the priority list by listing the tasks in order from longest critical time to shortest critical time

    This version of the Critical Path Algorithm will usually be the easier to implement.

    Example 5

    Applying this to our digraph from the earlier example, we start applying the backflow algorithm.

    Solution

    We add an end vertex and give it a critical time of 0.

    sc10.svg

    We then move back to \(\mathrm{T}_{4}, \mathrm{T}_{9},\) and \(\mathrm{T}_{10}\), labeling them with their critical times

    sc11.svg

    From each vertex marked with a critical time, we go back. \(\mathrm{T}_{7}\), for example, will get labeled with a critical time 11 – the task time of 4 plus the critical time of 7 for \(\mathrm{T}_{10}\). For \(\mathrm{T}_{5}\), there are two paths to the end. We use the longer, labeling T5 with critical time \(5+7 = 12\).

    sc12.svg

    Continue the process until all vertices are labeled. Notice that the critical time for \(\mathrm{T}_{5}\) ended got replaced later with the even longer path through \(\mathrm{T}_{8}\).

    sc13.svg

    We can now quickly create the critical path priority list by listing the tasks in decreasing order of critical time:

    Priority list: \(\mathrm{T}_{2}, \mathrm{T}_{6}, \mathrm{T}_{1}, \mathrm{T}_{3}, \mathrm{T}_{5}, \mathrm{T}_{7}, \mathrm{T}_{8}, \mathrm{T}_{10}, \mathrm{T}_{4}, \mathrm{T}_{9}\)

    Applying this priority list using the list processing algorithm, we get the schedule:

    clipboard_ef29844773f30d594f64ac4eec0cfb679.png

    In this particular case, we were able to achieve the minimum possible completion time with this schedule, suggesting that this schedule is optimal. This is certainly not always the case.

    Try it Now 3

    Determine the priority list for the digraph from Try it Now 1 using the critical path algorithm.

    Answer

    Applying the backflow algorithm, we get this:

    sc16.svg

    The critical path priority list is: \(\mathrm{T}_{7}, \mathrm{T}_{1}, \mathrm{T}_{4}, \mathrm{T}_{2}, \mathrm{T}_{8}, \mathrm{T}_{5}, \mathrm{T}_{9}, \mathrm{T}_{3}, \mathrm{T}_{6}\)

    Example 6

    This example is designed to show that the critical path algorithm doesn’t always work wonderfully. Schedule the tasks in the digraph below on three processors using the critical path algorithm.

    sc14.svg

    Solution

    To create a critical path priority list, we could first apply the backflow algorithm:

    sc15.svg

    This yields the critical-path priority list: \(\mathrm{T}_{1}, \mathrm{T}_{6}, \mathrm{T}_{7}, \mathrm{T}_{8}, \mathrm{T}_{4}, \mathrm{T}_{5}, \mathrm{T}_{9}, \mathrm{T}_{2}, \mathrm{T}_{3}\).

    Applying the list processing algorithm to this priority list leads to the schedule:

    clipboard_e9bf290d6eedb6f0b1f58037dbaa4efb2.png

    This schedule has finishing time of 13.

    By observation, we can see that a much better schedule exists for the example above:

    clipboard_eddd4095caab1bdf49b5be7a88733fcd1.png

    In most cases the critical path algorithm will lead to a very good schedule. There are cases, like this, where it will not. Unfortunately, there is no known algorithm to always produce the optimal schedule.


    7.4: Choosing a Priority List is shared under a CC BY-SA 3.0 license and was authored, remixed, and/or curated by David Lippman via source content that was edited to conform to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.