Язык ассемблера

Язык ассемблера

Типичный вторичный результат ассемблера: показан исходный язык ассемблера (справа) для Motorola MC6800 и собранная форма.
Парадигма	Императивный , неструктурированный , часто метапрограммирование (через макросы ), некоторые ассемблеры структурированы или объектно-ориентированы.
Впервые появился	1947 год ( 1947 )
Дисциплина набора текста	Никто
Расширения имен файлов	.asm, .s, .inc, .wla, .SRC и некоторые другие в зависимости от ассемблера

В компьютерном программировании язык ассемблера (альтернативный язык ассемблера) или символический машинный код ), Часто называемый просто ассемблером и обычно сокращаемый как ASM или asm , это любой язык программирования низкого уровня с очень сильным соответствием между инструкциями на языке и архитектуры машинного кода инструкциями . Язык ассемблера обычно имеет один оператор на машинную инструкцию (1:1), но константы, комментарии ассемблера , директивы , символические метки , например, ячеек памяти , регистров и макросов. обычно также поддерживаются.

Первый ассемблерный код, в котором язык используется для представления инструкций машинного кода, можно найти в работе Кэтлин и Эндрю Дональда Бутов 1947 года «Кодирование для ARC» . Ассемблерный код преобразуется в исполняемый машинный код с помощью служебной программы, называемой ассемблером . Термин «ассемблер» обычно приписывают Уилксу , Уилеру и Гиллу в их книге 1951 года «Подготовка программ для электронного цифрового компьютера» . который, однако, использовал этот термин для обозначения «программы, которая объединяет другую программу, состоящую из нескольких разделов, в одну программу». Процесс преобразования называется сборкой , как и сборка исходного кода . Вычислительный этап, когда ассемблер обрабатывает программу, называется временем сборки .

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

Иногда для одной и той же архитектуры существует более одного ассемблера, а иногда ассемблер специфичен для операционной системы или конкретных операционных систем. Большинство языков ассемблера не предоставляют специального синтаксиса для вызовов операционной системы, и большинство языков ассемблера могут универсально использоваться с любой операционной системой. поскольку язык обеспечивает доступ ко всем реальным возможностям процессора , на которых в конечном итоге основываются все механизмы системных вызовов . В отличие от языков ассемблера, большинство языков программирования высокого уровня , как правило, переносимы на различные архитектуры, но требуют интерпретации или компиляции , а это гораздо более сложные задачи, чем ассемблирование.

было обычным явлением, В первые десятилетия компьютерной эры и системное программирование , и программирование приложений полностью выполняемое на языке ассемблера. Несмотря на то, что они по-прежнему незаменимы для некоторых целей, большая часть программирования теперь выполняется на интерпретируемых и компилируемых языках более высокого уровня. В книге « Нет серебряной пули » Фред Брукс резюмировал последствия отказа от программирования на языке ассемблера: «Несомненно, самым мощным стимулом для повышения производительности, надежности и простоты программного обеспечения стало постепенное использование языков высокого уровня для программирования. Большинство наблюдателей следует отдать должное этому развитию, по крайней мере, в пятикратном повышении производительности и сопутствующем повышении надежности, простоты и понятности».

Сегодня типично использовать небольшие объемы кода на языке ассемблера в более крупных системах, реализованных на языке более высокого уровня, из соображений производительности или для прямого взаимодействия с оборудованием способами, не поддерживаемыми языком более высокого уровня. Например, чуть менее 2% исходного кода ядра Linux версии 4.9 написано на ассемблере; более 97% написано C. на

Синтаксис языка ассемблера

Язык ассемблера использует мнемонику для представления, например, каждой низкоуровневой машинной инструкции или кода операции , каждой директивы , обычно также каждого архитектурного регистра , флага и т. д. Некоторые мнемоники могут быть встроенными, а некоторые определяются пользователем. Многие операции требуют одного или нескольких операндов для формирования полной инструкции. Большинство ассемблеров допускают использование именованных констант, регистров и меток для программ и ячеек памяти, а также могут вычислять выражения для операндов. Таким образом, программисты освобождаются от утомительных повторяющихся вычислений, а ассемблерные программы становятся гораздо более читабельными, чем машинный код. В зависимости от архитектуры эти элементы также могут комбинироваться для конкретных инструкций или режимов адресации с использованием смещений или других данных, а также фиксированных адресов. Многие ассемблеры предлагают дополнительные механизмы для облегчения разработки программ, управления процессом сборки и облегчения отладки .

Некоторые из них ориентированы на столбцы, с определенными полями в определенных столбцах; это было очень распространено для машин, использующих перфокарты в 1950-х и начале 1960-х годов. Некоторые ассемблеры имеют синтаксис свободной формы с полями, разделенными разделителями, например знаками препинания, пробелами . Некоторые ассемблеры являются гибридными, например, с метками в определенном столбце и другими полями, разделенными разделителями; в 1960-х годах это стало более распространенным, чем синтаксис, ориентированный на столбцы.

Терминология

• Макросассемблер средство — это ассемблер, который включает в себя макроинструкций , позволяющее (параметризованный) текст на языке ассемблера быть представлен именем, и это имя может использоваться для вставки расширенного текста в другой код.
  • Открытый код относится к любому вводу ассемблера за пределами определения макроса.
