ChA MasterZiv есть системы, где порядок доступа к ресурсам не определен вообще
Дидлок - следствие конкуренции процессов за ресурсы. Нет конкуренции, нет дидлоков.
P.S. "В очередь, сукины дети !" ©


Правильно.
Поэтому, чтобы покупатели не подрались у полки в магазине за последнюю модель самолёта с серийным номером 321 и одну из баночек краски защитного цвета (без которой обычно эту модель никто не покупает), мы будем сукиных детей в магазин запускать по очереди :).
Хотя нам, продавцам, совершенно всё равно, если два покупателя подерутся за эту модельку прямо у полки .

softwarermikronпропущено...

Разрешаю разгласить тайну: показывайте эту строчку.
Подсказываю: для того, чтобы дедлок имел шанс возникнуть, должны быть выполнены некоторые условия. Существует техническая возможность сравнительно просто перестроить работу любой произвольной ИС таким способом, чтобы одно из этих условий заведомо не выполнялось.

1. softwarer, непонятно что такое "произвольной ИС".
2. mikron, непонятно что такое "система полностью подконтрольна".
3. mikron, непонятно что такое "внешних источников помех нет".

4. mikron, любой путь ухода от дедлока потребует дополнительных затрат со стороны системы:
1) дополнительные ресурсы памяти;
2) дополнительные вычисления;
3) дополнительное время на обработку;

или может "упереться" в нефункциональные требований (при имеющихся ограничениях в вычислительных ресурсах):

1) максимальное время обработки пакета не должно превышать ...;
2) количество повторных попыток обработки пакета не должно превышать ...;
3) время ожидания пакета до обработки не должно превышать ...;

Какая-то тонкость кроется в твоём ограничении "Не изменяемы только функциональные требования к системе"...

Если нет нефункциональных требований ("быстрая" обработка множества ресурсов) и архитектурных требований ("должно" быть множество потоков/процессов/процессоров), то чисто архитектурные решения для ухода от риска дедлока найдутся: здесь уже озвучено "В очередь!" и ещё пара-тройка найдётся даже на википедии...
Озвучь, в чём твой риск дедлока состоит? :).

Привожу теоретический пример:

1. Среда:
1.1. В системе есть множество ресурсов;
1.2. Есть внешняя среда, из которой хаотично в систему поступают "пакеты";
1.3. Содержимое пакета: критерий (условие отбора подмножества ресурсов) и задача для обработки ресурсов из этого подмножества;
1.4. подмножества, отобранные по критериям пакетов, могут пересекаться.

2. Задача системы:
"обрабатывать" пакеты: находить ресурсы по критериям и выполнять над каждым из ресурсов поставленную задачу.

3. Функциональные требования (как следствие свойств ресурса и характера задач)
3.1. Над конкретным ресурсом в один момент времени может выполняться только одна задача;
3.2. Ресурсы, отобранные по критерию одного пакета, должны обрабатываться "как единое целое":
3.2.1. чтобы пакет считался обработанным, должен быть обработан каждый ресурс, указанный в пакете;
3.2.2. пока в пакете есть необработанные ресурсы, уже обработанные ресурсы пакета не должны быть доступны для выполнения задач других пакетов;

Если есть архитектурное решение/требование "Многопроцессная среда обработки" (чтобы не было желающих устроить одну и только одну очередь :), получаем потенциальный риск дедлока...

А устранить можно всегда, если "нам всё подконтрольно" (с) mikron, и если не упрёмся в нефункциональные требования при ограничениях вычислительных ресурсов...

vromanovАнатоЛойПоэтому, чтобы покупатели не подрались у полки в магазине за последнюю модель самолёта с серийным номером 321 и одну из баночек краски защитного цвета (без которой обычно эту модель никто не покупает), мы будем сукиных детей в магазин запускать по очереди :).
Хотя нам, продавцам, совершенно всё равно, если два покупателя подерутся за эту модельку прямо у полки .
Не обязательно.. Надо просто модель продавать тому, кто схватит ее первым, а краску только обладетелю модели. Точнее организовать конвеер. Т.е. продавать товары в порядке артикула.
Артикулы А, Б, В. 1-му покупателю нужно А и В, второму Б и В. Продай в порядке артикулов, если В в 1-ом экземпляре... Всё равно за В передерутся.

Dimitry SibiryakovАнатоЛойВсё равно за В передерутся.
Да, но дедлока не будет. Второй просто подождёт пока не подвезут.

Согласен, недосмотрел.
Такая модель предполагается в общепите. Это заставляет каждого покупателя идти в общей очереди, ждать пока не принесут очередное нужное ему блюдо, а пришедшие после него, если им это блюдо не нужно, обходят тормознувшего.

Теперь допускаем, что покупатели могут бессовестно произвольно бродить, выбирая блюда. При дефиците в столовой образуется группа чуваков с пирожным без компота, и группа с компотом без пирожных. Причем барышни этих чуваков заняли уже все места, и на улице есть куча желающих похлебать борщика, но мест в столовой уже нет. Компота и пирожных до завтра не будет... Чуваки попались гордые и без полноценного полудника к барышням не вернутся....