Стек дээр хуваарилж байна

Орчин үеийн програм хангамжийн инженерчлэлд стекийн хуваарилалт яагаад чухал хэвээр байна вэ

Таны аппликейшн хүсэлтийг боловсруулах, хувьсагч үүсгэх эсвэл функцийг дуудах болгонд хөшигний ард чимээгүй шийдвэр гарч байна: энэ өгөгдөл санах ойд хаана амьдрах ёстой вэ? Хэдэн арван жилийн турш стекийн хуваарилалт нь програмистуудын ашиглах боломжтой хамгийн хурдан бөгөөд урьдчилан таамаглах боломжтой санах ойн стратеги байсаар ирсэн боловч үүнийг олон нийтэд буруу ойлгосон хэвээр байна. Удирдлагатай ажиллах цаг, хог цуглуулагч, үүлд суурилсан архитектурын эрин үед стек дээр хэрхэн, хэзээ хуваарилахаа ойлгох нь 10,000 зэрэгцэн ажилладаг хэрэглэгч болон 500-аас доошгүй хэрэглэгчийг зохицуулдаг програмын хоорондох ялгааг илэрхийлж болно. Манай платформ нь 138,000 гаруй бизнест үйлчилдэг Mewayz-д, 20 санах ойтой нэгдсэн модулиудтай. тоолно.

Стек ба нуруулдан: Үндсэн солилцоо

Ихэнх програмчлалын орчин дахь санах ой нь стек болон овоолгын гэсэн хоёр үндсэн бүсэд хуваагддаг. Стек нь хамгийн сүүлд орж ирдэг (LIFO) өгөгдлийн бүтцээр ажилладаг. Функцийг дуудах үед локал хувьсагч, буцах хаяг, функцийн параметрүүдийг агуулсан стек дээр шинэ "хүрээ" түлхэгддэг. Энэ функц буцаж ирэхэд бүх хүрээ шууд гарч ирнэ. Ямар ч хайлт, нягтлан бодох бүртгэл, хуваагдал байхгүй — зүгээр л нэг заагч тохируулга.

Харин бөөгнөрөл нь ямар ч дарааллаар хуваарилах, задлах боломжтой санах ойн том сан юм. Энэ уян хатан байдал нь өндөр өртөгтэй: хуваарилагч нь аль блокууд чөлөөтэй байгааг хянах, хуваагдлыг зохицуулах, олон хэл дээр ашиглагдаагүй санах ойг эргүүлэн авахын тулд хог цуглуулагчийг ашиглах ёстой. Ердийн C программ дахь овоолгын хуваарилалт нь стекийн хуваарилалтаас ойролцоогоор 10-20 дахин их хугацаа зарцуулдаг. Java эсвэл C# зэрэг хог хаягдлыг цуглуулдаг хэл дээр цуглуулах түр зогсолтыг тооцоход илүү их зардал гарах болно.

Энэ асуудлыг ойлгох нь зөвхөн эрдэм шинжилгээний ажил биш юм. Та секундэд олон мянган гүйлгээг боловсруулдаг программ хангамжийг бүтээж байх үед нэхэмжлэхийн систем, бодит цагийн аналитик самбар эсвэл бөөнөөр харилцагчийн импортыг хариуцдаг CRM эсэхээс үл хамааран халуун замд зориулсан зөв хуваарилалтын стратегийг сонгох нь хариу өгөх хугацаа болон дэд бүтцийн зардалд шууд нөлөөлдөг.

Стекийн хуваарилалт хэрхэн ажилладаг вэ

Техник хангамжийн түвшинд ихэнх процессорын архитектурууд стекийн одоогийн дээд хэсгийг хянахын тулд регистр (стек заагч) зориулдаг. Стек дээр санах ойг хуваарилах нь энэ заагчийг шаардлагатай тооны байтаар багасгахтай адил хялбар юм. Хувцаслалт нь эсрэгээрээ: заагчийг нэмэгдүүлнэ. Мета өгөгдлийн толгой хэсэг, үнэгүй жагсаалт, зэргэлдээ блокуудын нэгдэл байхгүй. Тийм ч учраас стекийн хуваарилалтыг ихэвчлэн O(1) тогтмол хугацааны гүйцэтгэлтэй, өчүүхэн нэмэлт зардалтай гэж тодорхойлдог.

