Heterogeneous Earliest Finish Time

Heterogeneous Earliest Finish Time (or HEFT) is a heuristic to schedule a set of dependent tasks onto a network of heterogeneous workers taking communication time into account.^[1] For inputs HEFT takes a set of tasks, represented as a directed acyclic graph, a set of workers, the times to execute each task on each worker, and the times to communicate the results from each job to each of its children between each pair of workers. It descends from list scheduling algorithms.

Algorithm

HEFT executes in two phases.

Prioritizing tasks

In the first phase each task is given a priority. The priority of each task $n_{i}$ is usually designated to be its "upward rank" which is defined recursively as follows

$rank_{u}(n_{i})=\overline {w_{i}}+\max _{{n_{j}\in succ(n_{i})}}(\overline {c_{{i,j}}}+rank_{u}(n_{j}))$

where $n_{i}$ represents the $i^{th}$ task, $\overline {w_{i}}$ is an average computation cost of job i among all the workers, $succ(n_{i})$ is the set of all jobs that immediately depend on task $n_{i}$, and $\overline {c_{{i,j}}}$ is the average communication cost of the variables transferred between jobs $n_{i}$ and $n_{j}$ between all pairs of workers. Note that the computation of $rank_{u}(n_{i})$ depends on the computation of the rank of all its children. The upward rank is meant to represent the expected distance of any task from the end of the computation. For averaged quantities like $\overline {w_{i}}$ different averages may provide different results.^[2]

Assigning tasks to workers

In the second phase tasks are assigned to workers. Now that all tasks are prioritized we consider and schedule each one, starting with the highest priority. The task with the highest priority for which all dependent tasks have finished is scheduled on the worker which will result in the earliest finish time of that task. This finish time depends on the communication time to send all necessary inputs to the worker, the computation time of the task on the worker, and the time when that processor becomes available (it may be busy with another task).

Performance

HEFT is well respected among heuristic algorithms for this problem. However in complex situations it can easily fail to find the optimal scheduling. HEFT is essentially a greedy algorithm and incapable of making short-term sacrifices for long term benefits.

Code

A Python implementation of HEFT is available on github

References

1. Topcuoglu, Haluk; Hariri, Salim; Wu, M. (2002). "Performance-effective and low-complexity task scheduling for heterogeneous computing". IEEE Transactions on Parallel and Distributed Systems. 13 (3): 260–274. doi:10.1109/71.993206.
2. Zhao, Henan; Sakellariou, Rizos (2003). "An experimental investigation into the rank function of the heterogeneous earliest finish time scheduling algorithm" (PDF). Euro-Par 2003 Parallel Processing: 189–194.