Go компиляторун түшүнүү: шилтеме берүүчү

Go шилтемеси - Go компиляция инструменттеринин акыркы баскычы, компиляцияланган объект файлдарын бир аткарылуучу бинардык файлга бириктирүү үчүн жооптуу. Ал символдук шилтемелерди чечет, эстутум даректерин дайындайт жана операциялык тутум тышкы көз карандылыксыз жүктөй жана иштете ала турган өз алдынча программаны чыгарат.

Өндүрүштүк системаларды куруп жаткан инженердик командалар үчүн, анын ичинде Mewayz жана анын 207 модулдук бизнес OS сыяктуу платформалардын артындагы инфраструктура - байланыш стадиясында эмне болуп жатканын түшүнүү аткаруучулук, жайылтыла турган программалык камсыздоону жазуу үчүн абдан маанилүү.

Go Linker чындыгында эмне кылат?

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 стандарттык китепканасы чоң. Ансыз ар бир бинардык колдонулбаган пакеттердин салмагын көтөрмөк.
• Runtime интеграциясы: Go байланыштыргычы Go иштөө убактысын, анын ичинде таштанды жыйноочу, горутин пландоочу жана стек башкаруу кодун ар бир бинардык системага киргизиши керек. Бул C шилтемесинде түз параллелдүү эмес жоопкерчилик.
• CGo көпүрөсү: CGo иштетилгенде Go/C шилтемеси аралаш Go/C объектинин файлдарын иштетүү үчүн системанын C шилтемеси менен координацияланышы керек, бул процесске бир топ татаалдаштырат.

Негизги түшүнүк: Go шилтемесинин дизайн философиясы куруу ылдамдыгына караганда жайылтуунун жөнөкөйлүгүнө артыкчылык берет. Камтылган аткаруу убактысы менен толук статикалык бинарларды чыгаруу менен, Go өндүрүш көйгөйлөрүнүн бүтүндөй категориясын жок кылат — жетишпеген жалпы китепканалар, версиялардын карама-каршылыгы жана иштөө убактысына көз карандылыктын чечилиши — байланыштын узактыгы жана чоңураак бинардык файлдардын эсебинен.

Эмне үчүн Линкердин иштеши туруктуу кыйынчылык болуп калды?

Бир нече жылдар бою Go шилтемеси куруу процессинин эң жай бөлүктөрүнүн бири болгон. Ал жеке пакеттерде эмес, бир эле учурда бүт программада иштегендиктен, аны компиляция сыяктуу параллелдештирүүгө болбойт. Go командасы шилтемелерди жакшыртууга көп каражат жумшады, айрыкча Go 1.15 жана 1.16, ал жаңы объект файл форматын киргизди жана шилтемелердин эстутумун колдонууну болжол менен 30% кыскартты.

Негизги маселе - шилтеме берүүчү бүт программалык операцияларды аткарышы керек. Ал программадагы ар бир символдун, ар бир көчүрүүнүн жана ар бир типтеги дескриптордун глобалдык көрүнүшүн талап кылат. Чоң коддук базалар үчүн — 138 000ден ашык колдонуучуга кызмат кылган ишкана платформалары — бул шилтеме берүүчү миллиондогон символдорду бир жол менен иштетет дегенди билдирет.

Акыркы өркүндөтүүлөр жумушту байланыштыргычтан кайра компиляторго которууга багытталган. Компилятор алдын ала чечилген көчүрүү менен толук объект файлдарын чыгарышы менен, шилтеме берүүчү шилтеме убагында азыраак иш жасай алат. Бул Go инструменттер тизмегиндеги уланып жаткан архитектуралык эволюция.

Linker Go'нун бинардык коопсуздугунда кандай ролду ойнойт?

Шилтемечи ошондой эле Go экилик файлындагы коопсуздукка байланыштуу бир нече функциялар үчүн жооптуу. Ал эстутум сегменттеринде аткарылуучу уруксаттарды орнотот, бул маалымат бөлүмдөрү аткарылбасын жана код бөлүмдөрү жазылбайт. Колдоого алынган платформаларда ал ASLR (Дарек мейкиндигинин рандомизациясы) абалына көз карандысыз аткарылуучу файлдарды чыгаруу менен иштетет.

