Делаю курсовую по системному ПО. Появились вопросы.

Сразу прошу сильно не пинать. По возможности буду стараться разбираться сам. Но буду признателен, если проясните мне некоторые вопросы, дадите советы и просто поможете.

Суть курсовой состоит в следующем:
реализовать однопроходной макроассемблер, содержащий:
Вложенные макроопределения
Макровызовы внутри макроса
Метки внутри макроса
Параметры вызова макроса: Смешанный
Условная макрогенерация: (AIF, AGO) + (IF, ELSE, ENDIF) + (WHILE, ENDW)
Опережающее описание макроса: нет

Реализовать в составе основного алгоритма ассемблера.

Пока подковываюсь теоретически. Но уже пора начинать прогать.

Сразу вопрос: с какой стороны подойти к программе, с чего начать? (Больше всего пугает фраза: "Реализовать в составе основного алгоритма ассемблера.")

Заранее благодарен.

 

Думаю вам стоит посмотреть исходники FASM'a

 

Не надо её пугаться. Кодогенерация (раскрытие макросов) может быть реализована отдельно от компилятора. Скажем всяческие #define/#include в C изначально были реализованы именно самостоятельной программой-препроцессором, которая раскрывала все директивы препроцессора, получала "чистый" C, и отправляла его в пайп, а на другом конце пайпа был компилятор C. Здесь же явно заказан иной подход.

 

Ничего себе курсовая, по такому заданию работы вагон, это тянет на целый диплом. Интересно, какие ВУЗы настолько суровы, что в качестве курсовой приходится писать компилятор ассемблера (пусть даже однопроходовый) с поддержкой макроинструкций??? Легче язык ЛОГО реализовать, чем макроассемблер.

Я бы на такое задание предположил на 1 человека месяца 3... при условии, что студент уже знает что делать. Месяц на черновой вариант (глючный, бажный, без ММХ-SSE, и только в com-ушники) , месяц на отладку и доработку... и еще недели 3 на отладку доработанного )) А если исполнитель еще и не знает КАК (то есть должен теоретически подковываться в процессе) - то и полгода маловато.

Если сдача через месяц - я бы на вашем месте пугался бы не только фразы про "реализовать".

 

По мне -- так двухпроходной по-проще реализовать будет, но в моем варианте -- 1-проходной.

Не так все страшно.
Ассемблер настоящий (например, типа МАСМ) реализовать задача не стоит.
Вот, например, примерная ТКО (табл. кодов операций) "моего" ассемблера:
ком. код размер команды
JMP 01 4
LOADR1 02 4
LOADR2 03 4
ADD 04 2
MIN 05 2
SAVER1 06 4
SAVER2 07 4

Понятно, что нужно сразу макрос "рашифровывать", на ходу. Не совсем понятно, как это делать. Я с трудом это себе представляю (преобразование макросов и тут же переделка получившегося кода в двоичный). А ведь еще макросы могут быть вложены и т.д.

 

Mikl___
учился и работал.

У нас пока курсач по СПО еще никто не сдавал. Я иду почти по графику.

 

лабы были тоже похожими.

Это были задания на 1-3 лабы. 4-6 -- тоже самое, но ассемблер 1-проходной.

 

Вообще говоря, однопроходный ассемблер можно сделать только через задницу, поскольку придётся запоминать места ссылок на ещё не определённые метки и потом, в конце прохода, корректировать объектный код. Например:

Код (Text):

1. jmp MyLabel
2. ....
3. MyLabel:

Транслятор не сможет правильно сформировать код команды jmp, поскольку он не знает смещение MyLabel. С макросами в этом плане ещё хуже, поэтому во многих, если не во всех, макроассемблерах требуется, чтобы макрос был определён до его первого использования. Посему требование однопроходности представляется очень странным и, мягко говоря, необоснованным. В конце концов, не зря все классические ассемблеры были двухпроходными (а позднее появились и многопроходные).

А вот совместить процесс трансляции машинных инструкций и обычных директив ассемблера (вроде DB, DD и т.д.) с работой макропроцессора никаких сложностей не представляет -- если, конечно, макроопределения встречаются до вызовов соответствующих макросов. Грубо говоря, встречая директиву MACRO (каков её точный синтаксис, неважно -- это мелочи), транслятор считывает из исходного файла строку за строкой до тех пор, пока не встретит директиву ENDM, и просто запоминает эти строки (во вспомогательном файле, в динамически выделенной области ОЗУ -- опять-таки не суть важно, это техника). Кроме того, он разбирает оператор прототипа макрокоманды (где объявлено имя макроса и перечислены его формальные параметры). В дальнейшем, обнаружи вызов макроса с таким именем, он устанавливает соответствие фактических параметров формальным и просто вставляет вместо вызова ранее запомненные строки -- естественно, выполняя подстановку значений параметров. В общем, ничего действительно сложного здесь нет.

 

В том-то и дело, что предопределения макроса нет Вариант такой гадский достался.
Некоторым повезло с вариантами курсачей, у них они проще лаб получились. Мне не повезло.

 

TermoSINteZ

честно говоря, не понял, что это((( Не трудно будет разъяснить?

Я тут книжецу одну нашел по тематике:
Д. Баррон "Ассемблеры и загрузчики" (1 Мб)

 

Хм... Что-то ее прицепить не получилось(((

 

Помню такую книгу -- очень полезная оказалась в своё время...

 

Задачи оптимизации не ставится. Лишь бы работало. И условиям соответствовало.