Verified Commit 08a16552 authored by Theo von Arx's avatar Theo von Arx
Browse files

Use math mode in listing

parent c1829cfc
......@@ -97,14 +97,14 @@ It is is optimal in sense of feasibility (it minimizes the maximum lateness unde
worst case finishing time of task i: $f_i = t + \sum_{k=1}^i c_k(t)$ \\
EDF guarantee condition: $\forall i = 1,\dots ,n \quad t + \sum_{k=1}^i c_k(t)\leq d_i$
\begin{python}
Algorithm: EDF_guarantee (J, J_new)
Algorithm: EDF_guarantee (set of jobs $J$, job $j_{new}$)
{
J` = J and {J_new}; /*ordered by deadline*/
t = current_time();
f_0 = t;
for (each J_i in J`) {
f_i = f_(i-1) + c_i(t);
if (f_i >d_i) return(UNFEASIBLE);
$J'$ = $J \cup \{j_{new}\}$; /*ordered by deadline*/
$t$ = current_time();
$f_0$ = $t$;
for (each $j_i$ in $J'$) {
$f_i = f_{i-1} + c_i(t)$;
if ($f_i >d_i$) return(UNFEASIBLE);
}
return(FEASIBLE);
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment