Заинтерисовал меня вопрос: а что есть компилятор? Ну в смысле как его использовать и что получается в результате его работы это всем известно. А вот как он из символов языков высокоуровнего программирования переводит все в понятные машине коды мне не понятно.
Как я понимаю сам по себе принцип работы компилятора не зависит от конкретного языка программирования. Однако, почиму-то некоторые языки его не имеют, но используют так называемый интерпритатор, а по сути используют, по средствам механизмов обмена windows, откомпилированные библиотеки поддержки в режиме real-time. С чем это может быть связано? Или не на каждый язык программирования можно разработать компилятор?

Цитата(Cashey @ 1.9.2005, 23:50)

а что есть компилятор?

Транслятор с какого-либо языка на ассемблер.

Цитата(Cashey @ 1.9.2005, 23:50)

А вот как он из символов языков высокоуровнего программирования переводит все в понятные машине коды мне не понятно.

Этого не расскажешь в двух словах. За подробностями беги в книжный. Если в общем - используется построение всяких бинарных деревьев и таблиц(вопрос сродни "как построить машину?"). Лучше скажи, что тебе конкретно не понятно.

Цитата(Cashey @ 1.9.2005, 23:50)

С чем это может быть связано?

С целями языка. Писать компилятор на batники очень не здравая идея.

Цитата(Cashey @ 1.9.2005, 23:50)

Или не на каждый язык программирования можно разработать компилятор?

На каждый. Если язык можно отинтерпретировать, то его можно и откомпилировать. Даже на мой любимый brainfuck компилятор можно сделать, но нафиг?

зы. В частности в книжном можешь поискать Донована "Системное программирование". Глава 8 называется "компиляторы". Только говорю сразу, что навряд ли её найдешь - она в 70ых вышла(PL/1, MULTICS и всё такое).
Другие книги по написанию компиляторов не читал.. Поиск по озону выдал Системное программирование. Основы построения трансляторов и Компиляторы. Принципы, технологии, инструменты.
Но Донована всё-таки следовало бы почитать. В качестве исторической справки так скзать

Это сообщение отредактировал(а) Mayk - 1.9.2005, 21:21

Если в кратце, решил выяснить можно ли своими силами написать компилятор для ФоксПро

Совет - на компилятор забей.
Пиши транслятор с фокса на с++/пас/ява. Быстрее получится.
Во-всяком случае запустить хелло ворлд можно будет не через полгода.

Есть довольно фундаментальная книга: Альфред Ахо, Рави Сети, Джеффри Ульман "Компиляторы. Принципы, технологии, инструменты" . В русском варианте выпустило издательство "Вильямс" в 2003 году. В сети скачивал как то в электронном виде. Но то место шас закрыто.
Компилятор или транслятор можно написать, на написание первой версии Фортрана было потрачено 18 человеко/лет.
Кстати вот определение из книги, что есть компилятор:

Цитата

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

Цитата(Mayk @ 1.9.2005, 20:52)

Пиши транслятор с фокса на с++/пас/ява. Быстрее получится.

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

Транслировать в C++/pascal очень сложно. Разобрать твоё выражение на десяток атомных инструкций(асм) проще чем собрать аналогичное выражение в другом языке.

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

Цитата(Mayk @ 1.9.2005, 22:20)

Транслятор с какого-либо языка на ассемблер.

Неверно. Скажем компилятор VB6 или там Java совсем даже и не байт-код генерят...

Цитата(Akina @ 2.9.2005, 03:10)

Неверно. Скажем компилятор VB6 или там Java совсем даже и не байт-код генерят...

Насчет VB6 не знаю, я его видел только издали, но .exe он вроде делал, а байткод явы(если javac делает не байткод, то что же он вообще делает?) и есть собсно ассемблер(да, да, машинный и байт код это не ассемблер, но разницы большой нет. Говорю "машинный код" подразумеваю "ассемблер", грю "ассемблер", подразумеваю "машинный код"). Набери в гугле java bytecode assembler. Увидишь массу ссылок.


Добавлено @ 06:39

Цитата(Fin @ 2.9.2005, 02:25)

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

Это транслятор.

Цитата(Mayk @ 2.9.2005, 07:38)