Go 1.17ден баштап, шилтеме берүүчү экилик файлдарды туура DWARF мүчүлүштүктөрдү оңдоо маалыматы менен түзүүнү жана алсыздыкты сканерлөөгө жана программалык камсыздоонун чынжырчасын текшерүүгө жардам берген метаберилиштерди түзүүнү колдойт. Шилтеме убагында иштетилген -buildid желекчеси кайталануучу курууну текшерүү үчүн ар бир бинардык системага уникалдуу идентификаторду киргизет.

Көп берилүүчү суроолор

Сиз Go менен тышкы байланыштыргычты колдоно аласызбы?

Ооба. CGo иштетилгенде же сиз Go инструменттер тизмегине -linkmode=external өткөргөндө, ал акыркы шилтеме кадамын системанын байланыштыргычына өткөрүп берет (адатта gcc же clang). Бул сиздин программаңыз C китепканаларына шилтеме бергенде талап кылынат жана кээ бир платформаларда демейки жүрүм-турум болуп саналат. Go'нун өзүнүн шилтеме салгычын гана колдонгон ички байланыштыруу ылдамыраак жана жөнөкөй түзүмдөрдү чыгарат, бирок C көз карандылыгын көтөрө албайт.

Эмне үчүн Go экилик файлдары С экиликтеринен мынчалык чоңураак?

Go шилтемеси бардык Go иштөө убактысын ар бир бинардык системага, анын ичинде таштанды жыйноочуга, горутин пландоочусуна, нетполлерге жана чагылдыруу түрүнө камтылган. Атүгүл минималдуу "Салам, дүйнө" программасы бул иштөө убактысын камтыйт, натыйжада бинардык файлдар 1-2 МБ тегерегинде башталат. Шилтемечинин өлүк кодун жок кылуу муну мүмкүн болушунча азайтат, бирок иштөө убактысынын кабаты сөзсүз болот. -ldflags="-s -w" колдонуу мүчүлүштүктөрдү оңдоо маалыматын чечет жана бинардык өлчөмүн 20-30% азайтат.

Go шилтемеси бир эле символ аты бар бир нече пакеттерди кантип иштетет?

Go пакеттин толук импорттоо жолун камтыган толук квалификациялуу символ аттарын колдонот. encoding/json ичиндеги Parse функциясы жана өзүңүздүн пакетиңиздеги Parse функциясы шилтемелөөчүнүн деңгээлинде таптакыр башка символдор катары көрсөтүлөт. Бул аталыш мейкиндиги объект файл форматына бышырылган, ошондуктан Go пакеттеринин ортосундагы символдордун кагылышуусу структуралык жактан мүмкүн эмес. Чыр-чатактар C символдору жалпак глобалдык аттар мейкиндигин бөлүшкөн CGo контекстинде гана пайда болот.

Туура куралдар менен жакшыраак куруңуз

Go шилтемечиси сыяктуу төмөнкү деңгээлдеги инструменттер чынжырчасынын механикасын түшүнүү инженердик топторго куруу маселелерин диагностикалоодо, CI түтүктөрүн оптималдаштырууда жана ишенимдүү программалык камсыздоону жөнөтүүдө өлчөө мүмкүнчүлүгүн берет. Ушул эле принцип бизнести жүргүзүүгө да тиешелүү — операциялык куралдар тизмегиңизди канчалык жакшы түшүнсөңүз, ошончолук натыйжалуу аткарасыз.

Mewayz сизге бүт бизнесиңизди башкаруу үчүн 207 интеграцияланган модулдарды берет - долбоорду башкаруудан жана CRMден эсеп-фактурага жана командалык кызматташууга чейин - $19/айдан башталат. Жумуш процесстерин иретке келтирген 138 000+ колдонуучуга кошулуңуз. Бүгүн Mewayz менен баштаңыз.