На каком языке написан GO

Краткий ответ

GO написан на языке C, с использованием некоторых элементов ассемблера для низкоуровневых частей и платформо-зависимого кода. Однако более глубокий и интересный ответ заключается в том, что GO был создан как само-хостингующийся (self-hosting) язык: с момента его первоначального релиза в 2009 году, компилятор GO и основная библиотека были переписаны на самом языке GO. Сегодня GO компилируется самим собой.

Подробная история и архитектура

1. Начало: написание на C

Проект GO начался в 2007 году в Google под руководством Роберта Гризмера, Роба Пайка и Кена Томпсона. Первоначальный компилятор (gc) и ранняя версия стандартной библиотеки были написаны на C. Это был классический подход для создания нового языка: использовать уже существующий, хорошо известный и портируемый язык для написания первой версии компилятора.

Основные причины выбора C:

• Простота и предсказуемость: C давал полный контроль над памятью и исполнением, что было критически важно для реализации таких особенностей GO, как горутины (goroutines), каналы (channels) и сборщик мусора (garbage collector).
• Портативность: Написанный на C код можно было скомпилировать под множество платформ, что позволило быстро создать версии для Linux, macOS и других ОС.
• Опыт команды: Кен Томпсон, один из создателей, был также одним из создателей языка C и операционной системы Unix. Использование C было естественным выбором.

2. Переход к само-хостингу

Одной из ключевых целей GO была простота и скорость компиляции. По мере того как язык стабилизировался, команда разработчиков приступила к переписыванию компилятора на сам GO.

Важная веха: Go 1.5 (выпущен в августе 2015 года) стал первой версией, где все инструменты GO (компилятор, ассемблер, линкер) были полностью написаны на GO. Этот процесс известен как «канонизация» (bootstrap).

Пример структуры исходного кода компилятора Go (например, cmd/compile/internal/):

// Это пример структуры кода компилятора Go, написанного на Go.
// Файл: cmd/compile/internal/syntax/parser.go

package syntax

import "fmt"

// ParseFile парсит исходный файл Go.
func ParseFile(filename string, src []byte) (*File, error) {
    var p parser
    p.init(filename, src)
    // ... логика парсинга, написанная на Go ...
    return p.fileOrNil(), p.firstErr
}

3. Текущее состояние

Сегодня Go — полностью само-хостируемый язык:

• Компилятор gc: Написан на Go, компилирует сам себя.
• Стандартная библиотека: Написана почти полностью на Go. Лишь незначительные низкоуровневые части (около 1-2% кодовой базы) остаются на C или ассемблере. Это так называемый «рантайм» (runtime), который включает:

    *   **Управление горутинами** (планировщик).
    *   **Сборку мусора**.
    *   **Интерфейс с системными вызовами** ОС.
    *   Некоторые критические для производительности функции, например, работа с **сетью или криптографией** на некоторых платформах.

Пример ассемблерной вставки для низкоуровневых операций в рантайме:

// Фрагмент из runtime·memclrNoHeapPointers (псевдокод ассемблера)
// Такие оптимизированные под платформу блоки ускоряют работу.
TEXT runtime·memclrNoHeapPointers(SB), NOSPLIT, $0-16
    MOVQ    ptr+0(FP), DI
    MOVQ    n+8(FP), CX
    XORQ    AX, AX
    REP; STOSB
    RET

4. Почему это важно? Преимущества само-хостинга

• Упрощение разработки: Программистам GO не нужно знать C, чтобы внести вклад в развитие компилятора. Они работают на знакомом языке.
• Более безопасный и надежный код: Go, с его строгой типизацией и отсутствием арифметики указателей (в безопасном коде), уменьшает вероятность ошибок по сравнению с C.
• Элегантная рекурсия: Процесс сборки Go использует предыдущую версию компилятора для сборки новой. Это создает цепочку доверия, уходящую корнями к оригинальному C-компилятору.
• Кросс-компиляция: Написание компилятора на Go облегчает создание кросс-компиляторов для других архитектур.

5. Исключения и инструментарий

• Ассемблер: Для максимальной производительности некоторых критических участков (низкоуровневые операции рантайма, математические функции) используются платформо-специфичные ассемблерные вставки (часто через планарный ассемблер Go — asm).
• Средства сборки: Некоторые вспомогательные скрипты и инструменты сборки (make.bash, dist) могут быть написаны на shell-скриптах или Python.

Итог

Итак, отвечая на вопрос «На каком языке написан GO?»:

1. Исторически и первоначально — на C.
2. Современный и актуальный ответ — на самом GO. Это само-хостируемый язык, где компилятор компилирует сам себя, образуя рекурсивную цепочку сборки (bootstrap toolchain). Небольшие низкоуровневые части рантайма написаны на C и ассемблере для прямого взаимодействия с оборудованием и операционной системой.

Это элегантное архитектурное решение делает экосистему Go последовательной, безопасной и удобной для разработчиков, желающих участвовать в развитии самого языка.