Нэхэмжлэлийн мөрийн зүйлийн нийт дүнг тооцдог функцийг авч үзье. Энэ нь хэд хэдэн орон нутгийн хувьсагчийг зарлаж болно: тоо хэмжээний бүхэл тоо, нэгж үнийн хэлбэлзэл, татварын хувьсагч, үр дүнгийн хөвөгч. Функцийг оруулах үед бүх дөрвөн утгыг стек рүү түлхэж, гарах үед автоматаар сэргээдэг. Амьдралын мөчлөг бүхэлдээ тодорхойлогддог бөгөөд програмист эсвэл хог цуглуулагчаас огт оролцоо шаарддаггүй.

Гол ойлголт: Стекийн хуваарилалт нь зөвхөн хурдан биш бөгөөд үүнийг урьдчилан таамаглах боломжтой. Гүйцэтгэлийн хувьд чухал системүүдэд урьдчилан таамаглах чадвар нь түүхий хурдаас илүү чухал байдаг. 2 микросекундэд тогтмол дуусдаг функц нь дунджаар 1 микросекунд ажилладаг функцээс илүү үнэ цэнэтэй боловч хог цуглуулах завсарлагааны улмаас заримдаа 50 микросекунд хүртэл нэмэгддэг.

Стекийн хуваарилалтыг хэзээ дэмжих вэ

Өгөгдлийн хэсэг бүр стект хамаарахгүй. Стекийн санах ой хязгаарлагдмал (үйлдлийн системээс хамааран нэг урсгалд ихэвчлэн 1 МБ-аас 8 МБ хооронд байдаг) бөгөөд стек дээр хуваарилагдсан өгөгдөл нь түүнийг үүсгэсэн функцээс хэтэрч чадахгүй. Гэсэн хэдий ч стекийн хуваарилалт нь хамгийн сайн сонголт болох тодорхой хувилбарууд байдаг.

• Богино хугацааны локал хувьсагчид: Тоолуурууд, аккумляторууд, хэдхэн килобайтаас доош түр зуурын буферууд болон давталтын индексүүд нь стекийн хувьд байгалийн хувьд таарч байна. Тэдгээрийг нэг функцийн хүрээнд үүсгэж, ашиглаж, устгадаг.
• Тогтмол хэмжээтэй өгөгдлийн бүтэц:Мэдэгдэж буй эмхэтгэх хугацаатай, жижиг бүтэцтэй, утгын төрлүүдтэй массивуудыг стек дээр халих эрсдэлгүйгээр байрлуулж болно. Огнооны мөрийг форматлахад зориулсан 256 байт буфер бол төгс нэр дэвшигч юм.
• Гүйцэтгэлд чухал ач холбогдолтой дотоод гогцоонууд: Функцийг секундэд хэдэн сая удаа дуудах үед (жишээлбэл, бүтээгдэхүүний каталог дээр давтагдах үнийн тооцооллын систем) давталтын бие дэх овоолгын хуваарилалтыг арилгах нь дамжуулах чадварыг 3-10 дахин сайжруулах боломжтой.
• Бодит цагийн эсвэл хоцролтод мэдрэмтгий замууд: Төлбөрийн боловсруулалт, шууд хяналтын самбарын шинэчлэлтүүд болон мэдэгдэл илгээх нь тодорхой бус хог цуглуулах түр зогсолтоос зайлсхийхэд тустай.
• Хязгаарлагдмал гүнтэй рекурсив алгоритмууд: Хэрэв та рекурсын гүнийг аюулгүй хязгаарт байлгахыг баталгаажуулж чадвал стекээр хуваарилагдсан фреймүүд рекурсив функцийг хурдан бөгөөд энгийн байлгадаг.

Практикт орчин үеийн хөрвүүлэгчид стек ашиглалтыг оновчтой болгоход гайхалтай сайн байдаг. Go болон Java-н JIT хөрвүүлэгч гэх мэт аргууд нь өгөгдөл нь функцын хүрээнээс гарахгүй гэдгийг нотлох үед овоолгын хуваарилалтыг стек рүү автоматаар шилжүүлэх боломжтой. Эдгээр оновчлолыг ойлгосноор стекийн гүйцэтгэлээс ашиг хүртэхийн зэрэгцээ илүү цэвэр код бичих боломжтой болно.

Түгээмэл бэрхшээлүүд ба түүнээс хэрхэн зайлсхийх вэ

Стектэй холбоотой хамгийн алдартай алдаа бол стек халих явдал бөгөөд ихэвчлэн хязгааргүй рекурс эсвэл хэт том локал массиваар дамжуулан стекийн багтаамжаас илүү их өгөгдлийг хуваарилдаг. Үйлдвэрлэлийн орчинд стек халих нь ихэвчлэн утас эсвэл бүх процессыг сэргээх ямар ч хялбар замгүйгээр сүйрүүлдэг. Ийм учраас фреймворкууд болон үйлдлийн системүүд нь стекийн хэмжээг хязгаарладаг.

