Rev 1104 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1104 | Rev 1658 | ||
|---|---|---|---|
| Line 65... | Line 65... | ||
| 65 | 65 | ||
| 66 | 66 | ||
| 67 | void consumer(void *arg) |
67 | void consumer(void *arg) |
| 68 | { |
68 | { |
| 69 | int rc, to; |
69 | int rc, to; |
| - | 70 | ||
| - | 71 | thread_detach(THREAD); |
|
| - | 72 | ||
| 70 | waitq_sleep(&can_start); |
73 | waitq_sleep(&can_start); |
| 71 | 74 | ||
| 72 | to = random(20000); |
75 | to = random(20000); |
| 73 | printf("cpu%d, tid %d down+ (%d)\n", CPU->id, THREAD->tid, to); |
76 | printf("cpu%d, tid %d down+ (%d)\n", CPU->id, THREAD->tid, to); |
| 74 | rc = semaphore_down_timeout(&sem, to); |
77 | rc = semaphore_down_timeout(&sem, to); |