Kugawa kwenye Stack

Kwa Nini Ugawaji wa Rafu Bado Ni Muhimu katika Uhandisi wa Kisasa wa Programu

Kila wakati ombi lako linapochakata ombi, kuunda kibadilishaji, au kuita utendaji, uamuzi wa kimya unafanywa bila ya matukio: data hii inapaswa kuishi wapi kwenye kumbukumbu? Kwa miongo kadhaa, ugawaji wa rafu umekuwa mojawapo ya mikakati ya kumbukumbu ya haraka zaidi, inayotabirika inayopatikana kwa watayarishaji wa programu - lakini bado haijaeleweka vibaya. Katika enzi ya nyakati zinazodhibitiwa za utendakazi, wakusanya takataka na usanifu asili wa mtandaoni, kuelewa jinsi na wakati wa kugawa kwenye rafu kunaweza kumaanisha tofauti kati ya programu inayoshughulikia watumiaji 10,000 wanaotumia wakati mmoja na ile inayotumia watumiaji chini ya 500. Huko Mewayz, ambapo jukwaa letu hutumikia zaidi ya moduli 138,000 za hesabu za biashara kwa kila koni 20 na usimamizi wa koni 20.

Rafu dhidi ya Lundo: Biashara ya Msingi ya Kulipa

Kumbukumbu katika mazingira mengi ya programu imegawanywa katika maeneo mawili ya msingi: rafu na lundo. Rafu hufanya kazi kama muundo wa data wa mwisho, wa kwanza kutoka (LIFO). Chaguo za kukokotoa zinapoitwa, "fremu" mpya inasukumwa kwenye rafu iliyo na viambajengo vya ndani, anwani za kurejesha, na vigezo vya utendakazi. Chaguo hili la kukokotoa linaporudi, fremu nzima inazimwa mara moja. Hakuna utafutaji, hakuna uwekaji hesabu, hakuna mgawanyiko - marekebisho moja tu ya kielekezi.

Lundo, kwa kulinganisha, ni hifadhi kubwa ya kumbukumbu ambapo ugawaji na ugawaji unaweza kutokea kwa mpangilio wowote. Unyumbulifu huu unakuja kwa gharama: mgao lazima afuatilie ni vizuizi gani visivyolipishwa, ashughulikie mgawanyiko, na katika lugha nyingi, ategemee mkusanya takataka kurejesha kumbukumbu ambayo haijatumika. Mgao wa lundo katika mpango wa kawaida wa C huchukua takribani mara 10 hadi 20 zaidi ya mgao wa rafu. Katika lugha zilizokusanywa na takataka kama vile Java au C#, sehemu ya juu inaweza kuwa ya juu zaidi wakati usitishaji wa mkusanyiko unapowekwa ndani.

Kuelewa ubadilishanaji huu sio tu kitaaluma. Unapounda programu inayochakata maelfu ya miamala kwa sekunde - iwe hiyo ni injini ya ankara, dashibodi ya uchanganuzi wa wakati halisi, au CRM inayoshughulikia uagizaji wa anwani nyingi - kuchagua mkakati sahihi wa ugawaji wa njia motomoto huathiri moja kwa moja nyakati za majibu na gharama za miundombinu.

Jinsi Ugawaji wa Rafu Hufanya kazi

Katika kiwango cha maunzi, usanifu mwingi wa kichakataji huweka rejista (kielekezi cha rafu) ili kufuatilia sehemu ya juu ya sasa ya rafu. Kugawa kumbukumbu kwenye rafu ni rahisi kama kupunguza kiashiria hiki kwa idadi inayotakiwa ya baiti. Ugawaji ni kinyume: ongeza pointer. Hakuna vichwa vya metadata, hakuna orodha zisizolipishwa, hakuna miunganisho ya vizuizi vilivyo karibu. Hii ndiyo sababu ugawaji wa rafu mara nyingi hufafanuliwa kuwa na utendakazi wa O(1) wa mara kwa mara na sehemu ya juu isiyo na maana.