Өөр нэг нарийн бэрхшээл бол стекээр хуваарилагдсан өгөгдөлд заагч эсвэл лавлагааг буцаах явдал юм. Функц буцаж ирэх агшинд стек санах ой сэргээгддэг тул тухайн санах ой руу чиглэсэн дурын заагч унжсан лавлагаа болдог. C ба C++ хэл дээр энэ нь тодорхойгүй зан төлөвт хүргэдэг бөгөөд туршилтанд ажиллаж байгаа мэт харагдах боловч үйлдвэрлэлд сүйрлийн улмаас бүтэлгүйтдэг. Rust-ийн зээл шалгагч нь эмхэтгэх үед энэ ангиллын алдааг олж илрүүлдэг нь системийн програмчлалын хэлийг татах болсон шалтгаануудын нэг юм.

Гурав дахь асуудал нь хэлхээний аюулгүй байдалтай холбоотой. Thread бүр өөрийн стекийг авдаг бөгөөд энэ нь стекээр хуваарилагдсан өгөгдөл нь угаасаа thread-локаль гэсэн үг юм. Энэ нь үнэндээ олон тохиолдолд давуу тал юм - локал хувьсагчид хандахын тулд ямар ч түгжээ шаардлагагүй. Гэсэн хэдий ч хөгжүүлэгчид заримдаа стекээр хуваарилагдсан өгөгдлийг урсгалуудын хооронд хуваалцахыг оролдохдоо алдаа гаргадаг бөгөөд энэ нь уралдааны нөхцөл эсвэл үнэгүй ашиглахад хүргэдэг. Өгөгдлийг урсгалуудаар хуваалцах эсвэл функцын дуудлагаас цааш үргэлжлэх шаардлагатай үед овоолго нь тохиромжтой сонголт юм.

Хэл болон хүрээн дэх стекийн хуваарилалт

Өөр өөр програмчлалын хэлүүд стек хуваарилалтыг янз бүрийн түвшний ил тод байдлаар зохицуулдаг. C болон C++ хэл дээр программист тодорхой хяналттай байдаг: локал хувьсагч нь стек дээр явж, malloc эсвэл new нь овоолго дээр өгөгдлийг байрлуулдаг. Go-д хөрвүүлэгч нь автоматаар шийдэхийн тулд зугтах шинжилгээ хийдэг ба goroutines нь динамикаар өсдөг 2 КБ хэмжээтэй жижиг стекүүдээс эхэлдэг бөгөөд энэ нь аюулгүй байдал болон гүйцэтгэлийг тэнцвэржүүлдэг гоёмсог шийдэл юм. Laravel гэх мэт хэлээр ажилладаг PHP нь дотоод Zend Engine санах ойн менежерээр дамжуулан ихэнх утгыг хуваарилдаг боловч үндсэн зарчмуудыг ойлгох нь хөгжүүлэгчдэд програмын түвшинд ч илүү үр дүнтэй код бичихэд тусалдаг.

Нэг хүсэлтээр CRM логик, нэхэмжлэхийн тооцоо, цалингийн татварын тооцоолол, аналитик нэгтгэл зэргийг даван туулах боломжтой Mewayz дахь инженерийн баг гэх мэт нарийн төвөгтэй платформуудыг барьж буй багуудын хувьд эдгээр доод түвшний шийдвэрүүдийг нэгтгэдэг. 207 модуль ажиллах цагийг хуваалцах үед хүсэлт бүрт санах ойн хуваарилалтыг 15%-иар бууруулснаар серверийн зардлыг мэдэгдэхүйц бууруулж, платформ дээрх бизнесээ удирдаж буй эцсийн хэрэглэгчдийн хариу өгөх хугацааг хэмжиж болохуйц сайжруулна.

Ихэнх орчин үеийн урд болон Node.js-ийн арын хэсэгт ажилладаг JavaScript болон TypeScript нь санах ойн менежментийн хувьд V8 хөдөлгүүрийн хог цуглуулагч дээр бүрэн тулгуурладаг. Хөгжүүлэгчид стек дээр шууд хуваарилах боломжгүй ч V8-ийн оновчтой хөрвүүлэгч (TurboFan) нь богино хугацаанд үйлчилдэг утгуудын хувьд стекийн хуваарилалтыг дотооддоо гүйцэтгэдэг. Орон нутгийн хувьсагчтай жижиг, цэвэр функцуудыг бичих нь хөдөлгүүрт эдгээр оновчлолыг хэрэгжүүлэх хамгийн сайн боломжийг олгодог.

