Разбирање на Go Compiler: The Linker

Поврзувачот Go е последната фаза од синџирот на алатки за компилација Go, одговорен за комбинирање на датотеките со компајлирани објекти во една извршна бинарна мрежа. Ги решава референците за симболи, доделува мемориски адреси и произведува самостојна програма што оперативниот систем може да ја вчита и да работи без надворешни зависности.

За инженерски тимови кои градат системи за производство - вклучително и инфраструктурата зад платформите како што се Mewayz и неговиот деловен оперативен систем од 207 модули - разбирањето што се случува во фазата на поврзување е од суштинско значење за пишување перформативен софтвер што може да се распореди.

Што всушност прави Go Linker?

Во синџирот на алатки Go, компилацијата се одвива во две главни фази. Прво, компајлерот (gc) ги преведува изворните датотеки Go во датотеки со објекти специфични за архитектурата. Потоа, поврзувачот (cmd/link) ги зема тие датотеки со објекти и ги спојува во завршена извршна датотека. Додека компајлерот се справува со синтаксна анализа, проверка на типот и генерирање код, поврзувачот се справува со просторната и релациската работа на составување програма.

Поврзувачот врши неколку критични операции за време на овој процес. Ги решава сите референци на симболи низ пакетите, што значи дека секој повик на функција или референца на променлива што ја преминува границата на пакетот се поврзува со неговата вистинска имплементација. Доделува адреси на виртуелната меморија на секоја функција и глобална променлива. Исто така, го запишува последниот бинарен формат во форматот што го очекува целниот оперативен систем - ELF за Linux, Mach-O за macOS или PE за Windows.

За разлика од C или C++ поврзувачите, Go поврзувачот е целосно напишан во самиот Go. Оваа одлука, завршена за време на напорите за подигање Go 1.5, му дава целосна контрола на тимот на Go врз процесот на поврзување и ја елиминира зависноста од надворешни синџири со алатки за повеќето изданија.

Како се разликува Go's Linker од традиционалните Linkers?

Традиционалните поврзувачи во екосистемот C/C++ — GNU ld, злато или lld на LLVM — работат на стандардни формати на датотеки со објекти како што се ELF преместливи. Поврзувачот на Go користи свој внатрешен формат на објект, што му дава флексибилност, но исто така значи дека постои во малку изолиран екосистем.

• Статичко поврзување по дифолт: Go произведува статички поврзани бинарни датотеки во повеќето случаи, вметнувајќи го целото време на извршување и сите зависности во една датотека. Ова е во остра контраст со програмите C кои обично се потпираат на динамични споделени библиотеки.
• Нема посебен чекор на претпроцесирање: Поврзувачот Go не бара посебна резолуција на симболот како што тоа го прават традиционалните поврзувачи со две премини. Ги обработува пакетите по редослед на зависност, кој компајлерот веќе го одредил.
• Елиминација на мртви кодови: поврзувачот агресивно ги отстранува недостижните функции и променливи, што е критично бидејќи стандардната библиотека на Go е голема. Без ова, секоја бинарна верзија ќе ја носи тежината на неискористените пакети.
• Интеграција на траење: Поврзувачот Go мора да го вгради времето на работа на Go - вклучувајќи го собирачот на ѓубре, распоредувачот на горутини и кодот за управување со стек - во секоја бинарна мрежа. Ова е одговорност што нема директна паралела во поврзувањето C.
• CGo премостување: Кога е овозможено CGo, поврзувачот Go мора да се координира со поврзувачот C на системот за да се справи со мешаните датотеки со објекти Go/C, додавајќи значителна сложеност на процесот.

Клучен увид: Дизајнерската филозофија на Go linker дава приоритет на едноставноста на распоредувањето пред брзината на градење. Со производство на целосно статични бинарни датотеки со вградено траење, Go елиминира цела категорија проблеми со производството - недостигаат споделени библиотеки, конфликти на верзии и резолуција за зависност од траење - по цена на подолго време на поврзување и поголеми бинарни датотеки.

Зошто перформансите на Linker беа постојан предизвик?

Со години, поврзувачот Go беше еден од најбавните делови на процесот на градење. Бидејќи работи на целата програма одеднаш, наместо на поединечни пакети, не може да се паралелизира како што може компилацијата. Тимот на Go инвестираше многу во подобрувања на поврзувачот, особено во Go 1.15 и 1.16, кои воведоа нов формат на датотека со објекти и ја намалија употребата на меморијата на поврзувачот за приближно 30%.