Zingatia chaguo la kukokotoa linalokokotoa jumla ya bidhaa ya ankara. Inaweza kutangaza vigeu vichache vya ndani: nambari kamili, bei ya kitengo, kiwango cha kodi, na matokeo kuelea. Thamani zote nne husukumwa kwenye rafu wakati chaguo za kukokotoa zinapoingizwa na kurejeshwa kiotomatiki inapotoka. Mzunguko mzima wa maisha ni wa kubainisha na hauhitaji kuingilia kati sifuri kutoka kwa mtayarishaji programu au mkusanya takataka.

Maarifa muhimu: Ugawaji wa rafu sio haraka tu - unaweza kutabirika. Katika mifumo muhimu ya utendaji, kutabirika mara nyingi ni muhimu zaidi kuliko kasi ghafi. Chaguo la kukokotoa ambalo hukamilika mara kwa mara katika sekunde 2 ni la thamani zaidi kuliko ile yenye wastani wa sekunde 1 lakini mara kwa mara huongezeka hadi sekunde 50 kwa sababu ya kusitisha ukusanyaji wa takataka.

Wakati wa Kupendelea Ugawaji wa Rafu

Si kila kipande cha data kiko kwenye rafu. Kumbukumbu ya rafu ina kikomo (kawaida kati ya MB 1 na 8 MB kwa kila uzi, kulingana na mfumo wa uendeshaji), na data iliyotengwa kwenye rafu haiwezi kuishi zaidi ya kazi iliyoiunda. Hata hivyo, kuna hali wazi ambapo ugawaji rafu ndilo chaguo bora zaidi.

• Vigeu vya muda mfupi vya ndani: Vihesabio, vikusanyaji, vibafa vya muda vilivyo chini ya kilobaiti chache, na fahirisi za mizunguko ni sawa asilia kwa rafu. Huundwa, kutumika, na kutupwa ndani ya upeo mmoja wa utendakazi.
• Miundo ya data ya ukubwa usiobadilika: Mkusanyiko wenye saizi ya muda inayojulikana, miundo ndogo na aina za thamani zinaweza kuwekwa kwenye rafu bila hatari ya kufurika. Baiti ya baiti 256 ya kuumbiza mfuatano wa tarehe ni chaguo bora.
• Mizunguko ya ndani muhimu ya utendaji: Kitendakazi kinapoitwa mamilioni ya mara kwa sekunde - kama vile injini ya kukokotoa bei inayorudia katalogi za bidhaa - kuondoa mgao wa lundo katika kitengo cha kitanzi kunaweza kuleta uboreshaji wa matokeo ya 3x hadi 10x.
• Njia za wakati halisi au nyeti za kusubiri: Uchakataji wa malipo, masasisho ya moja kwa moja ya dashibodi na arifa ya kutuma manufaa yote kutokana na kuepuka kusitisha ukusanyaji wa takataka bila kubainishwa.
• Algoriti zinazojirudia zenye kina kikomo: Iwapo unaweza kuhakikisha kina cha urejeshaji kinasalia ndani ya mipaka salama, fremu zilizogawiwa kwa rafu huweka utendakazi unaojirudia haraka na rahisi.

Kiutendaji, watunzi wa kisasa ni wazuri sana katika kuboresha matumizi ya rafu. Mbinu kama vile uchanganuzi wa kutoroka katika Go na kikusanyaji cha JIT cha Java kinaweza kuhamisha kiotomatiki mgao wa lundo kwenye rafu wakati mkusanyaji anapothibitisha kuwa data haikwepeki upeo wa utendakazi. Kuelewa uboreshaji huu hukuwezesha kuandika msimbo safi zaidi huku ukinufaika kutokana na utendaji wa rafu.

Mitego ya Kawaida na Jinsi ya Kuepuka

