Синхронізація потоків

Введемо узагальнену точку синхронізації кількох паралельних потоків (бар’єр який затримує виконання потоків, поки їх не набереться достатня кількість). Такий об’єкт можна представити формулою:

де – контрольна точка; – точка синхронізації (може інтерпретуватися як порожній цикл); – кількість потоків; – номер потока, який синхронізується.

Таким чином кожен потік для проходження бар’єра повинен подолати точку синхронізації, перед цим попередньо розблокувавши свою власну. Схематично роботу бар’єра зображено на [слайд на стор. 25, Lect_7.pdf]. Коли будь-який з потоків потрапляє у бар’єр, він не зможе подолати його, поки кожен з решти потоків не розблокує власну контрольну точку.