Основниот предизвик е тоа што поврзувачот мора да врши операции со цела програма. Потребен е глобален приказ на секој симбол, секое преместување и секој дескриптор на типот во програмата. За големите бази на кодови - каков што енергетските платформи на претпријатија опслужуваат над 138.000 корисници - ова значи дека поврзувачот обработува милиони симболи во едно поминување.

Неодамнешните подобрувања се фокусираа на префрлање на работата од поврзувачот назад во компајлерот. Со тоа што компајлерот произведува поцелосни датотеки со објекти со претходно решени преместувања, поврзувачот може да работи помалку во времето на врската. Ова е тековна архитектонска еволуција во синџирот на алатки Go.

Каква улога игра поврзувачот во бинарната безбедност на Go?

Поврзувачот е одговорен и за неколку функции поврзани со безбедноста во бинарните датотеки Go. Поставува извршни дозволи на мемориските сегменти, осигурувајќи дека секциите на податоци не се извршни и деловите на кодот не се запишуваат. На поддржаните платформи, тој овозможува ASLR (случајно распоредување на просторот за адреси) со производство на извршни датотеки независни од позиција.

Почнувајќи со Go 1.17, поврзувачот исто така поддржува генерирање бинарни датотеки со соодветни информации за дебагирање на DWARF и градење метаподатоци, што помага во скенирање на ранливости и проверка на синџирот на снабдување софтвер. Знамето -buildid, обработено во времето на врската, вградува единствен идентификатор во секој бинарен систем за репродуктивна потврда на градбата.

Често поставувани прашања

Можете ли да користите надворешен поврзувач со Go?

Да. Кога CGo е овозможено или кога ќе поминете -linkmode=external на синџирот на алатки Go, тој го делегира последниот чекор за поврзување на поврзувачот на системот (обично gcc или clang). Ова е потребно кога вашата програма се поврзува со библиотеките C и е стандардно однесување на некои платформи. Внатрешното поврзување, кое го користи исклучиво сопствениот поврзувач на Go, е побрзо и произведува поедноставни конструкции, но не може да се справи со зависностите од C.

Зошто Go бинарниците се толку поголеми од C бинарните?

Поврзувачот Go го вградува целото време на работа на Go во секој бинарен систем, вклучувајќи ги информациите за собирачот на ѓубре, распоредувачот на горутини, нетполерот и информациите за типот на рефлексија. Дури и минималната програма „Hello, World“ го вклучува ова време на траење, што резултира со бинарни датотеки што започнуваат околу 1-2 MB. Елиминацијата на мртвиот код на поврзувачот значително го намалува ова од она што би можело да биде, но подот за траење е неизбежен. Користењето -ldflags="-s -w" ги отстранува информациите за отстранување грешки и може да ја намали бинарната големина за 20-30%.

Како поврзувачот Go ракува со повеќе пакети со исто име на симболот?

Go користи целосно квалификувани имиња на симболи кои ја вклучуваат целосната патека за увоз на пакетот. Функцијата Парсеј во encoding/json и функцијата Parse во вашиот сопствен пакет се претставени како сосема различни симболи на ниво на поврзувач. Ова именско растојание се внесува во форматот на датотеката на објектот, така што судирите на симболите помеѓу Go пакетите се структурно невозможни. Конфликтите се јавуваат само во CGo контексти каде што симболите C споделуваат рамен глобален именски простор.

Изградете подобро со вистинските алатки

Разбирањето на механиката на синџирот на алатки на ниско ниво, како што е поврзувачот Go, им дава мерлива предност на инженерските тимови при дијагностицирање проблеми со изградбата, оптимизирање на CI цевководи и испорака на сигурен софтвер. Истиот принцип важи и за водење бизнис - колку повеќе го разбирате вашиот оперативен синџир на алатки, толку поефикасно го извршувате.

Mewayz ви дава 207 интегрирани модули за управување со целиот ваш бизнис - од управување со проекти и CRM до фактурирање и тимска соработка - почнувајќи од 19 $/месечно. Придружете се на 138.000+ корисници кои ги насочија своите работни текови. Започнете со Mewayz денес.