Книжная полка Сохранить
Размер шрифта:
А
А
А
|  Шрифт:
Arial
Times
|  Интервал:
Стандартный
Средний
Большой
|  Цвет сайта:
Ц
Ц
Ц
Ц
Ц

Разработка Паскаль-компилятора

Покупка
Артикул: 613571.03.99
В книге излагается структура компилятора, основные принципы построения всех его основных блоков - лексического, синтаксического и семантического анализаторов, а также генератора кода. Методы компиляции программ на Паскале описаны на языке С. Для студентов и специалистов, занимающихся созданием программного обеспечения, а также для всех желающих создать компилятор с своего собственного языка программирования.
Залогова, Л. А. Разработка Паскаль-компилятора : учебное пособие / Л. А. Залогова. - 5-е изд. - Москва : Лаборатория знаний, 2021. - 186 с. - ISBN 978-5-00101-110-1. - Текст : электронный. - URL: https://znanium.com/catalog/product/1987455 (дата обращения: 10.12.2024). – Режим доступа: по подписке.
Фрагмент текстового слоя документа размещен для индексирующих роботов
Москва
осква

Лаборатория знаний
Лаборатория знаний

 2021
2021 

5-е издание, электронное
-е издание, электронное

Л. ЗАЛОГОВА
Л. ЗАЛОГОВА
РАЗРАБОТКА
ПАСКАЛЬК О М П И Л Я Т О Р А

УДК 004.4.42
ББК 32.973.26-018.2
З-24

Залогова Л. А.
З-24
Разработка
Паскаль-компилятора
/
Л. А. Залогова. — 5-е
изд.,
электрон. — М.
:
Лаборатория
знаний,
2021. — 186 с. — Систем.
требования:
Adobe
Reader
XI
;
экран 10". — Загл. с титул. экрана. —
Текст : электронный.
ISBN 978-5-00101-110-1
В
книге
излагается
структура
компилятора,
основные
принципы
построения
всех
его
основных
блоков — лексического,
синтаксического
и
семантического
анализаторов,
а
также
генератора
кода.
Методы
компиляции
программ
на Паскале описаны на языке С.
Для студентов и специалистов, занимающихся созданием
программного
обеспечения,
а
также
для
всех
желающих
создать компилятор с своего собственного языка программирования.
УДК 004.4.42
ББК 32.973.26-018.2

Деривативное издание на основе печатного аналога: Разработка Паскаль-компилятора / Л. А. Залогова. — М. : БИНОМ.
Лаборатория знаний, 2007. — 183 с. : ил.
ISBN 978-5-94774-563-4.

В
соответствии
со
ст. 1299
и
1301
ГК
РФ
при
устранении
ограничений, установленных техническими средствами защиты
авторских прав, правообладатель вправе требовать от нарушителя
возмещения убытков или выплаты компенсации

ISBN 978-5-00101-110-1
© Лаборатория знаний, 2015

Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
Глава 1. Структура компилятора . . . . . . . . . . . . . . . . . . . . . . . . . 6
Глава 2. Модуль ввода-вывода . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2.1. Взаимодействие между модулем ввода-вывода
и анализатором . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2.2. Программирование модуля ввода-вывода . . . . . . . . 11

2.2.1. Формирование таблицы ошибок . . . . . . . . . . . . 12
2.2.2. Печать сообщений об ошибках . . . . . . . . . . . . . 13

Глава 3. Лексический анализатор . . . . . . . . . . . . . . . . . . . . . . . 15

3.1. Взаимодействие лексического анализатора
с другими частями компилятора . . . . . . . . . . . . . . . 15

3.2. Программирование лексического анализатора. . . . . 18

3.2.1. Лексические ошибки. . . . . . . . . . . . . . . . . . . . . 24

Глава 4. Синтаксический анализатор . . . . . . . . . . . . . . . . . . . . 26
Глава 5. Нейтрализация синтаксических ошибок . . . . . . . . . 36
Глава 6. Семантический анализатор . . . . . . . . . . . . . . . . . . . . . 45

6.1. Контекстные условия. . . . . . . . . . . . . . . . . . . . . . . . 45
6.2. Организация таблиц семантического анализатора . . 46

6.2.1. Таблица идентификаторов . . . . . . . . . . . . . . . . 46
6.2.2. Таблица типов. . . . . . . . . . . . . . . . . . . . . . . . . . 60
6.2.3. Таблица меток. . . . . . . . . . . . . . . . . . . . . . . . . . 71

6.3. Программирование семантического анализатора . . . 75

