Sun Mar 7 10:41:52 1999 Ross Johnson <rpj@ixobrychus.canberra.edu.au>

	* condvar4.c (General): Reduce to simple test case; prerequisite
	is condvar3.c; add description.
	* condvar3.c (General): Reduce to simple test case; prerequisite
	is condvar2.c; add description.
	* condvar2.c (General): Reduce to simple test case; prerequisite
	is condvar1.c; add description.
	* condvar1.c (General): Reduce to simple test case; add
	description.
	* Template.c (Comments): Add generic test detail.

1 files changed, 103 insertions, 0 deletions

diff --git a/tests/condvar3.c b/tests/condvar3.c
new file mode 100644
index 0000000..97a17cf
--- /dev/null
+++ b/tests/condvar3.c
@@ -0,0 +1,103 @@
+/*
+ * File: condvar1.c
+ *
+ * Test Synopsis:
+ * - Test basic function of a CV
+ *
+ * Test Method (Validation or Falsification):
+ * - Validation
+ *
+ * Requirements Tested:
+ * - 
+ *
+ * Features Tested:
+ * - 
+ *
+ * Cases Tested:
+ * - 
+ *
+ * Description:
+ * - The primary thread takes the lock before creating any threads.
+ *   The secondary thread blocks on the lock allowing the primary
+ *   thread to enter the cv wait state which releases the lock.
+ *   The secondary thread then takes the lock and signals the waiting
+ *   primary thread.
+ *
+ * Environment:
+ * - 
+ *
+ * Input:
+ * - None.
+ *
+ * Output:
+ * - File name, Line number, and failed expression on failure.
+ * - No output on success.
+ *
+ * Assumptions:
+ * - 
+ *
+ * Pass Criteria:
+ * - pthread_cond_timedwait returns 0.
+ * - Process returns zero exit status.
+ *
+ * Fail Criteria:
+ * - pthread_cond_timedwait returns ETIMEDOUT.
+ * - Process returns non-zero exit status.
+ */
+
+#include "test.h"
+
+typedef struct cvthing_t_ cvthing_t;
+
+struct cvthing_t_ {
+  pthread_cond_t notbusy;
+  pthread_mutex_t lock;
+};
+
+static cvthing_t cvthing;
+
+static enum {
+  NUMTHREADS = 2         /* Including the primary thread. */
+};
+
+void *
+mythread(void * arg)
+{
+  assert(pthread_mutex_lock(&cvthing.lock) == 0);
+
+  assert(pthread_cond_signal(&cvthing.notbusy) == 0);
+
+  assert(pthread_mutex_unlock(&cvthing.lock) == 0);
+
+  return 0;
+}
+
+int
+main()
+{
+  pthread_t t[NUMTHREADS];
+  struct timespec abstime = { 0, 0 };
+  struct timeval curtime;
+
+  assert((t[0] = pthread_self()) != NULL);
+
+  assert(pthread_cond_init(&cvthing, NULL) == 0);
+
+  assert(pthread_mutex_init(&cvthing.lock) == 0);
+
+  assert(pthread_mutex_lock(&cvthing.lock) == 0);
+
+  assert(gettimeofday(&curtime, NULL) == 0);
+
+  abstime.tv_sec = curtime.tv_sec + 5;
+
+  assert(pthread_create(&t[1], NULL, mythread, (void *) 1) == 0);
+
+  assert(pthread_cond_timedwait(&cvthing.notbusy, &cvthing.lock, &abstime) == 0);
+
+  assert(pthread_mutex_unlock(&cvthing.lock) == 0);
+
+  assert(pthread_cond_destroy(&cvthing) == 0);
+
+  return 0;
+}