Go компиляторын түсіну: байланыстырғыш

Go сілтемесі Go компиляциясының құралдар тізбегінің соңғы кезеңі болып табылады, ол құрастырылған нысан файлдарын бір орындалатын екілік файлға біріктіруге жауап береді. Ол таңба сілтемелерін шешеді, жад мекенжайларын тағайындайды және операциялық жүйе сыртқы тәуелділіктерсіз жүктеп, іске қоса алатын дербес бағдарламаны шығарады.

Өндірістік жүйелерді, соның ішінде Mewayz және оның 207-модульдік бизнес операциялық жүйесі сияқты платформалардың артындағы инфрақұрылымды құрайтын инженерлік командалар үшін байланыстыру сатысында не болып жатқанын түсіну өнімді, қолдануға болатын бағдарламалық құралды жазу үшін маңызды.

Go сілтемесі шын мәнінде не істейді?

Go құралдар тізбегінде компиляция екі негізгі кезеңде орындалады. Біріншіден, компилятор (gc) Go бастапқы файлдарын архитектураға арнайы нысан файлдарына аударады. Содан кейін байланыстырушы (cmd/link) сол нысан файлдарын алып, оларды аяқталған орындалатын файлға біріктіреді. Компилятор синтаксистік талдауды, типті тексеруді және кодты генерациялауды өңдесе, байланыстырушы бағдарламаны құрастырудың кеңістіктік және қатынастық жұмысын басқарады.

Сілтемеші осы процесс барысында бірнеше маңызды әрекеттерді орындайды. Ол пакеттер арасындағы барлық таңба сілтемелерін шешеді, яғни пакет шекарасын кесіп өтетін әрбір функция шақыруы немесе айнымалы сілтеме оның нақты орындалуына қосылады. Ол әрбір функцияға және жаһандық айнымалыға виртуалды жад мекенжайларын тағайындайды. Ол сонымен қатар соңғы екілік файлды мақсатты амалдық жүйе күткен форматта жазады — Linux үшін ELF, macOS үшін Mach-O немесе Windows үшін PE.

C немесе C++ сілтемелерінен айырмашылығы, Go сілтемесі толығымен Go ішінде жазылған. Go 1.5 жүктеу әрекеті кезінде орындалған бұл шешім Go командасына байланыстыру процесін толық бақылауға мүмкіндік береді және көптеген құрастырулар үшін сыртқы құралдар тізбегіне тәуелділікті жояды.

Go сілтемесі дәстүрлі сілтемелерден қалай ерекшеленеді?

C/C++ экожүйесіндегі дәстүрлі сілтемелер — GNU ld, gold немесе LLVM lld — ELF ауыстырылатын файлдар сияқты стандартты нысан файл пішімінде жұмыс істейді. Go сілтемесі өзінің ішкі нысан пішімін пайдаланады, бұл оған икемділік береді, сонымен қатар оның біршама оқшауланған экожүйеде бар екенін білдіреді.

• Әдепкі бойынша статикалық байланыстыру: Go көп жағдайда статикалық байланысты екілік файлдарды шығарады, бүкіл орындалу уақытын және барлық тәуелділіктерді бір файлға ендіреді. Бұл әдетте динамикалық ортақ кітапханаларға сүйенетін C бағдарламаларынан күрт айырмашылығы бар.
• Бөлек алдын ала өңдеу қадамы жоқ: Go сілтемесі дәстүрлі екі жолды байланыстырғыштар сияқты бөлек таңба ажыратымдылығын қажет етпейді. Ол компилятор анықтаған тәуелділік ретімен пакеттерді өңдейді.
• Өлі кодты жою: Байланыстырушы қол жетімсіз функциялар мен айнымалы мәндерді агрессивті түрде жояды, бұл Go стандартты кітапханасы үлкен болғандықтан өте маңызды. Онсыз әрбір екілік пайдаланылмаған пакеттердің салмағын көтереді.
• Орындау уақытын біріктіру: Go сілтемесі Go орындалу уақытын, соның ішінде қоқыс жинағышты, goroutine жоспарлаушысын және стекті басқару кодын — әрбір екілік жүйеге ендіруі керек. Бұл C сілтемесінде тікелей параллельі жоқ жауапкершілік.
• CGo көпірі: CGo қосылған кезде Go/C сілтемесі аралас Go/C нысан файлдарын өңдеу үшін жүйенің C сілтемесімен үйлестіру керек, бұл процеске айтарлықтай күрделілік қосады.

Негізгі түсінік: Go сілтемесінің дизайн философиясы құрастыру жылдамдығынан гөрі орналастырудың қарапайымдылығына басымдық береді. Енгізілген орындалу уақыты бар толық статикалық екілік файлдарды шығару арқылы Go ұзағырақ байланыс уақыттары мен үлкен екілік файлдар есебінен өндіріс мәселелерінің бүкіл санатын жояды - ортақ кітапханалар, нұсқа қайшылықтары және орындалу уақытына тәуелділік ажыратымдылығы.

Linker өнімділігі неге тұрақты қиындыққа айналды?

Бірнеше жылдар бойы Go сілтемесі құрастыру процесінің ең баяу бөліктерінің бірі болды. Ол жеке пакеттерден гөрі бүкіл бағдарламада бірден жұмыс істейтіндіктен, оны компиляция сияқты параллельдеу мүмкін емес. Go командасы байланыстырғышты жақсартуға, әсіресе жаңа нысан файл пішімін енгізген және сілтеме жадын пайдалануды шамамен 30%-ға қысқартқан Go 1.15 және 1.16-ға көп қаржы жұмсады.

