Open Se Cura は、オープンソース設計ツールと IP ライブラリのセットを開発することです
最近 Googleが発表 ブログ投稿を通じて、という名前の新しいプロジェクトを立ち上げます。 セキュラを開いて、 その目的は を目的として設計された安全なチップの作成を簡素化します。 e に関連する問題を解決するl 機械学習と人工知能。
Open Se Cura の応用分野の中には、特別なレベルの保護と障害がないことの確認を必要とする特殊なチップがあることが述べられています。 たとえば、このプラットフォームは、人物を認識したり音声録音を処理したりするシステムなど、機密情報の処理に関連する機械学習製品に使用できます。
以前は社内で Project Sparrow として知られていた Project Open Se Cura は、オープンソース開発に対する当社の取り組みの証です。 Open Se Cura での私たちの目標は、共同設計と開発を通じて機械学習ワークロードを備えた完全なシステムの開発を加速するオープンソース設計ツールと IP ライブラリのセットを開発することです。 これにより、セキュリティ、効率、拡張性を中心としたシステム設計に重点を置くことができ、次世代の AI エクスペリエンスを強化できるようになります。
Open Se Curaについて
オープンセキュラ 内部にはCantripOSオペレーティングシステムがあり、 ハードウェア側では、 OpenTitanプラットフォームに基づく アーキテクチャに基づいたプロセッサコア RISC-V。
CantripOS オペレーティング システム seL4 マイクロカーネルに基づいており、 システム環境が実行される上で Rust言語で書かれています。 RISC-V システムでは、seL4 マイクロカーネルの信頼性の数学的証明が提供され、コードが形式言語で指定された仕様を完全に満たしていることが示されます。 seL4 アーキテクチャは、カーネル リソースを管理する部分をユーザー空間に移動し、ユーザー リソースと同じアクセス制御ツールをそれらのリソースに適用することで際立っています。
マイクロカーネルは抽象化を提供しません ファイル、プロセス、ネットワーク接続などを管理するための高レベルのすぐに使える機能。 代わりに、最小限のメカニズムのみを提供します 物理アドレス空間、割り込み、プロセッサ リソースへのアクセスを制御します。
高レベルの抽象化とコントローラー ハードウェアと対話する 別々に実装される ユーザーレベルのタスクの形でマイクロカーネルの上にあります。 マイクロカーネルが利用できるリソースへのこれらのタスクのアクセスは、ルールを定義することによって組織されます。
マイクロカーネルを除くオペレーティング システムのすべてのコンポーネントは、メモリ操作時のエラーを最小限に抑える安全なプログラミング技術を使用して、もともと Rust で書かれています。 特に、seL4 環境のアプリケーション ローダー、システム サービス、アプリケーション開発フレームワーク、システム コールにアクセスするための API、プロセス マネージャー、および動的メモリ割り当てメカニズムは Rust で書かれています。
ビルドは CAmkES を使用して検証されます。 これは seL4 プロジェクトによって開発されました。 システム サービスによって動的にロードできるエンド アプリケーションを開発するには、AmbiML SDK と IREE (中間表現実行環境) ツールキットを使用して機械学習モデルを実行することが提案されています。 Rust システム コンポーネントとサービスは、Cantrip フレームワークを使用して開発されています。
最後に、プロジェクトの開発において言及する価値があるのは、 Googleだけが参加したわけではなく、 として も関わっていた ツールとインフラストラクチャ要素の開発では、非営利組織 低RISC、 RISC-Vアーキテクチャに基づく無償のマイクロプロセッサの開発を監督し、 Antmicro 社や VeriSilicon 社も同様です。
lowRISC によって開発されたプロセッサは、信頼できるハードウェア コンポーネント (Root of Trust) を構築するためのコアとして使用されました。 Antmicro は、実際のハードウェアを使用せずに CantripOS と seL4 マイクロカーネルをテストできる Renode シミュレーターをプロジェクトに提供しました。 VeriSilicon は、チップ作成と BSP (Board Support Package) 開発の分野での経験を共有しました。
もしあなたが それについてもっと知りたいシステム サービスや RTL スキームのソース コードを含むプロジェクト開発は、 これらは、Apache 2.0 ライセンスに基づいて配布されます。
出典 https://opensource.googleblog.com