Нурууны даралтыг бууруулах практик стратеги

Хэдийгээр та стек болон овоолгын хуваарилалтыг шууд хянах боломжгүй өндөр түвшний хэл дээр ажилладаг байсан ч шаардлагагүй овоолгын даралтыг бууруулж, ажиллах хугацааг илүү эрчимтэй оновчтой болгох загваруудыг ашиглаж болно.

1. Утгын төрлийг лавлагааны төрлөөс илүүд үзнэ үүХэл нь тэдгээрийг дэмждэг. C# хэл дээр байнга үүсгэгддэг жижиг объектуудад class-ын оронд struct-г ашиглах нь тэдгээрийг стек дээр хадгалдаг. Go горимд жижиг бүтцийг заагчаар бус утгаараа дамжуулснаар ижил үр дүнд хүрнэ.
2. Нягт гогцоонд хуваарилахаас зайлсхий. Буферүүдийг урьдчилан хуваарилж, давталтуудад дахин ашиглаарай. Хэрэв танд 100,000 удаа давталтын дотор түр зуурын зүсмэл эсвэл массив хэрэгтэй бол үүнийг давталтын өмнө нэг удаа хуваарилж, давталт бүрт дахин тохируулаарай.
3. Байнга үүсгэгддэг болон устгадаг объектуудад объектын нэгтгэлийг ашиглана уу. Өгөгдлийн сангийн холболтын сангууд нь сонгодог жишээ боловч энэ загвар нь HTTP хүсэлтийн объект, цуваачлалын буфер болон тооцооллын контекст бүтцэд адилхан хэрэгжинэ.
4. Оновчлохын өмнө профайл. Go-н pprof, Java-н async-profiler эсвэл PHP-ийн Blackfire зэрэг хэрэгслүүд нь яг хаана хуваарилагдаж байгааг тодорхойлж чадна. Өгөгдлийг профайлгүйгээр оновчтой болгох нь ховор тохиолддог хүйтэн замд хүчин чармайлт гаргах эрсдэлтэй.
5. Арена хуваарилагчийг багц үйлдлээр ашиглаарай. 500 нэхэмжлэх үүсгэх эсвэл 10,000 харилцагч импортлох гэх мэт багц бичлэгүүдийг боловсруулах үед арена хуваарилагч нь санах ойн нэг том блокыг шүүрэн авч, стек шиг хурдтайгаар илгээж, дараа нь багцыг бүхэлд нь нэг дор чөлөөлнө
.

Эдгээр стратеги нь зөвхөн онолынх биш. SaaS платформууд бодит ажлын ачааллыг зохицуулах үед - сар бүр нэхэмжлэх гаргадаг жижиг бизнес эрхлэгч, 200 ажилтны цалингийн жагсаалт ажиллуулдаг хүний нөөцийн менежер, сувгуудаар кампанит ажлын гүйцэтгэлд дүн шинжилгээ хийдэг маркетингийн баг - санах ойн үр ашигтай удирдлагын хуримтлагдсан үр нөлөө нь юу болж байгааг хэзээ ч бодож байгаагүй ч хэрэглэгчид мэдэрдэг илүү хурдан, илүү мэдрэмжтэй туршлага юм.

Гүйцэтгэлийг ухамсарласан программ хангамжийг өргөн хүрээнд бий болгох

Стекийн хуваарилалт нь илүү том гүйцэтгэлийн оньсогоын нэг хэсэг боловч үндсэн суурь юм. Санах ой хамгийн доод түвшинд хэрхэн ажилладагийг ойлгох нь инженерүүдэд өгөгдлийн бүтцийг сонгох, API дизайн хийхээс эхлээд дэд бүтцийг тохируулах, чингэлэг үйлчилгээнд нөөцийн хязгаарлалт тогтоох хүртэл стекийн давхарга бүрт илүү сайн шийдвэр гаргахад шаардлагатай оюуны загваруудыг өгдөг.

Өдөр тутмын үйл ажиллагаагаа явуулахын тулд Mewayz гэх мэт платформ дээр тулгуурладаг бизнесүүдийн хувьд эдгээр инженерчлэлийн шийдвэрийн үр ашиг нь бодитой юм: хуудас илүү хурдан ачаалагдах, илүү зөөлөн харилцан үйлчлэл, хамгийн их ачаалалтай үед систем доройтохгүй гэсэн итгэл. Захиалгын модуль нь олон арван хуанли дээр байгаа эсэхийг бодит цаг хугацаанд шалгах шаардлагатай үед эсвэл аналитик хяналтын самбар нь олон бизнесийн нэгжийн өгөгдлийг нэгтгэдэг бол санах ойн үндсэн стратеги нь ихэнх хэрэглэгчдийн төсөөлж байгаагаас илүү чухал юм.

