Некоторые методы управления зависимостями между процессами в параллельном программировании:

• Модель «процессы — каналы». 1 Позволяет осуществить оптимальное распределение подзадач по процессорам, выполнить анализ эффективности разработанного параллельного метода, обеспечить контроль и управление процессом выполнения параллельных вычислений. 1 В этой модели вместо подзадач используется понятие процессов, а вместо информационных зависимостей — каналы передачи сообщений. 1
• Синхронизация. 2 Это согласование по времени выполнения параллельных заданий. 2 Она включает в себя ожидание того, что выполнение задачи достигнет особой точки, называемой точкой синхронизации. 2 После того, как все задания достигнут точки синхронизации, выполнение заданий может быть продолжено до следующей точки синхронизации. 2
• Использование блокирующих примитивов. 3 К ним относятся мьютексы, семафоры, условные переменные. 3 Этот подход является наиболее распространённым и поддерживаемым в большинстве языков программирования. 3 Однако от программиста требуется в «ручном режиме» управлять блокирующими примитивами, отслеживая конфликтные ситуации при доступе к общей памяти. 3
• Применение программной транзакционной памяти. 3 Этот метод проще в освоении и применении, чем предыдущий, однако имеет ограниченную поддержку в компиляторах. 3
• Использование неблокирующих алгоритмов. 3 Этот метод подразумевает полный отказ от применения блокирующих примитивов при помощи сложных алгоритмических ухищрений. 3