> Так в производительности ВМ вся соль.Лучшая VM - ее отсутствие. Хрустики это поняли, как и сишники.
> Не понятно, как на Rust без unsafe добиться сравнимой с Си.
А в чем собственно проблема? Он не VM, это такой агрессивный compile-time чекинг и статический анализ по сути. Даже на сях можно макросней некое очень ограниченное подобие сделать, но весьма базово. Скажем в gcc оптимизер довольно много чего знает и допустим может выпилить проверки целиком, доказав что они никогда не вызываются с данным кодом. К сожалению, наружу это не вывешено и поэтому "static assert" на такую шляпу сделать - да вот сейчас. Хрустики пошли по этой дорожке несколько дальше с их borrow checker'ом.
> Боюсь, что никак.
Если в хрусте и есть что-то интересное, то вот как раз то что они частично все же наели. Чуда, конечно, не случилось и вон там в дебажном билде "как ubsan" со всеми теми же прелестями, зато больше левых потуг ловит, а в обычном... таки далеко не все способы прострела пяток ловятся, эти господари, таки, как я понимаю, несколько лукавят. В том плане что некоторые вещи оно тоже только в рантайм ловить может с соотв malus. Но это ожидаемо, в идеале bound checker должен быть в проце, когда при операции с памятью указывается top и bottom и потуги что-то делать вне этой зоны ведут к хардварному эксепшну. Вот так будет быстро и эффективно. Но процы такие какие есть. И их инструменты на самом деле не позволяют "эффективно отловить нарушения 50 регионов по 10-30 байтов каждый". При сильном желании, ЭТО можно сделать MMU/MPU однако есть нюансы: это хтонически неэффективно по оверхеду потребления памяти если у нас кучка мелких структур а не пара огроменных регионов. Интел пытался что-то более разумное делать, но вы же понимаете как програмеры смотрят на идею работать на только интеловских процах, и только совсем новых? Оно народу и не зашло. Это тот случай когда надо было сделать всеобщую халяву и к тому же 20 лет назад, чтобы сейчас насладиться плодами этого (и то не везде).
> Сама ВМ не такая и объёмная, но это не тот код, который пишется быстрее
> чем обдумывается.
У хруста никаких вм в рантайме вроде как нет. Просто некоторые формы bound checking и integer ops checking оно только в дебажном билде делает, кажись.
А, да, кидать хардварное исключение при overflow/underflow математики большая часть процов тоже не умеет. А флаг в регистре состояний - это прекрасно, только его проверка дополнительные инструкции требует, и вооон там в продвинутых алго типа крипто и мультимедии, где нас это больше всего колышет, скорость поделится на N. А оно такое надо?!
> Как там Rust ускорит разработку, не понятно.
Да как обычно, переросточным стдлибом, лавры жабы покоя людям не дают.
