В экспериментальной ОС Майкрософт Singularity была реализована интересная штука как SIP. Приведу цитату из вики:
«Отличительной особенностью данной ОС является использование идеологии программно-изолированных процессов (Software Isolated Processes, SIP), похожих на легкие процессы языка Erlang, общение между которыми происходит исключительно посредством сообщений. В отличие от традиционных ОС, защита таких процессов в Singularity производится не путем организации аппаратно-защищенных адресных пространств, а путем использования типобезопасного подмножества промежуточного языка (MSIL) и его верификации перед компиляцией в родной код процессора. Каждый SIP обладает своим объектным пространством, «сборщиком мусора» и средой периода исполнения. Для таких процессов не допускается совместное использование памяти, и они не имеют возможность модифицировать свой код, что усиливает гарантии надежности работы программы в SIP.»
Я свечу не держал, но по заверениям тех, кто тестировал сингулярити, при выполнении приложений в многозадачном режиме, получается добиться значительного прироста производительности. Плюс, безопасность.
Возможно и реализуется ли такое в Linux? А надо ли? Я пока наткнулся только на BSD-проект в стадии очень глубокой разработки: http://www.gocosmos.org/index.en.aspx
