From 346e0db637f3b0be52e1b7782cffa5ee0f2b09e8 Mon Sep 17 00:00:00 2001 From: rpj Date: Mon, 22 Feb 1999 16:51:52 +0000 Subject: 1999-02-23 Ross Johnson * Template.c: Revamp. * condvar1.c: Add. * condvar2.c: Add. * Makefile: Add condvar1 condvar2 tests. * exit1.c, exit2.c, exit3.c: Cosmetic changes. --- tests/condvar1.c | 121 +++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 121 insertions(+) create mode 100644 tests/condvar1.c (limited to 'tests/condvar1.c') diff --git a/tests/condvar1.c b/tests/condvar1.c new file mode 100644 index 0000000..4c52651 --- /dev/null +++ b/tests/condvar1.c @@ -0,0 +1,121 @@ +/* + * File: condvar1.c + * + * Test Synopsis: + * - Test basic function of condition variable code. + * + * Test Method (Validation or Falsification): + * - Validation + * + * Requirements Tested: + * - + * + * Features Tested: + * - + * + * Cases Tested: + * - + * + * Description: + * - + * + * Environment: + * - + * + * Input: + * - + * + * Output: + * - + * + * Assumptions: + * - + * + * Pass Criteria: + * - + * + * Fail Criteria: + * - + */ + +#include "test.h" + +typedef struct cvthing_t_ cvthing_t; + +struct cvthing_t_ { + pthread_cond_t notbusy; + pthread_mutex_t lock; + int busy; + int count; +}; + +static cvthing_t cvthing; + +static enum { + NUMTHREADS = 10 +}; + +static pthread_key_t key; + +void * +mythread(void * arg) +{ + assert(pthread_mutex_lock(&cvthing.lock) == 0); + + cvthing.count++; + + while (cvthing.busy) + { + assert(pthread_cond_wait(&cvthing.notbusy, &cvthing.lock) == 0); + } + + assert(cvthing.busy == 0); + + cvthing.count--; + + assert(pthread_mutex_unlock(&cvthing.lock) == 0); + + return 0; +} + +int +main() +{ + pthread_t t[NUMTHREADS]; + int result[NUMTHREADS]; + + assert((t[0] = pthread_self()) != NULL); + + assert(pthread_cond_init(&cvthing, NULL) == 0); + + for (i = 1; i < NUMTHREADS; i++) + { + assert(pthread_create(&t[i], NULL, mythread, (void *) i) == 0); + } + + while (cvthing.count < NUMTHREADS) + {} + + assert(pthread_mutex_lock(&cvthing.lock) == 0); + cvthing.busy = 0; + assert(pthread_cond_signal(&cvthing.notbusy) == 0); + assert(pthread_mutex_unlock(&cvthing.lock) == 0); + + for (i = 1; i < NUMTHREADS; i++) + { + assert(pthread_join(t[i], (void *) &result[i]) == 0); + } + + assert(cvthing.count == 0); + + assert(pthread_cond_destroy(&cvthing) == 0); + + return 0; +} + + + + + + + -- cgit v1.2.3