В формальном аргументе для алгоритма банкира предполагается, что все программы возвращают свои ресурсы через конечное время, поэтому технически такой случай не может произойти (по крайней мере, не в математически совершенном мире, внутри которого проблема описано; -).
Однако, это все равно не будет считаться тупиком - поток, который входит в бесконечный цикл, не ждет какого-либо ресурса, он просто сидит и не продвигается. Этот тип проблемы будет просто ... зависать. Вот несколько возможных типов зависания: голодание и живая блокировка , хотя в простейшем случае, если поток просто переходит в спящий режим / входит в бесконечный цикл, который ничего не делает, я не знаю формального термина для описания .