/SPARTAN/trunk/test/synch/semaphore1/test.c |
---|
42,8 → 42,8 |
static semaphore_t sem; |
static waitq_t can_start; |
static int items_produced; |
static int items_consumed; |
static volatile int items_produced; |
static volatile int items_consumed; |
static void consumer(void *arg); |
static void producer(void *arg); |
/SPARTAN/trunk/test/synch/rwlock5/test.c |
---|
41,8 → 41,8 |
static rwlock_t rwlock; |
static waitq_t can_start; |
static int items_read; |
static int items_written; |
static volatile int items_read; |
static volatile int items_written; |
static void writer(void *arg); |
static void reader(void *arg); |