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

Question

[Ukrainskiy]

Есть 2 метода класса foo и bar, одновременно выполняется множество процессов. Метод foo может выполняться параллельно множеством процессов, метод bar должен выполняться одновременно только одним процессом если ни один процесс не выполняет foo или bar и блокировать вызов foo до окончания работы bar. Какими низкоуровневыми средствами можно задать такое поведение? В проекте используется shared memory.

Answer 1

[Владимир Дубровин]

Можно использовать:
1. Именованные семафоры - "из коробки" предназначены для вашей задачи
2. Неименованные семафоры + shared memory (на 1 и 2 есть примеры в https://stackoverflow.com/questions/8359322/how-to...)
3. Атомарные переменные в shared memory (пример в https://stackoverflow.com/questions/48614784/alloc...) + футекс (футексы есть в линукс, но использовать их можно только через системный вызов, если что-то не поменялось) - наиболее эффективный способ, т.к. системный вызов дергается только если требуется блокировка процесса, но плохо документирован, если интересен поищите реализации критической секции через футекс, вам надо примерно то же самое
4. мутексы в shared memory c PTHREAD_PROCESS_SHARED

Answer 2

[Василий Банников]

Mutex

Comments

[Сергей Горностаев]

А разве есть mutex'ы умеющие в IPC? По-момему, это потоковый примитив синхронизации.

[Василий Банников]

Сергей Горностаев, по крайней мере в винде можно сделать именованый mutex, который будет работать на уровне системы.

You can use a mutex object to protect a shared resource from simultaneous access by multiple threads or processes.

[Ukrainskiy]

Mutex не подходит, мне нужно из foo блокировать bar, не блокируя сам foo. trylock тоже не подходит.

[Ukrainskiy]

Мне нужен pthread_rwlock, вопрос закрыт.

[res2001]

Сергей Горностаев, Теоретически мьютекс можно разместить в shared memory. Тогда им могут пользоваться и разные процессы. Никогда так не делал, но почему бы и нет. Единственое надо определится какой процесс должен инициализировать мьтекс.
На эту задачу хорошо ляжет read-write mutex. Вызов foo - блокирует read, bar - write.

Так же можно что-то замутить и с помощью atomic в shared memory, но там придется решать проблему с возможным нежелательным активным ожиданием.

[Ukrainskiy]

res2001, кто создал shared memory тот и инициализирует, у меня сделано так

Answer 3

[Ukrainskiy]

https://ru.wikipedia.org/wiki/%D0%91%D0%BB%D0%BE%D...