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

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

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