assembler. Учебник для вузов_Юров В.И_2003 -637с (862834), страница 76
Текст из файла (страница 76)
Все адреса и смещения будут вычисляться относительно начала этогонового сегмента. Тогда не понадобится производить дополнительной настройкисегментных регистров (как было в двух предыдущих случаях).Листинг 15.10. Третий вариант использования директив extrn и public (модуль 1);prg!5_10.asm;Вызывающи и модульinclude mac.incextrnmy_proc2:far,per0:bytepublic perl,per2stk segment stackdb 256 dup (0)stk endsпродолжение •&340Глава 15.
Модульное программированиеЛистинг 15.10 (продолжение)datasegment para public "data"perldb "1"per2db "2"dataendscodesegmentmainprocfarassume cs:code,ds:data,ss : stkmov a x , d a t amov ds.axmov dl ,per0OutCharcallmy_proc2exitmainendpcodeendsend mainЛистинг 15.11. Третий вариант использования директив extrn и public (модуль 2);prg!5_ll.asmвызываемый модульinclude mac.incextrn perl:byte,per2:bytepublic my_proc2,per0datasegment para public "data"perOdb "0"dataendscodesegmentmy_proc2proc farassume cs:code,ds:data;ds загружать не надо, так как компоновщик его присоединит;к сегменту данных первого модуля;вывод символов на экранmov dl.perOOutCharmov dl.perlOutCharmov dl,per2OutCharmov dl,perOOutCharretmy_proc2endpcodeendsendВозврат результата из процедурыВ отличие от языков высокого уровня, в языке ассемблера нет отдельных понятийдля процедуры и функции.
Организация возврата результата из процедуры полностью ложится на программиста. Если исходить из того, что получение результата — частный случай передачи аргументов, то программисту доступны три варианта возврата значений из процедуры.is С использованием регистров. Ограничения здесь те же, что и при передаче данных, — это небольшое количество доступных регистров и их фиксированныйразмер. Функции DOS используют именно этот способ. Из рассматриваемыхздесь трех вариантов данный способ является наиболее быстрым, поэтому егоПроцедуры в языке ассемблера341есть смысл задействовать для организации критичных по времени вызова процедур с малым количеством аргументов.S С использованием общей области памяти.
Этот способ удобен при возвратебольшого количества данных, но требует внимательности в определении областей данных и подробного документирования, чтобы устранить неоднозначностьпри трактовке содержимого общих участков памяти.li С использованием стека. Здесь, подобно передаче аргументов через стек, такжетребуется регистр В Р. При этом возможны следующие варианты:П использование для возвращаемых аргументов тех же ячеек в стеке, которыеприменялись для передачи аргументов в процедуру, то есть предполагаетсязамещение ставших ненужными входных аргументов выходными данными;D предварительное помещение в стек наряду с передаваемыми аргументамификтивных аргументов с целью резервирования места для возвращаемогозначения (в этом варианте процедура, конечно же, не должна пытаться очистить стек командой RET, эту операцию придется делать в вызывающей программе, например, командой POP).В ходе приведенного обсуждения мы выяснили, что ассемблер не накладываетникаких ограничений на организацию процесса передачи данных и возврата значений между двумя процедурами, а в более общем случае — и между модулями,представляющими отдельные файлы.
Наиболее быстрый способ такого обмена —использование регистров. Но часто требуется связывать между собой не толькопрограммы, написанные на ассемблере, но и программы на разных языках. В этомслучае универсальным является обмен данными через стек.
Далее мы рассмотрим,как решается проблема связи программных модулей, написанных на языке ассемблера и языках высокого уровня.Директива INVOKEДля более удобного вызова процедур с параметрами, передающимися через стек,MASM предоставляет специальное средство в виде директивы INVOKE:INVOKE имя_процедуры [ . а р г у м е н т ы ]Основная ее задача — сформировать код, который, во-первых, размещает аргументы в стеке, во-вторых, вызывает процедуру и, в третьих, чистит стек после завершения работы процедуры. Например, традиционный способ вызова процедуры выглядит так:pushпараметр_пpushпараметр_2pushпараметр_1callимя_процедурыС использованием INVOKE тот же самый вызов будет выглядеть следующим образом:INVOKE имя_процедуры, параметр_1, параметр_2параметр_пДля INVOKE аргумент имя_процедуры не должен быть опережающей ссылкой наадрес.
Чтобы исключить подобные ситуации, существует «парная» для INVOKE директива PROTO:342Глава 15. Модульное программированиеимя_процедуры PROTO [расстояние] [язык] [, [ п а р а м е т р ] : т и п ] . . .Эта директива информирует ассемблер о количестве и типах аргументов, которые принимает процедура. Использование данной директивы позволяет ассемблеру выполнять проверку типов. Обычно все директивы PROTO для процедур собираются в начале исходного текста программы либо в отдельном включаемом файле.Директива PROTO принимает три типа аргументов — расстояние, язык, параметрыпроцедуры с указанием их типов.т Аргумент расстояние (NEAR, FAR, NEAR16, NEAR32, FAR16 или FAR32) влияет на размер адреса, формируемого ассемблером для вызова процедуры.
По умолчаниюзначение этого параметра определяется исходя из текущей модели памяти и типапроцессора.il Аргумент язык для определения стиля и соглашения по вызову процедуры в качестве значения принимает имя языка (табл. 15.1).« Аргумент параметр представляет собой последовательность перечисленных через запятую параметров процедуры. Исходя из этой информации, при вызовепроцедуры ассемблер преобразует последовательность параметров в последовательность команд PUSH с формированием соответствующих адресов параметров процедуры в стеке.* Аргумент тип — один из допустимых ассемблером простых типов данных.
В качестве типа может быть указано слово VARARG. Оно предназначено для определения процедур с переменным числом аргументов. Тип VARARG указываетсяс последним параметром, заданным в директиве PROTO. Тип VARARG можно использовать, если аргументом язык является С, SYSCALL или STDCALL.Таблица 15.1. Передача аргументов в языках высокого уровняОперанд«язык»ЯзыкаргументовНаправление передачистекаПроцедура очисткиNOLANGUAGEАссемблерСлева направоВызываемаяBASICBasicСлева направоВызываемаяPROLOGPrologСправа налевоВызывающаяFORTRANFortranСлева направоВызываемаяСССправа налевоВызывающаяС++(СРР)C++Справа налевоВызывающаяPASCALPascalСлева направоВызываемаяSTDCALL—Справа налевоВызываемаяSYSCALLC++Справа налевоВызывающаяПриведем типовую последовательность действий в программе для вызова процедуры в MASM:;задание прототипа процедуры prodproclPROTOstdcall idword, :dword;вызов процедурыПроцедуры в языке ассемблераinvoke343prod, argl, arg2Следует отметить разницу в описании процедур в MASM и TASM.
Общий видпредставления процедуры в MASM похож на стиль TASM, но имеет отличияв синтаксисе и содержании:имя_процедуры PROC [расстояние] [язык] [видимость][<аргументы пролога\эпилога>][USES список_регистров] [.аргумент [:тип]]...[LOCAL список_переменных]тело процедуры[RET [количество_байтов]]имя_процедуры ENDPПараметры расстояние, язык и видимость имеют сходные с описанием процедуры в TASM значения. Параметр расстояние показывает локализацию места, из которого может быть вызвана процедура, с помощью одного из ключевых слов: NEAR,FAR, NEAR16, NEAR32, FAR16 или FAR32.
Параметр язык — один из допустимых типовязыков(см. табл. 15.1). Параметр видимость определяет доступность процедурыдлядругих модулей и имеет одно из значений PRIVATE (по умолчанию), PUBLIC илиEXPORT. Этот параметр можно изменить директивой OPTION PROC.Последней командой процедуры обычно является RET. В качестве ее операндаможно указать число байтов, которые процедура должна удалить из стека при возврате управления в точку вызова.Ассемблер автоматически генерирует код пролога и эпилога для правильнойпередачи аргументов в процедуру через стек и очистки стека при возврате из нее.Код пролога и эпилога можно несколько изменить применением директив OPTIONPROLOGUE и OPTION EPILOGUE.Локальные переменные объявляются в процедуре директивой LOCAL (передлюбыми командами).
В процедуре может быть несколько директив LOCAL.Аргументы пролога/эпилога — аргументы, определяющие особенности прологаи эпилога процедуры. Аргументы по умолчанию — PROLOGUE и EPILOGUE. Другиезначения:- FORCEFRAME — генерация сегмента стека;4LOADDS — сохранение регистра DS в прологе процедуры и восстановление егов эпилоге.Если аргументов несколько, то они разделяются запятыми.При вызове процедуры можно указать регистры общего назначения, которыенужно сохранить в стеке и назначить символические имена адресам в стеке, которые логически являются параметрами процедуры.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
