Հիմնական պատկերացում. Go linker-ի դիզայնի փիլիսոփայությունը առաջնահերթություն է տալիս տեղակայման պարզությանը, քան կառուցման արագությանը: Ներկառուցված գործարկման ժամանակով լիովին ստատիկ երկուականներ արտադրելով՝ Go-ն վերացնում է արտադրության խնդիրների մի ամբողջ կատեգորիա՝ բացակայող ընդհանուր գրադարաններ, տարբերակների կոնֆլիկտներ և գործարկման կախվածության լուծում՝ կապի ավելի երկար ժամանակի և ավելի մեծ երկուականների գնով:

Ինչու՞ է Linker Performance-ը մշտական մարտահրավեր:

Տարիներ շարունակ Go linker-ը կառուցման գործընթացի ամենադանդաղ մասերից մեկն էր: Քանի որ այն գործում է միանգամից ամբողջ ծրագրի, այլ ոչ թե առանձին փաթեթների վրա, այն չի կարող զուգահեռացվել այնպես, ինչպես կարող է կոմպիլյացիան: Go թիմը մեծ ներդրումներ է կատարել կապող սարքերի բարելավման մեջ, մասնավորապես Go 1.15 և 1.16-ում, որոնք ներկայացրել են նոր օբյեկտի ֆայլի ձևաչափ և կրճատել կապող հիշողության օգտագործումը մոտավորապես 30%-ով։

Հիմնական մարտահրավերն այն է, որ կապողը պետք է կատարի ամբողջ ծրագրի գործողություններ: Այն պետք է գլոբալ դիտում ունենա ծրագրի յուրաքանչյուր խորհրդանիշի, յուրաքանչյուր տեղափոխության և տիպի նկարագրիչի վերաբերյալ: Խոշոր կոդերի բազաների համար, ինչպիսին է ուժային ձեռնարկությունների հարթակները, որոնք սպասարկում են 138000+ օգտատերերի, սա նշանակում է, որ կապակցիչը մշակում է միլիոնավոր նշաններ մեկ անցումով:

Վերջին բարելավումները կենտրոնացած են աշխատանքը կապողից դեպի կոմպիլյատոր տեղափոխելու վրա: Կոմպիլյատորը ստեղծելով ավելի ամբողջական օբյեկտային ֆայլեր՝ նախապես լուծված տեղափոխություններով, կապակցիչը կարող է ավելի քիչ աշխատանք կատարել կապի ժամանակ: Սա շարունակական ճարտարապետական էվոլյուցիա է Go Toolchain-ում:

Ի՞նչ դեր է խաղում կապիչը Go-ի երկուական անվտանգության մեջ:

Կցիչը պատասխանատու է նաև Go-ի երկուական սարքերի անվտանգության հետ կապված մի քանի գործառույթների համար: Այն սահմանում է գործարկվող թույլտվություններ հիշողության սեգմենտների վրա՝ ապահովելով, որ տվյալների բաժինները գործարկելի չեն, իսկ կոդերի բաժինները՝ գրավոր: Աջակցվող հարթակներում այն հնարավորություն է տալիս ASLR-ին (Address Space Layout Randomization)՝ արտադրելով դիրքից անկախ գործադիրներ:

Սկսած Go 1.17-ից՝ կապակցիչը նաև աջակցում է երկուականների գեներացմանը՝ DWARF կարգաբերման ճիշտ տեղեկություններով և մետատվյալների կառուցում, որն օգնում է խոցելիության սկանավորմանը և ծրագրային ապահովման մատակարարման շղթայի ստուգմանը: -buildid դրոշը, որը մշակվում է հղման ժամանակ, յուրաքանչյուր երկուականում ներկառուցում է եզակի նույնացուցիչ՝ վերարտադրելի կառուցման հաստատման համար:

Հաճախակի տրվող հարցեր

Կարո՞ղ եք արտաքին կապակցիչ օգտագործել Go-ի հետ:

