Издаване на Go 1.22

Представен е релизът на програмния език Go 1.22, който се развива от компанията Google с участието на общността, като хибридно решение, съчетаващо висока производителност на компилираните езици с предимствата на скриптовите езици, като лесно писане на код, бърза разработка и защита от грешки. Кодът на проекта се разпространява по лиценза BSD.

Синтаксисът на Go е основан на познати елементи от езика C с отделни заимствания от езика Oberon. Езикът е достатъчно лаконичен, но кодът е лесен за четене и восприятие. Кодът на езика Go се компилира в отделни бинарни изпълняеми файлове, които се изпълняват нативно, без използването на виртуална машина (модулите за профилиране, отстраняване на грешки и други подсистеми за откриване на проблеми се интегрират като компоненти на времето за изпълнение), което позволява постигане на производителност, сравнима с програмите на езика C.

Проектът първоначално се разработва с оглед на многопоточното програмиране и ефективната работа на многоядрени системи, включително предоставяйки реализирани на ниво оператори средства за организиране на паралелни изчисления и взаимодействие между паралелно изпълнявани методи. Езикът също така предоставя вградени средства за защита от извеждане извън допустимите области на заделените блокове памет и осигурява възможност за използване на garbage collector.

Сред промените в новия релийз:

• В цикли «for» е добавена поддръжка за определяне на диапазони от цели числа, например, за обхождане на стойности от 0 до 9 сега може да се използва цикълът «for i := range 10 {…}».
• В цикли «for» е добавена експериментална (GOEXPERIMENT=rangefunc) поддръжка на функциите за определяне на диапазон, позволяваща да се посочва функция като итератор. Например, «for i, x := range slices.Backward(s) {…}»
• Решен е стар проблем с цикли «for», който водеше при извикване на корутини (goroutine) до споделена употреба на променливи от цикъла в различни итерации. Например, кодът values := []string{"a", "b", "c"} for _, v := range values { go func() { fmt.Println(v) done <- true }() } сега ще извежда «a», «b» и «c», а не само «c», както беше по-рано.
• Оптимизация на работата с паметта в runtime е довела до повишаване на производителността с 1-3% и намаляване на потреблението на памет в повечето приложения с 1%.
• Продължава работа по внедряване на оптимизации в компилатора, базирани на резултатите от профилирането на кода (PGO — Optimизация, ръководена от профилиране), които вземат предвид особеностите, определяни по време на изпълнението на програмата. В новата версия на компилатора са внедрени средства за девиртуализация, които заменят непреките извиквания на различни методи с изпълнението на разширени inline блокове.
• При активиране на PGO, добавеното изменение е позволило да се повиши производителността на повечето програми с 2-14%.
• В компилатора е добавена експериментална (GOEXPERIMENT=newinliner) подобрена реализация на механизма за разширяване (inlining) на извиквания, използваща хевристики за разделяне на важни и второстепенни операции.
• В стандартната библиотека е добавен пакетът «math/rand/v2», който предлага по цялостно API и използва по-бързи алгоритми за генериране на псевдослучайни числа.
• В пакета net/http.ServeMux е добавена възможността за указване на методи и маски в шаблоните, например шаблонът «GET /static/{id}/» ще бъде приложен към заявките с HTTP метод «GET» и ще съхрани стойността на втория сегмент от запитания път в идентификатора «id».
• В пакета database/sql е добавена поддръжка на типа Null[T], позволяваща сканиране на колони, които могат да приемат стойност NULL. В пакета slices е добавена функцията Concat за сливане на няколко слайса от всякакъв тип.
• В командите за работа с работни пространства (колекции от модули) е предоставена възможността за използване на директорията «vendor», съдържаща зависимости към съдържанието на работното пространство. Директорията се създава при изпълнение на командата «go work vendor» и се използва в сборъчните команди при настройване на опцията "-mod=vendor" (включва се по подразбиране при наличие на директория vendor).

Промени в поведението на утилитите.

• go get вече не се поддържа извън модула в остарелия режим GOPATH (т.е. с GO111MODULE=off). Други команди за изграждане, като go build и go test, ще продължат да работят за остарели GOPATH програми за неопределено време.
• go mod init вече не се опитва да импортира изисквания за модули от конфигурационни файлове на други доставчици (като Gopkg.lock).
• go test -cover сега отпечатва обобщени данни за покритие за пакетите, които нямат собствени тестови файлове. Преди Go 1.22 go test -cover за такъв пакет би съобщил? mymod/mypack [no test files]

  и сега с Go 1.22 функциите в пакета се считат за непокрити: mymod/mypack coverage: 0.0% от операторите. Обърнете внимание: ако пакетът изобщо не съдържа изпълним код, не можем да съобщим значителен процент на покритие; за такива пакети go test ще продължи да съобщава за липсващи тестови файлове.

• Уеб интерфейсът на инструмента trace беше леко обновен в рамките на работата по поддръжката на новия трасировчик, разрешени са някои проблеми и е подобрена четимостта на различните страници. Уеб интерфейсът вече поддържа изследването на трасировките в потоково ориентирано представяне. Инструментът за преглед на трасировка сега също така показва общата продължителност на всички системни извиквания. Тези подобрения са приложими само за преглед на трасировки, създадени от програми, създадени на Go 1.22 или по-нова версия. В бъдеща версия някои от тези подобрения ще бъдат внесени в трасировките, създадени от стара версия на Go.
• Средата за изпълнение вече съхранява метаданни за събиране на боклук на основата на типовете, по-близо до всеки обект в купа. Тази промяна също така намалява разходите за памет на повечето Go програми с около 1% чрез дедупликация на излишните метаданни. В някои програми подобрението може да е по-малко, тъй като тази промяна коригира границите на класа за размер на разпределителя на памет и следователно някои обекти могат да бъдат преместени на по-висок клас размер. Последствието от тази промяна е, че адресите на някои обекти, които преди винаги са били подравнени на границата от 16 байта (или повече), сега ще бъдат подравнени само на границата от 8 байта. Някои програми, използващи асемблерни инструкции, изискващи адресите на паметта да са подравнени на размер над 8 байта и разчитащи на предишното поведение на подравняване на разпределителя на паметта, могат да се провалят, но очакваме такива програми да бъдат редки. Такива програми могат да бъдат създадени с GOEXPERIMENT=noallocheaders с възможност за връщане към старата модел на метаданни и възстановяване на предишното поведение на подравняване, но собствениците на пакети трябва да актуализират своя асемблерен код, за да избегнат предположението за подравняване, тъй като този обходен начин ще бъде премахнат в бъдеща версия.
• Както беше споменато в бележките за издание на Go 1.20, Go 1.22 сега изисква крайна версия на Go 1.20 или по-нова за начално изграждане. Очакваме Go 1.24 да изисква крайна версия на Go 1.22 или по-късна версия за начално изграждане.
  Оригинал (go.dev)

Източник: linux.org.ru