| 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; } |
| |