Введение к работе
Актуальность проблемы. Применение различных методов оптимизирущей компиляции и оптимизирующих преобразования программ является в настоящее время устоявшимся направлением автоматизации получения высококачественннш объектных програм*. Они в большой степени способствуют успешному использованию различных языков высокого уровня. Особое значение имеет применение этих преобразований для специализированных высокопроизводительных систем слозгаоЗ архитектуры, к числу которых относятся микропрограммируемыэ многопроцессорные вычислительные системы (МВС) с общим потоком команд.
При попытках использовать языки высокого уровня для таких систем обнаружилось, что с помощью традиционных методов компиляции не удается получить объектные программы требуемого качества, т.к. системы компиляции, не использующие специальных оптимизирующих преобразований, ориентированных на данный класс систем, не в состоянии в достаточно полной мере реализовать преимущества архитектуры высокопроизводительных МВС с общим потоком команд.
Целью работы язляется разработка методов оптимизации программ в процессе генерации объектного кода при компиляции с языков высокого уровня, ориентированных на высокопроизводительные микропрограммируемые МВС с общим потоком команд.
Методы исследования. Исследования, проведенные в работе, используют методы атрибутной трансляции, аппарат теории графов, операторных схем программ и комбинаторные методы.
Для получения оценок качества работы предложенных алгоритмов проводились статистические исследования.
Научная новизна работы. В диссертационной' работе исследованы особенности оптимизации программ для микропрограммируемых МВС с общим потоком команд.
Разработаны новые методы оптимизации программ для микропрограммируемых МВС с общим потоком команд в процессе генерации объектного кода. Предложены эффективные в смысле времени выполнения алгоритмы, реализующие разработанные методы.
Практическая ценность работы. На базе разработанных в диссертационной работе методов и алгоритмов предложен вариант построения иерархической системы оптимизацирущей компиляции программ с языков высокого уровня. Алгоритмы построены с учетом наиболее существенных особенностей МВС с общим потоком команд, в том числе микропрограммируемых, а также временных ограничений, накладываемых в реальных условиях на системы компиляции.
Реализация результатов работы. Разработанные методы и алгоритмы оптимизации приняты к использованию в составе математического обеспечния многопроцесорной системы с общим потоком команд ПС-2100, а также нового спецвычислителя, предназначенного для обработки изображений, что подтверждено соответствующими актами.
Предложения по использованию полученных результатов . Результаты диссертационной работы могут быть применены при создании систем оптимизирующей компиляции с языков высокого уровня для МВС с общим потоком команд, а также для систем с многозональными устройствами управления.
Апробация работы. Результаты работы докладывались на IV Всесоюзной школе-семинаре "Распараллеливание обработки информации", г.Львов, 1983г.;
конференции молодых ученых Института проблем управления, 1985г.;
v Всесоюзной школа-семинаре "Распараллеливание обработки информации", г.Львов, 1985г.;
7-ой Всесоюзной школэ-семинаре "Параллельное программирование и высокопроизводительные системы", г.Киев, 1986г.:
- VII Всесоюзной школе-семинаре "Распараллеливание обработки информации", г.Львов, 1989г.
Публикации. По материалам диссертационной работы имеется 7 опубликованных работ.
Структура и объем работы. Работа состоит из введения, четырех глав, заключения, списка литературы и приложений. Основной текст изложен на из страницах и содержит 18 рисунков и 2 таблицы. Список литературы содержит gj библ. наименований.
