JavaScript is currently disabled.Please enable it for a better experience of Jumi. Google släpper OS för maskininlärning

Sökjätten Google har tagit fram ett operativsystem för ett mycket specifikt avgränsat tillämpningsområde: maskininlärning i edge-system på arkitekturen Risc V med extra betoning på säkerhet. 

Kata OS (KataOS) heter det nya operativsystemet. Det baseras på mikrokärnan SEL4 för att bli extra säkert. Av samma skäl skrivs det i programspråket Rust.

Det är logiskt omöjligt att knäcka säkerheten i SEL4, enligt Google. Det är matematiskt bevisat att det fungerar enligt sin specifikation. 

Rust eliminerar några typer av vanligt förekommande buggar som drabbar den som programmerar i C. TIllsammans ska Rust och SEL4 ge konfidentialitet, integritet och tillgänglighet (det kraschar inte) till Kata OS.

Risc V är den hårdvaruplattform som prioriteras för stöd. Orsaken till detta är ”det ökade fokus” som Risc V får i industrin.

Kata OS är öppen källkod och finns att tanka hem på Github. Vill du veta mer om vad Kata OS är till för och hur det är konstruerat, så finns en blogg här (länk).

För tolv år sedan lät Elektroniktidningen professor Gernot Heiser, förklara hur han kunde hävda att hans SEL4 var buggfritt.

 

Prenumerera på Elektroniktidningens nyhetsbrev eller på vårt magasin.


MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Rainer Raitasuo

Rainer
Raitasuo

+46(0)734-171099 rainer@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)