КС:2015:Проект:jit - История изменений

Rkovalev в 10:09, 25 сентября 2015

2015-09-25T10:09:18Z

← Предыдущая версия		Версия от 10:09, 25 сентября 2015
Строка 7:		Строка 7:
	Вам предлагается реализовать JIT компиляцию регулярных выражений, поддерживаемых re2, в машинный код x86-64.		Вам предлагается реализовать JIT компиляцию регулярных выражений, поддерживаемых re2, в машинный код x86-64.

	[https://yadi.sk/d/ymlaks89jK69x ~~А ещё у проекта есть презентация~~.]		=== Слайды ===
			[https://yadi.sk/d/ymlaks89jK69x Лежат тут.]
	== Чему вы научитесь ==		== Чему вы научитесь ==
	1. Узнаете, как устроена JIT компиляция.		1. Узнаете, как устроена JIT компиляция.

Rkovalev в 10:08, 25 сентября 2015

2015-09-25T10:08:21Z

← Предыдущая версия		Версия от 10:08, 25 сентября 2015
Строка 7:		Строка 7:
	Вам предлагается реализовать JIT компиляцию регулярных выражений, поддерживаемых re2, в машинный код x86-64.		Вам предлагается реализовать JIT компиляцию регулярных выражений, поддерживаемых re2, в машинный код x86-64.

			[https://yadi.sk/d/ymlaks89jK69x А ещё у проекта есть презентация.]
	== Чему вы научитесь ==		== Чему вы научитесь ==
	1. Узнаете, как устроена JIT компиляция.		1. Узнаете, как устроена JIT компиляция.

Rkovalev: /* Что требуется */

2015-09-24T20:02:03Z

Что требуется

← Предыдущая версия		Версия от 20:02, 24 сентября 2015
Строка 5:		Строка 5:

	=== Что требуется ===		=== Что требуется ===
	Вам предлагается реализовать ~~быструю библиотеку~~ регулярных выражений, ~~которая умеет компилировать регулярные выражения непосредственно~~ в ~~инструкции~~ x86-64.		Вам предлагается реализовать JIT компиляцию регулярных выражений, поддерживаемых re2, в машинный код x86-64.

	== Чему вы научитесь ==		== Чему вы научитесь ==

Rkovalev: /* Требования на зачет в конце 1-го модуля */

2015-09-24T20:00:22Z

Требования на зачет в конце 1-го модуля

← Предыдущая версия		Версия от 20:00, 24 сентября 2015
Строка 24:		Строка 24:

	=== Требования на зачет в конце 1-го модуля ===		=== Требования на зачет в конце 1-го модуля ===
	В [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 плохо, т.к. компиляция должна быть максимально быстрой). Пример того, как можно запустить JIT код, описан в [http://eli.thegreenplace.net/2013/11/05/how-to-jit-an-introduction этой статье].		Нужно написать библиотеку, которая использует [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 на поддерживаемых регулярных выражениях дают один и тот же результат).

			Пример того, как можно запустить JIT код, описан в [http://eli.thegreenplace.net/2013/11/05/how-to-jit-an-introduction этой статье].

	=== Итоговая оценка ===		=== Итоговая оценка ===

Rkovalev: /* Итоговая оценка */

2015-09-24T19:55:55Z

Итоговая оценка

← Предыдущая версия		Версия от 19:55, 24 сентября 2015
Строка 29:		Строка 29:
	* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.		* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.
	* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.		* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.
	* '''+N баллов'''. N = 8 * max(0, aver(1 - T<sub>re2jit</sub> / T<sub>re2</sub>)) за обгон re2 на предложенных тестах.		* '''+N баллов'''. N = 8 * max(0, aver(1 - T<sub>re2jit</sub> / T<sub>re2</sub>)) за обгон re2 на предложенных тестах (постараемся выбрать максимально приближенные к реальности).

Rkovalev: /* Итоговая оценка */

2015-09-24T19:53:25Z

Итоговая оценка

← Предыдущая версия		Версия от 19:53, 24 сентября 2015
Строка 29:		Строка 29:
	* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.		* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.
	* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.		* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.
	* '''+N баллов'''. N = 8 * max(0, ~~sum~~(1 - T<sub>re2jit</sub> / ~~T<sub>re2</sub>) / sum(~~T<sub>re2</sub>)) за обгон re2 на предложенных тестах.		* '''+N баллов'''. N = 8 * max(0, aver(1 - T<sub>re2jit</sub> / T<sub>re2</sub>)) за обгон re2 на предложенных тестах.

Rkovalev: /* Итоговая оценка */

2015-09-24T19:52:22Z

Итоговая оценка

← Предыдущая версия		Версия от 19:52, 24 сентября 2015
Строка 29:		Строка 29:
	* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.		* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.
	* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.		* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.
	* '''+N баллов'''. N = 8 * max(0, sum(1 - T<sub>re2jit</sub> / T<sub>re2</sub>)) за обгон re2 на предложенных тестах.		* '''+N баллов'''. N = 8 * max(0, sum(1 - T<sub>re2jit</sub> / T<sub>re2</sub>) / sum(T<sub>re2</sub>)) за обгон re2 на предложенных тестах.

Rkovalev: /* Итоговая оценка */

2015-09-24T19:50:46Z

Итоговая оценка

← Предыдущая версия		Версия от 19:50, 24 сентября 2015
Строка 29:		Строка 29:
	* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.		* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.
	* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.		* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.
	* '''+N баллов'''. N = 8 * max(0, sum(1 - ~~T_re2jit~~ / ~~T_re2~~)) за обгон re2 на предложенных тестах.		* '''+N баллов'''. N = 8 * max(0, sum(1 - T<sub>re2jit</sub> / T<sub>re2</sub>)) за обгон re2 на предложенных тестах.

Rkovalev: /* Итоговая оценка */

2015-09-24T19:50:05Z

Итоговая оценка

← Предыдущая версия		Версия от 19:50, 24 сентября 2015
Строка 29:		Строка 29:
	* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.		* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.
	* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.		* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.
	* '''+N баллов'''. N = 8 * max(0, ~~Sum~~(1 - ~~Time(jit)~~ / ~~Time(re2)~~)) за обгон re2 на предложенных тестах.		* '''+N баллов'''. N = 8 * max(0, sum(1 - T_re2jit / T_re2)) за обгон re2 на предложенных тестах.

Rkovalev: /* Итоговая оценка */

2015-09-24T19:49:26Z

Итоговая оценка

← Предыдущая версия		Версия от 19:49, 24 сентября 2015
Строка 29:		Строка 29:
	* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.		* '''4 балла'''. Реализованы требования на зачёт в конце первого модуля.
	* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.		* '''8 баллов'''. Все инструкции re2 VM компилируются в JIT.
	* '''+N баллов'''. N = 8 * max(0, Sum(~~Time(re2)~~ - Time(jit)) / ~~Sum(~~Time(re2))) за обгон re2 на предложенных тестах.		* '''+N баллов'''. N = 8 * max(0, Sum(1 - Time(jit) / Time(re2))) за обгон re2 на предложенных тестах.