Машинный код

Эта статья о системе команд в целом; об инструкциях см.: Код операции.

Машинный код (платформенно-ориентированный код), машинный язык в система команд (набор кодов операций) конкретной вычислительной машины, которая интерпретируется непосредственно процессором или микропрограммами этой вычислительной машины.^[1]

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

Машинный код можно рассматривать как примитивный язык программирования или как самый низкий уровень представления скомпилированных или ассемблированных компьютерных программ. Хотя вполне возможно создавать программы прямо в машинном коде, сейчас это делается редко в силу громоздкости кода и трудоёмкости управления ресурсами процессора, за исключением ситуаций, когда требуется экстремальная оптимизация. Поэтому подавляющее большинство программ пишется на языках более высокого уровня и транслируется в машинный код компиляторами. Машинный код иногда называют нативным кодом (также собственным или родным кодом в от англ. native code), когда говорят о платформенно-зависимых частях языка или библиотек.^[2]

Программы на интерпретируемых языках (таких как Бейсик или Python) не транслируются в машинный код, вместо этого они либо исполняются непосредственно интерпретатором, либо транслируются в псевдокод (байт-код). Однако интерпретаторы этих языков (которые сами можно рассматривать как процессоры) как правило представлены в машинном коде.

Каждая модель процессора имеет свой собственный набор команд, хотя во многих моделях эти наборы команд сильно перекрываются. Говорят, что процессор A совместим с процессором B, если процессор A полностью «понимает» машинный код процессора B. Если процессор A знает несколько команд, которых не понимает процессор B, то B несовместим с A.

Раньше процессоры просто выполняли инструкции одну за другой, но новые суперскалярные процессоры способны выполнять несколько инструкций за раз.

Также инструкции бывают постоянной длины (у RISC-, MISC-архитектур) и диапазонной (у CISC-архитектур; например, для архитектуры x86 команда имеет длину от 8 до 120 битов).

Содержание

1 Микрокод
2 Абсолютный и позиционно-независимый код
3 Программа «Hello, world!»
4 См. также
5 Примечания

[править] Микрокод

В некоторых компьютерных архитектурах поддержка машинного кода реализуется ещё более низкоуровневым слоем программ, называемых микропрограммами, что позволяет обеспечить единый интерфейс машинного языка у всей линейки или семейства компьютеров, которые могут иметь значительные структурные отличие между собой. Это делается для облегчения переноса программ в машинном коде между разными моделями компьютеров. Примером этого является семейство компьютеров IBM System/360 и их преемников: несмотря на разные шины шириной от 8 до 64 бит и выше, тем не менее у них общая архитектура на уровне машинного языка.

Использование слоя микрокода для реализации эмулятора позволяет компьютеру представлять архитектуру совершенно другого компьютера. В линейке System/360 это использовалось для переноса программ с более ранних машин IBM на новое семейство в например, эмулятор IBM 1401/1440/1460 на IBM S/360 model 40.

[править] Абсолютный и позиционно-независимый код

Абсолютный код (англ. absolute code) в программный код, пригодный для прямого выполнения процессором^[1], то есть код, не требующий дополнительной обработки (например, разрешения ссылок между различными частями кода или привязки к адресам в памяти, обычно выполняемой загрузчиком программ). Примерами абсолютного кода являются исполнимые файлы в формате .COM и загрузчик ОС, располагаемый в MBR. Часто абсолютный код понимается в более узком смысле как позиционно-зависимый код (то есть код, привязанный к определённым адресам памяти).

Позиционно-независимый код (англ. position-independent code) в программа, которая может быть размещена в любой области памяти, так как все ссылки на ячейки памяти в ней относительные (например, относительно счётчика команд). Такую программу можно переместить в другую область памяти в любой момент, в отличие от перемещаемой программы, которая хотя и может быть загружена в любую область памяти, но после загрузки должна оставаться на том же месте.^[1]

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

[править] Программа «Hello, world!»

Программа «Hello, world!» для процессора архитектуры x86 (ОС DOS, ввод вывод при помощи BIOS Int 10h) выглядит следующим образом (в шестнадцатеричном представлении побайтно):

BB 11 01 B9 0D 00 B4 0E 8A 07 43 CD 10 E2 F9 CD 20 48 65 6C 6C 6F 2C 20 57 6F 72 6C 64 21

Комментарии к программе

Данная программа работает при её размещении по смещению 100₁₆. Отдельные инструкции выделены цветом:

BB 11 01, B9 0D 00, B4 0E, 8A 07 в команды присвоения значений регистрам.
43 в инкремент регистра BX.
CD 10, CD 20 в вызов программных прерываний 10₁₆ и 20₁₆.
E2 F9 в команда для организации цикла.
Малиновым показаны данные (строка «Hello, world!»).

Исходный код на языке ассемблера:

    org     100h            ; .COM-программа DOS размещается по смещению 0x100 байт от начала сегмента памяти.
    mov     bx, 111h        ; положить в bx смещение строки HW
    mov     cx, 0Dh         ; положить в cx длину строки HW
    mov     ah, 0Eh         ; положить в ah номер функции прерывания 10h
label:                      ; метка начала цикла
    mov     al, [bx]        ;  загрузить байт из ячейки, номер которой хранится в bx, в ax.
    inc     bx              ; перейти к следующему символу строки (увеличить смещение на 1)
    int     10h             ; вызов прерывания 10h
    loop    label           ; если cxв‰ 0, то перейти к метке label и уменьшить cx на 1.
    int     20h             ; выйти в DOS
HW  db      'Hello, World!' ; сама строка, которую требуется напечатать, её смещение 111h 
                            ; относительно начала сегмента памяти (11h относительно начала программы)

[править] См. также

[править] Примечания

в‘ ¹ ² ³ Толковый словарь по вычислительным системам = Dictionary of Computing / Под ред. В. Иллингуорта и др.: Пер. с англ. А. К. Белоцкого и др.; Под ред. Е. К. Масловского. в М.: Машиностроение, 1990. в 560 с. в 70 000 (доп.) экз. в ISBN 5-217-00617-X (СССР), ISBN 0-19-853913-4 (Великобритания)
в‘ Kate Gregory. Managed, Unmanaged, Native: What Kind of Code Is This? (28 апреля 2003). Проверено 27 марта 2012.

Это заготовка статьи о компьютерах. Вы можете помочь проекту, исправив и дополнив её.
Это примечание по возможности следует заменить более точным.

Это заготовка статьи по информатике. Вы можете помочь проекту, исправив и дополнив её.

[Dict-0] в‘ ¹ ² ³ Толковый словарь по вычислительным системам = Dictionary of Computing / Под ред. В. Иллингуорта и др.: Пер. с англ. А. К. Белоцкого и др.; Под ред. Е. К. Масловского. в М.: Машиностроение, 1990. в 560 с. в 70 000 (доп.) экз. в ISBN 5-217-00617-X (СССР), ISBN 0-19-853913-4 (Великобритания)

[1] в‘ Kate Gregory. Managed, Unmanaged, Native: What Kind of Code Is This? (28 апреля 2003). Проверено 27 марта 2012.

[1]

[2]

Машинный код

Содержание

[править] Микрокод

[править] Абсолютный и позиционно-независимый код

[править] Программа «Hello, world!»

[править] См. также

[править] Примечания

Личные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Участие

Печать/экспорт

Инструменты

На других языках