Singularity - очень интересная разработка от Microsoft, они написали полную систему с нуля едином адресном пространстве на модели безопасного языка. Они придумали этот новый язык, Sing#, который произошел от c#, в Sing#, как и Java вы не можете просто написать p= random & *p=0, язык вам просто этого не позволит.
Это безопасный язык, Он сильно ограничивает вас в том, что вы можете сделать, и все компоненты взаимодействуют друг с другом в едином адресном пространстве через "именованные потоки (named pipes)"
Поток имеет протокол, и этот протокол описан на формальном языке - вы посылаете сообщение кому-нибудь этого типа. И они посылают обратно от A, B или C и т.д.
Вам надо написать все это на формальном языке и система проверит можете ли вы произвести те или иные действия согласно формальному протоколу этого канала.
Таким образом, они получили очень правильную систему, так как заставляют описать какой протокол нужен для всех этих вещей.
Это очень интересная разработка, они заставили её рабтать, таким образом, это интересный подход. Она не совместима с Windows, она не совместима с Unix, она не совместима ни с чем, это будет маркетинговой проблемой для них.
Но они продемонстрировали, что этот подход может быть осуществлен. На виртуальных машинах они имеют некоторый потенциал, но я думаю это плохой путь, запускать все драйвера на различных виртуальных машинах. Использование процесса достаточно, вам не нужна для этого целая машина.
Интерьвью с Эндрю Танненбаумом (разработчик Minix, учитель Линуса)
Комментариев нет:
Отправить комментарий