Rev 1658 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1658 | Rev 1780 | ||
|---|---|---|---|
| Line 43... | Line 43... | ||
| 43 | 43 | ||
| 44 | SPINLOCK_INITIALIZE(lock); |
44 | SPINLOCK_INITIALIZE(lock); |
| 45 | 45 | ||
| 46 | static waitq_t can_start; |
46 | static waitq_t can_start; |
| 47 | 47 | ||
| 48 | __u32 seed = 0xdeadbeef; |
48 | uint32_t seed = 0xdeadbeef; |
| 49 | 49 | ||
| 50 | static __u32 random(__u32 max); |
50 | static uint32_t random(uint32_t max); |
| 51 | 51 | ||
| 52 | static void consumer(void *arg); |
52 | static void consumer(void *arg); |
| 53 | static void failed(void); |
53 | static void failed(void); |
| 54 | 54 | ||
| 55 | __u32 random(__u32 max) |
55 | uint32_t random(uint32_t max) |
| 56 | { |
56 | { |
| 57 | __u32 rc; |
57 | uint32_t rc; |
| 58 | 58 | ||
| 59 | spinlock_lock(&lock); |
59 | spinlock_lock(&lock); |
| 60 | rc = seed % max; |
60 | rc = seed % max; |
| 61 | seed = (((seed<<2) ^ (seed>>2)) * 487) + rc; |
61 | seed = (((seed<<2) ^ (seed>>2)) * 487) + rc; |
| 62 | spinlock_unlock(&lock); |
62 | spinlock_unlock(&lock); |
| Line 93... | Line 93... | ||
| 93 | thread_exit(); |
93 | thread_exit(); |
| 94 | } |
94 | } |
| 95 | 95 | ||
| 96 | void test(void) |
96 | void test(void) |
| 97 | { |
97 | { |
| 98 | __u32 i, k; |
98 | uint32_t i, k; |
| 99 | 99 | ||
| 100 | printf("Semaphore test #2\n"); |
100 | printf("Semaphore test #2\n"); |
| 101 | 101 | ||
| 102 | waitq_initialize(&can_start); |
102 | waitq_initialize(&can_start); |
| 103 | semaphore_initialize(&sem, 5); |
103 | semaphore_initialize(&sem, 5); |