71,7 → 71,7 |
task_activate((PID)a); |
} |
|
TASK j0() |
TASK J0() |
{ |
cprintf("J0: before locking m0\n"); |
mutex_lock(&m0); |
87,7 → 87,7 |
} |
|
|
TASK j1() |
TASK J1() |
{ |
cprintf("J1: before locking m2\n"); |
mutex_lock(&m2); |
144,7 → 144,7 |
hard_task_def_mit(m, 1000000); |
hard_task_def_wcet(m, 20000); |
PC_res_default_model(r,0); |
p0 = task_create("J0", j0, &m, &r); |
p0 = task_create("J0", J0, &m, &r); |
if (p0 == NIL) |
{ cprintf("Can't create J0 task...\n"); return 1; } |
|
152,7 → 152,7 |
hard_task_def_mit(m, 2100000); |
hard_task_def_wcet(m, 20000); |
PC_res_default_model(r,1); |
p1 = task_create("J1", j1, &m, &r); |
p1 = task_create("J1", J1, &m, &r); |
if (p1 == NIL) |
{ cprintf("Can't create J1 task...\n"); return 1; } |
|