Среда выполнения (runtime)

Что такое среда выполнения. Runtime-система (часто просто среда выполнения или runtime) — это код и механизмы, которые реализация языка устанавливает рядом с твоей скомпилированной или интерпретируемой программой для обеспечения сервисов, которые CPU и ОС сами по себе не предоставляют.

Когда ты устанавливаешь Python, Node.js или Java Development Kit, ты не просто устанавливаешь компилятор или интерпретатор — ты устанавливаешь среду выполнения. Когда твоя программа запускается, среда выполнения запускается тоже, часто до выполнения первой строки твоего кода. Среда выполнения остаётся активной на протяжении всего времени жизни процесса и выполняет важные сервисы, которые твой код делегирует ей молча.

Можно думать об этом так: CPU обеспечивает сырое выполнение (выборка, декодирование, исполнение). ОС обеспечивает процессы, файлы и доступ к железу. Среда выполнения располагается между языком и ОС, предоставляя высокоуровневые сервисы, которые обещает семантика языка: автоматическое управление памятью, безопасные соглашения о вызовах, встроенные структуры данных и так далее.

Даже компилируемые языки имеют среды выполнения. Программа на C, скомпилированная в двоичный файл, всё равно компонуется со стандартной библиотекой C (libc), которая предоставляет printf, malloc, free, memcpy и сотни других функций. Runtime C также обрабатывает запуск программы (настройка стека, вызов main) и выход из программы (сброс буферов, вызов зарегистрированных функций очистки). В C среда выполнения тоньше, чем в Python, но она всегда присутствует.

Сервис 1: управление памятью и сборка мусора. Каждый раз, когда твоя программа создаёт новый объект, новый массив или новую строку, ей нужен кусок памяти для его хранения. На голой машине получение памяти означает вызов OS-сервиса для получения блока адресов и самостоятельное отслеживание этих адресов. Большинство языков высокого уровня скрывают это: среда выполнения управляет областью памяти, называемой кучей (heap), и выдаёт её части, когда твой код создаёт новые значения.

В таких языках как C ты управляешь памятью вручную: вызываешь malloc для выделения блока и free для его освобождения, когда закончил. Если забудешь освободить — эта память будет занята на протяжении всей жизни процесса — утечка памяти. Если освободишь память, которую всё ещё используешь — получишь сбой или уязвимость безопасности — использование после освобождения.

Большинство современных языков (Java, Python, JavaScript, Go, C#) избегают этого, предоставляя автоматическое управление памятью через компонент под названием сборщик мусора (GC). Сборщик мусора — это часть среды выполнения, которая периодически сканирует кучу для нахождения всех объектов, которые твоя программа больше не может достичь (объектов без оставшихся ссылок из каких-либо живых переменных). Затем он автоматически освобождает эти объекты. Твой код просто создаёт объекты; GC убирает за тобой.

GC не бесплатен. Он периодически запускает свой машинный код, приостанавливая или работая параллельно с твоей программой. Это добавляет задержку и потребляет время CPU, что является одной из причин, по которой тщательно оптимизированный код на C или Rust может превосходить Python или JavaScript при CPU-интенсивных вычислениях.

Сервис 2: механизм стека вызовов. Каждый вызов функции должен отслеживать локальные переменные и место для возврата после завершения функции. Стек вызовов — это область памяти, где хранится эта информация. Каждый вызов функции помещает кадр стека на стек вызовов; кадр содержит локальные переменные функции, адрес возврата (куда возобновить выполнение после возврата функции) и некоторые служебные данные. Когда функция возвращает управление, её кадр снимается со стека.

Механизм стека вызовов — правила того, как кадры располагаются в памяти, как аргументы передаются между функциями, как сохраняется и восстанавливается адрес возврата — является частью ответственности среды выполнения. Для большинства компилируемых языков это определяется соглашением о вызовах платформы (стандарт, согласованный ОС и компилятором). Для интерпретируемых языков и виртуальных машин среда выполнения управляет виртуальным стеком вызовов в программном обеспечении.

Ты полагаешься на стек вызовов каждый раз, когда вызываешь функцию, даже если никогда не думаешь об этом. Когда ошибка времени выполнения сообщает «stack overflow» (потому что ты написал бесконечную рекурсию), это означает, что стек вызовов вырос настолько глубоко, что исчерпал память, выделенную для него средой выполнения.

Сервис 3: стандартная библиотека. Стандартная библиотека — это коллекция функций и структур данных, поставляемая вместе с языком и доступная без установки каких-либо дополнительных пакетов. Примеры: len(), range(), open() в Python и модуль json. Array.prototype.map(), Math.sqrt() и Date в JavaScript. java.util.ArrayList и java.io.File в Java.

Стандартная библиотека является частью среды выполнения. Когда твоя программа на Python вызывает len(my_list), она вызывает функцию, код которой находится в двоичном файле среды выполнения Python, а не в твоей программе. Среда выполнения поставляет код; твой код вызывает его.

Стандартные библиотеки обычно включают: структуры данных (списки, словари, множества), строковые операции, математические функции, файловый и сетевой ввод-вывод, работу с датами и временем, примитивы параллелизма и утилиты форматирования/разбора. Качество и полнота стандартной библиотеки языка — важный фактор продуктивности программиста. Философия Python «batteries included» (богатая стандартная библиотека) — одна из причин его популярности для скриптинга и работы с данными.

Сервис 4: интерпретатор или виртуальная машина. Если язык интерпретируется или компилируется в байт-код, среда выполнения также включает движок, который реально запускает твой код. Для Python это интерпретатор CPython. Для Java и Kotlin — JVM. Для C# и F# — .NET Common Language Runtime (CLR). Для JavaScript в браузере или Node.js — движки V8, SpiderMonkey или JavaScriptCore.

Эти движки сами являются скомпилированными двоичными файлами — программами, написанными на C или C++ и заранее скомпилированными для хост-платформы. Они запускают твой код, интерпретируя его или компилируя в нативный код (через JIT). Движок является частью среды выполнения в той же мере, что и сборщик мусора и стандартная библиотека.

Когда ты запускаешь node server.js, ты запускаешь двоичный файл Node.js (который включает V8, сборщик мусора, стандартную библиотеку Node.js и механизм цикла событий). Всё это — среда выполнения. Твой файл server.js — это пользовательский код поверх неё.