Syd: Rust [Видео] дээр програмын цөм бичих нь

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

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

Програмын цөм гэж яг юу вэ, энэ нь яагаад чухал вэ?

Програмын цөм нь хэрэглэгчийн орон зайн программ болон үйлдлийн системийн хооронд байрлаж, системийн дуудлагын хаалганы хамгаалагчийн үүргийг гүйцэтгэдэг. Бүрэн үйлдлийн системийн цөмөөс ялгаатай нь энэ нь хамгаалагдсан хязгаарлагдмал орчинд төвлөрдөг бөгөөд энэ нь тодорхой программын хандах, өөрчлөх эсвэл ажиллуулах боломжийг хязгаарладаг. Syd энэ үзэл баримтлалыг хүлээн авч, бүх ангиллын эмзэг байдлыг арилгахын тулд хэлний эзэмшлийн загвар болон санах ойн аюулгүй байдлын баталгааг ашиглан Rust-д бүхэлд нь хэрэгжүүлдэг.

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

Яагаад Rust нь аюулгүй байдлын чухал дэд бүтцийн хэл болж байна вэ?

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

• Тэг өртөгтэй хийсвэрлэлүүд: Өндөр түвшний загваруудыг үр ашигтай машины код болгон хөрвүүлдэг тул хөгжүүлэгчид унших чадвар, аюулгүй байдлын төлөө гүйцэтгэлийг золиослохгүй.
• Өмчлөх ба зээл авах: Хөрвүүлэгч нь код ажиллахаас өмнө өгөгдлийн уралдаан болон унжсан заагчаас сэргийлж, системийн программ хангамжийн аюулгүй байдлын сул талуудын хамгийн түгээмэл эх үүсвэрийг арилгадаг.
• Айдасгүй зэрэгцэн оршдог: Syd нь C болон C++-ийн хэрэгжилтэд саад учруулж буй аюулгүй байдлын алдаануудгүйгээр олон хамгаалагдсан хязгаарлагдмал процессуудыг нэгэн зэрэг зохицуулдаг.
• Баян төрлийн систем: Инвариантуудыг төрлөөр нь кодлох нь үйлдвэрлэлийн явцад бус эмхэтгэх явцад олон логик алдаа гарч, нарийн төвөгтэй системийг удирдаж буй багуудын үйл ажиллагааны ачааллыг бууруулдаг гэсэн үг юм.
• Өсөн нэмэгдэж буй экосистем: Seccomp, ptrace болон Linux нэрийн зайн менежментэд зориулсан хайрцагнууд нь Rust-ийг цөмийн зэргэлдээ хөгжүүлэлтэд илүү практик болгодог.

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

Syd-ийн архитектур нь бизнесийн програм хангамжийн аюулгүй байдлыг хэрхэн хөрвүүлдэг вэ?

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

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

Хөгжлийн багууд цөмийн түвшний инженерчлэлээс юу сурч болох вэ?

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

Видео нь Rust-ийн хэрэгсэл болох Clippy нь хөвөн хатгахад, Мири нь тодорхойгүй зан төлөвийг илрүүлэхэд, мөн автоматжуулсан бүдэг бадаг тест хийхэд зориулагдсан ачааны fuzz-ууд нь алдааг эрт, олон удаа илрүүлдэг хөгжүүлэлтийн ажлын урсгалыг хэрхэн бий болгож байгааг онцлон харуулж байна. Цөмийн модуль эсвэл бизнесийн автоматжуулалтын хөдөлгүүр барьж байгаа эсэхээс үл хамааран эдгээр ижил хэрэгсэл, дадлага нь Rust-ийн аливаа төсөлд ашиглах боломжтой. CRM, санхүү, хүний ​​нөөц, бараа материал, төслийн удирдлагын модулиудын үйл ажиллагааг удирдаж буй багууд энэ түвшний анхаарал халамжаар баригдсан дэд бүтцээс асар их ашиг тус хүртдэг.

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

Syd гэж юу вэ, ямар асуудлыг шийддэг вэ?

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

Би програмын цөмийн ойлголтуудыг ойлгохын тулд Rust-ийг мэдэх шаардлагатай юу?

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

Эдгээр доод түвшний аюулгүй байдлын үзэл баримтлал нь SaaS бизнесийн платформд хэрхэн хамаатай вэ?

Syd-д үзүүлсэн зарчим бүр нь хэрэглээний түвшний аюулгүй байдлыг хангадаг. Тусгаарлалтын зураглалыг олон түрээслэгчийн платформ дахь түрээслэгчийн тусгаарлалт руу боловсруулна. Системийн дуудлагын шүүлтүүр нь API хүсэлтийн баталгаажуулалт болон зөвшөөрлийн хэрэгжилттэй зэрэгцдэг. Видеонд үзүүлсэн хамгаалалтын гүнзгий стратеги нь Mewayz гэх мэт платформууд санхүү, үйл ажиллагаа, хүний нөөц, хэрэглэгчийн менежментийг хамарсан модулиудын хүрээнд бизнесийн эмзэг мэдээллийг хэрхэн хамгаалж, хэрэглэгч, баг, байгууллага бүр зөвхөн үзэх эрхтэй зүйлдээ хандах боломжийг баталгаажуулдаг.

Аюулгүй байдал, найдвартай байдал нь дараачийн санаа биш, инженерийн үндэс суурь юм. Та цөмийн түвшинд хамгаалагдсан хязгаарлагдмал орчинд ажилладаг процессууд эсвэл нэгдсэн модулиудаар бүхэл бүтэн бизнесийн үйл ажиллагааг удирдаж байгаа эсэхээс үл хамааран зарчим ижил хэвээр байна. Байгууллагын түвшний аюулгүй байдал, үйл ажиллагааны гүнд суурилсан платформ дээр бизнесээ явуулахад бэлэн үү? Өнөөдөр Mewayz-ийн үнэгүй туршилтыг эхлүүлээрэй ба 207 нэгдсэн модулиуд нь CRM-аас нягтлан бодох бүртгэл, төслийн удирдлага, хүний ​​нөөц зэрэг бүх зүйлийг хэрхэн хялбарчилж болохыг олж мэдээрэй.