Исследование вопросов реализации языка программирования высокого уровня CHILL

• Автор: Козуб, Владимир Александрович
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 135 c. : ил. + Прил. (115 с. : ил.)

ГЛАВА I. ЯЗЫК ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ СНШ
1.1. Обзор языка CHILL
1.1.1. Типы данных
1.1.2. Ячейки и доступ к ним
I.I.5. Значения и операции над ними ...
I.I.4. Операторы действий
1.1*5. Структура программы
1*1,6. Параллельное выполнение
1.1*7. Исключительные ситуации
1.2. Особенности языка CHILL
1.2.1. Управление типами данных
1.2.2. Абстракция данных
1.2.3. Синхронизация и связь параллельных процессов
1.2.4. Сравнение подходов к реакции на исключения
ГЛАВА 2. ВИРТУАЛЬНАЯ МАШИНА ДЛЯ ЯЗЫКА CHILL
2.1. Структура CHILb-машины и адресация данных
2.2. Представление данных в стеке и операции над ними
2.3. Доступ к составным ячейкам
2.4. Блоки, метки и переходы
2.5. Манипулирование с процедурами
2.6. Обработка и распространение исключений
2.7. Поддержка параллельного выполнения
ГЛАВА 3. КРОСС-КОМПИЛЯТОР ЯЗЫКА CHILL ДЛЯ УПРАВЛЯЮЩЕГО
КОМПЛЕКСА HEBA-IM
3.1. Лексический, синтаксический и семантический
анализ программы на языке CHILL
3.1.I. Подмножество CHILL и метод грамматического
разбора

3.1.2. Сканер
3.1.3. Структура таблиц компилятора
3.1.4. Реализация контроля совместимости типов
3.1.5. Формат промежуточного представления и распределение памяти
3.1.6. Отображение операторов языка в команды СН1Ыг-машины
3.2. Генерация команд УК HEBA-IM
3.2.1. Обзор системы команд УК HEBA-IM
3.2.2. Система прерываний и взаимодействие программ
3.2.3. Моделирование структуры CHILL-машины
на УК HEBA-IM
3.2.4. Отображение команд CHIbL-машины в УК HEBA-IM
3.2.5. Представление процессов CHILL модулями
УК НЕВА-1М и описание ядра CHILL
3.2.6. О влиянии особенностей архитектуры УК HEBA-IM
на генерацию кода для языка CHILL
3.3. Перенос кросс-компилятора на другую рабочую
машину
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
КНИГА 2.
ПРИЛОЖЕНИЕ I.
ПРИЛОЖЕНИЕ 2.
ПРИЛОЖЕНИЕ 3.
ПРИЛОЖЕНИЕ 4.

В связи с возрастающим использованием телефонных станций с программным управлением программирование становится важной частью телекоммуникационной технологии. Системы программного обеспечения таких станций становятся очень большими и сложными, поэтому важное значение приобретает использование развитых средств программирования [l2,70j. Эта перспектива была представлена Международным консультативным комитетом по телеграфии и телефонии (МККТТ) еще в конце 60-х годов, когда были выполнены некоторые начальные исследования по программированию для телефонных станций. С 1972 года МККТТ ведутся работы по стандартизации языков программирования для разработки и создания систем коммутации, основанных на использовании ЭВМ. За это время были разработаны три языка: язык спецификации и описания систем (SEL), язык реализации программного обеспечения систем (CHIII) и язык описания взаимодействия обслуживающего персонала с системой (MML) [32],
Язык спецификации и описания систем SDL ( Spécification and Description Language ) предназначен для описания на
высоком уровне абстракции функционального поведения реализуемой системы электронной коммутации [33,73^. Основная форма языка sdl - графическая, его модно интерпретировать как способ представления диаграмм переходов для конечных автоматов. Предполагается разработка машинно-читаемой формы языка SDL [35]. Рассматривается также возможность использования языка sdl для описания протоколов передачи данных [32].
Язык человеко-машинного взаимодействия MML (Man - Machine Language ) является основным средством описания процесса взаимодействия обслуживающего персонала с системой электронной ком-

ность (-), пересечение (А), объединение (оЯ) множеств, "исключающее или" (Хая) над множествами, включение множеств (<с = ?>= , < ) и операция принадлежности элемента к множеству (уи/ ). Поскольку элементами множеств могут быть только значения дискретного типа, то для множественного типа можно статически установить минимальное Мшл и максимальное Мтах значения его базового типа. Таким образом, множества могут быть представлены в СНШг-машине как битовые строки длины ( Мтах - мтгпп + 1 ). Наличие элемента в± во множестве м определяется значением 1 -того бита строки, представляющей множество м . Тогда многие операции ( пот , АШ> , (Ж , хой ) над множествами реализуются как логические операции над битовыми строками. Проверка совместимости оперэвдов бинарных операций над множествами выполняется статически, поэтому множества с различными базовыми типами, но одинаковой мощности могут иметь идентичное представление в СНШг-машине. Статический контроль совместимости множеств гарантирует также выполнение операций над множествами, представленными битовыми строками, без исключительной ситуации назгобрап. . Операция определения принадлежности элемента к множеству требует задания одного операнда - минимального значения базового типа множества. Ниже приводятся описания команд, реализующих те операции над множествами, которые не имеют аналогов среди операций над битовыми строками.
1.0ПР 0 0 II . Разность множеств.
' Р2 := Т - С(Т)-1 ; для Р1 := I увеличивая до С(Т) выполнять если С (Р2-Р1) то С(Р2-Р1) := С(Р2-Р1) /= С(Т-РЗС) ;
Т := Р2 ;