Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2131 | Rev 2307 | ||
---|---|---|---|
Line 65... | Line 65... | ||
65 | thread_detach(THREAD); |
65 | thread_detach(THREAD); |
66 | 66 | ||
67 | waitq_sleep(&can_start); |
67 | waitq_sleep(&can_start); |
68 | 68 | ||
69 | to = random(20000); |
69 | to = random(20000); |
70 | printf("cpu%d, tid %d down+ (%d)\n", CPU->id, THREAD->tid, to); |
70 | printf("cpu%d, tid %llu down+ (%d)\n", CPU->id, THREAD->tid, to); |
71 | rc = semaphore_down_timeout(&sem, to); |
71 | rc = semaphore_down_timeout(&sem, to); |
72 | if (SYNCH_FAILED(rc)) { |
72 | if (SYNCH_FAILED(rc)) { |
73 | printf("cpu%d, tid %d down!\n", CPU->id, THREAD->tid); |
73 | printf("cpu%d, tid %llu down!\n", CPU->id, THREAD->tid); |
74 | return; |
74 | return; |
75 | } |
75 | } |
76 | 76 | ||
77 | printf("cpu%d, tid %d down=\n", CPU->id, THREAD->tid); |
77 | printf("cpu%d, tid %llu down=\n", CPU->id, THREAD->tid); |
78 | thread_usleep(random(30000)); |
78 | thread_usleep(random(30000)); |
79 | 79 | ||
80 | semaphore_up(&sem); |
80 | semaphore_up(&sem); |
81 | printf("cpu%d, tid %d up\n", CPU->id, THREAD->tid); |
81 | printf("cpu%d, tid %llu up\n", CPU->id, THREAD->tid); |
82 | } |
82 | } |
83 | 83 | ||
84 | char * test_semaphore2(bool quiet) |
84 | char * test_semaphore2(bool quiet) |
85 | { |
85 | { |
86 | uint32_t i, k; |
86 | uint32_t i, k; |