Rev 814 | Rev 827 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 814 | Rev 823 | ||
|---|---|---|---|
| Line 325... | Line 325... | ||
| 325 | if (as1 != as2) { |
325 | if (as1 != as2) { |
| 326 | /* |
326 | /* |
| 327 | * Both tasks and address spaces are different. |
327 | * Both tasks and address spaces are different. |
| 328 | * Replace the old one with the new one. |
328 | * Replace the old one with the new one. |
| 329 | */ |
329 | */ |
| 330 | as_install(as2); |
330 | as_switch(as1, as2); |
| 331 | } |
331 | } |
| 332 | TASK = THREAD->task; |
332 | TASK = THREAD->task; |
| 333 | } |
333 | } |
| 334 | 334 | ||
| 335 | THREAD->state = Running; |
335 | THREAD->state = Running; |
| 336 | 336 | ||
| 337 | #ifdef SCHEDULER_VERBOSE |
337 | #ifdef SCHEDULER_VERBOSE |
| 338 | printf("cpu%d: tid %d (priority=%d,ticks=%d,nrdy=%d)\n", CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks, CPU->nrdy); |
338 | printf("cpu%d: tid %d (priority=%d,ticks=%d,nrdy=%d)\n", CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks, atomic_get(&CPU->nrdy)); |
| 339 | #endif |
339 | #endif |
| 340 | 340 | ||
| 341 | /* |
341 | /* |
| 342 | * Copy the knowledge of CPU, TASK, THREAD and preemption counter to thread's stack. |
342 | * Copy the knowledge of CPU, TASK, THREAD and preemption counter to thread's stack. |
| 343 | */ |
343 | */ |