• Кросс -ассемблер (см. также кросс-компилятор ) — это ассемблер, который запускается на компьютере или операционной системе ( хост- системе) другого типа, чем система, в которой должен запускаться результирующий код ( целевая система ). Кросс-сборка облегчает разработку программ для систем, у которых нет ресурсов для поддержки разработки программного обеспечения, таких как встроенная система или микроконтроллер . В таком случае полученный объектный код необходимо передать в целевую систему через постоянное запоминающее устройство (ПЗУ, СППЗУ и т.п.), программатор (когда постоянное запоминающее устройство интегрировано в устройство, как в микроконтроллерах). или канал передачи данных, использующий либо точную побитовую копию объектного кода, либо текстовое представление этого кода (например, шестнадцатеричное число Intel или S-запись Motorola ).
• Ассемблер высокого уровня — это программа, которая предоставляет абстракции языка, чаще связанные с языками высокого уровня, такие как расширенные структуры управления ( IF/THEN/ELSE , DO CASE и т. д.) и абстрактные типы данных высокого уровня, включая структуры/ записи, объединения, классы и множества.
• Микроассемблер — это программа, которая помогает подготовить микропрограмму для управления низкоуровневой работой компьютера.
• Метаассемблер — это « программа, которая принимает синтаксическое и семантическое описание языка ассемблера и генерирует ассемблер для этого языка». или который принимает исходный файл ассемблера вместе с таким описанием и собирает исходный файл в соответствии с этим описанием. Ассемблеры «Метасимволов» для компьютеров серий SDS 9 и SDS Sigma являются метаассемблерами. Sperry Univac также предоставила метаассемблер для серии UNIVAC 1100/2200 .
• встроенный ассемблер (или встроенный ассемблер ) — это ассемблерный код, содержащийся в программе на языке высокого уровня. Чаще всего это используется в системных программах, которым необходим прямой доступ к оборудованию.

Ключевые понятия

Ассемблер

Программа на ассемблере создает объектный код путем перевода комбинаций мнемоники и синтаксиса операций и режимов адресации в их числовые эквиваленты. Это представление обычно включает в себя код операции (« код операции »), а также другие управляющие биты и данные. Ассемблер также вычисляет константные выражения и разрешает символические имена для ячеек памяти и других объектов. Использование символических ссылок является ключевой особенностью ассемблеров, позволяющей избежать утомительных вычислений и ручного обновления адресов после модификаций программы. Большинство ассемблеров также включают в себя макросы для выполнения текстовых подстановок – например, для генерации общих коротких последовательностей инструкций как встроенных , а не вызываемых подпрограмм .

Некоторые ассемблеры также могут выполнять некоторые простые типы набора команд , специфичные для оптимизации . Конкретным примером этого могут быть вездесущие ассемблеры x86 от различных производителей. Называется скачок размера , большинство из них способны выполнять замену инструкций прыжка (длинные прыжки заменяются короткими или относительными прыжками) за любое количество проходов по запросу. Другие могут даже выполнять простую перестановку или вставку инструкций, например некоторые ассемблеры для RISC-архитектур , которые могут помочь оптимизировать разумное планирование инструкций для использования конвейера ЦП . максимально эффективного

Ассемблер был доступен с 1950-х годов как первый шаг по сравнению с машинным языком и перед языками программирования высокого уровня, такими как Fortran , Algol , COBOL и Lisp . Также существовало несколько классов трансляторов и полуавтоматических генераторов кода со свойствами, схожими как с ассемблером, так и с языками высокого уровня, причем Speedcode , возможно, является одним из наиболее известных примеров.

Может существовать несколько ассемблеров с разным синтаксисом для конкретного процессора или архитектуры набора команд . Например, инструкция по добавлению данных памяти в регистр процессора семейства x86 может выглядеть следующим образом: add eax,[ebx]в оригинальном синтаксисе Intel , тогда как это будет написано addl (%ebx),%eax в синтаксисе AT&T, используемом ассемблером GNU . Несмотря на разный внешний вид, разные синтаксические формы обычно генерируют один и тот же числовой машинный код . Один ассемблер также может иметь разные режимы для поддержки вариаций синтаксических форм, а также их точных семантических интерпретаций (например, синтаксис FASM , синтаксис TASM , идеальный режим и т. д., в частном случае программирования на ассемблере x86 ).

Количество проходов

Существует два типа ассемблеров в зависимости от того, сколько проходов через исходный код необходимо (сколько раз ассемблер читает исходный код) для создания объектного файла.

• Однопроходные ассемблеры обрабатывают исходный код один раз. Для символов, использованных до их определения, ассемблер выдает «ошибки» после окончательного определения, сообщая компоновщику или загрузчику исправить места, где использовались еще неопределенные символы.
• Многопроходные ассемблеры создают таблицу со всеми символами и их значениями на первых проходах, а затем используют эту таблицу на последующих проходах для генерации кода.

В обоих случаях ассемблер должен иметь возможность определять размер каждой инструкции на начальных проходах, чтобы вычислить адреса последующих символов. Это означает, что если размер операции, ссылающейся на операнд, определенный позже, зависит от типа или расстояния до операнда, ассемблер сделает пессимистическую оценку при первой встрече с операндом и при необходимости дополнит ее одним или несколькими Инструкции о « недействии » в более позднем проходе или исправлении ошибок. В ассемблере с оптимизацией «глазок» адреса могут пересчитываться между проходами, чтобы можно было заменить пессимистичный код кодом, адаптированным к точному расстоянию от цели.

Первоначальной причиной использования однопроходных ассемблеров был размер памяти и скорость сборки — часто второй проход требовал сохранения таблицы символов в памяти (для обработки прямых ссылок ), перемотки и повторного чтения исходного кода программы на ленте или повторного чтения колода карт или перфолента . Более поздние компьютеры с гораздо большей памятью (особенно дисковой) имели достаточно места для выполнения всей необходимой обработки без повторного чтения. Преимущество многопроходного ассемблера состоит в том, что отсутствие ошибок ускоряет процесс компоновки (или загрузку программы , если ассемблер непосредственно создает исполняемый код).

Пример: в следующем фрагменте кода однопроходный ассемблер сможет определить адрес обратной ссылки BKWD при сборке оператора S2 , но не сможет определить адрес прямой ссылки FWD при сборке оператора ветвления S1. ; действительно, FWD может быть неопределенным. Двухпроходный ассемблер определит оба адреса на первом этапе, поэтому они будут известны при генерации кода на втором этапе.

S1   B    FWD
  ...
FWD   EQU *
  ...
BKWD  EQU *
  ...
S2    B   BKWD

Сборщики высокого уровня

Более сложные ассемблеры высокого уровня предоставляют языковые абстракции, такие как:

• Объявления и вызовы процедур/функций высокого уровня
• Расширенные структуры управления (IF/THEN/ELSE, SWITCH)
• Абстрактные типы данных высокого уровня, включая структуры/записи, объединения, классы и наборы.
• Сложная обработка макросов (хотя доступна на обычных ассемблерах с конца 1950-х годов, например, для серий IBM 700 и IBM 7000 series , а также с 1960-х годов для IBM System/360 (S/360), среди других машин)
• Возможности объектно-ориентированного программирования, такие как классы , объекты , абстракция , полиморфизм и наследование.

