/kernel/trunk/test/synch/rwlock4/test.c |
---|
50,17 → 50,17 |
static waitq_t can_start; |
uint32_t seed = 0xdeadbeef; |
__u32 seed = 0xdeadbeef; |
static uint32_t random(uint32_t max); |
static __u32 random(__u32 max); |
static void writer(void *arg); |
static void reader(void *arg); |
static void failed(void); |
uint32_t random(uint32_t max) |
__u32 random(__u32 max) |
{ |
uint32_t rc; |
__u32 rc; |
spinlock_lock(&lock); |
rc = seed % max; |
121,7 → 121,7 |
void test(void) |
{ |
context_t ctx; |
uint32_t i, k; |
__u32 i, k; |
printf("Read/write locks test #4\n"); |
/kernel/trunk/test/synch/semaphore2/test.c |
---|
45,16 → 45,16 |
static waitq_t can_start; |
uint32_t seed = 0xdeadbeef; |
__u32 seed = 0xdeadbeef; |
static uint32_t random(uint32_t max); |
static __u32 random(__u32 max); |
static void consumer(void *arg); |
static void failed(void); |
uint32_t random(uint32_t max) |
__u32 random(__u32 max) |
{ |
uint32_t rc; |
__u32 rc; |
spinlock_lock(&lock); |
rc = seed % max; |
95,7 → 95,7 |
void test(void) |
{ |
uint32_t i, k; |
__u32 i, k; |
printf("Semaphore test #2\n"); |