From ec27b9c8303540de6b5a8ebefee114f3cdd436f0 Mon Sep 17 00:00:00 2001
From: rpj <rpj>
Date: Thu, 5 Jul 2001 15:19:22 +0000
Subject: 	* barrier.c: Remove static initialisation - irrelevent 	for
 this object. 	* pthread.h (PTHREAD_BARRIER_INITIALIZER): Removed. 	*
 rwlock.c (pthread_rwlock_wrlock): This routine is 	not a cancelation
 point - disable deferred 	cancelation around call to
 pthread_cond_wait().

tests/ChangeLog:
	* spin1.c: New; testing spinlocks.
	* spin2.c: New; testing spinlocks.
	* spin3.c: New; testing spinlocks.
	* spin4.c: New; testing spinlocks.
	* barrier1.c: New; testing barriers.
	* barrier2.c: New; testing barriers.
	* barrier3.c: New; testing barriers.
	* barrier4.c: New; testing barriers.
	* GNUmakefile: Add new tests.
	* Makefile: Add new tests.
---
 tests/spin3.c | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 tests/spin3.c

(limited to 'tests/spin3.c')

diff --git a/tests/spin3.c b/tests/spin3.c
new file mode 100644
index 0000000..8b383de
--- /dev/null
+++ b/tests/spin3.c
@@ -0,0 +1,40 @@
+/* 
+ * spin3.c
+ *
+ * Thread A locks spin - thread B tries to unlock.
+ * This should succeed, but it's undefined behaviour.
+ *
+ */
+
+#include "test.h"
+
+static int wasHere = 0;
+
+static pthread_spinlock_t spin;
+ 
+void * unlocker(void * arg)
+{
+  int expectedResult = (int) arg;
+
+  wasHere++;
+  assert(pthread_spin_unlock(&spin) == expectedResult);
+  wasHere++;
+  return NULL;
+}
+ 
+int
+main()
+{
+  pthread_t t;
+  pthread_spinattr_t ma;
+
+  wasHere = 0;
+  assert(pthread_spin_init(&spin, PTHREAD_PROCESS_PRIVATE) == 0);
+  assert(pthread_spin_lock(&spin) == 0);
+  assert(pthread_create(&t, NULL, unlocker, (void *) 0) == 0);
+  assert(pthread_join(t, NULL) == 0);
+  assert(pthread_spin_unlock(&spin) == EPERM);
+  assert(wasHere == 2);
+
+  return 0;
+}
-- 
cgit v1.2.3