Среда выполнения (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 — это пользовательский код поверх неё.