https://www.wikicshse.ru/index.php?action=history&feed=atom&title=%D0%9A%D0%A1%3A2015%3A%D0%9F%D1%80%D0%BE%D0%B5%D0%BA%D1%82%3AjitКС:2015:Проект:jit - История изменений2026-06-06T13:30:48ZИстория изменений этой страницы в викиMediaWiki 1.45.3https://www.wikicshse.ru/index.php?title=%D0%9A%D0%A1:2015:%D0%9F%D1%80%D0%BE%D0%B5%D0%BA%D1%82:jit&diff=1144&oldid=previmported>Rkovalev: Migrated current public revision from wiki.cs.hse.ru2015-09-25T10:09:18Z<p>Migrated current public revision from wiki.cs.hse.ru</p>
<p><b>Новая страница</b></p><div>== Что это за проект ==<br />
<br />
=== Введение ===<br />
JIT компиляция (Just In Time, ещё называют динамической) - это компиляция виртуальной машиной программы на интерпретируем байткоде в машинный код в процессе её выполнения. Позволяет увеличить скорость выполнения интерпретируемой программы. Применяется, в частности, в виртуальных машинах pypy и java hotspot.<br />
<br />
=== Что требуется ===<br />
Вам предлагается реализовать JIT компиляцию регулярных выражений, поддерживаемых re2, в машинный код x86-64.<br />
<br />
=== Слайды ===<br />
[https://yadi.sk/d/ymlaks89jK69x Лежат тут.]<br />
== Чему вы научитесь ==<br />
1. Узнаете, как устроена JIT компиляция.<br />
<br />
2. Научитесь профилировать код и искать узкие места в производительности.<br />
<br />
3. Научитесь писать интерпретаторы с JIT.<br />
<br />
== Начальные требования ==<br />
1. Технический английский язык.<br />
<br />
2. Знание C++.<br />
<br />
3. Любознательность.<br />
<br />
== Критерии оценивания ==<br />
<br />
=== Требования на зачет в конце 1-го модуля ===<br />
Нужно написать библиотеку, которая использует [https://github.com/google/re2/ re2] для синтаксического разбора регулярных выражений, получает из неё представление регулярного выражения в виде инструкций для виртуальной машины в re2 и может при помощи [http://yasm.tortall.net/ libyasm], [http://sljit.sourceforge.net/ sljit] или [http://www.gnu.org/software/libjit/ libjit] компилировать в x86_64 и запускать какое-то непустое подмножество этих инструкций (LLVM плохо, т.к. компиляция должна быть максимально быстрой). Полученная конструкция работает корректно (re2 и re2jit на поддерживаемых регулярных выражениях дают один и тот же результат). <br />
<br />
Пример того, как можно запустить JIT код, описан в [http://eli.thegreenplace.net/2013/11/05/how-to-jit-an-introduction этой статье].<br />
<br />
=== Итоговая оценка ===<br />
* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.<br />
* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.<br />
* '''+N баллов'''. N = 8 * max(0, aver(1 - T<sub>re2jit</sub> / T<sub>re2</sub>)) за обгон re2 на предложенных тестах (постараемся выбрать максимально приближенные к реальности).</div>imported>Rkovalev