---
title: 'CaWoSched: Carbon-Aware Workflow Scheduling'
url: https://www.emergentmind.com/topics/cawosched
type: topic
---

# CaWoSched: Carbon-Aware Workflow Scheduling

Searching arXiv for the original CaWoSched paper and its follow-up comparator paper.
CaWoSched is a carbon-aware workflow scheduling framework for deadline-constrained workflows with fixed mapping and fixed ordering. It addresses the temporal scheduling problem that remains after tasks and communications have already been assigned to processors and ordered—“say using the well-known HEFT algorithm”—by shifting execution across time intervals with different green power budgets so as to minimize carbon emissions while maintaining the deadline [2507.08725]. Within the literature summarized here, it is presented both as the original heuristic framework for this restricted problem and as the state-of-the-art comparator against which later joint mapping-and-scheduling methods are evaluated [2605.27652].

## 1. Definition and problem scope

CaWoSched is formulated for workflows represented as directed acyclic graphs under a mixed renewable and non-renewable energy supply. The central assumption is restrictive but explicit: “the mapping and ordering of the workflow tasks are given ... together with a time deadline to complete the execution,” and the remaining decision problem is to “shift tasks across carbon intervals on each processor so as to minimize carbon emissions while maintaining the deadline” [2605.27652]. In this sense, CaWoSched is not a placement framework. It does not decide where tasks run, and it does not change the local task order on a processor. Its optimization variable is the timing of already mapped and ordered computations and communications [2507.08725].

The workflow model follows a weighted DAG \(G=(V,E,\omega,c)\), where \(V\) is the set of tasks, \(E\) is the set of precedence constraints, \(\omega(v)\) is task work, and \(c(v_i,v_j)\) is communication volume or communication time depending on the formulation [2605.27652, 2507.08725]. In the broader notation used by later work that explicitly follows CaWoSched, heterogeneous processors have speeds \(s(p_k)\), so a task \(v_i\) executes in time
\[
t(v_i)=\frac{\omega(v_i)}{s(\mu(v_i))}.
\]
Communications are modeled similarly to CaWoSched as extra tasks on communication channels [2605.27652].

The time horizon is partitioned into intervals with a constant green power budget per interval. Carbon cost is incurred only when the total platform power exceeds the green budget of the current interval. Thus CaWoSched targets carbon minimization under a makespan bound rather than energy minimization or a mixed energy-time objective [2605.27652].

## 2. System model and optimization objective

CaWoSched operates in a scheduling model where workflow precedence, processor order, communications, and deadline feasibility are explicit. In the shared formalization later reused by the follow-up work, the objective is “to find a valid mapping and schedule in order to minimize the carbon cost, while not exceeding a bound \(D\) on the makespan,” with makespan constraint
\[
\max_{v\in V}\{\sigma(v)+ t(v)\}\leq D.
\]
For CaWoSched specifically, the mapping is fixed, so only the scheduling component remains variable [2605.27652].

Communications are represented as extra tasks. For an edge \((v_i,v_j)\in E\), there is a communication task \(v_{i,j}\). If \(\mu(v_i)\neq \mu(v_j)\), communication is mapped to the corresponding link and takes time
\[
t(v_{i,j}) = \frac{c(v_i, v_j)}{\beta}
\]
with \(\beta=1\) in the later paper’s experiments; otherwise, communication cost is zero [2605.27652]. This communication-as-task representation is also explicit in the original CaWoSched paper through the communication-enhanced DAG \(G_c=(V_c,E_c,\omega)\), where communication tasks are added on fictional communication processors [2507.08725].

