Re[23]: IPC и обязательная верификация кода
От: WolfHound  
Дата: 30.06.09 17:43
Оценка: +1
Здравствуйте, Serginio1, Вы писали:

WH>>Тут вообще каша. Ничего не понял.

WH>>С тобой очень трудно разговаривать.
WH>>Выражайся яснее.
S> Для имутабельных про
Это называется ясно выразился

S> Ресурсы это Файлы, каналы, итд.

Какие еще файлы? Какое еще итд?
Есть только каналы.

S>что при выгрузки процесса должно закрыться, а значит не должно иметь прямых ссылок из других процессов.

Упоминание про uniqueness типы ты конечно не заметил.
Так вот типы концов канала uniqueness типы.

S>А также мутабельные объекты должны храниться в куче процесса.

И будут. В чем проблема?

S> Только кучи должны быть разными для разделяемых и неразделяемых объетов.

Так и будут. В чем проблема?
Примитивное решение просто смотреть на типы.
Более сложное но и более эффективное статически анализировать жизнь объектов и те которые гарантированно не покинут процесс хранить локально.
Пусть это будет просто:
просто, как только можно,
но не проще.
(C) А. Эйнштейн
Re[6]: IPC и обязательная верификация кода
От: Pavel Dvorkin Россия  
Дата: 01.07.09 05:17
Оценка:
Здравствуйте, mkizub, Вы писали:

PD>>Категорически нет. Адреса разделяемой памяти в разных процессах различны, по крайней мере в Windows линии NT. Вот в 9x можно


M>Речь же идёт о некоей гипотетической ОС, которая сама вся из себя верифицируемая. Как эту ОС напишешь — так и будет.


А, ну тогда да. Остается дождаться появления ее на свет божий и тотального вытеснения ею Windows
With best regards
Pavel Dvorkin
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.