Subject: Re: суперкомпилято
From: Andrei Klimov (klimov@keldysh.ru)
Date: Mon Apr 19 2004 - 13:27:16 MSD
Евгений, добрый день!
Спасибо за вопрос и интерес к суперкомпиляторам.
На сколько мне известно, сейчас ведутся такие
работы по суперкомпиляторам:
- Суперкомпилятор Рефала -- Андрей Немытых
http://botik.ru/pub/local/scp/refal5/refal5.html
- Суперкомпилятор Явы -- наша группа:
Аркадий Климов, Антон Корж, Артем Шворин и я.
http://www.supercompilers.ru
- Модельный функциональный язык XSG и
суперкомпилятор для него -- Сергей Абрамов,
Юрий Климов, Антон Орлов и другие.
Есть еще родственный проект -- частичные вычисления
для Common Intermediate Language (CIL или MSIL)
платформы Microsoft.Net.
Через неделю, 28 апреля (16:20, комн. 782, ВМиК МГУ),
я расскажу о суперкомпиляции на семинаре по компьютерной алгебре:
http://theory.sinp.msu.ru/CA/
Заходите. Задавайте вопросы.
--- По суперкомпилятору Явы JScp ---
Нынешний суперкомпилятор Явы находится на стадии,
когда с ним можно экспериментировать, но получать
хорошие результаты ("хорошие" -- в смысле:
соответствующие ожиданиям тех, кто понимает, что
можно ждать от суперкомпиляции) удается лишь на
небольших примерах. Некоторые из них описаны в статье
http://www.supercompilers.com/white_paper.shtml
Мы характеризуем его как "первый уровень суперкомпиляции"
для Явы, основную идею которого выразить так:
- драйвинг достаточно полон; не доведены до ума лишь
некоторые конструкции Явы (try, например)
- конфигурационный анализ -- минимальный, чтобы
вместе с драйвингом его можно было использовать
для обкатки на задачах.
Интересно, что во время экспериментов основной
проблемой ощущаются не недостатки "интеллекта" JScp,
а отсутствие погружения в какую-нибудь студию, чтобы
ускорить работу экспериментатора, и средств диалога с
JScp, показывающих процесс суперкомпиляции.
Дело в том, что работа JScp управляется многими опциями,
задаваемыми относительно точек исходной программы.
Их подбор -- деятельность достаточно интеллектуальная и
времениемкая. Ее нужно облегчить и автоматизировать.
Последняя версия JScp лежит на сайте
http://www.supercompilers.ru
--- По суперкомпилятору Рефала Scp4 ---
Об этом может подробнее ответить Андрей Немытых.
Со своей стороны хочу только обратить внимание
на его последнюю статью, в которой обобщается опыт
экспериментов с Рефал-суперкомпилятором, проведенных
им совместно с Александром Корлюковым. На странице
http://www.botik.ru/pub/local/scp/refal5/nemytykh_cv.html
см. статью:
Nemytykh A.P. Playing on REFAL., In: Proceedings of International
Workshop on Program Understanding, pp:29-39, July 2003,
A.P. Ershov Institute of Informatics Systems, Syberian Branch of
Russian Academy of Sciences, Novosibirsk - Altai Mountains, Russia.
ftp://www.botik.ru/pub/local/scp/refal5/nemytykh_PU03.ps.gz
Андрей Климов
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:00 MSD