6.3.1. Создание фиктивной области действия . . . . . . . 75
6.3.2. Анализ описания переменных. . . . . . . . . . . . . . 78
6.3.3. Анализ описания типов. . . . . . . . . . . . . . . . . . . 81
6.3.4. Анализ операторов . . . . . . . . . . . . . . . . . . . . . . 84
6.3.5. Анализ выражения . . . . . . . . . . . . . . . . . . . . . . 92

Глава 7. Введение в генерацию кода . . . . . . . . . . . . . . . . . . . . . 99
Глава 8. Архитектура модульного
конвейерного процессора . . . . . . . . . . . . . . . . . . . . . . 101

8.1. Регистры . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
8.2. Способы представления данных. . . . . . . . . . . . . . . 102
8.3. Способы адресации операндов . . . . . . . . . . . . . . . . 105
8.4. Команды . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108

8.4.1. Команды для С- и Р-регистров. . . . . . . . . . . . . 110
8.4.2. Команды пересылки данных между
локальной памятью и регистрами . . . . . . . . . . 112

8.4.3. Команды для И-регистров. . . . . . . . . . . . . . . . 112
8.4.4. Команды передачи управления . . . . . . . . . . . . 113

Оглавление

8.4.5. Управление регистровым контекстом . . . . . . . 115
8.4.6. Команды для Д-регистров . . . . . . . . . . . . . . . . 122
8.4.7. Векторные команды . . . . . . . . . . . . . . . . . . . . 124

Глава 9. Организация оперативной памяти
во время выполнения программы . . . . . . . . . . . . . . . 126

9.1. Области данных процедур. . . . . . . . . . . . . . . . . . . 126
9.2. Адресация переменных. . . . . . . . . . . . . . . . . . . . . 127

9.2.1. Адресация простых переменных . . . . . . . . . . 128
9.2.2. Адресация переменных с индексами . . . . . . . 133
9.2.3. Адресация поля записи . . . . . . . . . . . . . . . . . 135

9.3. Память для данных скалярных типов. . . . . . . . . . 135
9.4. Память для данных структурных типов . . . . . . . . 135

Глава 10. Генерация кода . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139

10.1. Формирование команд . . . . . . . . . . . . . . . . . . . . . 139
10.2. Промежуточное представление и генерация
кода для выражений . . . . . . . . . . . . . . . . . . . . . . 142

10.3. Промежуточное представление и генерация
кода для операторов. . . . . . . . . . . . . . . . . . . . . . . 150

Литература . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
Приложение 1. Синтаксис стандарта языка Паскаль . . . . . . 168
Приложение 2. Сообщения об ошибках
Паскаль-компилятора. . . . . . . . . . . . . . . . . . . 179

Приложение 3. Коды команд для С- и Р-регистров . . . . . . . . 182

4
Оглавление

Компиляторы — это важнейшая область исследований, связанных с программным обеспечением, и одновременно — одна
из главных составляющих инструментария разработчиков программ. Без компиляторов программистам пришлось бы писать
программы непосредственно в машинных кодах, единственно
понятных компьютеру. Компиляторы же позволяют создавать
программы на языках, понятных и удобных для человека, а затем переводят (транслируют) их в машинные коды.
Цели этой книги: рассмотреть типовую структуру компилятора, а именно представить компилятор как совокупность логически взаимосвязанных модулей; определить взаимодействие
между этими модулями и изучить принципы их построения;
и наконец, используя метод пошаговой детализации, описать
основные функции отдельных модулей.
Чтобы продемонстрировать на практике создание собственного компилятора, в книге описываются методы компиляции
Паскаль-программ средствами языка С. Это позволит читателям, знакомым с наиболее распространенными языками программирования Паскаль и С, самим научиться писать компиляторы. Кроме того, для понимания материала книги читатель
должен знать способы представления различных информационных структур (данных) в памяти компьютера, а также основные алгоритмы работы с ними.
В книге излагается один из возможных методов создания
Паскаль-компилятора. Другие, альтернативные варианты здесь
не рассматриваются.
Материал, изложенный в книге, используется автором в течение нескольких лет при чтении курса лекций и проведении
практических занятий на механико-математическом факультете Пермского государственного университета. В рамках этого
курса каждый студент должен написать, отладить и выполнить
тестирование компилятора на примере некоторого фрагмента
на языке Паскаль. Только в этом случае действительно становится понятным, как работает компилятор. Как показывает
практика, знания и навыки, полученные в результате изучения
этого курса, позволяют создать компилятор для своего собственного языка программирования.

Введение

