Open Se Cura adalah untuk membangunkan satu set alat reka bentuk sumber terbuka dan perpustakaan IP
Baru-baru ini Google melancarkan melalui catatan blog, pelancaran projek baharu, yang dinamakan Buka Se Cura, yang objektifnya memudahkan penciptaan cip selamat yang direka untuk menyelesaikan masalah berkaitan el pembelajaran mesin dan kecerdasan buatan.
Disebutkan bahawa antara kawasan aplikasi Open Se Cura, adalah cip khusus yang memerlukan tahap perlindungan khas dan pengesahan ketiadaan kegagalan. Sebagai contoh, platform boleh digunakan dalam produk pembelajaran mesin yang berkaitan dengan pemprosesan maklumat sensitif, seperti sistem untuk mengenali orang dan memproses rakaman suara.
Sebelum ini dikenali secara dalaman sebagai Project Sparrow, Project Open Se Cura adalah bukti komitmen kami terhadap pembangunan sumber terbuka. Matlamat kami dengan Open Se Cura adalah untuk membangunkan satu set alatan reka bentuk sumber terbuka dan perpustakaan IP yang akan mempercepatkan pembangunan sistem lengkap dengan beban kerja pembelajaran mesin melalui reka bentuk bersama dan pembangunan. Ini akan membolehkan kami memfokuskan reka bentuk sistem dengan lebih baik di sekitar keselamatan, kecekapan dan kebolehskalaan, menjana pengalaman AI generasi akan datang.
Mengenai Open Se Cura
Buka Se Cura mempunyai di bawah tudungnya, sistem pengendalian CantripOS, manakala di bahagian perkakasan, ia adalah berdasarkan platform OpenTitan dan teras pemproses berdasarkan seni bina RISC-V.
Sistem pengendalian CantripOS Ia berdasarkan kepada mikrokernel seL4, di mana persekitaran sistem berjalan ditulis dalam bahasa Rust. Dalam sistem RISC-V, bukti kebolehpercayaan matematik disediakan untuk mikrokernel seL4, menunjukkan bahawa kod itu memenuhi sepenuhnya spesifikasi yang dinyatakan dalam bahasa formal. Seni bina seL4 menonjol dengan menggerakkan bahagian untuk mengurus sumber kernel ke dalam ruang pengguna dan menggunakan alat kawalan akses yang sama untuk sumber tersebut seperti untuk sumber pengguna.
Mikrokernel tidak menyediakan abstraksi peringkat tinggi di luar kotak untuk mengurus fail, proses, sambungan rangkaian dan seumpamanya; sebaliknya, ia hanya menyediakan mekanisme yang minimum untuk mengawal akses kepada ruang alamat fizikal, gangguan dan sumber pemproses.
Abstraksi dan pengawal peringkat tinggi untuk berinteraksi dengan perkakasan dilaksanakan secara berasingan di atas mikrokernel dalam bentuk tugas peringkat pengguna. Akses tugas-tugas ini kepada sumber yang tersedia untuk mikrokernel diatur dengan menentukan peraturan.
Semua komponen sistem pengendalian, kecuali mikrokernel, pada asalnya ditulis dalam Rust menggunakan teknik pengaturcaraan selamat yang meminimumkan ralat apabila bekerja dengan memori. Antara lain, pemuat aplikasi dalam persekitaran seL4, perkhidmatan sistem, rangka kerja pembangunan aplikasi, API untuk mengakses panggilan sistem, pengurus proses dan mekanisme peruntukan memori dinamik ditulis dalam Rust.
Binaan disahkan menggunakan CAmkES, yang dibangunkan oleh projek seL4. Untuk membangunkan aplikasi akhir yang boleh dimuatkan secara dinamik oleh perkhidmatan sistem, adalah dicadangkan untuk menggunakan AmbiML SDK dan kit alat IREE (Intermediate Representation Execution Environment) untuk menjalankan model pembelajaran mesin. Komponen dan perkhidmatan sistem karat dibangunkan menggunakan rangka kerja Cantrip.
Akhirnya, ia adalah bernilai menyebut bahawa dalam pembangunan projek Bukan sahaja Google mengambil bahagian, sejak itu turut terlibat dalam pembangunan alat dan elemen infrastruktur, organisasi bukan untung lowRISC, yang menyelia pembangunan mikropemproses percuma berdasarkan seni bina RISC-V, serta syarikat Antmicro dan VeriSilicon.
Pemproses yang dibangunkan oleh lowRISC digunakan sebagai teras untuk membina komponen perkakasan yang dipercayai (Root of Trust). Antmicro menyediakan projek itu dengan simulator Renode yang membolehkan ujian CantripOS dan mikrokernel seL4 tanpa perkakasan sebenar. VeriSilicon berkongsi pengalamannya dalam bidang penciptaan cip dan pembangunan BSP (Board Support Package).
Jika anda berminat untuk mengetahui lebih lanjut mengenainya, anda harus tahu bahawa perkembangan projek, termasuk kod sumber perkhidmatan sistem dan skim RTL, Mereka diedarkan di bawah lesen Apache 2.0.
Fuente: https://opensource.googleblog.com