см . в разделе Языковой дизайн Более подробную информацию ниже.

Язык ассемблера

Программа, написанная на языке ассемблера, состоит из ряда мнемонических инструкций процессора и метаоператоров (известных как декларативные операции, директивы, псевдоинструкции, псевдооперации и псевдооперации), комментариев и данных. Инструкции языка ассемблера обычно состоят из мнемонического кода операции , за которым следует операнд , который может представлять собой список данных, аргументов или параметров. Некоторые инструкции могут быть «подразумеваемыми», что означает, что данные, с которыми работает инструкция, неявно определяются самой инструкцией — такая инструкция не принимает операнд. Полученный оператор транслируется ассемблером в инструкции машинного языка , которые можно загрузить в память и выполнить.

Например, приведенная ниже инструкция сообщает процессору x86 / IA-32 немедленно переместить 8-битное значение в регистр . Двоичный код этой инструкции — 10110, за которым следует 3-битный идентификатор используемого регистра. Идентификатор регистра AL — 000, поэтому следующий машинный код загружает в регистр AL данные 01100001.

10110000 01100001

Этот двоичный компьютерный код можно сделать более удобочитаемым, если выразить его в шестнадцатеричном виде следующим образом.

B0 61

Здесь, B0 означает «Переместить копию следующего значения в AL », и 61 — это шестнадцатеричное представление значения 01100001, которое равно 97 в десятичном формате . Язык ассемблера семейства 8086 предоставляет мнемоническое обозначение MOV (сокращение от move ) для таких инструкций, поэтому приведенный выше машинный код можно записать на языке ассемблера следующим образом, дополнив его, если необходимо, пояснительным комментарием после точки с запятой. Это гораздо легче читать и запоминать.

MOV AL, 61h       ; Load AL with 97 decimal (61 hex)

В некоторых языках ассемблера (включая этот) одна и та же мнемоника, такая как MOV, может использоваться для семейства связанных инструкций по загрузке, копированию и перемещению данных, будь то непосредственные значения, значения в регистрах или ячейки памяти, на которые указывает значения в регистрах или по непосредственным (то есть прямым) адресам. Другие ассемблеры могут использовать отдельные мнемоники кода операции, такие как L для «перемещения памяти в регистр», ST для «перемещения регистра в память», LR для «перемещения регистра в регистр», MVI для «перемещения непосредственного операнда в память» и т. д.

Если одна и та же мнемоника используется для разных инструкций, это означает, что мнемоника соответствует нескольким различным кодам двоичных команд, за исключением данных (например, 61h в этом примере) в зависимости от операндов, следующих за мнемоникой. Например, для процессоров x86/IA-32 синтаксис языка ассемблера Intel MOV AL, AH представляет собой инструкцию, которая перемещает содержимое регистра AH в регистр AL . Шестнадцатеричная форма этой инструкции:

88 E0

Первый байт, 88h, идентифицирует перемещение между регистром размером в байт и другим регистром или памятью, а второй байт, E0h, кодируется (с тремя битовыми полями), чтобы указать, что оба операнда являются регистрами, источником является AH. , а пункт назначения — AL .

В таком случае, когда одна и та же мнемоника может представлять более одной двоичной инструкции, ассемблер определяет, какую инструкцию генерировать, проверяя операнды. В первом примере операнд 61h является допустимой шестнадцатеричной числовой константой и не является допустимым именем регистра, поэтому только B0 Инструкция может быть применима. Во втором примере операнд AH является допустимым именем регистра, а не допустимой числовой константой (шестнадцатеричной, десятичной, восьмеричной или двоичной), поэтому только 88 Инструкция может быть применима.

