Open Se Cura ще разработи набор от инструменти за проектиране с отворен код и IP библиотеки
наскоро Google представи чрез публикация в блог, стартирането на нов проект, който е наз Отворете Se Cura, чиято цел е опростете създаването на сигурни чипове, предназначени да решаване на проблеми, свързани с el машинно обучение и изкуствен интелект.
Споменава се, че сред областите на приложение на Open Se Cura са специализирани чипове, които изискват специално ниво на защита и потвърждение за липсата на повреди. Например платформата може да се използва в продукти за машинно обучение, свързани с обработката на чувствителна информация, като системи за разпознаване на хора и обработка на гласови записи.
По-рано известен вътрешно като Project Sparrow, Project Open Se Cura е доказателство за нашия ангажимент към разработката с отворен код. Нашата цел с Open Se Cura е да разработим набор от инструменти за проектиране с отворен код и IP библиотеки, които ще ускорят разработването на цялостни системи с натоварвания от машинно обучение чрез съвместно проектиране и разработка. Това ще ни позволи да фокусираме по-добре дизайна на системата около сигурността, ефективността и скалируемостта, задвижвайки следващото поколение AI преживявания.
Относно Open Se Cura
Отворете Se Cura има под капака си операционната система CantripOS, докато от страна на хардуера е така базиран на платформата OpenTitan и процесорно ядро, базирано на архитектурата RISC-V.
Операционната система CantripOS Базиран е на микроядрото seL4, на която работи системна среда написана на език Rust. В системите RISC-V е осигурено математическо доказателство за надеждност за микроядрото seL4, което показва, че кодът напълно отговаря на спецификациите, посочени във официалния език. Архитектурата seL4 се отличава с преместването на части за управление на ресурсите на ядрото в потребителското пространство и прилагането на същите инструменти за контрол на достъпа за тези ресурси, както за потребителските ресурси.
Микроядрото не предоставя абстракции високо ниво извън кутията за управление на файлове, процеси, мрежови връзки и други подобни; вместо това предоставя само минимални механизми за контролиране на достъпа до физическо адресно пространство, прекъсвания и ресурси на процесора.
Абстракции и контролери на високо ниво за взаимодействие с хардуера се изпълняват отделно върху микроядрото под формата на задачи на потребителско ниво. Достъпът на тези задачи до наличните ресурси на микроядрото е организиран чрез дефиниране на правила.
Всички компоненти на операционната система, с изключение на микроядрото, първоначално са написани на Rust, като се използват техники за безопасно програмиране, които минимизират грешките при работа с памет. Освен всичко друго, товарач на приложения в средата seL4, системни услуги, рамка за разработка на приложения, API за достъп до системни повиквания, мениджър на процеси и механизъм за динамично разпределение на паметта са написани на Rust.
Изграждането е проверено с помощта на CAmkES, който е разработен от проекта seL4. За разработване на крайни приложения, които могат да се зареждат динамично от системни услуги, се предлага да се използва AmbiML SDK и IREE (Intermediate Representation Execution Environment) инструментариум за изпълнение на модели за машинно обучение. Системните компоненти и услуги на Rust са разработени с помощта на рамки на Cantrip.
И накрая, заслужава да се спомене, че в развитието на проекта Не само Google участва, като също беше замесен в разработването на инструменти и инфраструктурни елементи, организацията с нестопанска цел нисък RISC, който контролира разработването на безплатен микропроцесор, базиран на архитектурата RISC-V, както и компаниите Antmicro и VeriSilicon.
Процесорът, разработен от lowRISC, беше използван като ядро за изграждане на надеждни хардуерни компоненти (Root of Trust). Antmicro предостави на проекта симулатор Renode, който позволява тестване на CantripOS и микроядрото seL4 без реален хардуер. VeriSilicon сподели своя опит в областта на създаването на чипове и разработването на BSP (Board Support Package).
Ако сте заинтересовани да научите повече за това, трябва да знаете, че разработките на проекта, включително изходния код на системните услуги и RTL схемите, Те се разпространяват под лиценз Apache 2.0.
Fuente: https://opensource.googleblog.com