Сборники трудов ИСП РАН


Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений

Адамович И.А. (ИПС, Переславль-Залесский, Россия)
Климов Анд.В. (ИПМ, Москва, Россия)

Аннотация

Специализация — это оптимизация программ на основе использования наперёд заданной информации о значении части переменных. Методы специализации программ развиваются с 1970-х годов (смешанные вычисления, частичные вычисления, суперкомпиляция). Однако удивительно, что после трёх десятилетий разработанные специализаторы до сих пор не достигли того уровня, когда они станут пригодны для широкого практического применения. Возникает вопрос: в чём же причина? Наша гипотеза состоит в том, что задача специализации требуют гораздо большего участия человека в управлении процессом специализации, анализе результатов, проведении компьютерных экспериментов, чем в случае обычной оптимизации программы в компиляторах. Требуется погружение специализаторов в привычные для программистов интегрированные среды разработки, включая создание соответствующих диалоговых средств. В данной статье описываются результаты разработки и реализации методов интерактивной специализации на основе частичных вычислений для подмножества языка Java. Реализация выполнена в рамках популярной среды разработки (IDE) Eclipse. Разрабатываются сценарии человеко-машинного диалога с подсистемой специализации, интерактивные средства для составления задания на специализацию и управление процессом специализации. Приводится пример успешного применения разработанного специализатора. Остаточная программа работает в несколько раз быстрее чем исходная.

Ключевые слова

анализ программ, преобразование программ, интерактивная специализация программ, частичные вычисления, объектно-ориентированный язык, среда разработки программ

Издание

Труды Института системного программирования РАН, том 30, вып. 4, 2018, стр. 29-44.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2018-30(4)-2

Для цитирования

Адамович И.А., Климов Анд.В. Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений. Труды Института системного программирования РАН, том 30, вып. 4, 2018, стр. 29-44. DOI: 10.15514/ISPRAS-2018-30(4)-2.

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома