interprocess :: named_upgradable_mutex - остается заблокированным, если процесс убит

Question

Я использую boost::interprocess::named_upgradable_mutex для синхронизации нескольких процессов.

Я использую boost::interprocess::sharable_lock и boost::interprocess::scoped_lock для блокировки мьютекса.

При тестировании синхронизации он выглядит нормально, пока процессы работают и нормально закрываются.

Но, я заметил, что если процесс убит (например, с помощью TaskManager), удерживая мьютекс, мьютекс остается заблокированным.

Любая идея, как я могу обрабатывать сбои процесса?

Я думал об использовании timed_lock() на всякий случай ... любые другие идеи?

Answer 1

Вы работаете над симптомом, а не с проблемой. Цель мьютекса - разрешить процессу или потоку передавать общие данные в несогласованное состояние. Если процесс умирает при удержании мьютекса, общие данные все еще находятся в противоречивом состоянии. Проблема заключается в том, как вернуть общие данные в согласованное состояние, а не как разблокировать мьютексы.

Когда вы возвращаете общие данные в согласованное состояние, включайте мьютексы или блокировку данных, которые вы возвращаете в согласованное состояние. Самый простой способ - удалить существующий замок и создать новый. Вероятно, вам придется делать то же самое для общих данных.

Если вам действительно нужно это сделать, я бы предположил, что вы, вероятно, не используете подходящий инструмент для работы.

Answer 2

Если вы по какой-то причине убьете свое приложение, вы можете разблокировать эту блокировку либо путем выхода из системы Windows, либо путем выполнения команды mutex.unlock();