Языки ассемблера всегда проектируются таким образом, чтобы такое отсутствие двусмысленности повсеместно обеспечивалось их синтаксисом. Например, в языке ассемблера Intel x86 шестнадцатеричная константа должна начинаться с цифровой цифры, чтобы шестнадцатеричное число «А» (равное десятичной десятичке) было записано как 0Ah или 0AH, нет AH, в частности, чтобы оно не могло быть именем регистра AH . (То же самое правило также предотвращает неоднозначность имен регистров BH , CH и DH , а также любого определяемого пользователем символа, который заканчивается на букву H и в противном случае содержит только символы, являющиеся шестнадцатеричными цифрами, например слово «BEACH». ".)

Возвращаясь к исходному примеру, в то время как код операции x86 10110000 ( B0) копирует 8-битное значение в регистр AL , 10110001 ( B1) перемещает его в CL и 10110010 ( B2) делает это в DL . Ниже приведены примеры языка ассемблера.

MOV AL, 1h        ; Load AL with immediate value 1
MOV CL, 2h        ; Load CL with immediate value 2
MOV DL, 3h        ; Load DL with immediate value 3

Синтаксис MOV также может быть более сложным, как показывают следующие примеры.

MOV EAX, [EBX]	  ; Move the 4 bytes in memory at the address contained in EBX into EAX
MOV [ESI+EAX], CL ; Move the contents of CL into the byte at address ESI+EAX
MOV DS, DX        ; Move the contents of DX into segment register DS

В каждом случае мнемоника MOV транслируется ассемблером непосредственно в один из кодов операций 88-8C, 8E, A0-A3, B0-BF, C6 или C7, и программисту обычно не нужно знать или запоминать какой именно.

Преобразование языка ассемблера в машинный код — это работа ассемблера, а обратного процесса можно, по крайней мере частично, добиться с помощью дизассемблера . В отличие от языков высокого уровня существует взаимно однозначное соответствие , между многими простыми операторами ассемблера и инструкциями машинного языка . Однако в некоторых случаях ассемблер может предоставлять псевдоинструкции (по сути макросы), которые расширяются до нескольких инструкций машинного языка для обеспечения часто необходимых функций. Например, для машины, в которой отсутствует инструкция «перейти, если больше или равно», ассемблер может предоставить псевдоинструкцию, которая расширяется до машинных «набор, если меньше» и «переход, если ноль (по результату команды установки)». . Большинство полнофункциональных ассемблеров также предоставляют богатый язык макросов (обсуждаемый ниже), который используется поставщиками и программистами для создания более сложного кода и последовательностей данных. Поскольку информация о псевдоинструкциях и макросах, определенных в среде ассемблера, отсутствует в объектной программе, дизассемблер не может реконструировать вызовы макросов и псевдоинструкций, а может только дизассемблировать фактические машинные инструкции, которые ассемблер сгенерировал из этих абстрактных объектов языка ассемблера. Аналогично, поскольку комментарии в исходном файле языка ассемблера игнорируются ассемблером и не влияют на генерируемый им объектный код, дизассемблер всегда совершенно неспособен восстановить исходные комментарии.

Каждая компьютерная архитектура имеет свой собственный машинный язык. Компьютеры различаются количеством и типом операций, которые они поддерживают, разными размерами и количеством регистров, а также представлением данных в хранилище. Хотя большинство компьютеров общего назначения способны выполнять по существу одни и те же функции, способы, которыми они это делают, различаются; соответствующие языки ассемблера отражают эти различия.

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

Двумя примерами процессоров, которые имеют два разных набора мнемокодов, являются семейство Intel 8080 и Intel 8086/8088. Поскольку Intel заявила об авторских правах на свою мнемонику языка ассемблера (по крайней мере, на каждой странице своей документации, опубликованной в 1970-х и начале 1980-х годов), некоторые компании, которые самостоятельно производили процессоры, совместимые с наборами инструкций Intel, изобрели свои собственные мнемоники. ЦП Zilog Z80 , усовершенствованный процессор Intel 8080A , поддерживает все инструкции 8080A, а также многие другие; Zilog изобрел совершенно новый язык ассемблера не только для новых инструкций, но и для всех инструкций 8080A. Например, там, где Intel использует мнемоники MOV , MVI , LDA , STA , LXI , LDAX , STAX , LHLD и SHLD для различных инструкций передачи данных, язык ассемблера Z80 использует мнемонику LD для всех из них. Похожий случай – процессоры NEC V20 и V30 , усовершенствованные копии Intel 8086 и 8088 соответственно. Как и Zilog с Z80, NEC изобрела новую мнемонику для всех инструкций 8086 и 8088, чтобы избежать обвинений в нарушении авторских прав Intel. (Сомнительно, могут ли такие авторские права быть действительными, и более поздние компании по производству процессоров, такие как АМД и Cyrix переиздал мнемонику инструкций Intel x86/IA-32 без разрешения и юридического наказания.) Сомнительно, что на практике многие люди, которые программировали V20 и V30, действительно писали на языке ассемблера NEC, а не на языке Intel; поскольку любые два языка ассемблера для одной и той же архитектуры набора команд изоморфны (что-то вроде английского и Pig Latin ), нет необходимости использовать собственный опубликованный язык ассемблера производителя с продуктами этого производителя.

Языковой дизайн

Основные элементы

Существует большое разнообразие в том, как авторы ассемблеров классифицируют операторы и в используемой ими номенклатуре. В частности, некоторые описывают все, кроме машинной мнемоники или расширенной мнемоники, как псевдооперацию (псевдооперацию). Типичный язык ассемблера состоит из трех типов инструкций, которые используются для определения операций программы:

• опкода Мнемоника
• Определения данных
• Директивы сборки

Мнемоника опкода и расширенная мнемоника

Инструкции (операторы) на языке ассемблера, как правило, очень просты, в отличие от инструкций в языках высокого уровня . Как правило, мнемоника — это символическое имя для одной исполняемой инструкции машинного языка ( код операции ), и для каждой инструкции машинного языка определена по крайней мере одна мнемоника кода операции. Каждая инструкция обычно состоит из операции или кода операции плюс ноль или более операндов . Большинство инструкций относятся к одному значению или паре значений. Операнды могут быть непосредственными (значения, закодированные в самой инструкции), регистрами, указанными в инструкции или подразумеваемыми, или адресами данных, расположенными в другом месте в памяти. Это определяется базовой архитектурой процессора: ассемблер просто отражает, как работает эта архитектура. Расширенная мнемоника часто используется для указания комбинации кода операции с определенным операндом, например, ассемблеры System/360 используют B как расширенная мнемоника для BC с маской 15 и NOP («НЕТ ОПЕРАЦИИ» – ничего не делать в течение одного шага) для BC с маской 0.

Расширенная мнемоника часто используется для поддержки специализированного использования инструкций, часто для целей, не очевидных из названия инструкции. Например, многие процессоры не имеют явной инструкции NOP, но имеют инструкции, которые можно использовать для этой цели. В процессорах 8086 инструкция xchg ax,ax используется для nop, с nop псевдокод операции для кодирования инструкции xchg ax,ax. Некоторые дизассемблеры распознают это и декодируют xchg ax,ax инструкция как nop. Аналогично, ассемблеры IBM для System/360 и System/370 используют расширенную мнемонику NOP и NOPR для BC и BCR с нулевыми масками. В архитектуре SPARC они известны как синтетические инструкции .

Некоторые ассемблеры также поддерживают простые встроенные макрокоманды, которые генерируют две или более машинные инструкции. Например, в некоторых ассемблерах Z80 инструкция ld hl,bc признано генерирующим ld l,c с последующим ld h,b. Их иногда называют псевдокодами операций .

Мнемоника — это произвольные символы; В 1985 году IEEE опубликовал Стандарт 694 для единообразного набора мнемоник, который должен использоваться всеми ассемблерами. С тех пор стандарт был отменен.

Директивы данных

Существуют инструкции, используемые для определения элементов данных для хранения данных и переменных. Они определяют тип данных, длину и выравнивание данных. Эти инструкции также могут определять, доступны ли данные внешним программам (программам, собранным отдельно) или только той программе, в которой определен раздел данных. Некоторые ассемблеры классифицируют их как псевдооперации.

Директивы сборки

Директивы ассемблера, также называемые псевдокодами операций, псевдооперациями или псевдооперациями, представляют собой команды, данные ассемблеру, «предписывающие ему выполнять операции, отличные от инструкций ассемблирования». Директивы влияют на работу ассемблера и «могут влиять на объектный код, таблицу символов, файл листинга и значения внутренних параметров ассемблера». Иногда термин псевдокод операции зарезервирован для директив, генерирующих объектный код, например тех, которые генерируют данные.

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

Символические ассемблеры позволяют программистам связывать произвольные имена ( метки или символы ) с ячейками памяти и различными константами. Обычно каждой константе и переменной присваивается имя, поэтому инструкции могут ссылаться на эти места по имени, что способствует созданию самодокументируемого кода . В исполняемом коде имя каждой подпрограммы связано с ее точкой входа, поэтому любые вызовы подпрограммы могут использовать ее имя. Внутри подпрограмм пунктам назначения GOTO присваиваются метки. Некоторые ассемблеры поддерживают локальные символы , которые часто лексически отличаются от обычных символов (например, использование «10$» в качестве пункта назначения GOTO).

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

Языки ассемблера, как и большинство других компьютерных языков, позволяют добавлять комментарии к исходному коду программы , которые будут игнорироваться во время ассемблера. Разумное комментирование имеет важное значение в программах на языке ассемблера, поскольку значение и цель последовательности двоичных машинных инструкций может быть трудно определить. «Сырой» (некомментированный) язык ассемблера, созданный компиляторами или дизассемблерами, довольно сложно читать, когда необходимо внести изменения.

Макросы

Многие ассемблеры поддерживают предопределенные макросы , а другие поддерживают определяемые программистом (и многократно переопределяемые) макросы, включающие последовательности текстовых строк, в которые встроены переменные и константы. Макроопределение чаще всего смесь операторов ассемблера, например, директив, символических машинных инструкций и шаблонов операторов ассемблера. Эта последовательность текстовых строк может включать в себя коды операций или директивы. После определения макроса его имя можно использовать вместо мнемоники. Когда ассемблер обрабатывает такой оператор, он заменяет его текстовыми строками, связанными с этим макросом, а затем обрабатывает их так, как если бы они существовали в файле исходного кода (включая, в некоторых ассемблерах, расширение любых макросов, существующих в заменяющем тексте). . Макросы в этом смысле восходят к автокодерам IBM 1950-х годов.

У ассемблеров макросов обычно есть директивы, например, для определения макросов, определения переменных, установки переменных в результат арифметического, логического или строкового выражения, итерации, условной генерации кода. Некоторые из этих директив могут быть ограничены для использования в определении макроса, например, MEXIT в HLASM , в то время как другие могут быть разрешены в открытом коде (вне определений макросов), например, AIF и COPY в HLASM.

На языке ассемблера термин «макрос» представляет собой более обширное понятие, чем в некоторых других контекстах, например, в препроцессоре на языке программирования C , где его директива #define обычно используется для создания коротких однострочных макросов. Макросинструкции ассемблера, как и макросы в PL/I и некоторых других языках, сами по себе могут быть длинными «программами», выполняемыми путем интерпретации ассемблером во время ассемблера.

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

Сборщики макросов часто позволяют макросам принимать параметры . Некоторые ассемблеры включают в себя довольно сложные макроязыки, включающие такие элементы языка высокого уровня, как необязательные параметры, символические переменные, условные выражения, манипуляции со строками и арифметические операции, которые можно использовать во время выполнения данного макроса и позволяют макросам сохранять контекст или обмениваться информацией. . Таким образом, макрос может генерировать многочисленные инструкции языка ассемблера или определения данных на основе аргументов макроса. Это можно использовать, например, для создания структур данных в стиле записи или « развернутых » циклов, или для создания целых алгоритмов на основе сложных параметров. Например, макрос «сортировки» может принять спецификацию сложного ключа сортировки и сгенерировать код, созданный для этого конкретного ключа, не нуждаясь в тестах во время выполнения, которые потребуются для общей процедуры интерпретации спецификации. Можно считать, что организация, использующая язык ассемблера, который был значительно расширен с помощью такого набора макросов, работает на языке более высокого уровня, поскольку такие программисты не работают с концептуальными элементами компьютера самого низкого уровня. Подчеркивая этот момент, макросы использовались для реализации раннего виртуальная машина в SNOBOL4 (1967), которая была написана на языке реализации SNOBOL (SIL), языке ассемблера для виртуальной машины. Целевая машина переведет это в свой собственный код с помощью ассемблера макросов . Это обеспечивало высокую степень мобильности для того времени.

Макросы использовались для настройки крупномасштабных программных систем для конкретных клиентов в эпоху мэйнфреймов, а также использовались персоналом клиентов для удовлетворения потребностей своих работодателей путем создания конкретных версий операционных систем производителя. Это было сделано, например, системными программистами, работавшими с системой/виртуальной машиной IBM Conversational Monitor System/Virtual Machine ( VM/CMS ) и с надстройками IBM для «обработки транзакций в реальном времени», системой управления информацией о клиентах CICS и ACP / TPF . авиационная/финансовая система, которая возникла в 1970-х годах и до сих пор использует множество крупных компьютерных систем бронирования (CRS) и систем кредитных карт.

Также можно использовать исключительно возможности ассемблера по обработке макросов для генерации кода, написанного на совершенно разных языках, например, для создания версии программы на COBOL , используя чистую программу ассемблера макросов, содержащую строки кода COBOL внутри операторов времени сборки. инструктируя ассемблер сгенерировать произвольный код. IBM OS/360 использует макросы для создания системы . Пользователь указывает параметры, кодируя серию ассемблерных макросов. Сборка этих макросов генерирует поток заданий для построения системы, включая язык управления заданиями и утилитами операторы управления .

Это связано с тем, что, как стало понятно в 1960-х годах, концепция «макрообработки» не зависит от концепции «сборки», причем первая, выражаясь современными терминами, представляет собой скорее обработку текста, обработку текста, чем генерацию объектного кода. Концепция обработки макросов появилась и появляется в языке программирования C, который поддерживает «инструкции препроцессора» для установки переменных и выполнения условных проверок их значений. В отличие от некоторых предыдущих макропроцессоров внутри ассемблеров, препроцессор C не является полным по Тьюрингу , поскольку в нем отсутствует возможность зацикливания или «перехода», что позволяет программам зацикливаться.

Несмотря на мощь обработки макросов, она вышла из употребления во многих языках высокого уровня (основными исключениями являются C , C++ и PL/I), оставаясь неизменным для ассемблеров.

Замена параметров макроса осуществляется строго по имени: во время обработки макроса значение параметра текстуально заменяется его именем. Самый известный класс ошибок заключался в использовании параметра, который сам по себе был выражением, а не простым именем, когда автор макроса ожидал имя. В макросе:

foo: macro a
load a*b

намерение состояло в том, чтобы вызывающая сторона предоставила имя переменной, а «глобальная» переменная или константа b использовалась для умножения «a». Если foo вызывается с параметром a-c, макрорасширение load a-c*b происходит. Чтобы избежать любой возможной двусмысленности, пользователи макропроцессоров могут заключать в круглые скобки формальные параметры внутри определений макросов, а вызывающие программы могут заключать в скобки входные параметры.

Поддержка структурированного программирования

Были написаны пакеты макросов, предоставляющие элементы структурированного программирования для кодирования потока выполнения. Самый ранний пример такого подхода был в наборе макросов Concept-14 , первоначально предложенный Харланом Миллсом (март 1970 г.) и реализованный Марвином Кесслером из подразделения IBM Federal Systems, которое предоставило IF/ELSE/ENDIF и аналогичные блоки управления потоками для программ на ассемблере OS/360. Это был способ уменьшить или исключить использование операций GOTO в ассемблерном коде, одного из основных факторов, вызывающих спагетти-код на языке ассемблера. Этот подход получил широкое распространение в начале 1980-х годов (последние дни широкомасштабного использования языка ассемблера). Набор инструментов ассемблера высокого уровня IBM включает такой пакет макросов.

Любопытной разработкой стал A-Natural , «поток-ориентированный» ассемблер для 8080/ Z80 . процессоров от Whitesmiths Ltd. (разработчиков Unix -подобной операционной системы Idris и первого коммерческого C компилятора ). Язык был классифицирован как ассемблер, потому что он работал с необработанными машинными элементами, такими как коды операций , регистры и ссылки на память; но он включал синтаксис выражений, указывающий порядок выполнения. Круглые скобки и другие специальные символы, а также конструкции блочно-ориентированного структурированного программирования контролировали последовательность генерируемых инструкций. A-natural был создан как объектный язык компилятора C, а не для ручного кодирования, но его логический синтаксис завоевал некоторых поклонников.

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

Ассемблер с мощным механизмом макросов позволяет структурировать программирование с помощью макросов, таких как макрос переключения, поставляемый в пакете Masm32 (этот код представляет собой полную программу):

include \masm32\include\masm32rt.inc	; use the Masm32 library

.code
demomain:
  REPEAT 20
	switch rv(nrandom, 9)	; generate a number between 0 and 8
	mov ecx, 7
	case 0
		print "case 0"
	case ecx				; in contrast to most other programming languages,
		print "case 7"		; the Masm32 switch allows "variable cases"
	case 1 .. 3
		.if eax==1
			print "case 1"
		.elseif eax==2
			print "case 2"
		.else
			print "cases 1 to 3: other"
		.endif
	case 4, 6, 8
		print "cases 4, 6 or 8"
	default
		mov ebx, 19		     ; print 20 stars
		.Repeat
			print "*"
			dec ebx
		.Until Sign?		 ; loop until the sign flag is set
	endsw
	print chr$(13, 10)
  ENDM
  exit
end demomain

Использование языка ассемблера

Историческая перспектива

Языки ассемблера не были доступны в то время, когда был представлен компьютер с хранимой программой . Кэтлин Бут «приписывается изобретение языка ассемблера» основанную на теоретической работе, она начала в 1947 году, работая над ARC2 в Биркбеке, Лондонский университет, после консультации Эндрю Бута (впоследствии ее мужа) с математиком Джоном фон Нейманом и физиком Германом Гольдстайном в Институте перспективных исследований .

В конце 1948 года электронного автоматического калькулятора с задержкой хранения (EDSAC) был интегрирован ассемблер (называемый «начальными заказами») в программу начальной загрузки . В нем использовалась однобуквенная мнемоника, разработанная Дэвидом Уилером , которого Компьютерное общество IEEE считает создателем первого «ассемблера». В отчетах EDSAC был введен термин «сборка» для обозначения процесса объединения полей в командное слово. SOAP ( символическая оптимальная программа сборки ) — язык ассемблера для компьютера IBM 650, написанный Стэном Поли в 1955 году.

Языки ассемблера устраняют большую часть подверженного ошибкам, утомительного и трудоемкого программирования первого поколения , необходимого для самых первых компьютеров, освобождая программистов от утомительной работы, такой как запоминание числовых кодов и вычисление адресов. Когда-то они широко использовались для всех видов программирования. Однако к концу 1950-х гг. их использование в значительной степени было вытеснено языками более высокого уровня в поисках повышения производительности программирования . Сегодня язык ассемблера по-прежнему используется для прямого манипулирования оборудованием, доступа к специализированным инструкциям процессора или для решения критических проблем с производительностью. Типичное использование — драйверы устройств низкого уровня , встроенные системы и реального времени системы (см. § Текущее использование ).

Многие программы написаны полностью на языке ассемблера. Burroughs MCP (1961) был первым компьютером, операционная система которого не была полностью разработана на языке ассемблера; он был написан на проблемно-ориентированном языке исполнительных систем (ESPOL), диалекте Алгола. Многие коммерческие приложения также были написаны на языке ассемблера, включая большое количество программного обеспечения для мэйнфреймов IBM, написанного крупными корпорациями. COBOL , FORTRAN и некоторые PL/I в конечном итоге вытеснили большую часть этой работы, хотя ряд крупных организаций сохранили инфраструктуры приложений на языке ассемблера вплоть до 1990-х годов.

Язык ассемблера долгое время был основным языком разработки для 8-битных домашних компьютеров, таких как Apple II , 8-битные компьютеры Atari , MSX , ZX Spectrum и Commodore 64 . Интерпретируемые диалекты BASIC в этих системах предлагают недостаточную скорость выполнения и недостаточные возможности для полного использования преимуществ доступного оборудования. Эти системы имеют серьезные ограничения по ресурсам, своеобразную архитектуру памяти и дисплея и предоставляют ограниченные системные услуги. Существует также несколько компиляторов языков высокого уровня, подходящих для использования на микрокомпьютерах. Аналогичным образом, язык ассемблера является выбором по умолчанию для 8-битных консолей, таких как Atari 2600 и Nintendo Entertainment System .

Ключевое программное обеспечение для IBM PC-совместимых компьютеров было написано на языке ассемблера, например MS-DOS , Turbo Pascal и электронная таблица Lotus 1-2-3 . Поскольку скорость компьютеров росла в геометрической прогрессии, язык ассемблера стал инструментом для ускорения отдельных частей программ, таких как рендеринг Doom , а не доминирующим языком разработки. В 1990-х годах язык ассемблера использовался для повышения производительности таких систем, как Sega Saturn. и в качестве основного языка для аркадного оборудования на базе интегрированного ЦП/ГП TMS34010 , такого как Mortal Kombat и NBA Jam .

Текущее использование

Были споры о полезности и производительности языка ассемблера по сравнению с языками высокого уровня.

Хотя язык ассемблера имеет определенные ниши, где он важен (см. ниже), существуют и другие инструменты для оптимизации.

По состоянию на июль 2017 г. В индексе популярности языка программирования TIOBE язык ассемблера занимает 11 место, опережая Visual Basic . , например, Ассемблер можно использовать для оптимизации скорости или размера. В случае оптимизации скорости современные оптимизирующие компиляторы . востребованы преобразовать языки высокого уровня в код, который может работать так же быстро, как рукописный ассемблер, несмотря на встречные примеры. Сложность современных процессоров и подсистем памяти делает эффективную оптимизацию все более сложной для компиляторов, а также для программистов ассемблера. Более того, повышение производительности процессоров привело к тому, что большинство процессоров большую часть времени простаивают. с задержками, вызванными предсказуемыми узкими местами, такими как промахи в кэше, операции ввода-вывода и подкачка страниц . Благодаря этому скорость выполнения исходного кода не является проблемой для многих программистов.

В некоторых ситуациях разработчики могут использовать язык ассемблера:

• Написание кода для систем со старыми процессорами которые имеют ограниченные возможности языков высокого уровня, такие как Atari 2600 , Commodore 64 и графические калькуляторы . Программы для этих компьютеров 1970-х и 1980-х годов часто пишутся в контексте демосцены или ретрогейминговых субкультур.
• Код, который должен напрямую взаимодействовать с оборудованием, например в драйверах устройств и обработчиках прерываний .
• Во встроенном процессоре или DSP прерывания с большим количеством повторений требуют наименьшего количества циклов на одно прерывание, например прерывание, которое происходит 1000 или 10000 раз в секунду.
• Программы, которым необходимо использовать инструкции, специфичные для процессора, не реализованные в компиляторе. Типичным примером является команда побитового вращения, лежащая в основе многих алгоритмов шифрования, а также запрос четности байта или 4-битный перенос сложения.
• Требуется автономный исполняемый файл компактного размера, который должен выполняться без обращения к времени выполнения, компонентам или библиотекам связанным с языком высокого уровня. Примеры включают встроенное ПО для телефонов, автомобильных топливных систем и систем зажигания, систем управления кондиционированием воздуха, систем безопасности и датчиков.
• Программы с внутренними циклами, чувствительными к производительности, в которых язык ассемблера предоставляет возможности оптимизации, которых трудно достичь на языке высокого уровня. Например, линейная алгебра с BLAS или дискретное косинусное преобразование (например, версия сборки SIMD от x264 ).
• Программы, которые создают векторизованные функции для программ на языках более высокого уровня, таких как C. На языке более высокого уровня этому иногда помогают встроенные функции компилятора , которые отображаются непосредственно в мнемонике SIMD, но, тем не менее, приводят к однозначному преобразованию ассемблера. для данного векторного процессора.
• Программы реального времени , такие как моделирование, пилотажно-навигационные системы и медицинское оборудование. Например, в электродистанционной системе телеметрические данные должны интерпретироваться и действовать в рамках строгих ограничений по времени. Такие системы должны устранять источники непредсказуемых задержек, которые могут быть созданы (некоторыми) интерпретируемыми языками, автоматической сборкой мусора , операциями подкачки или вытесняющей многозадачностью . Однако некоторые языки более высокого уровня включают в себя компоненты времени выполнения и интерфейсы операционной системы, которые могут вызывать такие задержки. Выбор ассемблера или языков более низкого уровня для таких систем дает программистам большую прозрачность и контроль над деталями обработки.
• Криптографические алгоритмы, выполнение которых всегда должно занимать строго одно и то же время, что предотвращает атаки по времени .
• Видеокодеры и декодеры, такие как rav1e (кодер для AV1 ) и dav1d (эталонный декодер для AV1) содержат сборки для использования инструкций AVX2 и ARM Neon , если они доступны.
• Модифицируйте и расширяйте устаревший код, написанный для мэйнфреймов IBM.
• Ситуации, когда требуется полный контроль над окружающей средой, в ситуациях с чрезвычайно высоким уровнем безопасности, когда ничто не может считаться само собой разумеющимся .
• Компьютерные вирусы , загрузчики , драйверы некоторых устройств или другие элементы, очень близкие к оборудованию или операционной системе низкого уровня.
• Симуляторы набора команд для мониторинга, отслеживания и отладки , где дополнительные накладные расходы сведены к минимуму.
• Ситуации, когда язык высокого уровня не существует на новом или специализированном процессоре, для которого недоступен -компилятор . кросс
• Реверс-инжиниринг и изменение программных файлов, таких как:
  • существующие двоичные файлы , которые изначально могли быть написаны или не быть написаны на языке высокого уровня, например, при попытке воссоздать программы, исходный код которых недоступен или был утерян, или при взломе защиты от копирования несвободного программного обеспечения.
  • Видеоигры (также называемые взломом ПЗУ ), что возможно несколькими способами. Наиболее широко используемый метод — изменение программного кода на уровне ассемблера.

Язык ассемблера по-прежнему преподается в большинстве программ по информатике и электронной инженерии . Хотя сегодня немногие программисты регулярно работают с языком ассемблера как с инструментом, лежащие в его основе концепции остаются важными. Такие фундаментальные темы, как двоичная арифметика , распределение памяти , обработка стека , набора символов кодирование , обработка прерываний и проектирование компилятора , было бы трудно изучить подробно, не имея представления о том, как компьютер работает на аппаратном уровне. Поскольку поведение компьютера в основном определяется его набором команд, логичным способом изучения таких концепций является изучение языка ассемблера. Большинство современных компьютеров имеют схожие наборы команд. Поэтому изучения одного языка ассемблера достаточно, чтобы усвоить: I) основные понятия; II) распознавать ситуации, в которых использование языка ассемблера может быть уместным; и III), чтобы увидеть, насколько эффективный исполняемый код может быть создан на языках высокого уровня.

