Open Se Cura, bir dizi açık kaynaklı tasarım aracı ve IP kütüphanesi geliştirecektir.
geçenlerde Google açıkladı bir blog yazısı aracılığıyla, adı verilen yeni bir projenin lansmanı Se Cura'yı açın, kimin amacı için tasarlanmış güvenli çiplerin oluşturulmasını basitleştirin e ile ilgili problemleri çözmakine öğrenimi ve yapay zeka.
Open Se Cura'nın uygulama alanları arasında, özel düzeyde koruma ve arıza olmadığının doğrulanması gerektiren özel çiplerin yer aldığı belirtiliyor. Örneğin platform, insanları tanıma ve ses kayıtlarını işleme sistemleri gibi hassas bilgilerin işlenmesiyle ilgili makine öğrenimi ürünlerinde kullanılabilir.
Eskiden şirket içinde Project Sparrow olarak bilinen Project Open Se Cura, açık kaynak geliştirmeye olan bağlılığımızın bir kanıtıdır. Open Se Cura ile hedefimiz, ortak tasarım ve geliştirme yoluyla makine öğrenimi iş yükleriyle komple sistemlerin geliştirilmesini hızlandıracak bir dizi açık kaynaklı tasarım aracı ve IP kütüphanesi geliştirmektir. Bu, sistem tasarımlarını güvenlik, verimlilik ve ölçeklenebilirlik etrafında daha iyi odaklamamıza olanak tanıyacak ve yeni nesil yapay zeka deneyimlerini güçlendirecek.
Open Se Cura Hakkında
Se Cura'yı açın başlığının altında CantripOS işletim sistemi var, donanım tarafında ise OpenTitan platformunu temel alıyor ve mimariyi temel alan bir işlemci çekirdeği RISC-V.
CantripOS işletim sistemi seL4 mikro çekirdeğini temel alır, bir sistem ortamının çalıştığı Rust dilinde yazılmıştır. RISC-V sistemlerinde seL4 mikro çekirdeği için kodun resmi dilde belirtilen spesifikasyonları tam olarak karşıladığını gösteren matematiksel bir güvenilirlik kanıtı sağlanır. seL4 mimarisi, çekirdek kaynaklarını yönetmeye yönelik parçaları kullanıcı alanına taşıması ve kullanıcı kaynakları için olduğu gibi bu kaynaklar için de aynı erişim kontrol araçlarını uygulamasıyla öne çıkıyor.
Mikro çekirdek soyutlamalar sağlamaz dosyaları, işlemleri, ağ bağlantılarını ve benzerlerini yönetmek için kullanıma hazır üst düzey; bunun yerine yalnızca minimum mekanizmalar sağlar fiziksel adres alanına, kesintilere ve işlemci kaynaklarına erişimi kontrol etmek için.
Üst düzey soyutlamalar ve denetleyiciler donanımla etkileşime geçmek ayrı ayrı uygulanır kullanıcı düzeyinde görevler biçiminde mikro çekirdeğin üstünde. Bu görevlerin mikro çekirdeğin kullanabileceği kaynaklara erişimi, kurallar tanımlanarak düzenlenir.
İşletim sisteminin mikro çekirdek hariç tüm bileşenleri, bellekle çalışırken hataları en aza indiren güvenli programlama teknikleri kullanılarak orijinal olarak Rust'ta yazılmıştır. Diğer şeylerin yanı sıra, seL4 ortamındaki bir uygulama yükleyicisi, sistem hizmetleri, bir uygulama geliştirme çerçevesi, sistem çağrılarına erişim için bir API, bir süreç yöneticisi ve bir dinamik bellek ayırma mekanizması Rust'ta yazılmıştır.
Derleme CAmkES kullanılarak doğrulanır, seL4 projesi tarafından geliştirilmiştir. Sistem hizmetleri tarafından dinamik olarak yüklenebilen son uygulamalar geliştirmek amacıyla makine öğrenimi modellerini çalıştırmak için AmbiML SDK'nın ve IREE (Ara Temsil Yürütme Ortamı) araç setinin kullanılması önerilmektedir. Rust sistem bileşenleri ve hizmetleri Cantrip çerçeveleri kullanılarak geliştirilmiştir.
Son olarak projenin geliştirilmesinde şunu belirtmekte fayda var. Yalnızca Google katılmadı, beri aynı zamanda dahil oldu araçların ve altyapı unsurlarının geliştirilmesinde kar amacı gütmeyen kuruluş düşükRISC, RISC-V mimarisine dayalı ücretsiz bir mikroişlemcinin gelişimini denetleyen, Antmicro ve VeriSilicon şirketlerinin yanı sıra.
LowRISC tarafından geliştirilen işlemci, güvenilir donanım bileşenleri (Güven Kökü) oluşturmak için çekirdek olarak kullanıldı. Antmicro, projeye CantripOS ve seL4 mikro çekirdeğinin gerçek donanım olmadan test edilmesine olanak tanıyan bir Renode simülatörü sağladı. VeriSilicon çip oluşturma ve BSP (Board Destek Paketi) geliştirme alanındaki deneyimlerini paylaştı.
Şekerleme onun hakkında daha fazla bilgi edinmekle ilgileniyor, sistem hizmetlerinin ve RTL şemalarının kaynak kodlarını içeren proje geliştirmelerinin, Apache 2.0 lisansı altında dağıtılmaktadır.
kaynak: https://opensource.googleblog.com