Измерительная подсистема для преобразователя программ

М. А. КНЯЗЕВА, С. А. ПЛОХИХ

Институт автоматики и процессов управления ДВО РАН, Владивосток

ИЗМЕРИТЕЛЬНАЯ ПОДСИСТЕМА
ДЛЯ ПРЕОБРАЗОВАТЕЛЯ ПРОГРАММ

В работе представлены методы и реализация подсистемы измерений в преобразователе программ специализированного банка знаний. Данная подсистема моделирует измерительные процессы, связанные с оптимизацией модели структурной программы на основе созданной модели измерений.

Для решения научных, практических и образовательных проблем в области преобразования программ, предложена концепция управления информацией о преобразованиях программ в виде Специализированного банка знаний о преобразованиях программ (СБкЗ_ПП), основанная на результатах работы [1].

В состав программного наполнения СБкЗ_ПП входит подсистема преобразований программ. Подсистема позволяет моделировать процесс преобразований программ, т. е. менять порядки применения преобразований программ, выяснять тупиковость применения некоторых из них, выяснить, какие из групп преобразований имеет смысл применять вместе, а какие раздельно[2]. Для проведения исследований преобразований программ разработана подсистема измерений. Подсистема позволяет оценить эффект преобразований программ, сравнить программу до и после преобразований и подсчитывать задействованные аппаратные ресурсы.

Основными задачами подсистемы измерения являются: исследование статического и динамического использования средств языка программирования; исследование использования ресурсов ЭВМ; проверка эффективности новых методов и алгоритмов реализации программных и аппаратных средств ЭВМ или исследова­ние новых реализаций языков; определение качества исследуемых программ; определение качества трансляторов и компиляторов[3]. В рамках исследований преобразований программ был разработан ряд моделей измерений. Созданы модели измерений для основных параметров оптимизации программ: времени и объема, а также сравнительные модели: измерение программ до и после оптимизации [4].

В преобразователе программ подсистема измерений обеспечивает функции сравнения и анализа моделей структурных программ (МСП) до и после оптимизации. Основное назначение подсистемы измерений – предоставить пользователю информацию об эффективности оптимизации над МСП.

Подсистема измерений реализована в виде динамически подключаемой библиотеки, в которой содержатся функции, выполняющие процессы измерения. Такая архитектура позволяет использовать его в ходе всего процесса оптимизирующих преобразований программ и оценивать оптимизационный процесс на каждом шаге. Данная библиотека в совокупности с подсистемой построения отчета о преобразованиях программ в преобразователе программ предоставляет информацию об экспериментах, проводимых с МСП.

Работа выполнена по программе фундаментальных научных исследований Отделения энергетики, машиностроения, механики, процессов управления РАН в рамках проекта: «Синтез интеллектуальных систем управления базами знаний и базами данных»; по программе президиума РАН «Математическое моделирование и интеллектуальные системы»; по программе Дальневосточного отделения РАН (код проекта 04-3-Ж-01-003) и частично по программе конкурсного центра по фундаментальному естествознанию при СПбГУ в рамках научной программы «Фундаментальные исследования в области естественных и гуманитарных наук. Университеты России» (код Е 02-4.0-106).

Список литературы

1.  , Клещев банк знаний. Часть 1. Концепция и политика. Владивосток: ИАПУ ДВО РАН, 20с. (http://www. iacp. *****/es/)

2.  Князева знаний о преобразованиях компьютерных программ. V Международная практическая конференция «Искусственный интеллект 2004» 20-25 сентября Крым (доклад). Искусственный Интеллект. Научно – теоретический журнал., т. 3, 2004 С. 179-186.

3.  , Трансформационные методы и средства конструирования эффективных и на­дежных программ // Кибернетика и системный анализ, 1993, № 2. С. 30-39.

4.  Холстед науки о программах: Пер. с англ. . – М.: Финансы и статистика, 1981.-128с., ил.