Microsoft нь Веронагийн туршилтын төслийн нэг хэсэг юм Rust хэл дээр суурилсан шинэ програмчлалын хэл бөгөөд ердийн аюулгүй байдлын асуудалд өртөхгүй аюулгүй програмуудыг хөгжүүлэхэд чиглэгдсэн. Төсөлтэй холбоотой одоогийн хөгжлийн эх сурвалжуудыг ойрын ирээдүйд гаргахаар төлөвлөж байна Apache 2.0 дагуу лицензтэй.
C болон C++ хэлийг ашиглах үед гарч болзошгүй асуудлуудыг хаахын тулд Windows-ийн доод түвшний бүрэлдэхүүн хэсгүүдийг боловсруулахад зориулж боловсруулж буй хэлийг ашиглах чадвар. Кодын аюулгүй байдал нь санах ойн автомат удирдлагын тусламжтайгаар сайжруулсан бөгөөд энэ нь хөгжүүлэгчид заагчийг удирдах хэрэгцээг арилгадаг бөгөөд санах ойн доод түвшний өөрчлөлтөөс үүдэн гарах үнэгүй хандалт, хоосон заагч, буфер хэт ачаалал гэх мэт асуудлаас хамгаалдаг.
Verona болон Rust хоёрын гол ялгаа нь загварыг ашиглах явдал юм гэхээсээ илүү объектуудын бүлэгт тулгуурласан . Верона дахь өгөгдлийг объектуудын цуглуулга болох бүтэц гэж үздэг. Зээлийн шалгалт, өмчлөлийн шалгалтыг хэсэг бүлэг объектуудтай холбон гүйцэтгэдэг бөгөөд энэ нь нийлмэл бүтцийг удирдах үед аюулгүй байдлыг хангахад тусалдаг бөгөөд ихэвчлэн хөгжүүлэлтэд ашигладаг хийсвэрлэлийн түвшинг илүү сайн тусгадаг.
Эх сурвалж: opennet.ru