Go kompilaatori mõistmine: linker

Go linker on Go kompileerimise tööriistaketi viimane etapp, mis vastutab kompileeritud objektifailide ühendamise eest üheks käivitatavaks kahendfailiks. See lahendab sümbolite viited, määrab mäluaadressid ja loob iseseisva programmi, mida operatsioonisüsteem saab laadida ja käivitada ilma väliste sõltuvusteta.

Tootmissüsteeme ehitavatele insenerimeeskondadele, sealhulgas platvormide, nagu Mewayz ja selle 207 mooduliga ärioperatsioonisüsteemi taga olev infrastruktuur, on jõudlusliku juurutava tarkvara kirjutamiseks oluline mõista, mis linkimisetapis toimub.

Mida Go Linker tegelikult teeb?

Tööriistaahelas Go toimub kompileerimine kahes peamises etapis. Esiteks tõlgib kompilaator (gc) Go lähtefailid arhitektuurispetsiifilisteks objektifailideks. Seejärel võtab linker (cmd/link) need objektifailid ja liidab need valmis käivitatavaks failiks. Kui kompilaator tegeleb süntaksianalüüsi, tüübikontrolli ja koodi genereerimisega, siis linker tegeleb programmi koostamise ruumilise ja relatsioonilise tööga.

Linder teeb selle protsessi käigus mitu kriitilist toimingut. See lahendab kõik pakettidevahelised sümboliviited, mis tähendab, et iga funktsioonikutse või muutujaviide, mis ületab paketi piiri, ühendatakse selle tegeliku rakendamisega. See määrab virtuaalse mälu aadressid igale funktsioonile ja globaalsele muutujale. Samuti kirjutab see lõpliku kahendfaili vormingus, mida sihtoperatsioonisüsteem eeldab – ELF Linuxi jaoks, Mach-O macOS-i jaoks või PE Windowsi jaoks.

Erinevalt C- või C++-linkeritest on Go linker täielikult Go-s endas kirjutatud. See otsus, mis tehti Go 1.5 alglaadimise käigus, annab Go meeskonnale täieliku kontrolli linkimisprotsessi üle ja välistab enamiku järge puhul sõltuvuse välistest tööriistaahelatest.

Mille poolest erineb Go linker traditsioonilistest linkeritest?

C/C++ ökosüsteemi traditsioonilised linkerid – GNU ld, gold või LLVM-i lld – töötavad standardsete objektifailivormingutega, nagu ELF-i ümberpaigutavad failid. Go linker kasutab oma sisemist objektivormingut, mis annab sellele paindlikkuse, kuid tähendab ka seda, et see eksisteerib mõnevõrra isoleeritud ökosüsteemis.

• Staatiline linkimine vaikimisi: Go loob enamikul juhtudel staatiliselt lingitud binaarfaile, manustades kogu käitusaja ja kõik sõltuvused ühte faili. See erineb teravalt C-programmidest, mis tavaliselt toetuvad dünaamilistele jagatud teekidele.
• Eraldi eeltöötlusetappi pole: Go linker ei vaja eraldi sümboli eraldusvõimet, nagu traditsioonilised kahekäigulised linkerid. See töötleb pakette sõltuvuse järjekorras, mille kompilaator on juba määranud.
• Surnud koodi kõrvaldamine: linker eemaldab agressiivselt ligipääsmatud funktsioonid ja muutujad, mis on ülioluline, kuna Go standardteek on suur. Ilma selleta kannaks iga kahendfail kasutamata pakendite raskust.
• Käitusaja integreerimine: Go linker peab manustama Go käitusaja – sealhulgas prügikoguja, gorutiini ajakava ja virnahalduskoodi – igasse kahendfaili. See on vastutus, millel pole C-linkimisel otsest paralleeli.
• CGo sild: kui CGo on lubatud, peab Go linker koordineerima süsteemi C linkeriga, et käsitleda Go/C segaobjektifaile, muutes protsessi märkimisväärselt keerukamaks.

Põhiülevaade: Go linkeri disainifilosoofia seab juurutamise lihtsuse esikohale koostamise kiiruse ees. Tootes manustatud käitusajaga täielikult staatilisi binaarfaile, kõrvaldab Go terve kategooria tootmisprobleeme – puuduvad jagatud teegid, versioonikonfliktid ja käitusaja sõltuvuse lahendamine – pikemate linkimisaegade ja suuremate binaarfailide hinnaga.

Miks on Linkeri jõudlus olnud pidev väljakutse?