Hitilafu mbaya zaidi inayohusiana na rafu ni kufurika kwa rafu - kugawa data zaidi kuliko rafu inaweza kushikilia, kwa kawaida kupitia urejeshaji usio na kikomo au safu kubwa kupita kiasi za ndani. Katika mazingira ya uzalishaji, wingi wa rafu kwa kawaida huvunja uzi au mchakato mzima bila njia ya urejeshaji ya kupendeza. Hii ndiyo sababu mifumo na mifumo ya uendeshaji inaweka vikomo vya ukubwa wa rafu.

Shida nyingine ndogo ni kurejesha viashiria au marejeleo kwa data iliyogawiwa kwa rafu. Kwa sababu kumbukumbu ya rafu hutupwa tena pindi chaguo la kukokotoa linaporudi, kielekezi chochote cha kumbukumbu hiyo kinakuwa marejeleo yanayoning'inia. Katika C na C++, hii inasababisha tabia isiyobainishwa ambayo inaweza kuonekana kufanya kazi katika majaribio lakini ikashindwa katika uzalishaji. Kikagua kukopa cha Rust hupata aina hii ya hitilafu wakati wa kukusanya, ambayo ni sababu mojawapo ya lugha kupata msukumo wa upangaji programu wa mifumo.

Suala la tatu linahusisha usalama wa nyuzi. Kila mazungumzo hupata mrundikano wake, ambayo ina maana kwamba data iliyogawiwa kwa rafu ni ya ndani kabisa. Kwa kweli hii ni faida katika visa vingi - hakuna kufuli zinazohitajika kufikia vigeu vya ndani. Hata hivyo, wakati mwingine wasanidi programu hufanya makosa ya kujaribu kushiriki data iliyogawiwa kwa rafu kati ya nyuzi, na kusababisha hali ya mbio au hitilafu za matumizi baada ya bila malipo. Wakati data inahitaji kushirikiwa kwenye nyuzi au kuendelea zaidi ya simu ya kukokotoa, lundo ndilo chaguo lifaalo.

Mgao wa Rafu kote kwa Lugha na Mifumo

Lugha tofauti za programu hushughulikia mgao wa rafu kwa viwango tofauti vya uwazi. Katika C na C++, kitengeneza programu kina udhibiti dhahiri: vigeu vya ndani huenda kwenye rafu, na malloc au mpya huweka data kwenye lundo. Katika Go, mkusanyaji hufanya uchanganuzi wa njia ya kutoroka ili kuamua kiotomatiki, na shughuli za kawaida huanza na rafu ndogo za KB 2 ambazo hukua kwa nguvu - suluhisho maridadi ambalo husawazisha usalama na utendakazi. PHP, mifumo ya kuwezesha lugha kama vile Laravel, hutenga thamani nyingi kupitia kidhibiti chake cha ndani cha kumbukumbu cha Zend Engine, lakini kuelewa kanuni za msingi huwasaidia wasanidi programu kuandika msimbo bora zaidi hata katika kiwango cha programu.

Kwa timu zinazounda mifumo changamano — kama vile timu ya wahandisi katika Mewayz, ambapo ombi moja linaweza kupitia mantiki ya CRM, hesabu za ankara, hesabu za kodi ya mishahara na ujumlishaji wa uchanganuzi - maamuzi haya ya kiwango cha chini yanajumuisha. Wakati moduli 207 zinashiriki muda wa utekelezaji, kupunguza mgao wa kumbukumbu kwa kila ombi kwa hata 15% kunaweza kutafsiri punguzo la maana la gharama za seva na maboresho yanayoweza kupimika katika nyakati za majibu kwa watumiaji wa mwisho wanaosimamia biashara zao kwenye jukwaa.

JavaScript na TypeScript, ambazo hutumia sehemu za mbele za kisasa zaidi na viunga vya nyuma vya Node.js, hutegemea kikamilifu kikusanya taka cha injini ya V8 kwa udhibiti wa kumbukumbu. Wasanidi programu hawawezi kutenga moja kwa moja kwenye rafu, lakini kikusanyaji cha uboreshaji cha V8 (TurboFan) hutekeleza mgao wa rafu ndani kwa thamani zinazoweza kuthibitisha kuwa ni za muda mfupi. Kuandika vitendaji vidogo na safi kwa vigeu vya ndani huipa injini fursa bora ya kutumia uboreshaji huu.

