Протокол 2-го совещания
Рабочей группы по реализации языков программирования
С 22 по 24 апреля 1981 г. в Протвино Московской области состоялось совещание РГ РЯП, на котором были рассмотрены 2 вопроса:
- Системы программирования для МВК Эльбрус.
- Методы аттестации трансляторов.
В рамках первого вопроса были заслушаны развернутые доклады основных разработчиков МВК Эльбрус.
В докладе Б.А.Бабаяна были изложены основные принципы архитектуры и операционной системы МВК Эльбрус, при этом особое внимание было уделено тем аспектам, которые способствуют реализации трансляторов и систем программирования.
В своем докладе В.М.Пентковский рассмотрел основной реализационный язык Автокод МВК Эльбрус с точки зрения учета специфики трансляции.
Ю.С.Румянцевым был сделан обзор системы программирования Автокод.
В совместном докладе В.А.Маркова, И.С.Голосова, Г.И.Сердюка, В.В.Окольнишникова и С.И.Шелестова были изложены разрабатываемые системы программирования для основных алгоритмических языков Фортран, Алгол-60, Кобол, ПЛ-1. При этом было уделено внимание обеспечению переносимости на МВК Эльбрус существующего на ЕС ЭВМ и БЭСМ-6 матобеспечения.
При обсуждении рассмотреного вопроса выступили: В.В.Луцикович, Л.К.Выханду, А.Н.Терехов, М.Г.Гонца, В.Л.Темов, Е.Л.Ющенко, Б.Ш.Кауфман.
В качестве положительных сторон члены Рабочей группы отметили, что разработка содержит ряд новых черт, таких как новое отношение к динамизму, реализационный язык высокого уровня, обеспечивающий разработку различных компонент системного матобеспечения, сближение архитектуры машины с языком программирования. Участниками совещания отмечались хорошие эксплуатационные характеристики Автокода. Обсуждались возможности того, как повлияет высокий уровень базовых понятий системы на реализацию некоторых аспектов языков программирования. В ответных выступлениях реализаторов систем на конкретных примерах было показано, что реализация выглядит достаточно естественно. В общем положительно оценив динамизм типов, Рабочая группа отметила, что статичность типов иногда больше соответствует характеру задач и дает возможность более полного и своевременного контроля.
Были высказаны пожелания о введении возможности управления механизмом распределения виртуальной памяти пользователей.
Замечания некоторых членов группы вызвали поглощение Автокодом функций языка управления заданиями, однако большинство членов РГ оценило это положительно.
Отмечалась полезность внесения таких же функций и в другие входные языки системы.
Разработчикам систем программирования было рекомендовано более дисциплинированно подойти к обеспечению переносимости программ, в частности, внимательно оценить возможность конверторного подхода.
В целом Рабочая группа высоко оценила разработку как дающую хорошие результаты для методологии и практики реализации языков программирования.
По второму вопросу с основными сообщениями выступили А.Н.Терехов, Т.С.Васючкова и В.Ш.Кауфман. Кроме того, с сообщениями и обсуждениями выступили В.М.Гущин, В.И.Цагельский, А.С.Клещев, И.В.Поттосин, А.А.Летичевский, М.Е.Неменман и др.
Т.С.Васючкова сделала доклад о методике сопоставления трансляторов, разработанной Уичманом. Она также привела данные об измерениях основных систем программирования на БЭСМ-6.
А.Н.Терехов привел результаты измерений некоторых трансляторов ЕС ЭВМ, сделанных по методике Уичмана.
В сообщении В.Ш.Кауфмана был изложен возможный набор параметров аттестации трансляторов.
В выступлениях была отмечена принципиальная важность работ по аттестации трансляторов для разработчиков трансляторов и то, что эти работы должны стать одним из основных направлений тематики Рабочей группы. Отмечалась многоаспектность проблемы аттестации трансляторов, необходимость проведения экспериментов по аттестации различных трансляторов в рамках РГ РЯП. Для этого создана временная рабочая подгруппа, целью которой является создание экспериментальной методики аттестации трансляторов и проверка этой методики на трансляторах с Фортрана.
Рекомендовалась к использованию методика Уичмана.
В последующих обсужденииях высказывались пожелания о дальнейшей тематике работы РГ:
- стандартизация языков программирования,
- язык АДА,
- языки представления знаний,
- языки параллельного программирования и методы их реализации,
- языки типа Декарт и методы их реализации,
- архитектура ЭВМ и ее влияние на языки программирования,
- микропрограммная реализация языков программирования.
Были высказаны пожелания о более интенсивном обмене информацией между членами РГ, в том числе рабочими записками, и о необходимости некоторой подготовки членов РГ к совещаниям.
Было принято решение, 3-е совещание организовать в г.Минске в январе-феврале 1982 г. по следующей тематике:
- Системы программирования ЕС ЭВМ (М.Е.Неменман, В.И.Цагельский).
- Экспериментальная аттестация трансляторов с Фортрана для ЕС ЭВМ (А.Н.Терехов, А.С.Клещев, В.Ш.Кауфман).
- Языки программирования макроконвейерной вычислительной системы и методы их реализации (А.А.Летичевский).
Было решено на 4-ом заседании, которое планируется в г.Новосибирске в ноябре 1982 г., рассмотреть автоматизацию построения трансляторов как основной вопрос.
На нынешнем совещании не удалось рассмотреть вопросы:
- включение в рабочую программу средств ее измерения,
- обсуждение перечня английских терминов и их русских переводных эквивалентов.
Решено вернуться к этим вопросам в ходе следующих совещаний.
На совещании отсутствовали члены РГ РЯП: В.М.Курочкин, Э.З.Любимский, Ю.М.Баяковский, С.С.Лавров, Д.Б.Подшивалов, В.Н.Редько, Э.Х.Тыугу, М.Г.Цуладзе, Г.Д.Чинин.
В качестве наблюдателей присутствовали: А.Л.Александров, А.Н.Бирюков, Т.С.Васючкова, В.Ю.Волконский, Л.К.Выханду, И.С.Голосов, Г.Р.Громов, В.М.Гущин, Д.Н.Тодорой, В.И.Цагельский, С.М.Шелестов, Н.В.Шкут, А.Л.Шмундак.
Сообщение: в состав Рабочей группы включен Федосеев Александр Иванович.
Дом.: 1422284, Протвино Московской области, Молодежный проезд, 3, кв.136.
Сл.: 1422284, Протвино Московской ообласти, тел. 20-63 (Серпуховский район).
Информационное письмо
Глубокоуважаемый
Сообщаю Вам, что следующее заседание Рабочей группы по методам реализации языков программирования состоится в г.Минске с 1 по 5 февраля 1982 г. Заседание организуется НИИ ЭВМ, ответственным за его проведение от Рабочей группы является М.Е.Неменман.
Программа заседания включает следующие вопросы:
1. Системы программирования ЕС ЭВМ и методы реализации языков программирования в этих системах.
1.1 Штатные системы программирования ЕС ЭВМ (вопрос готовится сотрудниками НИИ ЭВМ).
1.1.1. Обзор систем программирования для ЕС ЭВМ.
1.1.2. Методы оптимизации в системах программирования для ЕС ЭВМ.
1.1.3. Встроенные методы отладки в системах программирования для ЕС ЭВМ.
1.2. Новые разработки по системам программирования для ЕС ЭВМ.
1.2.1. Система программирования для Алгол-68 (А.Н.Терехов, Г.С.Цейтин — ЛГУ).
1.2.2. Система программирования для Алгамса (Н.В.Шкут — ИМ АН БССР, Б.А.Кондратенко — ВЦ РГУ).
1.2.3. Диалоговая система для ПЛ/1 (Р.П.Балодис — Лат.ГУ).
1.2.4. Специализированная система программирования для ЕС ЭВМ (С.С.Гороховский, В.В.Бублик — ИК АН УССР).
1.2.5. Представление систем программирования для Паскаля (В.Н.Касьянов — ВЦ СО АН СССР).
2. Методика аттестации трансляторов (отв. — В.Ш.Кауфман, А.С.Клещев, А.Н.Терехов).
3. Математическое обеспечение макроконвейерной вычислительной машины (А.А.Летичевский — ИК УССР).
Во время заседаний также предполагается уточнить ближайшие планы Рабочей группы (напоминаю, что по предварительным наметкам следующее заседание Рабочей группы предполагается провести в ноябре 1982 г. в г.Новосибирске с основной темой — автоматизация построения трансляторов).
Ваши замечания по программе заседаний и по планам группы прошу сообщить до конца декабря 1981 г. или немедленно, в зависимости от характера замечаний, для реальной возможности учесть их.
Прошу учесть в Ваших планах то, что ввиду большой программы заседание будет проходить полностью 3 дня (2, 3 и 4 февраля). Предполагается, что предложения по методике аттестации трансляторов, подготовленные ответственными за этот вопрос, будут предварительно разосланы членам Рабочей группы.
Для подготовки третьего вопроса члены Рабочей группы могут ознакомиться со статьями В.М.Глушкова, Ю.В.Капитоновой и А.А.Летичевского — "О построении семейства алгоритмических языков для программирования и проектирования многопроцессорных вычислительных систем" ("Кибернетика" N 1, 1981г.), "Об одном подходе к реализации параллельных вычислений в многопроцессорных вычислительных системах" (в Сб. "Параллельное программирование и вычислительные системы", ч.1, Новосибирск, 1980 г.).
Официальное приглашение и дополнительная информация будут высланы Комиссией по системному математическому обеспечению Координационного комитета по вычислительной технике АН СССР.
Председатель Рабочей группы по реализации
языков программирования И.В.Поттосин