Типичные применения

• коде системы Язык ассемблера обычно используется в загрузочном , низкоуровневом коде, который инициализирует и тестирует аппаратное обеспечение системы перед загрузкой операционной системы и часто хранится в ПЗУ . ( BIOS на IBM-совместимых ПК и CP/M .) В качестве примера можно привести
• Язык ассемблера часто используется для низкоуровневого кода, например, для ядер операционной системы , которые не могут полагаться на доступность уже существующих системных вызовов и действительно должны реализовывать их для конкретной архитектуры процессора, на которой будет работать система.
• Некоторые компиляторы сначала транслируют языки высокого уровня в ассемблер, а затем полностью компилируют, что позволяет просматривать ассемблерный код в целях отладки и оптимизации.
• Некоторые компиляторы для языков относительно низкого уровня, таких как Pascal или C , позволяют программисту встраивать язык ассемблера непосредственно в исходный код (так называемая встроенная ассемблерная программа ). Программы, использующие такие возможности, могут затем создавать абстракции, используя разные языки ассемблера на каждой аппаратной платформе. системы Переносимый код может затем использовать эти компоненты, специфичные для процессора, через единый интерфейс.
• Язык ассемблера полезен при обратном проектировании . Многие программы распространяются только в виде машинного кода, который легко перевести на язык ассемблера с помощью дизассемблера , но труднее перевести на язык более высокого уровня с помощью декомпилятора . Такие инструменты, как интерактивный дизассемблер, широко используют дизассемблирование для этой цели. Этот метод используется хакерами для взлома коммерческого программного обеспечения, а также конкурентами для создания программного обеспечения с аналогичными результатами от конкурирующих компаний.
• Язык ассемблера использовался для повышения скорости выполнения, особенно в первых персональных компьютерах с ограниченной вычислительной мощностью и оперативной памятью.
• Ассемблеры можно использовать для генерации блоков данных без каких-либо дополнительных затрат на язык высокого уровня из отформатированного и прокомментированного исходного кода для использования другим кодом.

