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