Параллельность: только взаимное исключение?

Question

Достаточно ли обеспечить взаимное исключение (т. Е. Через механизм спин-блокировки), чтобы обеспечить эффективную реализацию параллелизма?Или мы должны явно реализовать какой-то метод синхронизации?

В сумме:

Предоставление параллелизма = реализация эффективного взаимного исключения

ИЛИ

Предоставление параллелизма = реализация эффективного взаимного исключения + реализация эффективной синхронизации

?

Спасибо.

Answer 1

Параллельность включает в себя как концепцию «взаимного исключения, так и сикронизации». Параллельность - это выражение состояния. Взаимное исключение является выражением состояния в параллелизме. Взаимное исключение - это метод получения sycronization в Concurrecy.

Answer 2

Все, что вам действительно нужно (хотя другие вещи часто полезны по соображениям производительности), это взаимное исключение и некоторый механизм, обеспечивающий невозможность «перемещения» операций через барьеры взаимного исключения.