Заметил то же самое – ранние компиляторы и ядро Unix оба сильно полагаются на простой, прямолинейный C с минимальным количеством уровней косвенности. В ядре увидишь длинные цепочки if/else и gotos для обработки ошибок, почти как схема состояний, нарисованная от руки, без отдельного конечного автомата. Эти шаблоны говорят о том, что разработчики ценили скорость и тесную связь между кодом и железом, поэтому поток управления был намеренно явным, а не абстрактным. Если сложить эти потоки рядом друг с другом, увидишь, что обе команды ставили на читаемость всего компилятора, даже если это означало больше ручных переходов.

Звучит как вполне рабочий план. Если мы подробно проанализируем каждую ветвь и измерим плотность переходов, получим количественную оценку этого "пульса". Я вытащу ядро 4.4, построю граф, где каждый узел – базовый блок, а затем посчитаем отношение ветвлений к инструкциям и сравним это с размером кэш-линии в 32 байта у тех старых процессоров. Это должно дать нам четкое представление о том, как низкоуровневые оптимизации компилятора синхронизировались с читаемым человеком потоком ядра. Давайте приступаем.