Какие существуют способы синхронизации потоков в параллельных программах?

Некоторые способы синхронизации потоков в параллельных программах:

• Явное использование блокирующих примитивов (мьютексы, семафоры, условные переменные). books.ifmo.ru Этот подход наиболее распространён и поддерживается в большинстве языков программирования. books.ifmo.ru Однако от программиста требуется в «ручном режиме» управлять блокирующими примитивами, отслеживая конфликтные ситуации при доступе к общей памяти. books.ifmo.ru
• Применение программной транзакционной памяти (Software Transactional Memory, STM). books.ifmo.ru Метод проще в освоении и применении, чем предыдущий, но имеет ограниченную поддержку в компиляторах. books.ifmo.ru
• Использование неблокирующих алгоритмов (lockless, lock-free, wait-free algorithms). books.ifmo.ru Этот метод подразумевает полный отказ от применения блокирующих примитивов при помощи сложных алгоритмических ухищрений. books.ifmo.ru

Также для синхронизации потоков в Java используются мониторы — это высокоуровневый механизм, позволяющий единовременно только одному потоку выполнять блок кода, защищённый этим же монитором. javarush.com