Mkakati Vitendo vya Kupunguza Shinikizo la Lundo

Hata kama unafanya kazi katika lugha ya kiwango cha juu ambapo huwezi kudhibiti moja kwa moja rafu dhidi ya mgao wa lundo, unaweza kutumia mifumo ambayo inapunguza shinikizo la lundo lisilo la lazima na kuruhusu muda wa utekelezaji uimarishwe kwa ukali zaidi.

1. Pendelea aina za thamani kuliko aina za marejeleo ambapo lugha inazitumia. Katika C#, kutumia struct badala ya class kwa vitu vidogo vinavyoundwa mara kwa mara huviweka kwenye rafu. Katika Go, kupitisha viunzi vidogo kwa thamani badala ya kielekezi kunafanikisha athari sawa.
2. Epuka kutenga ndani ya mizunguko mikali. Tenga mapema vibafa na uvitumie tena katika marudio. Iwapo unahitaji kipande cha muda au safu ndani ya kitanzi kinachofanya kazi mara 100,000, kitenge mara moja kabla ya kitanzi na ukiweke upya kwa kila marudio.
3. Tumia mkusanyiko wa vitu kwa vitu vinavyoundwa na kuharibiwa mara kwa mara. Miunganisho ya hifadhidata ni mfano wa kawaida, lakini mchoro unatumika kwa usawa kwa vitu vya ombi la HTTP, vibafa vya kuratibu na miundo ya muktadha wa ukokotoaji.
4. Wasifu kabla ya kuboresha. Zana kama vile pprof ya Go, async-profiler ya PHP, au Blackfire ya PHP inaweza kubainisha mahali ambapo mgao hutokea. Kuboresha bila kuchuja data kunahatarisha kutumia juhudi kwenye njia baridi ambazo hutekelezwa mara chache.
5. Ongeza vigawanyaji vya uwanja kwa ajili ya uendeshaji wa kundi. Unapochakata kundi la rekodi - kama vile kutengeneza ankara 500 au kuingiza anwani 10,000 - kisambazaji cha uwanja hunyakua hifadhi moja kubwa ya kumbukumbu na kuitoa kwa kasi inayofanana na rafu, kisha huachilia kizuizi kizima mara moja.

Mikakati hii si ya kinadharia pekee. Mifumo ya SaaS inaposhughulikia mzigo wa kazi wa ulimwengu halisi - mfanyabiashara mdogo anayezalisha ankara za kila mwezi, meneja wa Utumishi anayeendesha malipo kwa wafanyakazi 200, timu ya masoko inayochanganua utendaji wa kampeni katika vituo vyote - athari ya jumla ya usimamizi bora wa kumbukumbu ni uzoefu wa haraka na msikivu zaidi ambao watumiaji huhisi hata kama hawafikirii kamwe kuhusu kile kinachotokea chini yake.

Programu ya Kuzingatia Utendaji wa Kujenga kwa Mizani

Ugawaji wa rafu ni kipande kimoja cha fumbo kubwa zaidi la utendaji, lakini ni msingi. Kuelewa jinsi kumbukumbu inavyofanya kazi katika kiwango cha chini kabisa huwapa wahandisi miundo ya kiakili wanayohitaji kufanya maamuzi bora katika kila safu ya safu - kutoka kwa kuchagua miundo ya data na kubuni API hadi kusanidi miundombinu na kuweka vikomo vya rasilimali kwa huduma zilizowekwa.

Kwa biashara zinazotegemea mifumo kama vile Mewayz kuendesha shughuli zao za kila siku, malipo ya maamuzi haya ya uhandisi yanaonekana: upakiaji wa haraka wa kurasa, mwingiliano laini na imani kwamba mfumo hautaharibika chini ya kiwango cha juu zaidi. Wakati sehemu ya kuhifadhi inapohitaji kuangalia upatikanaji wa kalenda nyingi kwa wakati halisi, au dashibodi ya uchanganuzi inajumlisha data katika vitengo vingi vya biashara, mkakati wa msingi wa kumbukumbu ni muhimu zaidi kuliko watumiaji wengi watakavyowahi kutambua.

