Ну так читай же
Если две алгоритмические ветки от РАЗНЫХ потоков проходят через одноименные мьютексы, то они совершенно спокойно могут работать с какими-то данными не опасаясь конфликта.
Он сделан для этого, это его основное назначение (у нас не применяемое).
Грубо говоря, если один поток работает УЖЕ справа от первого мьютекса, то второй будет спать (во втором мьютексе) до окончания работы (справа от первого мьютекса) первого потока

Эти разные потоки могут находится и в разных процессах.
Вот и все, собственно


Самому уже пора для остальных прояснять