Здравствуйте, Serginio1, Вы писали:
WH>>Тут вообще каша. Ничего не понял.
WH>>С тобой очень трудно разговаривать.
WH>>Выражайся яснее.
S> Для имутабельных про
Это называется ясно выразился
S> Ресурсы это Файлы, каналы, итд.
Какие еще файлы? Какое еще итд?
Есть только каналы.
S>что при выгрузки процесса должно закрыться, а значит не должно иметь прямых ссылок из других процессов.
Упоминание про uniqueness типы ты конечно не заметил.
Так вот типы концов канала uniqueness типы.
S>А также мутабельные объекты должны храниться в куче процесса.
И будут. В чем проблема?
S> Только кучи должны быть разными для разделяемых и неразделяемых объетов.
Так и будут. В чем проблема?
Примитивное решение просто смотреть на типы.
Более сложное но и более эффективное статически анализировать жизнь объектов и те которые гарантированно не покинут процесс хранить локально.
Здравствуйте, mkizub, Вы писали:
PD>>Категорически нет. Адреса разделяемой памяти в разных процессах различны, по крайней мере в Windows линии NT. Вот в 9x можно
M>Речь же идёт о некоей гипотетической ОС, которая сама вся из себя верифицируемая. Как эту ОС напишешь — так и будет.
А, ну тогда да. Остается дождаться появления ее на свет божий и тотального вытеснения ею Windows