Programu bora zaidi huhisi urahisi kuitumia kwa usahihi kwa sababu waundaji wake walitoa jasho maelezo ambayo hayaonekani. Ugawaji wa rafu - haraka, dhamira, na maridadi katika usahili wake - ni mojawapo ya maelezo yanayofaa kueleweka kwa kina, iwe unaandika programu yako ya kwanza au unaunda jukwaa linalohudumia maelfu ya biashara duniani kote.

Maswali Yanayoulizwa Sana

Mgao wa rafu ni nini na kwa nini ni muhimu?

Ugawaji wa rafu ni mkakati wa usimamizi wa kumbukumbu ambapo data huhifadhiwa katika muundo wa mwisho, wa kwanza ambao unasimamiwa kiotomatiki na mtiririko wa utekelezaji wa programu. Ni muhimu kwa sababu kumbukumbu iliyogawiwa kwa rafu ni ya haraka zaidi kuliko mgao wa lundo - hakuna sehemu ya juu ya kuzoa taka, hakuna mgawanyiko, na uwekaji wa eneo hutokea papo hapo chaguo la kukokotoa linaporudi. Kwa programu muhimu za utendakazi, kuelewa mgao wa rafu kunaweza kupunguza sana muda wa kusubiri na kuboresha utumaji.

Je, ni wakati gani nitumie mgao wa rafu juu ya mgao wa lundo?

Tumia mgao wa rafu kwa vigeuzi vidogo, vya muda mfupi vyenye ukubwa unaojulikana wakati wa kukusanya - kama vile nambari kamili za ndani, miundo na safu za saizi zisizobadilika. Ugawaji wa lundo unafaa zaidi kwa miundo mikubwa ya data, mikusanyiko ya ukubwa unaobadilika, au vitu vinavyohitaji kuishi zaidi ya utendaji ulioviunda. Kanuni kuu: ikiwa maisha ya data yanalingana na upeo wa utendakazi na ukubwa wake unaweza kutabirika, rafu hiyo ndiyo chaguo la haraka zaidi kila wakati.

Je, hitilafu za kufurika kwa rafu zinaweza kuzuiwa katika programu za uzalishaji?

Ndiyo, hitilafu za kufurika kwa rafu zinaweza kuzuiwa kwa uhandisi wa nidhamu. Epuka kujirudia kwa kina au bila kikomo, punguza ugawaji mkubwa wa vigeu vya ndani, na utumie kanuni za kurudia inapowezekana. Lugha nyingi na mifumo ya uendeshaji hukuruhusu kusanidi vikomo vya ukubwa wa rafu. Zana za ufuatiliaji na suluhu za majukwaa kama vile Mewayz, Mfumo wa Uendeshaji wa biashara wa moduli 207 kuanzia $19/mo, inaweza kusaidia timu kufuatilia afya ya programu na kupata rejea za utendakazi mapema.

Je, lugha za kisasa bado zinanufaika kutokana na mgao wa rafu?

Hakika. Hata lugha zilizo na nyakati zinazodhibitiwa - kama Go, Rust, C#, na Java - hutumia uchanganuzi wa kutoroka ili kubaini ikiwa vigeu vinaweza kugawiwa kwa rafu badala ya kugawiwa kwa rundo. Rust hutekeleza mgao wa kwanza kupitia muundo wake wa umiliki, na mkusanyaji wa Go huiboresha kwa ukali. Kuelewa mbinu hizi husaidia wasanidi programu kuandika msimbo ambao watunzi wanaweza kuboresha kwa ufanisi zaidi, hivyo kusababisha utumiaji mdogo wa kumbukumbu na nyakati za utekelezaji haraka.