Здравствуйте, Roman Odaisky, Вы писали:

RO>Это явно лишнее копирование.

RO>Например, ситуация: надо расшифровать полученные по сети данные, чем занимается отдельный процесс, имеющий доступ к ключам, но ни к чему более. В традиционных ОС можно отображать туда-сюда страницы памяти, на которых записаны данные, и без копирования перекидывать их между процессами, сохраняя безопасность остальных данных. Как что-либо подобное можно было бы сделать в «управляемых ОС»?

Ну создать в памяти файлик, куда бы возможность чтения/записи имели два процесса. Где лишнее копирование?

Ну а вообще любую память можно рассматривать как массив байт. Конечно, лишние проверки и необходимость хранить индексы вместо прямых указателей делает этот путь менее производительным и более геморройным в программировании, но позволяет показать эквивалентность между верифицированным кодом и обычным.