Rev 1658 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1658 | Rev 1780 | ||
---|---|---|---|
Line 48... | Line 48... | ||
48 | 48 | ||
49 | SPINLOCK_INITIALIZE(lock); |
49 | SPINLOCK_INITIALIZE(lock); |
50 | 50 | ||
51 | static waitq_t can_start; |
51 | static waitq_t can_start; |
52 | 52 | ||
53 | __u32 seed = 0xdeadbeef; |
53 | uint32_t seed = 0xdeadbeef; |
54 | 54 | ||
55 | static __u32 random(__u32 max); |
55 | static uint32_t random(uint32_t max); |
56 | 56 | ||
57 | static void writer(void *arg); |
57 | static void writer(void *arg); |
58 | static void reader(void *arg); |
58 | static void reader(void *arg); |
59 | static void failed(void); |
59 | static void failed(void); |
60 | 60 | ||
61 | __u32 random(__u32 max) |
61 | uint32_t random(uint32_t max) |
62 | { |
62 | { |
63 | __u32 rc; |
63 | uint32_t rc; |
64 | 64 | ||
65 | spinlock_lock(&lock); |
65 | spinlock_lock(&lock); |
66 | rc = seed % max; |
66 | rc = seed % max; |
67 | seed = (((seed<<2) ^ (seed>>2)) * 487) + rc; |
67 | seed = (((seed<<2) ^ (seed>>2)) * 487) + rc; |
68 | spinlock_unlock(&lock); |
68 | spinlock_unlock(&lock); |
Line 119... | Line 119... | ||
119 | } |
119 | } |
120 | 120 | ||
121 | void test(void) |
121 | void test(void) |
122 | { |
122 | { |
123 | context_t ctx; |
123 | context_t ctx; |
124 | __u32 i, k; |
124 | uint32_t i, k; |
125 | 125 | ||
126 | printf("Read/write locks test #4\n"); |
126 | printf("Read/write locks test #4\n"); |
127 | 127 | ||
128 | waitq_initialize(&can_start); |
128 | waitq_initialize(&can_start); |
129 | rwlock_initialize(&rwlock); |
129 | rwlock_initialize(&rwlock); |