Aastaid oli Go linker ehitusprotsessi üks aeglasemaid osi. Kuna see töötab kogu programmiga korraga, mitte üksikute pakettidega, ei saa seda kompileerimisel paralleelselt ühendada. Go meeskond on investeerinud palju linkerite täiustustesse, eriti Go 1.15-sse ja 1.16-sse, mis tutvustasid uut objektifailivormingut ja vähendasid linkeri mälukasutust ligikaudu 30%.

Põhiline väljakutse on see, et linker peab sooritama kogu programmi toiminguid. See vajab globaalset vaadet programmi iga sümboli, iga ümberpaigutamise ja iga tüübikirjelduse kohta. Suurte koodibaaside puhul, mida pakuvad enam kui 138 000 kasutajat teenindavad ettevõtteplatvormid, tähendab see, et linker töötleb miljoneid sümboleid ühe käiguga.

Hiljutised täiustused on keskendunud töö nihutamisele linkerist tagasi kompilaatorisse. Lases kompilaatoril toota terviklikumaid objektifaile koos eellahendatud ümberpaigutamisega, saab linker linkimisajal vähem tööd teha. See on Go tööriistaahelas käimasolev arhitektuuriline areng.

Millist rolli mängib linker Go binaarses turvalisuses?

Linder vastutab ka mitmete turvalisusega seotud funktsioonide eest Go binaarfailides. See määrab mälusegmentidele täitmisõigused, tagades, et andmeosad pole käivitatavad ja koodilõigud pole kirjutatavad. Toetatud platvormidel võimaldab see ASLR-i (Address Space Layout Randomization), luues asukohast sõltumatud käivitatavad failid.

Alates versioonist Go 1.17 toetab linker ka binaarfailide genereerimist korraliku DWARF-silumisteabe ja ehituse metaandmetega, mis aitab haavatavuse skannimisel ja tarkvara tarneahela kontrollimisel. Lipp -buildid, mida töödeldakse lingi ajal, manustab kordumatu identifikaatori igasse kahendfaili, et järge saaks korrata.

Korduma kippuvad küsimused

Kas saate Go-ga kasutada välist linkerit?

Jah. Kui CGo on lubatud või kui annate Go tööriistaahelale -linkmode=external, delegeerib see viimase linkimisetapi süsteemi linkerile (tavaliselt gcc või clang). See on vajalik, kui teie programm lingib C-teekidega ja on mõnel platvormil vaikekäitumine. Sisemine linkimine, mis kasutab ainult Go enda linkerit, on kiirem ja loob lihtsamaid järge, kuid ei saa hakkama C-sõltuvustega.

Miks on Go kahendfailid nii palju suuremad kui C kahendkoodid?

Go linker manustab kogu Go käitusaja igasse kahendfaili, sealhulgas prügikoguja, gorutiini ajakava, netpolleri ja peegelduse tüüpi teabe. Isegi minimaalne "Tere, maailm" programm sisaldab seda käitusaega, mille tulemuseks on binaarfailid, mis algavad umbes 1–2 MB. Linkeri surnud koodi kõrvaldamine vähendab seda oluliselt sellest, mis see võiks olla, kuid käitusaja alammäär on vältimatu. -ldflags="-s -w" kasutamine eemaldab silumisinfo ja võib vähendada kahendfaili suurust 20–30%.

Kuidas Go linker käsitleb mitut sama sümbolinimega paketti?

Go kasutab täielikult kvalifitseeritud sümbolite nimesid, mis sisaldavad paketi täielikku imporditeed. Funktsiooni Parse koodis encoding/json ja funktsiooni Parse teie enda paketis kujutatakse linkeri tasemel täiesti erinevate sümbolitena. Nimevahe on sisestatud objektifailivormingusse, nii et sümbolite kokkupõrked Go-pakettide vahel on struktuuriliselt võimatud. Konfliktid tekivad ainult CGo kontekstides, kus C-sümbolid jagavad ühtset globaalset nimeruumi.

Ehitage õigete tööriistadega paremini

Madala taseme tööriistaahela mehaanika, nagu Go linker, mõistmine annab insenerimeeskondadele mõõdetava eelise ehitusprobleemide diagnoosimisel, CI torujuhtmete optimeerimisel ja usaldusväärse tarkvara tarnimisel. Sama põhimõte kehtib ka ettevõtte juhtimisel – mida paremini mõistate oma töötööriistade ahelat, seda tõhusamalt tegutsete.

Mewayz pakub teile 207 integreeritud moodulit kogu teie ettevõtte haldamiseks – alates projektijuhtimisest ja kliendisuhete haldusest kuni arveldamise ja meeskonna koostööni – alates 19 dollarist kuus. Liituge 138 000+ kasutajaga, kes on oma töövooge sujuvamaks muutnud. Alustage Mewayziga juba täna.