Негізгі міндет - байланыстырушы бүкіл бағдарлама операцияларын орындауы керек. Ол бағдарламадағы әрбір таңбаның, әрбір орын ауыстырудың және әрбір типті дескриптордың ғаламдық көрінісін қажет етеді. Үлкен код базалары үшін — 138 000+ пайдаланушыларға қызмет көрсететін кәсіпорын платформаларын қуаттайтын түрі — бұл байланыстырушы миллиондаған таңбаларды бір өтуде өңдейді дегенді білдіреді.

Соңғы жақсартулар жұмысты байланыстырушыдан компиляторға қайта ауыстыруға бағытталған. Компиляторға алдын ала шешілген орын ауыстырулары бар толық нысан файлдарын шығару арқылы байланыстырушы сілтеме уақытында аз жұмыс істей алады. Бұл Go құралдар тізбегіндегі жалғасып жатқан архитектуралық эволюция.

Сілтемеші Go екілік қауіпсіздігінде қандай рөл атқарады?

Сілтемеші Go екілік файлдарындағы қауіпсіздікке қатысты бірнеше мүмкіндіктерге де жауап береді. Ол жад сегменттерінде орындалатын рұқсаттарды орнатып, деректер бөлімдерінің орындалмайтынын және код бөлімдерінің жазылмайтынын қамтамасыз етеді. Қолдау көрсетілетін платформаларда ол орынға тәуелсіз орындалатын файлдарды шығару арқылы ASLR (Мекенжай кеңістігі орналасуын рандомизациялау) мүмкіндігін қосады.

Go 1.17 нұсқасынан бастап байланыстырушы сонымен қатар дұрыс DWARF жөндеу ақпараты бар екілік файлдарды құруға және осалдықты сканерлеуге және бағдарламалық қамтамасыз етуді жеткізу тізбегін тексеруге көмектесетін құрастыру метадеректерін қолдайды. Сілтеме уақытында өңделетін -buildid жалаушасы қайталанатын құрастыруды тексеру үшін әрбір екілік жүйеде бірегей идентификаторды енгізеді.

Жиі қойылатын сұрақтар

Сіз Go қолданбасымен сыртқы байланыстырғышты пайдалана аласыз ба?

Иә. CGo қосылғанда немесе Go құралдар тізбегіне -linkmode=external жіберген кезде, ол соңғы байланыстыру қадамын жүйе байланыстырғышына береді (әдетте gcc немесе clang). Бұл бағдарлама C кітапханаларына қарсы байланысқанда қажет және кейбір платформалардағы әдепкі әрекет болып табылады. Go компаниясының жеке сілтемесін пайдаланатын ішкі байланыстыру жылдамырақ және қарапайым құрастыруларды жасайды, бірақ C тәуелділіктерін өңдей алмайды.

Неліктен Go екілік файлдары C екілік файлдарынан әлдеқайда үлкен?

Go сілтемесі барлық Go орындалу уақытын әрбір екілік файлға, соның ішінде қоқыс жинағышты, горутинді жоспарлаушыны, нетполлерді және рефлексия түрі туралы ақпаратты қосады. Тіпті ең аз «Сәлем, әлем» бағдарламасы осы орындалу уақытын қамтиды, нәтижесінде екілік файлдар шамамен 1-2 МБ басталады. Байланыстырғыштың өлі кодты жою оны мүмкін болатыннан айтарлықтай азайтады, бірақ орындалу уақытының қабаты сөзсіз. -ldflags="-s -w" пайдалану отладтау ақпаратын жояды және екілік өлшемді 20-30%-ға азайтады.

Go сілтемесі бірдей таңба атауы бар бірнеше буманы қалай өңдейді?

Go буманың толық импорттау жолын қамтитын толық жарамды таңба атауларын пайдаланады. encoding/json ішіндегі Parse функциясы және жеке бумадағы Parse функциясы сілтеме деңгейінде мүлде басқа таңбалар ретінде ұсынылған. Бұл аттар кеңістігі нысан файл пішімінде жасалған, сондықтан Go бумалары арасындағы таңбалар соқтығысуы құрылымдық түрде мүмкін емес. Қайшылықтар C таңбалары жалпақ жаһандық аттар кеңістігін ортақ пайдаланатын CGo контекстерінде ғана туындайды.

Дұрыс құралдармен жақсырақ құрастырыңыз

Go сілтемесі сияқты төменгі деңгейлі құралдар тізбегі механикасын түсіну инженерлік топтарға құрастыру мәселелерін диагностикалау, CI құбырларын оңтайландыру және сенімді бағдарламалық құралды тасымалдау кезінде өлшенетін мүмкіндік береді. Дәл осы принцип бизнесті жүргізуге де қолданылады — операциялық құралдар тізбегін неғұрлым жақсы түсінсеңіз, соғұрлым тиімдірек орындайсыз.

Mewayz айына $19-дан басталатын жобаны басқару мен CRM-ден бастап шот-фактураға және топпен бірлесіп жұмыс істеуге дейінгі бүкіл бизнесіңізді басқаруға арналған 207 біріктірілген модульді ұсынады. Жұмыс процестерін оңтайландырған 138 000+ пайдаланушыға қосылыңыз. Mewayz қолданбасын бүгіннен бастаңыз.