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

ГЛАВА I. ЯЗЫК ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ CHILL

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.

ПРИЛОЖЕНИЕ 1.

ПРИЛОЖЕНИЕ 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 ;