From: Ian Jackson <ijackson@kolmogorov>
Date: Sun, 28 Sep 2008 13:12:20 +0000 (+0100)
Subject: apparently-useless patch
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=40661bde068ca5b4ebbf3c9e74efcbcdfef2584a;hp=30d841cc8a4e2ae0bec21b58e3c73057e4286f06;p=moebius2.git

apparently-useless patch
---

diff --git a/PTHREAD_SCOPE_SYSTEM.patch b/PTHREAD_SCOPE_SYSTEM.patch
new file mode 100644
index 0000000..56db719
--- /dev/null
+++ b/PTHREAD_SCOPE_SYSTEM.patch
@@ -0,0 +1,29 @@
+=== modified file 'parallel.c'
+--- parallel.c	2008-09-28 12:25:57 +0000
++++ parallel.c	2008-09-28 12:56:42 +0000
+@@ -55,6 +55,14 @@
+   int s, r;
+ 
+   if (!threads_started) {
++    pthread_attr_t tattr;
++
++    r= pthread_attr_init(&tattr);
++    if (r) { errno=r; diee("pthread_attr_init"); }
++
++    r= pthread_attr_setscope(&tattr, PTHREAD_SCOPE_SYSTEM);
++    if (r) { errno=r; diee("pthread_attr_setscope"); }
++
+     r= pthread_barrier_init(&threads_barrier, 0, NSECTIONS);
+     if (r) { errno=r; diee("pthread_barrier_init"); }
+ 
+@@ -63,6 +71,9 @@
+       if (r) { errno=r; diee("pthread_create"); }
+     }
+     threads_started= 1;
++
++    r= pthread_attr_destroy(&tattr);
++    if (r) { errno=r; diee("pthread_attr_destroy"); }
+   }    
+ 
+   for (s=0; s<NSECTIONS-1; s++) {
+