Я читал о мета-циклических интерпретаторах в Интернете (включая SICP) и изучил код некоторых реализаций (таких как PyPy и Narcissus).
Я прочитал довольно много о двух языках, которые широко использовали метациркуляцию, Lisp и Smalltalk. Насколько я понял, Lisp был первым самодостаточным компилятором, а у Smalltalk была первая «настоящая» реализация JIT.
Одна вещь, которую я не до конца понял, - как эти интерпретаторы / компиляторы могут достичь такой хорошей производительности, или, другими словами, почему PyPy быстрее, чем CPython? Это из-за рефлексии?
Кроме того, мои исследования в Smalltalk заставили меня поверить, что есть взаимосвязь между JIT, виртуальными машинами и рефлексией. Виртуальные машины, такие как JVM и CLR, позволяют проводить интроспекцию типов, и я полагаю, что они прекрасно используют ее при компиляции Just-in-Time (и AOT, я полагаю?). Но насколько я знаю, виртуальные машины похожи на процессоры в том смысле, что у них есть базовый набор команд. Являются ли виртуальные машины эффективными, потому что они включают тип и справочную информацию, которая позволила бы не зависящую от языка рефлексию?
Я спрашиваю об этом, потому что многие интерпретированные и скомпилированные языки в настоящее время используют байт-код в качестве цели (LLVM, Parrot, YARV, CPython), а традиционные виртуальные машины, такие как JVM и CLR, получили невероятное повышение производительности. Мне сказали, что речь идет о JIT, но, насколько я знаю, JIT не является чем-то новым, поскольку Smalltalk и собственная личность Sun занимались этим до Java. Я не помню, чтобы в прошлом виртуальные машины работали особенно хорошо, за пределами JVM и .NET не было много неакадемических, и их производительность была определенно не такой хорошей, как сейчас (хотелось бы получить эту заявку, но я говорю из личного опыта).
Затем, внезапно, в конце 2000-х что-то изменилось, и многие виртуальные машины начали появляться даже для устоявшихся языков и с очень хорошей производительностью. Было ли обнаружено что-то в реализации JIT, которая позволила практически каждой современной виртуальной машине резко подняться по производительности? Бумага или книга может быть?