KataOS, sistimi e bulehileng ea Google ea lisebelisoa tse kentsoeng tse shebaneng le ts'ireletso

KataOSGoogle

Sepheo ke ho theha litsamaiso tse sireletsehileng tse ka netefatsoang bakeng sa lisebelisoa tse kentsoeng kapa lisebelisoa tsa peripheral

Google e sa tsoa lokolloa ka poso ea blog ho KataOS, sistimi e sebetsang e shebaneng le lisebelisoa tse kentsoeng ho tsamaisa meroalo ea ho ithuta ka mochini. KataOS e etselitsoe ho ba e tsepamisitse maikutlo hodima tshireletseho, kaha e sebelisa puo ea lenaneo la Rust 'me e thehiloe ho seL4 microkernel e le motheo.

KataOS e etselitsoe hore e sebelisoe hammoho le palo e ntseng e eketseha ea lisebelisoa tse hokahaneng, e shebane haholo le lisebelisoa tse kentsoeng tse tsamaisang lits'ebetso tsa ho ithuta ka mochini. Ka lebaka la ts'ebetso e ntseng e hola ea indasteri ea RISC-V, meralo ena ea processor ke sepheo sa mantlha sa tšehetso bakeng sa KataOS.

Mabapi le KataOS

Google e hlahisitse sistimi ea eona ea ts'ebetso ea KataOS, e ntseng e tsoela pele, eo sepheo sa eona e leng ho fana ka sistimi ea ts'ireletso bakeng sa lisebelisoa tse kentsoeng.

O bolela hore e hlahile ho tloha ponong, ka lebaka la tlhokahalo ea ho sebetsa morerong oa mofuta ona, «lisebelisoa tse ngata tse hokahaneng li ntse li rekisoa tse bokellang le ho sebetsana le litaba tsa tikoloho«. Leha ho le joalo, Ho latela Google, lisebelisoa tsena li ka ba le mathata a ts'ireletso. Khamphani e bontša, ka mohlala, hore data eo lisebelisoa tsena li e bokellang e ka ba tlokotsing ho bahlaseli ba kantle. Sena se bolela hore livaerase li ka utsoa linepe, lirekoto tsa molumo le lintlha tse ling.

Ho qala ho sebelisana le ba bang, re butse likarolo tse 'maloa tsa sistimi ea rona e sireletsehileng ea ts'ebetso, e bitsoang KataOS, ho GitHub, hammoho le tšebelisano 'moho le Antmicro ho simulator ea bona ea Renode le meralo e amanang le eona. E le motheo oa sistimi ena e ncha ea ts'ebetso, re khethile seL4 joalo ka microkernel hobane e beha ts'ireletso pele; e netefalitsoe ka lipalo hore e bolokehile, e na le lekunutu le tiisitsoeng, botšepehi, le ho fumaneha.

Ho Google, tharollo e bonolo ea ho sebetsana le sena e ka ba sistimi e sireletsehileng e netefalitsoeng bakeng sa lisebelisoa tsa kahare. Hobane? Tšireletso ea tsamaiso e atisa ho tšoaroa e le karolo ea software e ka kenyelletsoang lits'ebetsong tse teng kapa tsa rarolloa ka karolo e eketsehileng ea hardware ea ASIC, eo hangata e sa lekaneng. Ke maemong ana moo KataOS e hlahileng.

Google e boetse e sebelisana le Antmicro. Mokhatlo e tla etsisa le ho lokisa GDB ho lisebelisoa tse shebiloeng tse sebelisang Renode. Ka hare, KataOS e na le bokhoni ba ho kenya le ho tsamaisa mananeo a motho oa boraro ka matla. Esita le mananeo a entsoeng ka ntle ho moralo oa CAmkES a ka sebetsa moo. Likarolo tse hlokahalang ho tsamaisa lits'ebetso tsena ha li so fumanehe mohloling oa Github. Leha ho le joalo, Google e ikemiselitse ho etsa hore lits'ebetso tsena li fumanehe haufinyane.

Ka lebaka la moralo oa seL4 CAmkES, re ka boela ra fana ka likarolo tsa tsamaiso tse hlalositsoeng ka mokhoa o tsitsitseng le tse arolelanoang. KataOS e fana ka sethala se sireletsehileng se sireletsehileng se sirelletsang boinotši ba basebelisi hobane hoa utloahala hore lits'ebetso li tlole ts'ireletso ea kernel hardware mme likarolo tsa sistimi li bolokehile ka mokhoa o hlakileng. KataOS e batla e kentsoe ts'ebetsong ka botlalo ho Rust, e fanang ka sebaka se tiileng sa ho qala ts'ireletso ea software ka ho tlosa lihlopha tsohle tsa likokoana-hloko, joalo ka liphoso tse le 'ngoe le ho phatloha ho hoholo.

Google e boetse e thehile ts'ebetsong ea litšupiso bakeng sa KataOS e bitsoang Sparrow. Lebaka la Serobele ke ho pepesa ka botlalo tsamaiso e sireletsehileng ea tikoloho.

Sebelisa KataOS ka sethala se sireletsehileng sa lisebelisoa, joalo ka serobele se kenyelletsa motso o sireletsehileng oa ts'epo o hahiloeng ka OpenTitan moahong oa RISC-V. Sena se eketsa karolo ea mantlha ea sistimi e sireletsehileng ea ts'ebetso. Leha ho le joalo, bakeng sa tokollo ea pele ea KataOS, Google e ikemiselitse ho sebelisa mohlala oa QEMU. U tla sebelisa mohlala ona ho tsamaisa sistimi e tloaelehileng ea 64-bit ARM.

Qetellong Bakeng sa ba nang le thahasello, ba lokela ho tseba seo morero ona o lutse ho GitHub 'me hajoale ke sebaka sa polokelo e kenyelletsa boholo ba likarolo tse kholo ea KataOS, ho kenyelletsa le meralo eo re e sebelisang bakeng sa Rust (joalo ka sel4-sys, e fanang ka seL4 system call APIs), seva e 'ngoe ea metso e ngotsoeng ka Rust (e hlokahalang bakeng sa taolo ea memori e matla ea sistimi), le liphetoho tsa kernel ho seL4. e ka khutlisang memori e sebelisoang ke motso oa seva.

U ka etela polokelo ea projeke ho sehokela se latelang.


E-ba oa pele ho fana ka maikutlo

Siea maikutlo a hau

aterese ya hao ya imeile ke ke ho phatlalatswa. masimo a hlokahala a tšoailoe ka *

*

*

  1. E ikarabella bakeng sa lintlha: AB Internet Networks 2008 SL
  2. Morero oa data: Laola SPAM, tsamaiso ea maikutlo.
  3. Molao: Tumello ea hau
  4. Puisano ea data: Lintlha li ke ke tsa tsebisoa batho ba boraro ntle le ka tlamo ea molao.
  5. Polokelo ea data: Database e hapiloeng ke Occentus Networks (EU)
  6. Litokelo: Nako efe kapa efe o ka fokotsa, oa hlaphoheloa mme oa hlakola tlhaiso-leseling ea hau.