Базовый CS с нуля
От машинного кода к языку: тест с множественным выбором
Суть Синтез с множественным выбором по всему юниту: правило один-к-одному у assembler, зачем нужны высокоуровневые языки, компромиссы compile vs interpret vs JIT, runtime и полный путь от исходника до исполнения.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на middle-высоте — в небеШесть вопросов, проходящих сквозь весь юнит. Каждый просит связать идеи из разных уроков — правило один-к-одному у assembler, что дают высокоуровневые языки, чем различаются стратегии трансляции и что делает runtime — а не воспроизвести одно определение.
Цель
Убедись, что можешь соединить ступени лестницы: сырой machine code, assembly, высокоуровневые языки, стратегии трансляции между ними и runtime с конвейером, доносящие твой код до CPU.
Викторина
Completed
Ты пишешь одну строку assembly, ADD R0 R1, и одну строку TypeScript, total = price * qty + shipping. Сколько машинных инструкций даёт каждая и что это раскрывает?
Heads-up Только assembly — один-к-одному. Высокоуровневый оператор обычно разворачивается в несколько машинных инструкций; их выбирает compiler. Это расширение многие-к-одному и есть весь аргумент продуктивности высокоуровневых языков.
Heads-up Assembly ничего не прячет — один mnemonic отображается ровно в одну машинную инструкцию. Нет ни сворачивания, ни разворачивания. Это высокоуровневая строка разворачивается во многие.
Heads-up CPU никогда не понимает высокоуровневое выражение. Он исполняет лишь отдельные машинные инструкции, которые выпустил compiler; одно выражение становится несколькими из них.
Викторина
Completed
Команда хочет доставить одну и ту же программу на серверы x86-64 Linux и на ноутбуки ARM. Они думают распространять её как написанный вручную assembly. Что пойдёт не так и что это исправит?
Heads-up Читаемый текст — это не переносимое исполнение. У каждого семейства CPU свой набор инструкций и кодировки; assembly x86-64 надо переписать на assembly ARM, чтобы запустить на ARM.
Heads-up Assembly — это уже специфичный для CPU текст машинного уровня; в чистом assembly нет переносимого шага bytecode. Переносимость даёт высокоуровневый язык, чей транслятор нацелен на каждый CPU.
Heads-up Именно инструкции и есть проблема — mnemonic'и assembly называют опкоды одного CPU. Переносимый слой — это высокоуровневый язык, а не assembly.
Викторина
Completed
Пакетная задача с упором в CPU работает часами. Её можно доставить как скомпилированный C или как интерпретируемый скрипт Python. Не считая трудозатрат на разработку, что считает быстрее во время исполнения и почему?
Heads-up Пропуск шага компиляции помогает скорости разработки, а не скорости исполнения. Во время работы interpreter платит за трансляцию на каждом операторе, поэтому работа с упором в CPU идёт медленнее заранее скомпилированного machine code.
Heads-up Только программа на C переведена заранее в оптимизированный machine code. Чистый interpreter никогда не выпускает machine code для твоей программы — он исполняет каждый оператор своим кодом во время работы, что медленнее для циклов с упором в CPU.
Heads-up Уровень языка не задаёт скорость исполнения; её задаёт стратегия трансляции. Оба высокоуровневые относительно assembly, но заранее скомпилированный C проходит цикл с упором в CPU быстрее, чем interpreter.
Викторина
Completed
Сервис на Node.js первые несколько секунд под нагрузкой медленный, затем ускоряется и остаётся быстрым. Какой механизм это объясняет и баг ли это?
Heads-up Утечка со временем замедляет сервис, а не ускоряет. Форма «разогнался и держится» — это кривая прогрева JIT: горячие функции компилируются в нативный код после достаточного числа вызовов.
Heads-up Кеширование текста исходника не изменило бы скорость исполнения вычисления. Меняется то, что JIT компилирует горячие функции в нативный machine code во время работы после прогрева.
Heads-up Загрузка происходит один раз при старте процесса заметно быстрее секунды. Многосекундный разгон — это прогрев JIT: горячие пути кода компилируются в нативный код, пока программа работает.
Викторина
Completed
Джуниор говорит: «runtime — это просто другое название операционной системы». Почему это неверно?
Heads-up Runtime располагается между твоим кодом и ОС; он использует сервисы ОС, но добавляет специфичные для языка сервисы (GC, стандартную библиотеку, VM), о которых ядро ничего не знает. У двух языков на одной ОС совершенно разные runtime.
Heads-up Даже у скомпилированного C есть runtime: libc, стартовый код, который настраивает стек и вызывает main, и очистка при выходе. В C runtime тоньше, чем в Python, но он всегда есть.
Heads-up Твой код работает во время исполнения, но «runtime» как существительное означает поддерживающую инфраструктуру, поставляемую реализацией языка — GC, стандартную библиотеку, VM — а не твой исходник.
Викторина
Completed
Ты нажимаешь Run на программе на C. Какой порядок стадий конвейера верный?
Heads-up Загрузка не может быть первой — нечего загружать, пока исходник не скомпилирован и не слинкован в исполняемый файл. Трансляция и линковка предшествуют загрузке; старт runtime предшествует твоему коду; fetch-decode-execute — это уже исполнение CPU.
Heads-up Линковка происходит до загрузки, а не после. Linker объединяет объектные файлы в один исполняемый; только потом loader ОС может прочитать его с диска и поместить в память.
Heads-up Нельзя линковать до трансляции — linker объединяет объектные файлы, которые выпустил compiler, так что трансляция должна быть первой. И старт runtime идёт до твоего кода, а не после цикла CPU.
Итог
Весь юнит — одна лестница. Assembly называет machine code по одной инструкции; высокоуровневые языки позволяют одному оператору обозначать много инструкций и оставаться переносимыми между CPU; compiler транслирует всю программу заранее, а interpreter — оператор за оператором во время исполнения, JIT же смешивает оба, компилируя hot spot’ы на лету; runtime (GC, call stack, стандартная библиотека, VM) поддерживает твой код всё время; а полный конвейер — исходник → трансляция → линковка → загрузка → старт runtime → fetch-decode-execute — доносит каждую программу до CPU, который никогда не знает, с какого языка она пришла.