Тема 6.9 Внешние и внутренние имена. Директивы EXTRN и PUBLIC.

Редактор связей не может, однако, выполнить все, о чем говорилось
выше, самостоятельно. Ассемблер должен получить от программиста
информацию о подпрограммах, относящихся к другому программному
модулю. Это ввполняется с помощью оператора PUBLIC, извещающего
ассемблер о том, что данное символическое имя доступно другим
программам. Кроме того, программист указывает ассмеблеру, какие из
символических имен является внешними для данного программного
модуля. В языке ассемблера это реализуется оператором EXTRN,
который объявляет соответствующее имя внешним для текущего
ассемблирования, чтобы оно могло быть правильно обработано.
Ассемблер помечает данную команду таким образом, чтобы редактор
связей мог впоследствии найти ее и вставить туда правильное
значение адреса.

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

Вторая функция оператора EXTRN состоит в том, что он указывает
ассемблеру тип соответствующего символического имени. Так как
ассемблирование является очень формальной процедурой, то ассемблер
должен знать, что представляет из себя каждый символ. Это позволяет
ему генерировать правильные команды. В случае данных оператор EXTRN
может указывать на байт, двойное слово или другой типовой элемент.
Тип имени подпрограммы или другой программной метки может быть либо
NEAR, либо FAR, в зависимости от того, в каком сегменте она
находится. От программиста требуется указать в операторе EXTRN тип
символического имени. Так как кроме того ассемблером осуществляется
посегментная адресация программы, то оператор EXTERN указывает на
сегмент, в котором появляется данный идентификатор. Это не входит в
синтаксис оператора EXTRN, а определяется местоположением этого
оператора в программе. Ассемблер считает, что внешнее имя относится
к тому же сегменту, в котором появляется оператор EXTERN для этого
символического имени.

На Фиг. 5. 13 приведен пример ассемблерной программы,
иллюстрирующей использование оператора EXTRN. Здесь имеются два
имени, являющиеся внешними для данной программы. OUTPUT_CHARACTER
обозначает однобайтовую переменную. Соответствующий этой переменной
атрибут ": BYTE" указывается после имени переменной. Указатель NEAR
программной метки OUTPUT_ROUTINE говорит о том, что она находится в
том же сегменте. Хотя приведенная на Фиг. 5. 13 прогграмма содержит
ссылки на эти символические имена, при трансляции ассемблер знает,
как ему сегментировать правильные команды. Если бы оператор EXTRN
отсутствовал в программе, то в этом случае ассемблер
инициализировал бы ошибки. Из ассемблерного листинга видно, что
после поля адреса в командах, ссылающихся на внешние имена, стоит
символ E.

icrosoft (R) Macro Assembler Version 5. 00 4/2/89 16: 06: 36
Фиг. 5. 13 Основная программа Page 1-1


PAGE, 132
TITLE Фиг. 5. 13 Основная программа

0000 STACK SEGMENT STACK
0000 0040[ DW 64 DUP (? ); Резервирование места для стека
????
]

0080 STACK ENDS

0000 CODE SEGMENT PUBLIC

EXTRN OUTPUT_ROUTINE: NEAR, OUTPUT_CHARACTER: BYTE

ASSUME CS: CODE

0000 START PROC FAR

0000 1E PUSH DS; Сегмент адреса возврата
0001 B8 0000 MOV AX, 0
0004 50 PUSH AX; Смещение адреса возврата
0005 FC CLD; Установка направления
0006 8C C8 MOV AX, CS; Установка сегментного регистра
0008 8E D8 MOV DS, AX
ASSUME DS: CODE; Индикация состояния регистра
000A 8D 36 001D R LEA SI, MESSAGE; Адрес строки сообщения
000E CLOOP:
000E AC LODSB; Выборка следующего байта сообщения
000F A2 0000 E MOV OUTPUT_CHARACTER, AL; Сохранение в памяти символа
0012 E8 0000 E CALL OUTPUT_ROUTINE; Вывод символа
0015 80 3E 0000 E 0A CMP OUTPUT_CHARACTER, 10; Проверка на символ конца сообщения
001A 75 F2 JNE CLOOP; Обработка следующего символа

001C CB RET; Возврат в ДОС

001D 9D E2 A0 20 AF E0 AE MESSAGE DB 'Эта программа - тест', 13, 10
A3 E0 A0 AC AC A0 20
2D 20 E2 A5 E1 E2 0D
0A
0033 START ENDP
0033 CODE ENDS
END START

Фиг. 5. 13 Главная процедура
Microsoft (R) Macro Assembler Version 5. 00 1/1/80 04: 02: 28
Фиг. 5. 14 Подпрограмма вывода Page 1-1


PAGE, 132
TITLE Фиг. 5. 14 Подпрограмма вывода

0000 CODE SEGMENT PUBLIC
ASSUME CS: CODE, DS: CODE; Это должно быть так при вызове

PUBLIC OUTPUT_CHARACTER, OUTPUT_ROUTINE

0000?? OUTPUT_CHARACTER DB?

0001 OUTPUT_ROUTINE PROC NEAR
0001 A0 0000 R MOV AL, OUTPUT_CHARACTER; Выборка выводимого символа
0004 B4 0E MOV AH, 14; Функция вывода в BIOS
0006 BB 0000 MOV BX, 0; Установка номера страницы
0009 BA 0000 MOV DX, 0
000C CD 10 INT 10H; Вызов подпрограммы вывода на экран
000E C3 RET; Возврат в вызывающую программу

000F OUTPUT_ROUTINE ENDP
000F CODE ENDS
END