Google компани KataOS үйлдлийн системийг эхлүүлж байгаагаа зарласан бөгөөд зорилго нь суулгагдсан төхөөрөмжүүдийн аюулгүй байдлын системийг хангах явдал юм. Орчин үед хүрээлэн буй орчноос мэдээлэл цуглуулж, боловсруулдаг ухаалаг төхөөрөмжүүд улам бүр нэмэгдэж байна. Google-ийн үзэж байгаагаар эдгээр төхөөрөмжүүд аюулгүй байдлын асуудалд илүү өртөмтгий байдаг.
Тиймээс суулгагдсан техник хангамжийн найдвартай хамгаалалт бүхий энгийн шийдэл хэрэгтэй байна. Хэрэв та бидний эргэн тойрон дахь төхөөрөмжүүд өгөгдлийг аюулгүй байлгадаг гэдгийг математикийн аргаар баталж чадахгүй бол энэ нь төвөг учруулдаг. Учир нь тэдний цуглуулсан мэдээлэл гадны халдлагад өртөмтгий байж болзошгүй. Энэ нь зураг, дуут бичлэг, видео болон бусад өгөгдлийг хортой програмаар хулгайлж болно гэсэн үг юм. Энэ нь Google яагаад KataOS-ийг нэвтрүүлэх болсон шалтгаан юм.
Мэдээллийн дагуу seL4-ийг KataOS-ийн микро цөм болгон сонгосон. Энэ нь аюулгүй, хувийн, хүртээмжтэй болох нь батлагдсан. Бүрэн бүтэн байдлын түвшин өндөр бөгөөд хэрэглэгчид хамгаалалтанд итгэлтэй байж болно. seL4 CAmkES тогтолцооны ачаар KataOS нь тодорхойлсон, дүн шинжилгээ хийсэн системийн бүрэлдэхүүн хэсгүүдийг хангах боломжтой. KataOS нь найдвартай аюулгүй системийг хангадаг. Програмууд цөмийн техник хангамжийн хамгаалалтыг эвдэж чадахгүй тул хэрэглэгчийн нууцлалыг хамгаалдаг. Нэмж дурдахад системийн модулиуд нь аюулгүй байдлыг баталгаажуулсан. Нэмж дурдахад KataOS нь Rust дээр бараг бүхэлдээ хэрэгждэг. Энэ нь нэг нэгээргүй алдаа, буфер халих зэрэг бүх төрлийн алдааг арилгадаг хэл юм.
Google-ийн KataOS-ийн анхны нээлттэй эхийн хувилбар GitHub дээр гарч ирсэн бөгөөд KataOS-ийн ихэнх үндсэн модулиудыг агуулсан:
- Rust-д зориулсан Frameworks (жишээ нь sel4 syscall API-г хангадаг sel4 syscall)
- Rust дээр бичигдсэн өөр эх сервер (системийн хэмжээнд санах ойн динамик удирдлагад шаардлагатай)
- Root серверийн ашигладаг санах ойг буцаахын тулд sel4 цөмд өөрчлөлт оруулав.
Google мөн Antmicro-тэй ажилладаг. Эдгээр харилцаа нь зорилтот техник хангамжид зориулж Renode-ээр дамжуулан GDB дибаг хийх, эмуляц хийх боломжийг олгоно. Дотооддоо KataOS нь гуравдагч талын програмуудыг динамикаар ачаалж, эхлүүлэх чадвартай. Энэ нь CAmkES хүрээнээс гадуур бүтээгдсэн програмуудыг ч ажиллуулдаг. Одоогоор Github дээрх код нь эдгээр програмуудыг ажиллуулахад шаардлагатай модулиудыг агуулаагүй байна. Гэсэн хэдий ч Google эдгээр үйлдлүүдийг ойрын ирээдүйд гаргана гэж найдаж байна.
Google мөн Sparrow нэртэй KataOS-д зориулсан лавлагаа хэрэгжүүлэлтийг бий болгосон. Sparrow-г бүтээсэн шалтгаан нь аюулгүй орчны системийг бүрэн харуулах явдал юм. Энэ нь аюулгүй техник хангамжийн платформ бүхий KataOS ашигладаг. Sparrow нь RISC-V архитектур дээр OpenTitan-аар бүтээгдсэн найдвартай найдвартай үндэсийг агуулдаг. Энэ нь үйлдлийн системийн аюулгүй цөмөөс гадна юм. Гэсэн хэдий ч, KataOS-ийн анхны хувилбарын хувьд Google QEMU эмуляцийг ашиглахаар төлөвлөж байна. Энэ эмуляцийг илүү стандарт 64 битийн ARM системийг ажиллуулахад ашиглах болно.
Та Украинд Оросын түрэмгийлэгчдийн эсрэг тэмцэхэд тусалж чадна. Үүнийг хийх хамгийн сайн арга бол Украины Зэвсэгт хүчинд мөнгө хандивлах явдал юм Амьдралыг аврах эсвэл албан ёсны хуудсаар дамжуулан NBU.
Мөн сонирхолтой: