Как clr преобразует c# код в компьютерные команды?

Question

[Funtik_04]

Читаю Рихтера первую главу и немного не понимаю. При компиляции c# файла мы получаем il код, метаданные и заголовки. Но вот что происходит при исполнении программы мне не очень понятно. Clr создает структуру для хранения ссылок методов класса, ок, дальше(как я понял) jit компилятор находит эту ссылку и отправляет нас в методанные в которых тоже находится il код? Или я что-то не правильно понял? И если там не il код, то тогда что? Что происходит дальше мне понятно, jit выделяет память в которую помещает скомпелированный jit код, а потом в структуру созданную clr помещает ссылку на свой скомпилированный код и передает ему выполнение. И еще вопрос, если описать метод в самом файле, то все равно тогда jit будет спрашивать о методе у методанных?

Answer 1

[Василий Банников]

Выполняется только машинный код, который IT нагенерил, читая IL.
То есть когда твой код выполняется - все указатели в vtable уже ведут на машинный код.

Последний тезис я не смог расшифровать

если описать метод в самом файле, то все равно тогда jit будет спрашивать о методе у методанных?

Если тебе очень интересно, как работает JIT - посмотри доклады от Егора Богатова.

Ну и ещё есть статьи на хабре.

Comments

[Funtik_04]

Спасибо за ответ! В последнем тезисе, я спросил, что если описать свой класс в c# файле, то в методанных все равно будет описание моего класса и всех его методов и jit все равно будет обращаться именно к методанным?

[Василий Банников]

Funtik_04, а что можно описать класс не в файле?
В этом и затуп у меня.
JIT не знает про существование C# а принципе

[Funtik_04]

Василий Банников, Хорошо, спрошу по другому. Мы файл скомпилировали в сборку, у нас там уже будет il код или c#? Тупость в том, что у Рихтера написано в книге, что jit компилятор берет метод класса Console и идет в методанные, где находится il код этого метода и уже его он переводит в байт код.

[Василий Банников]

Funtik_04, в сборке будет il.
Переводит не в байт код, а в машинный.
Скажи в какой главе это написано, поясню что имеет в виду Рихтер

[Funtik_04]

Василий Банников, глава 1, с 38 страницы после сноски Внимание и до конца 40

[Funtik_04]

Василий Банников, да я перепутал понятия байт кода и машинного кода

[Василий Банников]

Funtik_04, у меня на английском версия, но ща посмотрю

[Funtik_04]

В гугле есть предпросмотр этой книги на 183 страницы на русском, у меня бумажная версия

[Василий Банников]

Funtik_04, у меня тож бумажная, просто не могу найти её и далеко от компа нахожусь.

Answer 2

[Роман]

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