CP, Synchronization | chuahou.dev

[8.2] Data-parallel programming synced in rounds.
- [8.3] Used when shared variables written by some threads in a round need to be read by other threads in next round.
- [8.14] Also used when message-passing in rounds.
[8.5] Barrier synchronization for \(p\) threads using Barrier(p) (\(\mathcal O(p)\))
- barrier.sync() blocks till all \(p\) threads call it.
- [8.25] CombiningBarrier[T](p, e: T, f: (T, T) => T)
  - sync(t: T) returns fold f e on ts
  - Associative/commutative f and identity e
  - [8.26] AndBarrier <: CombiningBarrier[Boolean]
[8.3] 2 methods
- 2 syncs
  1. Read globals into locals, then sync()
  2. Write to non-overlapping globals, then sync()
- Single sync
  1. 2 copies of shared variables
  2. Read from 1st copy and write to 2nd copy
  3. sync(), then swap references