CPUx · ТРАССА ИСПОЛНЕНИЯ

Между кодом
и временем

Для тех, кто читает простой код: процессор, память и проверка гипотез.

ОДИН МЕХАНИЗМ · ЗАВИСИМОСТЬ

Готовность данных задаёт порядок.

text

A: x = read()
B: y = x + 1
C: z = 4 + 5

Код → зависимость → ограничение.
B ждёт результат A. Независимое C может выполняться раньше.

Показать исходную схему

Условные шаги готовности данных, не реальные такты CPU.

КОРОТКИЙ ПУТЬ · ОТ КОДА К ПРОВЕРКЕ

Шаг 01Отделите ISA от устройства ядра
Шаг 02Проследите зависимость данных
Шаг 03Поставьте небольшой опыт
Linux, терминал и компилятор C11/POSIX. Сначала проверьте контрольную сумму, затем сравните времена.

ПОЛНЫЙ ИНДЕКС · 7 РУКОВОДСТВ

Номера — порядок в каталоге, а не обязательные шаги чтения.

Проследим простое сложение в RISC-V, отделим аппаратный контракт от ABI и проверим, что меняют параметры компиляции.

Разберём маленькую программу, построим её зависимости и отличим время одной инструкции от потока результатов.

Посчитаем обращения к учебным кэш-линиям и разберём, что действительно сравнивает обход массива с разным шагом.

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

Соберём проверяемый тест обхода массива: одинаковые данные, разные маршруты, контрольная сумма и серия повторов.

Рассчитаем предел для задачи фиксированного размера и разберём два разных источника потерь: общий замок и ложное разделение кэш-линии.

Разделим частоту и скорость задачи, прочитаем доступную политику Linux и сравним короткую и длительную нагрузку без разгона.