После того как сегменты в программе определены, ассемблер должен
узнать, как будут установлены сегментные регистры во время
выполнения программы. В примере на Фиг. 3.9 всего три сегмента, но
болшая программа может иметь намного больше. Располагая всего
четырьмя сегментными регистрами, большая программа может адресо-
ваться одновременно только к части доступных сегмментов. Ассемблеру
необходимо сообщить, к каким именно сегментам происходит адресация
во время выполнения. Это делается с помощью оператора ASSUME
который описывает для ассемблера установки сегментных регистров.
Программист должен связать каждый сегментный регистр с тем
сегментом, на который тот в данный момент указывает.
Фиг. 3.9 иллюстрирует такие сегментные операции. В этом примере
имеется три сегмента: DATA, BUFFER и CODE. Имена для них выбраны
произвольно. Их выбирает программист, а для ассемблера они не имеют
значения. Например, вы можете назвать сегмент именем CODE, а
использовать его только для данных и наооборот. Лучше всего, конеч-
но, называть сегменты так, чтобы их имена имели какой-то смысл в
данной программе. В нашем примере сегменты DATA и BUFFER оба имеют
внутри ячейку данных. Вряд ли реальная программа будет задавать
сегмент лишь с одной ячейкой памяти, но сейчас это служит для
примера. Если программа обращается к данным во многих участках
адресуемого в 8088 пространства, то ей требуется много определений
сегментов. Например, программа управления устройствами доступа IBM
PC может обращаться к памяти в системной области данных,
устанавливать векторы прерываний в начале памяти и выполняться как
программа в любом другом месте. Каждая из этих областей является
сегментом и должна быть определена в программе.
Утверждение ASSUME на Фиг. 3.9 предписывает ассемблеру работать
с учетом следующей установки сегментных регистров: регистр CS со-
держит начальный адрес сегмента CODE, регистр DS указывает на DATA,
а регистр ES определяет сегмент BUFFER. Утверждение ASSUME
(полагать, считать - прим. перев.) означает именно то, что оно
предписывает ассемблеру. Ассемблер обрабатывает исходный текст
программы предполагая, что сегментные регистры установлены как
указано в этом утверждении. Установка сегментных регистров, сделан-
ная в этом утверждении, остается при ассемблировании в силе пока
другое такое же утверждение не определит новые установки. Ассемблер
обрабатывает эти утверждения последовательно, даже если программа
ветвится и закручивается в циклы. Утверждение ASSUME остается в
силе, пока ассемблер не встретит при последовательном просмотре
программы следующее. Заметим, что в утверждении ASSUME не обязано
определять все сегментные регистры. В нашем примере не объявлен
регистр SS. На практике содержимое сегментного ргистра может быть
временами и неизвестно в программе. В этих случаях утверждение
ASSUME должно указывать сегмент NOTHING. Например, утверждение
ASSUME ES:NOTHING
сообщает ассемблеру, что программа не знает, куда указывает допол-
нительный сегментный регистр. Поскольку значение регистра неизвест-
но, ассемблер не должен использовать его в адресных вычислениях.
Важно отметить, что утверждение ASSUME не генерирует команд ма-
шинного языка. Это директива ассемблеру полагать, что сегментные
регистры установлены в соответствии с указанной в этом утверждении
информацией. Добиться правильное установки сегментов - забота
программиста. Аналогично, ассемблер не может проверить, что утверж-
дение ASSUME при выполнении будет соответствовать содержимому
сегментных регистров. Из-за того, что программа может прийти к
любому конкретному ASSUME множеством разных путей, за его
корректность отвечает программист. В нашем примере предполагается,
что сегментные регистры устанавливаются до выполнения данного кус-
ка программы. Если они установленыы неверно, то программа будет вы-
полняться неправильно даже если ассемблирование прошло успешно.
Первая команда увеличивает значение VAR1, находящейся в сегмен-
те данных. Ассемблер полагает, что регистр DS указывает на сегмент
DATA в соответствии с утверждением ASSUME. Поскольку регистр DS
предполагается при использовании данных по умолчанию, то для этой
команды ассемблер не генерирует сегментный префикс. Сформированная
этой инструкцией 4-байтовая машинная команда не содержит сегментно-
го префикса.
Вторая команда определяет переменную VAR2, которая находится в
сегменте названном BUFFER. Программа сообщила ассемблеру, что
дополнительный сегментный регистр указывает на сегмент BUFFER. Для
увеличения VAR2 ассемблер генерирует четырехбайтовую команду машин-
ного языка, но ей предшествует команда с однобайтовым префиксом,
которая отменяет использование регистра DS в этой команде.
Префиксный байт 26H говорит процессору использовать при создании
20-битового адреса памяти регистр ES. В колонке объектных кодов на
листинге ассемблер отмечает префиксную команду двоеточием.
Третья команда изменяет переменную VAR3 в сегменте CODE.
Утверждение ASSUME связывает этот сегмент с регистром CS. Ассемблер
автоматически генерирует соответствующий префикс переназначения
сегмента. В данном случае префикс 2EH предписывает процессору
использовать при вычислении испольнительного адреса регистр CS.
Вначале утверждение ASSUME покажется излишеством. В первое
время при написании программы естественно забывать о его примене-
нии. Ассемблер выдаст массу сообщений об ошибках чтобы помочь вам в
вашей забывчивости. Но при достаточном опыте, утверждение ASSUME
помогает программисту ассемблера сосредоточиться на структурах дан-
ных в программе. Программист должен не забывать устанавливать
сегментные регистры для адресации требуемых для программы данных.
Ассемблер облегчит бремя запоминания для каждой команды, где
располагаются данные и какой сегментный регистр должен быть
использован чтобы попасть к ним.
Программа может использовать утверждение SEGMENT для передачи
информации другим программам. Оператор SEGMENT может задавать
выравнивание сегмента в памяти, способ его комбинирования с други-
ми сегментами и имя его типа. Для программистов IBM PC особый
интерес представляют два вида выравнивания сегментов. Выравнивание
по параграфам (тип PARA) размещает начало сегмента с начала
параграфа - ячейки памяти, адрес которой в памяти кратен 16-ти .
Это означает, что первый байт сегмента будет иметь смещение 0
относительно значения сегментного регистра. Выравнивание по байтам
(тип BYTE), наоборот, размещает сегмент в любом месте памяти. В
этом случае сегментный регистр может и не указывать на первый байт
сегмента. В программе может потребоваться ненулевое смещение для
доступа к началу сегмента.
Различные способы связывания сегментов задает параметр типа
связи. Особенно это полезно при модульном программировании.
Описание PUBLIC приводит к объединению всех сегментов с одинаковыми
именами в один большой сегмент. Например, можно объединить все
сегменты кодов. Это приведет к соединению разных подпрограмм в их
собственных модулях с главной процедурой. Другой полезный тип связи
- AT, при указании которого в сочетании с адресным выражением,
сегмент располагается по заданному абсолютному адресу. Такое
объявление необходимо при работе с данными в фиксированном месте,
например, с векторами прерываний в начале памяти.
Намного более полное описание описание утверждения SEGMENT
можно найти в справочном томе к макроассемблеру IBM PC. Некоторые
из возможностей опертора SEGMENT мы будем использовать далее в
примерах.
