Max Home IndustryACM объявила, что Майкл Франц из Калифорнийского университета в Ирвине является лауреатом премии Чака Такера за прорыв в вычислительной технике 2020 года в знак признания его разработки методов компиляции точно в срок, которые обеспечивают быстрые и многофункциональные веб-сервисы в Интернете.
Как мы уже сообщали, когда в августе 2018 года была объявлена премия «Прорыв Чака Такера в области вычислительной техники», она приносит приз в размере 100 000 долларов и финансируется Microsoft. Присуждается раз в два года за:
неожиданный, разрушительный или скачкообразный вклад в вычислительные идеи или технологии.
В объявлении цитируется Эрик Хорвиц, главный научный сотрудник Microsoft:
“Microsoft гордится тем, что финансирует премию «Прорыв в вычислительной технике», названную в честь Чака Такера, одного из истинных провидцев в области вычислительной техники. Чак обладал волшебной способностью превращать загоризонтные компьютерные мечты в реальность, меняющую мир. Работа Майкла Франца над компиляцией точно в срок-отличный выбор для прорыва в области вычислительной техники. Его работа была преобразующей, позволяя сегодняшнему богатому веб-опыту, позволяя веб-сайтам выполнять сложные интерактивные программы почти мгновенно. Идеи Майкла Франца и его успешное применение этих идей оказали огромное влияние на реальный мир.”
Динамическая компиляция Just-in-time (JIT) изначально использовалась для статически типизированных языков. Затем, в 1970-х годах, исследователи из Xerox PARC использовали JIT-компиляцию для Smalltalk, динамически типизированного языка, а в 1980-х годах исследователи из Стэнфорда и Sun исследовали его для Self, динамически типизированного языка на основе прототипов, аналогичного JavaScript.
Начиная со своей докторской диссертации, завершенной в 1994 году, Франц внес несколько важных вкладов, которые значительно повысили практичность компиляции JIT. Вместо того, чтобы оптимизировать целые функции, он ввел метод, который оптимизирует только циклы программы, используя структуру, называемую «деревом трассировки», для представления альтернативных путей через цикл, которые обнаруживаются и впоследствии преобразуются постепенно. Кроме того, он разработал JIT-компилятор, который может применяться в различных настройках, в том числе с более ограниченными ресурсами процессора или памяти. С помощью этих методов JIT-компилятор Франца часто мог добиться повышения производительности JavaScript в пять-десять раз. Учитывая, что подавляющее большинство веб-сайтов сегодня используют JavaScript, а все браузеры включают механизм выполнения JavaScript, технология Франца оказала огромное влияние.
Президент ACM Габриэле Коцис прокомментировал:
“Мы все используем веб-приложения каждый день, и сейчас они настолько распространены, что мы часто забываем, насколько революционными они были, когда их впервые представили.
Работа Майкла Франца, безусловно, соответствует критериям премии Такера за «скачкообразный вклад в компьютерные идеи и технологии». Франц проявил дальновидность, работая с Mozilla над реализацией своих идей в их браузере и сделав свою технологию открытым исходным кодом, чтобы ее можно было постоянно совершенствовать и адаптировать разработчиками по всему миру.”