Кроссовая параметрическая реализация языков макроассемблера для микро-ЭВМ и микропроцессорных систем

• Автор: Сальман, Абдель Фаттах Махмуд
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Киев
• Количество страниц: 223 c. : ил

ОГЛАВЛЕНИЕ
ВВЕДЕН

ГЛАВА I. СРЕДСТВА РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

ДЛЯ ШКРОПРОЦЕССОРОВ

1.1. Структура и состав средств разработки программного обеспечения

1.2. Способы реализации языков ассемблерного типа .

1.3. Системы реализации языков ассемблера на основе

формальных методов

1.4. Параметрическая система трансляции и выбор структурый схемы реализации .

ГЛАВА 2. ФОРМАЛЬНОЕ ОПИСАНИЕ ГРАММАТИКИ ЯЗЫКОВ

АССЕМБЛЕРНОГО ТИПА

2.1. Особенности лексики и е влияние на.реализацию алгоритма лексического анализа
2.2. Описание синтаксиса языка ассемблера . .
восмиразрядного микропроцессора
2.3. Методика устранения неоднозначностей входного языка на фазах лексического и синтаксического анализа
ГЛАВА 3. ИССЛЕДОВАНИЕ И РЕАЛИЗАЦИЯ МАКРОСРЕДСТВ ВХОДНОГО
ЯЗЫКА СРЕДСТВАМИ СПТ .
3.1. Особенности формальной спецификации семантики, макросредств
3.2. Структуры данных для реализации макросредств
3.3. Обработка макроопределений .
3.4. Обработка макрокоманд
ГЛАВА 4. РЕАЛИЗАЦИЯ СЕМАНТИКИ АССЕМБЛЕРА .
4.1. Характеристика процесса ассемблирования
4.2. Структура выходного файла и его формирование
на различных этапах ассемблирования
4.3. Семантический процессор ассемблера .
4.4. Описание формальных спецификаций семантики отдельных конструкций языка ассемблера
ГЛАВА 5. КРОССОВАЯ ОТЛАДКА ИСХОДНЫХ АССЕМБЛЕРНЫХ ПРОГРАШ .
5.1. Структура системы подготовки ассемблерных
программ для 8ми разрядного МП
5.2. Интерпретатор системы команд МП .
5.3. Язык управления отладкой
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА


В работе [ ] описана реализация кросс-ассемблеров для микропроцессоров путем использования описания самого МП и его системы команд. Для этой цели были разработаны специальные языки спецификации МП. По описаниям МП осуществляется генерация программы кросс-ассемблера. Примером таких языков служит язык спецификации микропроцессоров /ЯСМ/. Структурным элементом этого языка является секция. Совокупность секции образует описание МП. Процесс генерации кроссассемблеров этим методом заключается в обработке описаний МП, генерации необходимых ПЛ-программ и вставки их в ядро нроссассемб-лера. Недостатком такого подхода следует считать наличие в системе дополнительных специализированных языков. Большинство существующих методов ассемблирования основаны на испрльзовании свойств и характеристик конкретного входного языка и конкретной архитектуры МП, что препятствует созданию на их основе общих алгоритмов трансляции, позволяющих автоматизировать процесс разработки ассемблеров. Значительное сокращение времени разработки ассемблеров дают формальные методы, основанные на разделен™ этапов синтаксического и семантического анализа [6,]. Алгоритм синтаксического анализа для таких методов не зависит от конкретного входного языка. Таким образом, используя стандартную форму описания синтаксиса, можно обеспечить настройку транслятора на заданный входной язык [6]. Для систем трансляцш, которые строятся на основе формальных методов,характерным являнтся их независимость от конкретного входного языка [,]. Этапы синтаксического и семантического анализа в таких системах можно четко разделить. Построенный на формальных методах транслятор обладает некоторой универсальностью в заданном классе входных языков. В таких трансляторах синтаксис и семантику входного языка следует рассматривать как параметры, а для их построения потребуется аппарат формального описания синтаксиса и семантики. З- строка текста, принадлежащая выходному языку Ьвих , Входной язык ? V» - аксиома грамматики. Ь вых . Для задания синтаксиса входного языка разработан ряд мета-синтаксических языков, среди которых большое распространение получил язык БШ> [,,]. Тем не менее при построении конкретных систем трансляции используют и другие специальные языки [4,,, ,,], которые позволяют построить быстродействуняций синтаксический анализатор. Поэтому в каждом конкретном случае система трансляции на основе формальных методов строится с применением своих формальных языков описания синтаксиса и семантики. Ниже рассмотрен ряд систем реализации языков ассемблера на основе формальных методов. Для описания и реализации языков ассемблера по Р -технологии [ ,] применяется метаязык К -грамматик, который служит для описания синтаксиса и семантики. Грамматика языков в метаязыке -грамматик представляется в виде некоторого ориентированного графа, на дугах которого записываются символы языка и операции над любым конечным числом магазинных памятей. Таких операций три: пустая, запись и чтение. Для задания семантики на дугах ориентированного графа, необходимо указывать соответствующие операции над новыми типами абстрактной памяти. На основе И -грамматик была построена система реализации языков /включая языки ассемблера/ ИЛИЯМ [I]. Сущность этого принципа заключается в независимом описании входного и выходного языков, а также и процесса трансляции. Цредлагаемый способ описания основывается на идее параметрического подхода, состоящего в задании описания из трех частей: входного языка, выходного языка и связи указанных языков. Передача информации между частями обеспечивается аппаратом параметров. Преимущество параметрического подхода состоит в структуризации описаний, допускающей замену входного или выходного языка без существенных изменений в целом и организацию работы с библиотекой, хранящей описания наиболее употребительных языков и их подмножеств. СЦЦКА []. Система построения трансляторов СПТ-Баку [ 4 ] позволяет пользователю разрабатывать трансляторы с некоторых специализированных языков, в частности, разрабатывать кросс-системы для мини-и микро-ЭВМ. ПСП-грамматика/ [4]. ЗЕМРБ. SEM.