Хамгийн сайн программ хангамжийг бүтээгчид нь үл үзэгдэх нарийн ширийн зүйлийг их хэмжээгээр шингээж өгсөн тул ашиглахад хялбар байдаг. Стекийн хуваарилалт нь хурдан, тодорхойлогддог, энгийн байдлаараа гоёмсог бөгөөд та анхны хөтөлбөрөө бичиж байгаа эсвэл дэлхий даяарх олон мянган бизнест үйлчилдэг платформ зохион бүтээж байгаа эсэхээс үл хамааран гүн гүнзгий ойлгох ёстой нарийн ширийн зүйлсийн нэг юм.

Байнга асуудаг асуултууд

Стекийн хуваарилалт гэж юу вэ, энэ нь яагаад чухал вэ?

Стекийн хуваарилалт нь санах ойн удирдлагын стратеги бөгөөд өгөгдлийг програмын гүйцэтгэлийн урсгалаар автоматаар удирддаг хамгийн сүүлд орж ирдэг, хамгийн түрүүнд гаргадаг бүтцэд хадгалдаг. Энэ нь чухал ач холбогдолтой, учир нь стекээр хуваарилагдсан санах ой нь овоолгын хуваарилалтаас хамаагүй хурдан байдаг - хог цуглуулагчийн ачаалал байхгүй, хуваагдал байхгүй, функц буцаж ирэхэд шууд хуваарилалт хийгддэг. Гүйцэтгэлд чухал ач холбогдолтой програмуудын хувьд стек хуваарилалтыг ойлгох нь хоцролтыг эрс багасгаж, дамжуулах чадварыг сайжруулна.

Би хэзээ овоолгын хуваарилалт дээр стек хуваарилалтыг ашиглах ёстой вэ?

Орон нутгийн бүхэл тоо, бүтэц, тогтмол хэмжээний массив зэрэг эмхэтгэх үед тодорхой хэмжээтэй жижиг, богино хугацааны хувьсагчид стек хуваарилалтыг ашиглана уу. Нуруулсны хуваарилалт нь том өгөгдлийн бүтэц, динамик хэмжээтэй цуглуулгууд эсвэл тэдгээрийг үүсгэсэн функцээс илүү наслах шаардлагатай объектуудад илүү тохиромжтой. Гол дүрэм: хэрэв өгөгдлийн ашиглалтын хугацаа нь функцийн хамрах хүрээтэй тохирч, хэмжээ нь урьдчилан таамаглах боломжтой бол стек нь бараг үргэлж илүү хурдан сонголт байх болно.

Үйлдвэрлэлийн программуудад стек халих алдаанаас сэргийлэх боломжтой юу?

Тийм ээ, инженерчлэлийн сахилга баттай дадлага хийснээр стек халих алдаанаас урьдчилан сэргийлэх боломжтой. Гүнзгий эсвэл хязгааргүй рекурсаас зайлсхийж, орон нутгийн хувьсагчийн том хуваарилалтыг хязгаарлаж, боломжтой бол давтагдах алгоритмуудыг ашигла. Ихэнх хэл болон үйлдлийн системүүд нь стекийн хэмжээ хязгаарыг тохируулах боломжийг танд олгодог. Сард 19 доллараар үнэлэгддэг 207 модуль бүхий бизнесийн үйлдлийн систем болох Mewayz зэрэг хяналтын хэрэгсэл болон платформын шийдлүүд нь багуудад програмын эрүүл мэндийг хянах, гүйцэтгэлийн регрессийг эрт илрүүлэхэд тусална.

Орчин үеийн хэлүүд стек хуваарилалтаас ашиг тустай хэвээр байна уу?

Мэдээж. Go, Rust, C#, Java зэрэг удирддаг ажиллах хугацаатай хэлүүд ч гэсэн хувьсагчдыг овоолгын оронд стекээр хуваарилах боломжтой эсэхийг тодорхойлохын тулд escape шинжилгээг ашигладаг. Rust нь өмчлөлийн загвараараа стекийн эхний хуваарилалтыг хэрэгжүүлдэг бөгөөд Go-ийн хөрвүүлэгч нь үүнийг эрчимтэй оновчтой болгодог. Эдгээр механикийг ойлгосноор хөгжүүлэгчид хөрвүүлэгчид илүү үр дүнтэй оновчтой болгох код бичихэд тусалдаг бөгөөд ингэснээр санах ойн хэрэглээ багасч, гүйцэтгэх хугацаа хурдан болно.