Компилятор — это программа, которая переводит программу на языке высокого уровня в эквивалентную программу на
другом (объектном) языке. Обычно компилятор также выдает
листинг, содержащий текст исходной программы и сообщения
обо всех обнаруженных ошибках.
Разработка программного обеспечения (ПО) подразумевает
модульность и хорошую структурированность программ. Учитывая это, представим компилятор как совокупность логически
взаимосвязанных
модулей,
определим
взаимодействие
между ними и, используя метод пошаговой детализации, опишем основные функции отдельных модулей на языке С.
Следуя определению, изобразим компилятор в виде схемы:

При вводе исходной программы и получении листинга мы
имеем дело с конкретными устройствами ввода-вывода (клавиатура, дисплей, магнитные диски). Чтобы легко адаптировать
компилятор к различным внешним устройствам конкретной
машины, отделим все действия по вводу-выводу данных от собственно процесса компиляции:

Глава 1

Структура компилятора

Работа компилятора включает в себя два основных этапа:

1) анализ — определение правильности исходной программы
и формирование (в случае необходимости) сообщений об
ошибках;
2) синтез — генерация объектной программы; этот этап выполняется для программ, не содержащих ошибок.

Таким образом, собственно компилятор разбивается на составляющие модули:

Одно из достоинств компилятора заключается в возможности
генерировать объектную программу для компьютеров с различной архитектурой и различных операционных систем. Однако
сам компилятор представляет собой машинно-зависимую программу, так как результат его работы определяется архитектурой конкретного компьютера, а именно представлением
данных, кодами операций, форматами машинных команд,
способами адресации и т. д. Поэтому уже на ранних стадиях проектирования компилятора в нем выделяют машиннозависимые и машинно-независимые части. В этом случае работа при переносе компилятора с одной машины на другую существенно облегчается. При этом анализатор представляет
собой машинно-независимую часть компилятора, а генератор, который отображает машинно-независимое промежуточное представление исходной программы на реальную ЭВМ и
должен переписываться для каждой новой машины, — это
машинно-зависимая часть компилятора.
При проверке правильности программы используется полное описание синтаксиса языка программирования. Для задания синтаксиса широко применяются формальные правила —
формы Бэкуса—Наура, а также синтаксические диаграммы.

Структура компилятора
7

Например, описание раздела объявления переменных в виде
форм Бэкуса—Наура выглядит так:
<раздел
переменных> ::=
var
<описание однотипных переменных> ;
{<описание однотипных переменных> ; }| < пусто>
<описание однотипных переменных> ::=
<имя> { , <имя>} : <тип>

В соответствии с этим описанием, следующий фрагмент программы на Паскале:
var
name1, name1, name2 : integer;
name1, name2, name2: real;

не содержит ошибок. Причина заключается в том, что, с точки
зрения форм Бэкуса—Наура, конкретное представление имени не
имеет значения. Поэтому дополнительно к формальным правилам синтаксис языков программирования должен описываться
неформально — с помощью естественного языка. В нашем примере это неформальное правило формулируется так: «в любой области действия без внутренних по отношению к ней областей никакой идентификатор не может быть описан более одного раза».
Учитывая особенности описания синтаксиса языков программирования, разделим анализатор на два модуля:

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

8
Глава 1

Второй модуль (синтаксический анализатор) выполняет синтаксический анализ последовательности символов. На этом
этапе символы рассматриваются как неделимые, и их представление как последовательности литер несущественно.
Итак, в результате мы получили следующую структуру компилятора:

Все указанные на схеме фазы компиляции могут работать последовательно или параллельно, но с определенной взаимной синхронизацией. Если какая-нибудь фаза требует чтения исходного
текста или результата его трансляции на некоторый внутренний
язык, то это обычно называется проходом. В некоторых случаях
программа полностью компилируется за один проход; при этом
обычное ограничение для однопроходных компиляторов заключается в том, что все идентификаторы должны быть описаны до
их использования. В ряде случаев необходимо иметь несколько
проходов, и критерии, определяющие выбор количества проходов, могут быть самыми разнообразными.

Структура компилятора
9

2.1. Взаимодействие между модулем
ввода-вывода и анализатором

Модуль ввода-вывода считывает последовательность литер
исходной программы с внешнего устройства и передает их анализатору. Анализатор проверяет, удовлетворяет ли эта последовательность литер правилам описания языка, и формирует
(в случае необходимости) сообщения об ошибках. Такое взаимодействие между модулем ввода-вывода и анализатором можно представить в виде схемы:

Будем считать, что в результате очередного обращения к
модулю ввода-вывода анализатор получает текущую литеру в
переменной:
char
ch;

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

struct
textposition
positionnow;

Определим структуру textposition:

struct textposition
{
unsigned linenumber; /*номер строки */
unsigned charnumber; /*номер позиции
в строке */
};

Глава 2

Модуль ввода-вывода