Насчет VB6 не знаю, я его видел только издали, но .exe он вроде делал,

Его ЕХЕ вообще-то всего лишь вызывает стандартную либу, которая интерпретирует предкомпилированный код в теле ЕХЕ.

Цитата(Mayk @ 2.9.2005, 07:38)

байткод явы(если javac делает не байткод, то что же он вообще делает?) и есть собсно ассемблер(да, да, машинный и байт код это не ассемблер, но разницы большой нет. Говорю "машинный код" подразумеваю "ассемблер", грю "ассемблер", подразумеваю "машинный код").

Да? а как один и тот же класс работает на разных платформах? когда системные вызовы совершенно по-разному организованы?

Или еще пример - .Net. Intermedialte Language, JIT-compiler - это все для на зачем?

Цитата(Cashey @ 1.9.2005, 20:50)

Заинтерисовал меня вопрос: а что есть компилятор? Ну в смысле как его использовать и что получается в результате его работы это всем известно. А вот как он из символов языков высокоуровнего программирования переводит все в понятные машине коды мне не понятно. Как я понимаю сам по себе принцип работы компилятора не зависит от конкретного языка программирования. Однако, почиму-то некоторые языки его не имеют, но используют так называемый интерпритатор, а по сути используют, по средствам механизмов обмена windows, откомпилированные библиотеки поддержки в режиме real-time. С чем это может быть связано? Или не на каждый язык программирования можно разработать компилятор?

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

Цитата(Akina @ 2.9.2005, 12:21)

го ЕХЕ вообще-то всего лишь вызывает стандартную либу, которая интерпретирует предкомпилированный код в теле ЕХЕ.

Либа - это та vbXXX.dll, которая постоянно требуются?

Цитата(Akina @ 2.9.2005, 12:21)

и еще пример - .Net. Intermedialte Language, JIT-compiler - это все для на зачем?

Цитата(Akina @ 2.9.2005, 12:21)

Да? а как один и тот же класс работает на разных платформах?

Как, как. Берется и перегоняется житом в местный асм с портируемого байткода.
Не понимаю чем тебя смущает перегон с байткода на асм.
Не понимаю как наличие VB.DLL/JIT превращает асм в не асм. Проге написанной на си требуется libc, так что же - гнус не является компилятором? Является. В таком случае и бэсик является компилером - "Как ваш тор может быть более вывернут, чем мой?" (с) Барр.



Добавлено @ 13:52
Lamer George
Выкладывай

Цитата(Mayk @ 2.9.2005, 12:52)

Не понимаю чем тебя смущает перегон с байткода на асм.

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

Цитата(Mayk @ 2.9.2005, 12:52)

Проге написанной на си требуется libc, так что же - гнус не является компилятором?

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

Цитата(Sardar @ 2.9.2005, 18:47)

Байт код зачастую высокоуровневый

Ну и что? P IV по сравнению с Z80 гораздо высокоуровнее. В последнем float'ов не было.

Цитата(Sardar @ 2.9.2005, 18:47)

'создать обьект'

Ну подумаешь, на локальном асме пришлось бы делать

Код

call createObject call initFromPoolOfConstants

Цитата(Sardar @ 2.9.2005, 18:47)

За памятью не следишь ибо все уже поняли, что сборщик мусора это благо.

Тот же сборщик можно и на плюсах накатать, везде используя шибко умные указатели с подсчетом ссылок.

Цитата(Sardar @ 2.9.2005, 18:47)

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

Короче то же самое, что и стандартные либы. По мне так без разницы как создаётся объект -
call createObject
int 0x73
new #2
То что часть этого выполняется программно... Ну на то машина явы и названа виртуальной.

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

Разрешите тоже поспрорить, мне тут понравилось.

Цитата

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

Цитата

Это транслятор.

Начну сначала, текст ASM в текст битовый, байтовый..., т.е. машинный код. Блин, опять транслятор получается! КАКОЙ ДОЛЖЕНА БЫТЬ ЦЕЛЬ В ДАННОМ СЛУЧАЕ? Голову сейчас сломаю, но что-нидь придумаю.

Проц есть транслятор машинных кодов, во что?

Тоже вопрос!