Когда Python — не тот инструмент: дерево решений и арифметика зарплат против серверов

Классифицируйте узкое место, прежде чем судить язык

«Python медленный» — не диагноз. Диагноз приходит из урока 1 — py-spy на реальной нагрузке — и ложится в одну из трёх корзин:

• I/O-bound — сэмплы сидят в ожиданиях сокетов, CPU в основном простаивает. Python годится: простаивающее ядро простаивает на любом языке. Рычаги — asyncio, пулы соединений, конкурентность, а не переписывание. Go-порт сервиса, ждущего Postgres, всё так же ждёт Postgres.
• C-library-bound — фреймы живут внутри numpy, torch, драйвера базы. Python годится: он уже тонкий оркестратор над скомпилированными ядрами (вся суть урока 3). Рычаги — батчинг и лучшее кормление C; переписывание реализует заново клей вокруг тех же ядер.
• Interpreter-bound — горячи чисто-питоновские фреймы, и это в масштабе. Вот где разрыв 10-50x на ядро — реальные деньги. Эскалируйте лестницу: сначала алгоритм, потом векторизация или расширение (урок 3), и лишь когда путь остаётся горячим и остаётся счётом — переписывайте этот путь.

Free-threaded 3.13 меняет математику потоков, не скорость

Free-threaded сборка (PEP 703) делает GIL необязательным: чисто-питоновские потоки наконец могут работать параллельно. Чего она не меняет — скорость одного потока: ранние free-threaded сборки даже платят оверхед в единицы процентов, и специализирующему интерпретатору потребовалось время, чтобы вернуться. Сдвигается одна граница: «для CPU-параллелизма — процессы или C с отпущенным GIL» смягчается в сторону потоков. Межъядерный интерпретаторный разрыв, питающий случаи ниже, выживает нетронутым: сорок медленных ядер параллельно — всё ещё сорок медленных ядер.

Где Python — не тот инструмент

Три честных случая, каждый держится на числе из этого юнита:

1. Постоянные CPU-bound сервисы в масштабе. 10-50x медленнее на ядро — значит 10-50x флота за ту же пропускную способность. На 2 ядрах всем всё равно; на двенадцати подах хука — или на сотнях ядер — интерпретатор и есть счёт за инфраструктуру.
2. Пути с жёсткой латентностью. Паузы поколенческого GC (gen-2 проход по большой куче — миллисекунды), джиттер аллокатора и разброс интерпретатора воюют с p99 SLO в единицы миллисекунд. Смягчить можно — gc.freeze, настройка порогов, — но вы торгуетесь с платформой, а SLO не торгуется.
3. Высококардинальные данные при дефиците памяти. Арифметика урока 2: 28-байтные int и 250-байтные объекты превращают 10 млн мелких записей в гигабайты, которые Go или Rust держат в сотнях мегабайт. Если рабочее множество обязано влезать в RAM на узел, язык выбирает пообъектный оверхед.

Все три случая имеют одну форму: оверхед Python реален, измерим и уже является счётом — не теоретической угрозой. Без устойчивого числа ядер из случая 1, жёсткого latency-таргета из случая 2 или RAM-скалы из случая 3 арифметика почти наверняка отклонит переписывание до того, как вы допишете RFC.

Где Python остаётся прав: арифметика зарплат против серверов

Клей, оркестрация, внутренние инструменты, data science, управляющие планы ETL — домены, где скорость итераций доминирует над вычислениями. Проговорите арифметику явно, потому что она решает реальные RFC. Полная стоимость сениора — $150-300k в год. Облачный vCPU-год — примерно $200-600. Python-сервис, тратящий 10x на 4 ядрах, сжигает $10-20k в год — меньше одного инженеро-месяца. Переписывание должно вытеснять больше ядро-долларов, чем стоит в инженеро-долларах, — навсегда, включая сопровождение. Большинство сервисов эту планку не берут никогда. Скорер из хука взял её десятикратно — 240 потраченных ядер, — именно поэтому двигать стоило один сервис.

Паттерн миграции: стренглер, а не большой взрыв

Когда путь действительно берёт планку — выносите его, а не переписывайте мир. Поставьте измеренный горячий путь за контракт (protobuf или OpenAPI), реализуйте этот один сервис на Go или Rust, прогоните теневой трафик, сдвигайте проценты, сохраните Python-оркестрацию вокруг. Большие взрывы вязнут, потому что 90% кода, никогда не бывшие счётом, всё равно надо переписать баг-в-баг, тогда как стренглер отгружает те 10%, которые платят. Каждый следующий вынос оправдывается собственной ядерной арифметикой — а в системе из хука после переезда скорера не квалифицировался больше ни один сервис.