> Кстати, нубский вопрос. Потоки LKWT это, в первую очередь, для упрощения разработки
> по сравнению с без потоков? Можно ли реализовать ОС без потоков
> вообще? Как она будет выглядить и будет ли эффективна?

конечно. быстрее, секюрнее итп
вы на MP-языках писали когда-нить?
я не про новые итерации старых, где это добавили(в фортране рудиментарно - оно с рождения, но в нормальном виде только в последние годы запилили)вроде фортрана или эмбеддовки Ада а про вещи вроде Эрлага или боже упаси Ссмалталлка? (к хаскелю это дело скотчем прикрутили, плохо и недавно относительно. не работает толком и видимо никогда и не будет).
если не писали, поясню - с аццуствием понятия "нить" и соотв завивимости от оных, кол-ва процессоров, потоков в них, косяков в планировщике(и кремниевый и ОС), специфика работы с ресурсами - тоже перестает быть проблемой и выделение их сборка мусора.
при скажем более 8-10 ядер high-load софтины - почти не масштабируются без тяжелого профайлинга(и тут до.. ограничний несмотря на адовы усилия в ходе) а если у вас 4-сокетная матплата с 20 или 32 -яедрным процами в них? или еще суровее - целая сеть/решение на таких коробках, долженствующая работать Воедино, Эффективно загруженной в ходе?
вот тут и вылазят все плюшки message passing из HPC пришедшие лет эдак 20 назад окончательно в коммерческий софт(поначалу - в финансы).
пойдите в магазин, купите книжку по эрланг - оч. захватывающее чтиво. ну а если лениво - гляньте ютуб на тему хотя-б, хотя хорошая книжка - никогда не повредит, ее и в руках держать приятно и читать ;)