Издание Go 1.22

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

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

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

Сред промените в новото издание:

• В цикли «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 — оптимизация, ръководена от профилиране), които позволяват да се вземат предвид характеристиките, определени по време на изпълнението на програмата. В новата версия компилаторът включва средства за девиртуализация, които заменят непреките извиквания на различни методи с изпълнението на разширени инлайн-блокове.
• С включването на 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