| 67,18 → 67,18 |
|---|
| waitq_sleep(&can_start); |
| |
| to = random(20000); |
| printf("cpu%d, tid %llu down+ (%d)\n", CPU->id, THREAD->tid, to); |
| printf("cpu%u, tid %" PRIu64 " down+ (%d)\n", CPU->id, THREAD->tid, to); |
| rc = semaphore_down_timeout(&sem, to); |
| if (SYNCH_FAILED(rc)) { |
| printf("cpu%d, tid %llu down!\n", CPU->id, THREAD->tid); |
| printf("cpu%u, tid %" PRIu64 " down!\n", CPU->id, THREAD->tid); |
| return; |
| } |
| |
| printf("cpu%d, tid %llu down=\n", CPU->id, THREAD->tid); |
| printf("cpu%u, tid %" PRIu64 " down=\n", CPU->id, THREAD->tid); |
| thread_usleep(random(30000)); |
| |
| semaphore_up(&sem); |
| printf("cpu%d, tid %llu up\n", CPU->id, THREAD->tid); |
| printf("cpu%u, tid %" PRIu64 " up\n", CPU->id, THREAD->tid); |
| } |
| |
| char * test_semaphore2(bool quiet) |
| 91,7 → 91,7 |
|---|
| thread_t *thrd; |
| |
| k = random(7) + 1; |
| printf("Creating %d consumers\n", k); |
| printf("Creating %" PRIu32 " consumers\n", k); |
| for (i = 0; i < k; i++) { |
| thrd = thread_create(consumer, NULL, TASK, 0, "consumer", false); |
| if (thrd) |