Не понимаю вырезку из книги (Взаимная блокировка)

@vab9petryk · Регистрация: 28.09.2013

Студворк — интернет-сервис помощи студентам

Читаю книгу Энтони Уильямся "Паралельное программирование на С++".
Но я не совсем понимаю следующий кусок (на картинке). Я понимаю взаимную блокировку, когда у нас один поток обходит в прямом направлении, а другой в обратном. Я, вроде бы, понимаю второй абзац, где идет речь об взаимной блокировке при обходе одним потоком списка в одном из направлений, а другим удалением узла. Но я совсем не понимаю 3-й абзац. Автор пишет, что предотвратить взаимную блокировку можно изменив порядок обхода. Но чем тут поможет изменение порядка обхода? Может автор имел ввиду, изменения порядка блокировки в потоке удаления узла вместе с потоком обхода? То есть, поток удаляющий узел B, должен сначала захватить мьютекс А, а потом B и освободить А, а потом С и освободить B.
Почему нельзя просто воспользоватся std::lock и захватить три мьютекса одновременно при удалении?

@Rolldan · 21.03.2016, 22:39

Смысл в том, что нам не всегда нужны все 3 мьютекса. Некоторый кусок программы вообще не про все из них может знать, то есть может не знать, что они существуют. Для трёх мьютексов правила должны быть примерно такие:
1. Если ты захватываешь только 1 любой мьютекс, это можно спокойно сделать обычным образом, не влияя на других.
2. Если тебе надо захватить мьютексы А и Б одновременно, то сначала захвати А, потом Б.
Если нужны А и В одновременно, то сначала А, потом В.
Если нужны Б и В одновременно, то сначала Б, потом В.
Те мьютексы, которые тебе не требуются, не надо захватывать!
3. Если надо захватить все 3 мьютекса сразу, то захвати сначала А, потом Б, потом В.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .
SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .

@vab9petryk 2 / 2 / 1 Регистрация: 28.09.2013 Сообщений: 255

	Не понимаю вырезку из книги (Взаимная блокировка) 20.03.2016, 13:43. Показов 1541. Ответов 1 Метки нет (Все метки) Читаю книгу Энтони Уильямся "Паралельное программирование на С++". Но я не совсем понимаю следующий кусок (на картинке). Я понимаю взаимную блокировку, когда у нас один поток обходит в прямом направлении, а другой в обратном. Я, вроде бы, понимаю второй абзац, где идет речь об взаимной блокировке при обходе одним потоком списка в одном из направлений, а другим удалением узла. Но я совсем не понимаю 3-й абзац. Автор пишет, что предотвратить взаимную блокировку можно изменив порядок обхода. Но чем тут поможет изменение порядка обхода? Может автор имел ввиду, изменения порядка блокировки в потоке удаления узла вместе с потоком обхода? То есть, поток удаляющий узел B, должен сначала захватить мьютекс А, а потом B и освободить А, а потом С и освободить B. Почему нельзя просто воспользоватся std::lock и захватить три мьютекса одновременно при удалении? Миниатюры 0

@Rolldan 44 / 44 / 19 Регистрация: 04.05.2014 Сообщений: 190
	21.03.2016, 22:39
	Сообщение было отмечено vab9petryk как решение Решение Смысл в том, что нам не всегда нужны все 3 мьютекса. Некоторый кусок программы вообще не про все из них может знать, то есть может не знать, что они существуют. Для трёх мьютексов правила должны быть примерно такие: 1. Если ты захватываешь только 1 любой мьютекс, это можно спокойно сделать обычным образом, не влияя на других. 2. Если тебе надо захватить мьютексы А и Б одновременно, то сначала захвати А, потом Б. Если нужны А и В одновременно, то сначала А, потом В. Если нужны Б и В одновременно, то сначала Б, потом В. Те мьютексы, которые тебе не требуются, не надо захватывать! 3. Если надо захватить все 3 мьютекса сразу, то захвати сначала А, потом Б, потом В. 1

Не понимаю вырезку из книги (Взаимная блокировка)

Решение