См. также

• Компилятор
• Сравнение ассемблеров
• Дизассемблер
• Шестнадцатеричный
• Архитектура набора команд
• Компьютер маленького человечка - образовательная компьютерная модель с языком ассемблера с основанием 10.
• Клев
• Типизированный язык ассемблера

Дальнейшее чтение

• Бартлетт, Джонатан (2004). Программирование с нуля — введение в программирование с использованием языка ассемблера Linux . Издательство Бартлетт . ISBN  0-9752838-4-7 . Архивировано из оригинала 24 марта 2020 г. Проверено 24 марта 2020 г. [4]
• Бриттон, Роберт (2003). Программирование на языке ассемблера MIPS . Прентис Холл . ISBN  0-13-142044-5 .
• Калингарт, Питер (1979) [1978-11-05]. Написано в Университете Северной Каролины в Чапел-Хилл . Горовиц, Эллис (ред.). Ассемблер, компилятор и трансляция программ . Серия «Инженерное программное обеспечение» (1-е издание, 1-е изд.). Потомак, Мэриленд, США: Computer Science Press, Inc. ISBN  0-914894-23-4 . ISSN   0888-2088 . LCCN   78-21905 . Проверено 20 марта 2020 г. (2+xiv+270+6 страниц)
• Дантеманн, Джефф (2000). Язык ассемблера шаг за шагом . Уайли . ISBN  0-471-37523-3 .
• Хайд, Рэндалл (2010). Искусство языка ассемблера (2-е изд.). Нет крахмального пресса. ISBN  978-1593272074 .
• Йоргенсен, Эд. «Программирование на языке ассемблера x86-64 в Ubuntu» (PDF) .
• Канн, Чарльз В. (2015). «Введение в программирование на языке ассемблера MIPS» . Архивировано из оригинала 24 марта 2020 г. Проверено 24 марта 2020 г.
• Канн, Чарльз В. (2021). «Введение в программирование на языке ассемблера: от супа к орехам: ARM Edition» . Открытые образовательные ресурсы .
• Нортон, Питер ; Соча, Джон (1986). Книга Питера Нортона на языке ассемблера для IBM PC . Нью-Йорк, США: Brady Books.
• Певец, Майкл (1980). ПРП-11. Программирование на языке ассемблера и организация машин . Нью-Йорк, США: John Wiley & Sons .
• Свитман, Доминик (1999). См. Запуск MIPS . Издательство Морган Кауфманн . ISBN  1-55860-410-3 .
• Уолдрон, Джон (1998). Введение в программирование на языке ассемблера RISC . Эддисон Уэсли . ISBN  0-201-39828-1 .
• «Книга сообщества ASM» . 2009. Архивировано из оригинала 30 мая 2013 г. Проверено 30 мая 2013 г. («Интернет-книга, полная полезной информации об ASM, учебных пособий и примеров кода», созданная сообществом ASM и хранящаяся в интернет-архиве.)

Внешние ссылки

• Язык ассемблера в Curlie
• Программирование на языке ассемблера Unix. Архивировано 17 февраля 2020 г. на Wayback Machine.
• Linux-сборка
• PPR: изучение языка ассемблера
• Netwide Assembler с лицензией BSD. NASM - ассемблер x86
• Примеры программирования на языке ассемблера
• Создание приложений Windows на языке ассемблера
• Советы по оптимизации сборки от Марка Ларсона