Вопрос про виртулизацию возможно оффтопик извиняюсь .

mono --aot

Спасибо ,дошли уже до mono-gсс ,делает тоже самое только статически слинковано в один охренелый файл и нехренна не работает mono-aot уже проскочили ,переживали ,сказали небезопасно в контексте функций, теперь спорят насчет безопасности dos сеансов в nt ,пошел за чаем :-)
Вопрос именно в безопасности ... сошлись только в одном что с аппаратнной потдержкой виртулизации возможно при отсуствии глюков в самом аппарате :-) .

а смысл спора?

1. есть интерпретатор Си ch, есть Kawa. Можно что-то небезопасное под ним пускать

2. По поводу опасности указателей -- есть Cyclone, в котором контекст использования указателя можно проконтролировать. Вообще указатели не нужны, нужны типизированные ссылки с возможностью проконтролировать контекст использования. См. например, указатели и ссылки в Ксерионе -- /"Указательные и ссылочные типы"/ http://lib.ru/CTOTOR/XERION/xerion.txt

-- язык типобезопасный несмотря на наличие указателей.

то есть, вместо опасных GPF-ом указателей даём только ссылки с тегами, есть ссылка (выдана) -- указатель по ссылке валиден, нет -- результат null и смысла не имеет.

> Ну и такой вопрос ,действительно ли можно написать такой компилятор допустим для среды моно - который бы сразу компилировал в двоичный код ,минуя среду виртулизацию и при этом был безопасен ?

действительно, действительно. Нужно только убрать все небезопасные операции.
Можно например невалидные указатели отменить, выдавать ссылки. И контролировать их валидность на уровне MMU процесса.

а смысл спора?

1. есть интерпретатор Си ch, есть Kawa. Можно что-то небезопасное под ним пускать

2. По поводу опасности указателей -- есть Cyclone, в котором контекст использования указателя можно проконтролировать. Вообще указатели не нужны, нужны типизированные ссылки с возможностью проконтролировать контекст использования. См. например, указатели и ссылки в Ксерионе -- /"Указательные и ссылочные типы"/ http://lib.ru/CTOTOR/XERION/xerion.txt

-- язык типобезопасный несмотря на наличие указателей.

то есть, вместо опасных GPF-ом указателей даём только ссылки с тегами, есть ссылка (выдана) -- указатель по ссылке валиден, нет -- результат null и смысла не имеет.

> Ну и такой вопрос ,действительно ли можно написать такой компилятор допустим для среды моно - который бы сразу компилировал в двоичный код ,минуя среду виртулизацию и при этом был безопасен ?

действительно, действительно. Нужно только убрать все небезопасные операции.
Можно например невалидные указатели отменить, выдавать ссылки. И контролировать их валидность на уровне MMU процесса.

[безумная идея]

делать save-point с использованием fork... т.е. форкаемся и выполняем несколько функций, что-то сдохло... убиваем процесс, нет... это новый валидный процесс

как-то так... детали надо додумать

erlang?