В чем разница между Ассемблером и Компилятором?

Question

[123qwe]

Этот вопрос задан в одной из книг по computer science в конце главы о языках программирования.
Как я понял изложенное, так это то, что ассемблер - это по сути сборщик кода языка программирования assembly, транслирующий его в машинный.
Компилятор - это тоже своего рода транслятор кода языков 3го поколения в машинный код.
Разницу я вижу только в том, что инструкции ассембли очень близки к машинному коду, и эти инструкции машино зависимы, а инструкции хай-левел языков по сути находятся на достаточно высоком уровне абстракции, и скомпилированный код типа машино независим.
Вся инфа на английском, и не совсем понятны некоторые моменты.
Я явно что-то упускаю.Помогите.

Answer 1

[Олег Цилюрик]

В чем разница между Ассемблером и Компилятором?

По большому счёту - ни в чём!
Это как сравнивать BMW с автомобилем вообще ... что лучше?
Ассемблер (в смысле программы, а не языка) - это комплятор с языка ассемблера в машинный код.
Компилятор - это то же самое, но с любого языка ... не бывает компилятора вообще, есть "компилятор с языка X", "компилятор с языка Y" ... "компилятор с языка ассемблера" ;-)

Answer 2

[Макс]

ассемблер - транслятор исходного текста программы, написанной на языке ассемблера, в программу на машинном языке. С языка (вот ведь сюрприз) - ассемблер. Который уже и так почти машинный код - языка низкого уровня.
А вот компилятор - это транслятор (по сути - переводчик) с языка высокого уровня часто в язык низкого уровня (в тот-же Асм, к примеру)

Answer 3

[Mrrl]

Всё правильно. Ещё можно добавить, что компилятор может компилировать программу на языке высокого уровня в код на ассемблере - и при этом он останется компилятором. Потом уже программа ассемблера сможет преобразовать этот код в системно зависимый объектный файл. Сейчас так не делают, но когда-то это было вполне допустимым способом оформить компилятор.

Comments

[MiiNiPaa]

>Сейчас так не делают

Сейчас обычно транслируют код в ассемблер виртуальной машины, а затем эту промежуточную форму в машинный код конкретной платформы (GCC, LLVM).

[jcmvbkbc]

> Сейчас обычно транслируют код в ассемблер виртуальной машины, а затем эту промежуточную форму в машинный код конкретной платформы (GCC, LLVM).

MiiNiPaa: gcc как раз использует самый настоящий ассемблер и вызывает gas чтобы его сассемблировать.

[MiiNiPaa]

jcmvbkbc: Промежуточное представление таки используется: https://gcc.gnu.org/onlinedocs/gccint/GENERIC.html

В противном случае пришлось бы делать <кол-во яыков> × <кол-во платформ> трансляторов, вместо текущего <кол-во яыков> × <кол-во платформ>.

Транслирование из представления в ассемблер а затем сборка это для ускорения разработки транслятора под новую платформу: можно взять готовый ассемблер и не городить велосипедов.

[jcmvbkbc]

> Промежуточное представление таки используется

MiiNiPaa: используется, и gimple, и rtl, но они никуда не выводятся при нормальной работе и существуют только внутри исполняющегося компилятора. Результат же работы собственно компилятора c/c++ из gcc (cc1/cc1plus) -- это ассемблерный файл для целевой машины.

> В противном случае пришлось бы делать <кол-во яыков> × <кол-во платформ> трансляторов, вместо текущего <кол-во яыков> × <кол-во платформ>.

У вас слева и справа от "вместо" записано одинаковое значение.

[MiiNiPaa]

jcmvbkbc: >У вас слева и справа от "вместо" записано одинаковое значение.

Спасибо. Плюсик справа приколочен на один гвоздь и случайно повернулся на 45 градусов.

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

Answer 4

[AlbertUfa]

Язык программирования типа - ассемблер (assembly language).

Это своеобразный компромисс между бессловесными машинными(двоичными) кодами и многословными командами на человеческом языке(мнемокоды), дополненный текстовыми ссылками на ячейки памяти. Язык ассемблера и машинный коды часто путают, поскольку это просто различные способы представления одной и той программы. Каждому оператору языка ассемблера соответствует определенный числовой(машинный(двоичный)) код.

Компилятор

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

"Код. Тайный язык информатики" Чарльз Петцольд.

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

Comments

[Олег Цилюрик]

Раньше было несколько производителей процессоров для компьютеров... Сейчас вроде как все стандартизировано.

И раньше и сейчас ... как было - так и есть: разные производители, разные процессоры, и разные ассемблеры.
Что пикантно, что для Intel x86 и Intel X86_64 (на самом деле AMD64) - ассемблеры разные.

И более того: для одного и того же процессора (каждого!) есть несколько ассемблеров, как минимум, в AT&T и Intel нотациях, не имеющих ничего общего ... + ещё с вариантами FASM, NASM, GCC и т.д.

[AlbertUfa]

Несколько ассемблеров для одного?! Да, уж...Казалось бы логичным уже стандартизировать хотя бы в линейках производителей, а нет как оказалось.

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

Answer 5

[Adamos]

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

Comments

[jcmvbkbc]

> Ассемблер - переводчик "один в один": есть команда - есть соответствующий ей машинный код.
Только в самых простых случаях. Современные ассемблеры делают множество дополнительных трансформаций (assembly time relaxation). Простейший пример: в большинстве RISC-архитектур условные переходы имеют очень ограниченную "дистанцию прыжка", в отличие от безусловных; ассемблер может заменить условный переход который "не дотягивается" до нужного адреса парой "условный переход с противоположным условием + безусловный переход".

[Adamos]

jcmvbkbc: ну, не "может заменить", а "должен заменить".
Додумывать за программиста оптимизации ассемблер все-таки не должен.