С этого шага мы начнем рассматривать структуру программы на Ассемблере.
Программа, написанная на языке Ассемблера, может состоять из нескольких модулей. Основной формат представления команд имеет следующий вид:
[<метка>:] <команда> [<операнд(ы)>] .
Метка (если имеется), команда и операнд (если имеется) разделяются, по крайней мере, одним пробелом. Примеры команд:
COUNT: MOV AX,0 ;Метка, команда два операнда.
MUL BX ;Команда, один операнд.
Метки в языке Ассемблер могут содержать следующие символы:
- буквы A, ..., Z, a, ..., z;
- цифры от 0 до 9;
- специальные символы: знак вопроса, точка (только в качестве первого символа), "коммерческое эт" (@), символ подчеркивания, знак доллара.
Первым символом в метке должна быть буква или специальный символ, например: $e10, PAGE25.
Ассемблер имеет ряд операторов, которые позволяют управлять процессом ассемблирования и формирования листинга. Эти операторы называются псевдокомандами или директивами. Они действуют только в процессе ассемблирования программы и не генерируют машинных кодов. На этом шаге мы рассмотрим директивы SEGMENT и ENDS. Общий вид:
<имя> SEGMENT [<выравнивание>] [<комбинация>] [<'класс'>]
. . .
<имя> ENDS
Директивы SEGMENT и ENDS отмечают соответственно начало и конец программного сегмента и должны быть помечены одним и тем же именем, которое и считается именем сегмента. Программный сегмент представляет собой последовательность инструкций и/или полей данных, адресуемых относительно одного регистра сегмента. Имя сегмента должно быть уникальным в пределах одного модуля.
Параметры:
директивы SEGMENT задают информацию для компоновщика программы. Они должны кодироваться в указанной последовательности, но могут быть опущены в произвольной комбинации. Рассмотрим назначение этих параметров.
Выравнивание определяет границу адреса, начиная с которой сегмент будет загружаться в память. Этот параметр имеет следующие значения:
- BYTE - сегмент начинается с любого адреса;
- WORD - сегмент начинается на границе слова, то есть значение, задающее границу, должно быть четным;
- PARA - сегмент начинается на границе параграфа, то есть значение должно оканчиваться нулем;
- PAGE - сегмент начинается на границе страницы, то есть значение должно оканчиваться двумя нулями.
Если выравнивание не указано, предполагается PARA. Следует помнить, что точный адрес начала сегмента до его загрузки в память неизвестен. Тип выравнивания только накладывает на него ограничение.
Тип комбинации определяет возможность и способы объединения программных сегментов, имеющих одно имя. Могут быть указаны следующие значения:
- PUBLIC - все сегменты с одним и тем же именем объединяются в один непрерывный сегмент. Все инструкции и поля данных нового сегмента будут адресоваться относительно одного регистра сегмента, а все смещения будут вычисляться относительно начала этого сегмента;
- STACK - все сегменты с одним и тем же именем объединяются в один непрерывный сегмент. Этот тип комбинации отличается от PUBLIC лишь тем, что адресация в новом сегменте будет вестись относительно регистра SS; регистр SP при этом устанавливается на конец сегмента. Такой тип комбинации обычно имеют сегменты стека. Тип комбинации STACK автоматически обеспечивает инициализацию регистров SS и SP, и пользователю необязательно включать в свою программу инструкции для установки этих регистров;
- COMMON - все одноименные сегменты этого класса будут загружаться в память, начиная с одного адреса. Таким способом можно формировать оверлейные программы. Длина области загрузки равна длине максимального по объему сегмента. Все адреса в этих сегментах вычисляются относительно одного базового адреса. Если некоторые данные объявлены в более чем одном сегменте с конкретным именем и типом комбинации COMMON, данные, объявленные последними, замещают все предыдущие;
- MEMORY - этот тип полностью совпадает с типом PUBLIC. В компиляторе был выделен в отдельную категорию для совместимости с теми компиляторами, которые различают эти типы;
- АT<адрес> - все метки и адресные переменные сегмента должны быть вычислены
относительно указанного адреса. Адрес может быть представлен любым допустимым выражением.
Сегмент с этим типом комбинации обычно не содержит программного кода или инициализируемых данных,
а включает в себя адресные значения, фиксированные для вычислительной машины. Например,
для определения адреса видеобуфера экрана может использоваться конструкция:
VIDEO_RAM SEGMENT AT 0B800H.
Если тип комбинации не указан, сегмент ни с чем не объединяется и рассматривается как отдельная программная единица.
Класс сегмента определяет порядок следования сегментов в памяти. Сегменты одного класса загружаются в память один после другого до того, как начнут загружаться сегменты другого класса.
В качестве класса сегмента может быть указан любой идентификатор, на который распространяются все требования и ограничения языка Ассемблера. Поскольку класс сегмента рассматривается как идентификатор, он не может быть определен где-либо еще в программе.
Если класс не указан, компоновщик копирует сегменты в исполнительный файл в той последовательности, в которой они расположены в объектном файле. Эта последовательность сохраняется до тех пор, пока компоновщик не обнаружит два или более сегмента одного класса, после чего начинается объединение сегментов. Сегменты одного класса копируются в последовательные блоки исполнительного файла.
Все сегменты имеют класс. Сегменты, для которых класс не указан, считаются принадлежащими к классу с пустым именем и копируются в последовательные блоки памяти вместе с такими же сегментами. Число сегментов, принадлежащих к одному классу, неограничено, но их суммарный объем не должен превышать 64Кб.
На следующем шаге мы рассмотрим директиву PROC.
