summaryrefslogtreecommitdiff
path: root/libpthread/nptl/DESIGN-barrier.txt
diff options
context:
space:
mode:
author"Steven J. Hill" <sjhill@realitydiluted.com>2005-05-07 02:04:55 +0000
committer"Steven J. Hill" <sjhill@realitydiluted.com>2005-05-07 02:04:55 +0000
commit0b3366f6a93ac0f7e2028745ea557c0acd8722c6 (patch)
tree2a87cb353c106eb55a44437d3b4d5e0d60af1d36 /libpthread/nptl/DESIGN-barrier.txt
parent2274f6b2ddc7d7ea919a8fa1f9c54ef1920cb180 (diff)
Import in NPTL code from glibc. For further information please
consult the 'README.NPTL' file.
Diffstat (limited to 'libpthread/nptl/DESIGN-barrier.txt')
-rw-r--r--libpthread/nptl/DESIGN-barrier.txt44
1 files changed, 44 insertions, 0 deletions
diff --git a/libpthread/nptl/DESIGN-barrier.txt b/libpthread/nptl/DESIGN-barrier.txt
new file mode 100644
index 000000000..23463c6b7
--- /dev/null
+++ b/libpthread/nptl/DESIGN-barrier.txt
@@ -0,0 +1,44 @@
+Barriers pseudocode
+===================
+
+ int pthread_barrier_wait(barrier_t *barrier);
+
+struct barrier_t {
+
+ unsigned int lock:
+ - internal mutex
+
+ unsigned int left;
+ - current barrier count, # of threads still needed.
+
+ unsigned int init_count;
+ - number of threads needed for the barrier to continue.
+
+ unsigned int curr_event;
+ - generation count
+}
+
+pthread_barrier_wait(barrier_t *barrier)
+{
+ unsigned int event;
+ result = 0;
+
+ lll_lock(barrier->lock);
+ if (!--barrier->left) {
+ barrier->curr_event++;
+ futex_wake(&barrier->curr_event, INT_MAX)
+
+ result = BARRIER_SERIAL_THREAD;
+ } else {
+ event = barrier->curr_event;
+ lll_unlock(barrier->lock);
+ do {
+ futex_wait(&barrier->curr_event, event)
+ } while (event == barrier->curr_event);
+ }
+
+ if (atomic_increment_val (barrier->left) == barrier->init_count)
+ lll_unlock(barrier->lock);
+
+ return result;
+}