Проблемы в модели «многие ко многим» в операционной системе

Я работал только с системами, реализующими то, что некоторые называют моделью один к одному. Эта классификация один-к-одному/многие-ко-многим/и многие-к-одному ИМХО вводит в заблуждение.

Здесь предполагается, что в модели «один к одному» каждый поток действительно создает два потока: поток режима ядра и поток пользовательского режима. На самом деле все, что нужно, это один поток, который может работать как в пользовательском режиме, так и в режиме ядра (т. е. стек режима ядра).

Преимущество потока, который может работать как в режиме ядра, так и в пользовательском режиме (возможно, и в других режимах, также известных как модель «один к одному»), заключается в том, что потоки могут работать полностью независимо и, вероятно, его проще реализовать. Каждый поток может войти в режим ядра (например, выполнить ввод-вывод), не блокируя другие потоки. Предполагаемый недостаток заключается в том, что для этого требуется, чтобы каждый поток имел свой собственный стек режима ядра.

Опять же, я не работал с системами «многие-к-одному» или «многие-ко-многим», но подозреваю, что они реализованы не с отдельными потоками режима ядра, а скорее со структурами данных режима ядра, которые совместно используются несколькими потоками.

какие проблемы с моделью «многие ко многим»?

Очевидным недостатком методов «многие ко многим» и «многие к одному» является то, что режим ядра становится ресурсом, недоступность которого может привести к тому, что одна группа потоков заблокирует другую группу потоков.

Допустим, у вас есть 3 «потока» режима ядра и 10 потоков пользовательского режима. Если 4 потока пользовательского режима попытаются выполнить ввод-вывод одновременно, 4-й поток будет заблокирован до тех пор, пока не завершится один из первых трех потоков.

Его также сложнее реализовать, потому что вам придется управлять «потоками» режима ядра как ресурсами.

Почему происходит переход от модели «многие ко многим» к модели «один к одному»?

Я не могу придумать никакого практического преимущества «один ко многим» или «многие ко многим» и могу придумать множество недостатков (см. выше). Наверное, поэтому и был сдвиг.

Тем не менее, ИМХО, это запутанный способ объяснить многопоточность.