Учебный терминал x86-64 · C · C++ · Ada
Код, который понимаешь до последней инструкции.
Портал, который учит вычислениям и работе с железом: от одной инструкции процессора до программ на C, C++ и Ada.
02Четыре языка и система под нимиM1–M22
Уже сейчас можно учить. 115 уроков · любой модуль открыт сразу
Регистры, флаги и переходы, память, стек, SIMD
40 уроков 8 модулей · M1–M7, M9
Указатели, куча, структуры данных, плавающая точка
20 уроков 4 модуля · M8, M10–M12
Классы, RAII и умные указатели, шаблоны
15 уроков 3 модуля · M13–M15
Строгая типизация, контракты, конкурентность
15 уроков 3 модуля · M16–M18
Системные вызовы, линковка, конвенции вызова, карта памяти
20 уроков 4 модуля · M19–M22
Go — в планах. Начать с нуля: Пролог M0, 5 уроков без подготовки
Каждый урок — в двух режимах: на пальцах и на голом железе.
03Начать с нуля — прямо в браузереM0
Выборка fetch
Процессор читает очередную инструкцию из памяти
0x3b6: 01 D6
Декодирование decode
Декодирует: что за операция и над какими данными
add esi, edx
Исполнение execute
Исполняет её
2 + 3 = 5
Запись writeback
Пишет результат в регистр или память
ESI ← 5
«Программа — лишь очень длинная цепочка таких простых шагов.»
04Регистры и флаги на каждом шагеM1–M7, M9
m3_l2.asmx86-64
mov eax, 2cmp eax, 8je equal_labelmov eax, 100исполненаequal_label:Машинаконец · шагов: 4
Снимки не нарисованы: clang собрал листинг, Unicorn исполнил его по одной инструкции. Это стенд режима Console Cowboy.
строка 4EAX ← 100
«Читая ZF после CMP, ты предсказываешь переход до запуска.»
05Указатели и память без магииM8, M10–M12
1int *p = NULL;
2int y = *p;Segmentation fault (core dumped)SIGSEGV · exit 139
«Это не „ошибка обучения“, а честная реакция машины: успехом был бы выход с кодом 0.»
06Ресурсы и контракты под контролемC++ M13–M15 · Ada M16–M18
{
std::shared_ptr<int> p1 =
std::make_shared<int>(5);
{
std::shared_ptr<int> p2 = p1;
// p1.use_count() == 2
}
// p1.use_count() == 1
}Деструктор p2 уменьшает счётчик. Объект живёт, пока жив последний владелец.
function Sqrt (X : Float) return Float
with Pre => X >= 0.0;
Y := Sqrt (-1.0);raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : failed precondition
Вызывающий обязан обеспечить корректные аргументы. Проверка срабатывает до входа в тело функции.
C++: классы, RAII, умные указатели, шаблоны. Ada: строгая типизация, контракты, задачи.
07Глубже языка — до ядра ОСM19–M22
1mov rax, 60 ; номер exit в Linux x86-64
2mov rdi, 42 ; код возврата
3syscall$ echo $?42
«Shell увидит $? = 42 — тот самый exit-код, о котором был Пролог.»
08Прогноз сверяется с машинойM2 · урок 4
mov eax, 3add eax, eaxEAX = 6add eax, eaxEAX = ?Что делает этот фрагмент? Какой результат в EAX?
Ответ неверный
EAX = 6 был у машины после строки 2. Пройди по шагам и посмотри на строку 3.
Ошибка не раскрывает ответ. Машина предлагает пройти листинг по шагам и найти строку, где расчёт разошёлся.
09Один урок — два уровня абстракции
Script Kiddie концептуальный: зачем и почему, без листинга
Один и тот же регистр можно назвать по-разному в зависимости от того, сколько бит берём. Зачем такая матрёшка?
ПодсказкаEAX — это младшая половина 64-битного RAX, а не отдельная деталь.
Console Cowboy bare metal: листинг x86-64, регистры, флаги
Что теперь находится в RAX? Подумайте о связи между RAX и EAX.
1mov rax, 100
2mov eax, 5ПодсказкаEAX — младшие 32 бита 64-битного RAX. Запись в EAX обнуляет старшие биты.
Это один и тот же урок. Меняется уровень абстракции, а не сложность.
Режим переключается в любой момент урока
10Честный ответ машины вместо баллов
✓ Ответ верныйи всё — без конфетти✗ Ответ неверныйответ не раскрываем — пройди по шагамКод завершения: 0лаборатория: программа отработалаНи конфетти, ни радуги за правильный ответ. Только сухой вердикт и разбор: что сделала машина и почему.
1123 модуля · 115 уроков · любой открыт сразу
Курс открывается после входа в локальный профиль: имя и фраза-пароль. Прогресс хранится в этом браузере. Начать можно с Пролога — M0 не требует подготовки.
Любой модуль открывается сразу. Подготовка — рекомендация, а не условие доступа.