Сегодня, 16 августа 2016, вышел восьмой стабильный релиз языка программирования Go — Go 1.7. Как обычно, релиз выпущен по намеченному плану, через пол года после предыдущего, и в нём нет обратно несовместимых изменений. В тоже время, в Go 1.7 довольно много новых и важных изменений, уменьшены время компиляции и размеры бинарников, увеличена скорость работы и в стандартную библиотеку наконец-то добавлен пакет context. Под катом более подробный обзор новшеств и нововведений.

Новый SSA бекенд

Пожалуй, одним из важнейших изменений в этом релизе является использования нового бекенда компилятора, поддерживающего SSA-форму (Static Single-Assigment). Переход на SSA-бекенд даёт новые возможности для оптимизации и генерации более эффективного кода, и это уже можно наблюдать в данном релизе.

Чтобы сравнить результат компиляции старого и нового бекенда, достаточно передать параметр команде go build:

go build -gcflags="-ssa=0"

и для нового (SSA включён по-умолчанию в Go 1.7).

go build

Переход на новый бекенд уже сейчас даёт прирост в скорости программ от 5 до 35%.

Также можно покопаться в коде, генерируемом бекендом, с помощью переменной GOSSAFUNC:

GOSSAFUNC=main go build && open ssa.html

Новый формат метаданных

Хотя это изменение абсолютно невидимо для простых пользователей, его стоит упомянуть. В Go 1.7 используется новый формат экспорта метаданных в бинарных файлах, более компактный и эффективный, чем предыдущий. Он исправляет некоторые залежавшиеся баги и генерирует бинарные файлы меньшего размера. Его можно отключить параметром -newexport=0

go build -newexport=0

Поддержка MacOS X 10.12 'Sierra'

Хотя мы привычно ожидаем, что бинарники собранные с прыдыдущими версиями Go будут работать во всех будущих версиях различных OS — в случае с ещё не вышедшей MacOS X 10.12 это не так. В этом релизе MacOS была изменена реализация системного вызова gettimeofday(), а в Go, фактически используется копия её реализации, поэтому при её изменении в ядре, пришлось изменить код и в Go. Как это можно отразиться на практике — бинарники под MacOS X собранные с Go < 1.6.3 не будут корректно работать на MacOS X 10.12 'Sierra'. Если вы распространяете в бинарниках, убедитесь, что собираете их с Go 1.6.3 или 1.7, чтобы они корректно работали на MacOS X 10.12.

Оптимизация и ускорение компилятора и линкера

Помимо вышеупомянутых пунктов, оптимизации подверглось много компонентов стандартной библиотеки, компилятора и линкера, в результате чего бинарники должны быть меньше в размере на 20-30%, а код должен работать гораздо быстрее (особенно на x86-64 платформах), чем Go 1.6. При этом, благодаря новому бэкенду, остается еще много пространства для запланированных оптимизаций на следующие релизы.

Также в некоторых пакетах стандартной библиотеки оптимизации добавили более чем 10% ускорение — crypto/sha1, crypto/sha256, encoding/binary, fmt, hash/adler32, hash/crc32, hash/crc64, image/color, math/big, strconv, strings, unicode и unicode/utf16.

Также в программах с большим количеством запущенных горутин паузы сборщика мусора должны намного меньше.

Context

Одним из самых ожидаемых добавлений в стандартную библиотеку был перенос пакета golang.org/x/net/context в context. Из имени было убрано слово "net" потому что, хотя context и используется чаще всего в коде, работающим с запросами из сети, но его функционал не ограничен только работой с сетью. К примеру, он может использоваться для os/exec и других вещей.

Почему это важно? В Go появилось немало http-фреймворков и пакетов, задача которых была обеспечить передачу контекста внутри обработчиков входящих запросов. net/context постепенно начал занимать эту нишу, но теперь, с context в стандартной библиотеке и с нативной его поддержкой в пакетах net, net/http и os/exec, писать код, работающий с контекстами запроса будет гораздо проще и унифицированней.

В пакете net появился новый метод типа Dialer:

func (d *Dialer) DialContext(ctx context.Context, network, address string) (Conn, error)

Если таймаут контекста истекает раньше, чем произошло установление соединения, DialContext возвращает ошибку.

В net/http в типе Request появились методы Context() и WithContext():

func (r *Request) Context() context.Context

func (r *Request) WithContext(ctx context.Context) *Request

Метод Context() используется для получение контекста запроса, для его изменения используйте WithContext(). В исходящих запросах context теперь управляет отменой запроса.

Vendoring

В этом релизе переменная GO15VENDOREXPERIMENT больше не поддерживается, теперь вендоринг это стандартный функционал тулинга Go.

Testing

В пакете testing, который используется для написания тестов, появилась поддержка вложенных иерархических тестов и бенчмарков. Это бывает очень удобно для BDD-тестирования, табличных тестов и для более компактной организации тестов в целом. Пример кода:

func TestTeardownParallel(t *testing.T) {
    // This Run will not return until the parallel tests finish.
    t.Run("group", func(t *testing.T) {
        t.Run("Test1", parallelTest1)
        t.Run("Test2", parallelTest2)
        t.Run("Test3", parallelTest3)
    })
    // <tear-down code>
}

Детали доступны в документации к пакету: https://golang.org/pkg/testing/#hdr-Subtests_and_Sub_benchmarks

Разное

• go tool trace теперь не требует бинарник для анализа трейса, и оверхед на трейсинг уменьшился с 400% до 20%
• в стандартную библиотеку включён простой zipkin-аналог инструмент httptrace — net/http/httptrace/
• os/user.Current больше не требует cgo (таким образом, осталось 3 места, где cgo всё ещё используется в стандартной библиотеке)

Полный список изменений доступен тут: https://golang.org/doc/go1.7

Стоит ли мне обновляться?

Обычно никаких рисков с обновлением на новый релиз нет, и в Go коммьюнити свежая версия используется большинством. Но есть смысл первые пару недель подождать, потестировать билды на 1.7 в тестовом режиме. В последних двух релизах были минорные релизы (1.5.1 и 1.6.1) с исправлениями очень специфических багов, найденных в первые недели после основного релиза.

Ссылки

https://golang.org/doc/go1.7
https://golang.org/dl/

PS. В этом релизе приняли участие 170 человек, из которых 140 — не из Google, а из Go сообщества.