nptl/DESIGN-barrier.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

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;
    do {
      lll_unlock(barrier->lock);

      futex_wait(&barrier->curr_event, event)

      lll_lock(barrier->lock);
    } while (event == barrier->curr_event);
  }

  if (atomic_exchange_and_add (barrier->left, 1) == barrier->init_count - 1)
    lll_unlock(barrier->lock);

  return result;
}