Директивы определения сегментов. Директива ASSUME

Рассмотрим, как сегментирование проявляется в программах на ассемблере.

Для того чтобы указать, что некоторая группа предложений программы на ассемблере образуют единый сегмент памяти, они оформляются как программ­ный сегмент: перед ними ставится директива SEGMENT, после них - дирек­тива ENDS, причем в начале обеих этих директив должно быть указано од­но и то же имя, играющее роль имени сегмента.

Синтаксис директивы SEGMENT:

<Имя сегмента> SEGMENT [<параметры>]

< Предложение >

...

<Предложение >

<Имя сегмента> ENDS

Директива SEGMENT может содержать три основных типа необязательных параметров, определяющих выравнивание (align), объединение (combine) и класс (‘class‘), между которыми должен быть хотя бы один пробел в качестве разделителя. Эти параметры имеют смысл при разработке больших ассемблерных программ.

Программа же в целом представляет собой последовательность таких программных сегментов, в конце которой указывается директива конца программы END.

Например:

DT1 SEGMENT; программный сегмент с именем DT1

A DB 0

B DW?

DT1 ENDS

;

DT2 SEGMENT; программный сегмент DT2

C DB 'hello'

DT2 ENDS

;

CODE SEGMENT; программный сегмент CODE

ASSUME CS:CODE, DS:DT1, ES:DT2

BEG: MOV AX,DT2

MOV DS,AX

MOV BH,C

...

CODE ENDS

END BEG; конец текста программы

Предложения программного сегмента ассемблер размещает в одном сег­менте памяти (в совокупности они не должны занимать более 64Кб) начи­ная с ближайшего свободного адреса, кратного 16. Номер (первые 16 би­тов начального адреса) этого сегмента становится значением имени сег­мента. В ассемблере это имя относится к константным выражениям, а не адресным, в связи с чем в команде

MOV AX, DT2

второй операнд является непосредственным, поэтому в регистр AX будет записано начало (номер) сегмента DT2, а не содержимое начальной ячейки этого сегмента.

Имена же переменных (A, B, C) и метки (BEG) относятся к адресным выражениям, и им ставится в соответствие адрес их ячейки относительно "своего" сегмента: имени A соответствует адрес 0, имени B - адрес 1, имени C - адрес 0, а метке BEG - адрес 0.

Все ссылки на предложения одного программного сегмента ассемблер сегментирует по умолчанию по одному и тому же сегментному регистру. По какому именно - устанавливается специальной директивой ASSUME.

Формат директивы ASSUME:

ASSUME сегм_регистр1<:имя1 >[, сегм_регистр2:имя2… ]

В нашем примере эта директива определяет, что все ссылки на сегмент CODE долж­ны, если явно не указан сегментный регистр, сегментироваться по регис­тру CS, все ссылки на DT1 - по регистру DS, а все ссылки на DT2 - по регистру ES.

Встретив в тексте программы ссылку на какое-либо имя (например, на имя C в команде MOV AX, C), ассемблер определяет, в каком программном сегменте оно описано (у нас - в DT2), затем по информации из директивы ASSUME узнает, какой сегментный регистр поставлен в соответствие этому сегменту (у нас - это ES), и далее образует адресную пару из данного регистра и смещения имени (у нас - ES:0), которую и записывает в фор­мируемую машинную команду. При этом ассемблер учитывает используемое в ПК соглашение о сегментных регистрах по умолчанию: если в адресной па­ре, построенной им самим или явно заданной в программе, сегментный ре­гистр совпадает с регистром по умолчанию, то в машинную команду зано­сится лишь смещение. Если, скажем, в нашем примере встретится команда MOV CX,B, тогда по имени В ассемблер построит пару DS:1, но раз опе­ранд-адрес команды MOV по умолчанию сегментируется по регистру DS, то записывать этот регистр в машинную команду излишне и ассемблер записы­вает в нее только смещение 1.

Таким образом, директива ASSUME избавляет программистов от необхо­димости выписывать полные адресные пары не только тогда, когда исполь­зуются сегментные регистры по умолчанию (как в случае с именем B), но тогда, когда в машинной команде нужно было бы явно указать сегментный регистр (как в случае с именем C). В ассемблере сегментный регистр в ссылке на имя требуется указывать лишь тогда, когда имя должно по каким-либо причинам сегментироваться по регистру, отличному от того, что постав­лен в соответствие всему сегменту, в котором это имя описано.

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

Дата добавления: 2014-11-09