| /kernel/trunk/generic/src/proc/scheduler.c |
|---|
| 352,7 → 352,6 |
| switch (THREAD->state) { |
| case Running: |
| THREAD->state = Ready; |
| spinlock_unlock(&THREAD->lock); |
| thread_ready(THREAD); |
| break; |
| /kernel/trunk/generic/src/proc/task.c |
|---|
| 159,7 → 159,7 |
| for (cur=tasks_head.next; cur!=&tasks_head; cur=cur->next) { |
| t = list_get_instance(cur, task_t, tasks_link); |
| spinlock_lock(&t->lock); |
| printf("%s: address=%P, taskid=%Q, as=%P, ActiveCalls: %d", |
| printf("%s: address=%P, taskid=%Q\n\tas=%P, ActiveCalls: %d", |
| t->name, t, t->taskid, t->as, atomic_get(&t->active_calls)); |
| for (i=0; i < IPC_MAX_PHONES; i++) { |
| if (t->phones[i].callee) |
| /kernel/trunk/generic/src/proc/thread.c |
|---|
| 183,6 → 183,8 |
| spinlock_lock(&t->lock); |
| ASSERT(! (t->state == Ready)); |
| i = (t->priority < RQ_COUNT -1) ? ++t->priority : t->priority; |
| cpu = CPU; |
| 415,7 → 417,7 |
| for (cur=threads_head.next; cur!=&threads_head; cur=cur->next) { |
| t = list_get_instance(cur, thread_t, threads_link); |
| printf("%s: address=%P, tid=%d, state=%s, task=%P, code=%P, stack=%P, cpu=", |
| printf("%s: address=%P, tid=%d, state=%s\n\ttask=%P, code=%P, stack=%P, cpu=", |
| t->name, t, t->tid, thread_states[t->state], t->task, t->thread_code, t->kstack); |
| if (t->cpu) |
| printf("cpu%d ", t->cpu->id); |