Այո: Երբ CGo-ն միացված է կամ երբ դուք -linkmode=external եք փոխանցում Go Toolchain-ին, այն վերջնական կապող քայլը փոխանցում է համակարգի կապողին (սովորաբար gcc կամ clang): Սա պահանջվում է, երբ ձեր ծրագիրը կապվում է C գրադարանների հետ և որոշ հարթակներում լռելյայն վարքագիծ է: Ներքին կապակցումը, որն օգտագործում է բացառապես Go-ի սեփական կապակցիչը, ավելի արագ է և արտադրում է ավելի պարզ կառուցվածքներ, բայց չի կարող կարգավորել C կախվածությունները:

Ինչո՞ւ են Go-ի երկուականներն այդքան ավելի մեծ, քան C-ի երկուականները:

Go-ի կապակցիչը զետեղում է Go-ի գործարկման ամբողջ ժամանակը յուրաքանչյուր երկուականի մեջ, ներառյալ աղբահանության, գորուտինների ժամանակացույցի, netpoller-ի և արտացոլման տեսակի մասին տեղեկությունները: Նույնիսկ նվազագույն «Բարև, աշխարհ» ծրագիրը ներառում է այս գործարկման ժամանակը, ինչը հանգեցնում է երկուականների, որոնք սկսվում են մոտ 1-2 ՄԲ: Կապակցողի մեռած ծածկագրի վերացումը զգալիորեն նվազեցնում է այն, ինչը կարող էր լինել, բայց գործարկման ժամանակի հատակն անխուսափելի է: Օգտագործելով -ldflags="-s -w"-ը հանում է վրիպազերծման տեղեկատվությունը և կարող է նվազեցնել երկուական չափը 20-30%-ով:

Ինչպե՞ս է Go linker-ը մշակում նույն խորհրդանիշի անունով մի քանի փաթեթներ:

Go-ն օգտագործում է լիովին որակավորված նշանների անուններ, որոնք ներառում են փաթեթի ներմուծման ամբողջական ուղին: Parse ֆունկցիան encoding/json-ում և Parse ֆունկցիան ձեր սեփական փաթեթում ներկայացված են որպես բոլորովին տարբեր խորհրդանիշներ կապող մակարդակում: Այս անունների տարածությունը ստեղծվում է օբյեկտի ֆայլի ձևաչափի մեջ, ուստի խորհրդանիշների բախումները Go փաթեթների միջև կառուցվածքային առումով անհնար է: Կոնֆլիկտները առաջանում են միայն CGo համատեքստերում, որտեղ C խորհրդանիշները կիսում են հարթ գլոբալ անվանատարածք:

Ավելի լավ կառուցեք ճիշտ գործիքներով

Ցածր մակարդակի գործիքների շղթայի մեխանիկայի ըմբռնումը, ինչպիսին է Go linker-ը, ինժեներական թիմերին տալիս է չափելի առավելություն շինարարության հետ կապված խնդիրների ախտորոշման, CI խողովակաշարերի օպտիմալացման և հուսալի ծրագրակազմի առաքման ժամանակ: Նույն սկզբունքը կիրառվում է բիզնես վարելու դեպքում. որքան ավելի շատ եք հասկանում ձեր գործառնական գործիքների շղթան, այնքան ավելի արդյունավետ եք կատարում:

Mewayz-ը ձեզ տալիս է 207 ինտեգրված մոդուլներ՝ ձեր ամբողջ բիզնեսը կառավարելու համար՝ սկսած նախագծերի կառավարումից և CRM-ից մինչև հաշիվ-ապրանքագրեր և թիմային համագործակցություն, սկսած $19/ամսական արժեքից: Միացե՛ք 138,000+ օգտատերերի, ովքեր հեշտացրել են իրենց աշխատանքային հոսքերը: Սկսեք Mewayz-ի հետ այսօր: