Оптимізуйте систему, а не її компоненти
Перше правило системної інженерії Геммінга
Основний принцип Геммінга з гл. 28: Якщо ви оптимізуєте компоненти, ви, ймовірно, погіршите продуктивність системи.
Він проілюстрував це історією про диференціальний аналізатор. Два блоки мали бути з’єднані. Розробники покращили підсилювачі в другому блоці. У день приймання Геммінг запустив стандартний тест — розв’язати y'' + y = 0, побудувати графік y проти y', очікуючи коло. Тест провалився. Причина: покращені підсилювачі споживали більше струму через ланцюг заземлення. Заземлення було достатнім для початкової конструкції, але не розраховане на новий рівень струму. Інтерфейс вийшов з ладу, а не компонент.
Його узагальнення: більшість збоїв систем походять від інтерфейсів, а не від компонентів. Компоненти проєктують, тестують, сертифікують. Інтерфейси проєктують як другорядне, тестують рідко і ніколи не сертифікують незалежно. Коли компонент змінюється, змінюється поведінка його інтерфейсу. Ніщо нижче за потоком не було спроєктовано під цей новий інтерфейс.
Ключова асиметрія: 10-кратне покращення компонента може спричинити 10-кратне погіршення системи, якщо компонент живить обмежений інтерфейс. Покращення не додається — воно віднімається.
Система освіти як невдалий системний інжиніринг
Приклад освіти за Геммінгом
Геммінг застосував цей принцип до освіти. Оптимізація індивідуальних оцінок з предметів — тренування учнів для максимізації результатів тестів з кожного предмета — створює учнів, які добре складають окремі тести, але не можуть інтегрувати знання між дисциплінами.
Кожен компонент (оцінка з предмета) покращується. Система (освіта, визначена як інтегроване розуміння) погіршується. Інтерфейс між предметами — здатність студента застосовувати знання в різних галузях — ніколи не оптимізувався. Він атрофувався.
Це не випадковість реалізації. Це структурно. Коли ви вимірюєте та винагороджуєте продуктивність компонентів, ви отримуєте оптимізацію компонентів. Інтерфейси невидимі для метрик компонентів.
Його рецепт: знайти вузьке місце в системі, а потім запитати, що станеться нижче за потоком, коли ви його усунете. Видалення вузького місця затоплює наступну чергу. Необмежена оптимізація стає новим обмеженням.
Відстеження деградації інтерфейсу
Геммінг показав, що покращення компонента змінює поведінку його інтерфейсу — а решта системи була спроектована під старий інтерфейс.
Вузли, черги, показники сплесків
Модель фабрики MOAD
Кожна граф-залежність програмного забезпечення утворює фабрику. Кожен вузол — це робоча станція. Кожне ребро — це черга. Робота надходить у чергу вузла, обробляється та передається до черг нижче за потоком.
Два показники характеризують кожен вузол:
Surge score = speedup × in-degree
Наскільки сильно навантаження поширюється вниз за потоком, коли вузол-вузьке місце звільняється. Вузол з in-degree 5 (5 залежностей згори, що надходять до нього) та прискоренням у 100× генерує 500× surge вниз за потоком.
Betweenness = in-degree + out-degree
Наскільки центральним є це робоче місце для загального потоку. Високий показник betweenness означає, що через цей вузол проходить багато шляхів.
Два архетипи:
Вузол-трудоголік: високий betweenness, високий показник surge. Це вузьке місце. Кожна черга перед ним накопичується через нього. Якщо усунути це вузьке місце без створення резервної потужності нижче за потоком, усе, що знаходиться нижче, одночасно вийде з ладу.
Вузол-ненажера: високий out-degree, низький показник surge. Поглинає все, що йому подається. Не відчуває проблем, бо його вузьке місце внутрішнє, а не пропускна здатність. Машина, яка «забуває» зупинятися — робота надходить, нічого не виходить, а вузол постійно повідомляє «зайнятий».
MOAD-0001 & MOAD-0005: Приклад зв’язку
Випадок GHC
До патчу MOAD-0001 у розв’язувачі залежностей GHC: N=50,000 залежностей потребували 17 хвилин на збірку. Після: 10 секунд. Прискорення: 100×.
Що відбувається далі? Кожен кеш збірки, сховище артефактів і CI-ранер, які працювали з 17-хвилинними пакетними надходженнями, тепер отримують у 100 разів більше завершених збірок на годину. Кеші, розраховані на 60 артефактів збірки на годину, тепер отримують 6,000.
Це MOAD-0005: дефект «штампу кешу». Кожен ключ кешу пропускається одночасно, бо жоден кеш не був попередньо прогрітий під нову швидкість надходження. Виправлення MOAD-0001 породжує MOAD-0005.
Цей зв’язок не випадковий. Він структурний. Будь-яке прискорення O(N²) → O(N) з in-degree > 1 дає показник сплеску (surge score) понад 1. Показник сплеску понад 100 є кандидатом на MOAD-0005.
Staging Before Disclosure
Система збірки обробляє 1 000 графів залежностей пакетів на годину. Ви застосовуєте патч MOAD-0001 у її обході графів, зменшуючи час збірки з 60 хвилин до 30 секунд — прискорення у 120×. Тепер система обробляє 120 000 графів на годину.
When to Stop: The Halt Condition
Умова зупинки
Патч задовольняє умову зупинки — тобто: не розголошувати — коли всі чотири умови виконуються одночасно:
1. Патч перебуває в живій системі (злитий, розгорнутий)
2. Немає відповідальних за наслідки в нижчих ланках
3. Дефект у нижчих ланках (MOAD-0005) не усунуто
4. Прискорення >= 100×
Усі четверо разом = дитина плаче. Призначайте команду до злиття, а не після.
Вузол без доглядача працює як робоча станція без працівника. Робота накопичується. Хтось ламається. Принцип пермакомутера: ви не виправляєте алгоритм диспетчеризації без підготовки водіїв. Три водії, три мільйони людей: розблокування алгоритму створює стадію незадоволених запитів, а не прискорену доставку.
WALL-E: Обжерливі та трудоголіки
Модель WALL-E
У Pixar WALL-E показано провал фабричної моделі в найчіткішій формі. Обжерливі на кріслах-підвісках, яких годують без тертя. Трудоголіки — WALL-E, EVE — гинуть на своїх постах, щоб підтримувати потік.
Вузол-обжерливий (люди на кріслах-підвісках) має максимальний out-degree: він споживає все, що йому подають, нічого не виробляючи. Його показник сплеску дорівнює нулю — він є стоком. Він не відчуває болю, бо нічого не накопичується на його виході. Він просто споживає.
Вузол трудоголіка (WALL-E) має максимальну посередництво: через нього проходить усе. Він поглинає весь вхід. Він створює єдиний вихід. Його показник навантаження, якщо його коли-небудь замінити на швидшу модель, одночасно затопить усі наступні черги.
Дефект системи WALL-E полягає не в ненажерах. Він полягає у відсутності доглядача: ніхто не призначений балансувати робочі станції. Ніхто не підготував пропускну здатність перед запуском алгоритму.
Випадок pip: Чек-лист перед розкриттям
Ви виявляєте MOAD-0001 у розв’язувачі залежностей pip Python. Виміряне прискорення: 200×. pip працює приблизно на 400 мільйонах установок на день. PyPI обслуговує пакети.