Schedule validity includes nonnegativity, processor exclusivity, and precedence. In the later formulation aligned with CaWoSched, these conditions are:
\[
\sigma(v)\geq 0 \quad \forall v\in V,
\]
and for tasks on the same processor,
\[
\sigma(v) + t(v) \leq \sigma(v') \;\text{or}\; \sigma(v') + t(v') \leq \sigma(v),
\]
while precedence is enforced either directly for same-processor tasks or via inserted communication tasks for inter-processor edges [2605.27652]. In the original CaWoSched formulation, processor non-overlap is absorbed into the communication-enhanced DAG by adding order edges on each processor and communication processor [2507.08725].

Green-power availability is modeled over a horizon \([0,T[\) partitioned into intervals \(I_j=[b_j,e_j[\), each with green budget \(G_j\) [2605.27652]. In the original paper, total carbon cost is
\[
\mathcal{CC} = \sum_{t=0}^{T-1}\mathcal{CC}_t,
\]
where for time \(t\in I_j\),
\[
\mathcal{CC}_t = \max(\mathcal P_t - G_j, 0).
\]
The objective is therefore the minimization of excess power over available green supply [2507.08725].

## 3. Algorithmic structure and heuristic variants

CaWoSched is a heuristic framework “that combines several greedy approaches with local search” [2507.08725]. The core algorithmic picture is consistent across the original paper and its later use as a baseline: it takes a given mapping and order, shifts tasks and communications toward intervals with high green power budget, and uses local search for refinement [2605.27652].

The original framework computes timing windows using earliest and latest start times. For source tasks,
\[
EST(v)=0,
\]
and otherwise
\[
EST(v)=\max_{(u,v)\in E_c}\{EST(u)+\omega(u)\}.
\]
For sink tasks,
\[
LST(v)=T-\omega(v),
\]
and otherwise
\[
LST(u)=\min_{(u,v)\in E_c}\{LST(v)-\omega(u)\}.
\]
These induce slack
\[
s(v)=LST(v)-EST(v),
\]
and pressure
\[
\rho(v)=\frac{\omega(v)}{s(v)+\omega(v)}.
\]
Slack-based variants favor tasks with little timing flexibility; pressure-based variants favor tasks with large runtime relative to flexibility [2507.08725].

The framework combines four score families—slack, slackW, press, pressW—with two interval granularities—normal and refined—to obtain eight greedy variants:
- slack
- slackW
- slackR
- slackWR
- press
- pressW
- pressR
- pressWR

Each of these can be augmented with local search, yielding sixteen heuristics in total [2507.08725]. The refined interval option uses a finer subdivision derived from aligning blocks of up to \(k=3\) consecutive tasks to original interval starts and ends [2507.08725].

Greedy placement considers interval starts \(b_j\) within the legal window
\[
EST(v)\le b_j\le LST(v).
\]
If such an interval exists, the heuristic chooses a feasible interval with the highest remaining green budget, breaking ties by earliest start [2507.08725]. After placement, green budgets are updated and timing windows for unscheduled tasks are recomputed or updated [2507.08725].

Local search is processor-oriented and move-based. Processors are sorted by nonincreasing power consumption, and tasks are scanned left to right. For each task, the method checks moves up to \(\mu\) time units to the left and right, with \(\mu=10\) in the experiments, accepting the first improving legal move. Because it is a hill-climbing improvement phase, it never worsens the schedule [2507.08725].

The later paper identifies two CaWoSched variants as experimental baselines:
- **H-CWS-p**
- **H-CWS-s**

It states that “-p and -s represent the base score pressure and slack, respectively,” and that “\(H\text{-}CWS\text{-}s\) and \(H\text{-}CWS\text{-}p\) perform similarly -- with \(H\text{-}CWS\text{-}s\) slightly better” [2605.27652]. The later text does not further unpack the internal meaning of “pressure” and “slack” beyond their names, but this is consistent with the original pressure- and slack-based score functions [2507.08725].

## 4. Complexity and theoretical position

The theoretical contribution of the original CaWoSched paper is a complexity split between the uniprocessor and multiprocessor cases. With a single processor and fixed task order, the problem is polynomial-time solvable [2507.08725]. The proof proceeds via a pseudo-polynomial dynamic program over task completion times and then shows that there always exists an optimal \(\mathcal E\)-schedule aligned with interval boundaries, which yields a polynomial-time algorithm [2507.08725].

For the uniprocessor case, if tasks \(v_1,\dots,v_n\) execute in fixed order, the dynamic program considers
\[
(i,t)
\]
as the minimum cost for the first \(i\) tasks when task \(v_i\) completes exactly at time \(t\), with recurrence
\[
(i,t)=\min_{s\le t-\omega(v_i)} \{(i-1,s)+cc(v_i,t)\}.
\]
The structural result that an optimal boundary-aligned schedule exists is then used to restrict the set of candidate completion times [2507.08725].

For at least two processors, the problem becomes strongly NP-hard even with uniform processors and independent tasks [2507.08725]. The reduction is from 3-Partition and uses alternating green and zero-green intervals to force a zero-carbon schedule to correspond to an exact partition [2507.08725].

Later work sharpens the contrast between CaWoSched’s restricted setting and joint mapping-and-scheduling formulations. It states that in the original CaWoSched work, “the decision problem with independent tasks (hence, no communication) that are already mapped and ordered on a set of homogeneous processors ... is strongly NP-complete” [2605.27652]. It also notes that the more general problem with mapping and ordering decisions becomes strongly NP-complete even on a single processor and admits no constant-factor approximation unless \(P=NP\), whereas the single-processor fixed-mapping-and-ordering case is polynomial in CaWoSched [2605.27652]. This establishes CaWoSched as a deliberately restricted but algorithmically more tractable formulation.

## 5. Empirical performance and comparative evaluation

The original paper evaluates CaWoSched on 34 workflows, two heterogeneous clusters, and 16 green-power profiles per workflow-cluster pair, for \(1088\) instances per algorithm [2507.08725]. Workflows range from 200 to 30,000 tasks and include both real and synthetic instances derived from `atacseq`, `bacass`, `eager`, and `methylseq` [2507.08725]. Mappings are generated by HEFT, deadlines are set to \(D\), \(1.5D\), \(2D\), and \(3D\) where \(D\) is the makespan of an ASAP baseline, and the green-power scenarios include concave, convex, sinusoidal, and roughly constant profiles [2507.08725].

The baseline in the original paper is ASAP, which schedules every task at its earliest feasible start time and ignores green-energy variation [2507.08725]. Against this baseline, all CaWoSched variants provide substantial carbon savings. ASAP is worst in \(84.01\%\) of instances, and the best median heuristic-to-baseline ratio is \(0.58\) for `pressWR-LS` [2507.08725]. The paper also highlights instances where gains are much larger under looser deadlines; for example, `slackW` reaches a cost ratio of \(0.15\) in one case [2507.08725].

No single heuristic dominates universally, but the paper reports that `pressWR-LS` is ranked first in \(34.47\%\) of instances [2507.08725]. Pressure-based variants perform especially well under tight deadlines, while slack-based variants tend to benefit more when deadlines are looser [2507.08725]. Local search is particularly important: the average cost ratio between LS-enhanced and non-LS solutions is around \(0.23\)–\(0.25\), and many instances are improved to zero carbon cost by local search although the greedy schedule still has positive cost [2507.08725].

The original paper also provides an exact pseudo-polynomial time-indexed ILP for small instances. It minimizes
\[
\min \sum_{t=0}^{T-1} bu_t,
\]
with binary variables for task start, end, and running status over time, but becomes too slow beyond about 200 tasks [2507.08725]. On small instances, CaWoSched heuristics often match the optimum or come close to it, while running in milliseconds or seconds instead of up to one hour for the ILP [2507.08725].

The later paper on joint carbon-aware mapping and scheduling uses CaWoSched as the main state-of-the-art comparator [2605.27652]. In that evaluation, the compared algorithms are:
- **CWM**
- **H-CWS-p**
- **H-CWS-s**
- **HEFT-SL**

The workloads comprise 44 workflows from `atacseq`, `bacass`, `methylseq`, `eager`, and `chipseq`, scaled to 12–30000 vertices, on clusters with 72 and 144 nodes and on Germany 2024 and California 2024 Electricity Maps hourly carbon data transformed into green-power budgets [2605.27652]. The total number of instances is
\[
2 \times 44 \times 2 \times 3 = 528.
\]

At deadline \(D=2.0\times M\), where \(M\) is the makespan of the carbon-agnostic HEFT-SL baseline, the abstract reports that the new method achieves a median carbon cost reduction of \(42\%\) over the best version of CaWoSched, and that “CaWoSched itself already reduces the carbon-agnostic baseline by \(36\%\)” [2605.27652]. More specifically, at \(D=2.0\times M\), CWM reduces median carbon cost by \(48\%\) versus \(H\text{-}CWS\text{-}p\) and \(42\%\) versus \(H\text{-}CWS\text{-}s\) [2605.27652]. At \(D=1.2\times M\), however, the paper states that the median improvement over CaWoSched is rather small, indicating that CaWoSched remains competitive when deadline slack is tight [2605.27652].

## 6. Interpretation, limitations, and place in the literature

CaWoSched’s principal strength is that it is already a strong carbon-aware scheduler under realistic workflow constraints. The later paper explicitly calls it “the only competitor we know of that also optimizes for carbon cost within a comparable framework, even though it further considers that the mapping and ordering is fixed” [2605.27652]. It handles workflows with precedence constraints and explicit communications, and it is computationally lighter than later joint mapping-and-scheduling methods because it “only shift[s] tasks within a given mapping” [2605.27652].

Its main limitation is also explicit: mapping and ordering are fixed [2605.27652, 2507.08725]. This restriction is central to both its practicality and its performance ceiling. In heterogeneous clusters with time-varying renewable supply, later work argues that “it is equally important where the tasks are executed,” and this is exactly the dimension that CaWoSched does not optimize [2605.27652]. A plausible implication is that CaWoSched is best understood as a temporal carbon-optimization layer that can refine the output of a prior mapper such as HEFT, rather than as a full workflow placement-and-scheduling system.

The framework is also sensitive to the amount of slack. Under tight deadlines, CaWoSched and later joint methods are close to one another, and for tiny workflows most algorithms often find a carbon-optimal schedule [2605.27652]. Under looser deadlines, larger workflows, and larger clusters, the advantage of joint mapping and scheduling becomes clearer [2605.27652]. This suggests that CaWoSched’s fixed-mapping design limits its ability to exploit additional flexibility in heterogeneous environments.

The original bibliographic reference given by the later paper identifies the prior work as:
**Dominik Schweisgut, Anne Benoit, Yves Robert, and Henning Meyerhenke.**
*Carbon-Aware Workflow Scheduling with Fixed Mapping and Deadline Constraint.*
In **Proc. of the 54th Int. Conf. on Par. Proc. (ICPP 2025)**, pages 627--637, ACM, 2025 [2605.27652]. The corresponding arXiv preprint is “Carbon-Aware Workflow Scheduling with Fixed Mapping and Deadline Constraint” [2507.08725].

Taken together, these sources position CaWoSched as a specialized workflow scheduler for minimizing carbon cost by exploiting time-varying green-power availability after mapping and ordering decisions have already been made. Its theoretical profile is unusually sharp for a workflow carbon scheduler: polynomial on one processor, strongly NP-hard on multiple processors [2507.08725]. Its practical profile is that of a robust heuristic framework whose greedy-plus-local-search variants consistently outperform a carbon-agnostic ASAP baseline and provide a meaningful state-of-the-art baseline for subsequent work on more general carbon-aware workflow optimization [2507.08725, 2605.27652].

Source: https://www.emergentmind.com/topics/cawosched