Rust v linuxovém jádru

V příspěvku Rust v linuxovém jádru na blogu Googlu věnovaném počítačové bezpečnosti se řeší podpora programovacího jazyka Rust pro psaní ovladačů linuxového jádra. Připraven je prototyp. Dění kolem Rustu v Linuxu lze sledovat na GitHubu (Rust for Linux).

16.4. 12:00 | Ladislav Hagara | Zajímavý článek

Komentáře

[Mayhem]

Ja bych chtel podporu javy. Rust je cool, ale java je java.

[Michal Kubeček]

Vtip tohoto komentáře plně vynikne až když si ho čtenář dá dohromady s nickem…

[Petr]

S javou jsem se naštěstí v praxi nikdy nesetkal. Ale kolují o ní legendy.

[Stop]

Já bych byl pro podporu Go.

[1]

Céčko s podporou konkurence a garbage collectorem? Myslím že zelená vlákna by při vývoji jádra neměla smysl a garbage collector by to jen zhoršil. Takže... Munice vystřílena.

[kralyk z abclinuxu]

Oni ty goroutiny by se v kernelu blbě používaly, protože mají vlastní stacky s vlastní calling konvencí, takže při volání do C se musí stacky přepínat a konvertovat calling convention a je to drahé...

[kralyk z abclinuxu]

Když jsem si v roce 2014 poprvé nainstaloval Rust kompilátor, hned mi bylo jasné, že to je ideální nástroj na zničení všeho konzervativního a dobrého (což jsou vlastně synonyma). Myslel jsem si ale, že naše progresivistická ofenzíva nahradit zavedené jazyky a postupy cool-znějícími, ale jinak naprosto příšernými nástroji bude trvat dlouhé dekády. No a teď to vypadá, že samotný linux bude zničen už během pár let! Pro nás všechny, kdo jsme v roce 2015 při vydání Rustu 1.0 přásahali smrt celému softwarovému průmyslu, je to úžasná zpráva.

---

Teď trochu vážněji. Pokud by někoho, kdo třeba Rust moc nezná, zajímalo, v čem jako má bejt tak supr, respektive v čem se liší od X předchozích pokusů nahradit C/C++, z mého pohledu to má dvě složky:

Tou hlavní je typový systém, který kombinuje Region-based memory management s affinními typy. To první zdědil Rust z málo známého jazyka Cyclone, to druhé je myšlenka známá už dlouho především v ML kruzích. Viz taky přednáška Simona P. Jonese na toto téma. Kombinace těchto dvou konceptů do výsledku, populárně známého jako "borrow checker", je zcela nová věc. Bohužel je tohle všechno velmi teoretické a abstraktní a bohužel nevím o nějakém víc "pop-sci" pojednání na toto téma. Což je škoda, protože tyhle koncepty mají podstatné praktické důsledky pro bezpečnost, výkon, korektnost atd. (popsano třeba v tom RFC).

Tou druhou, doplňující, složkou je velmi dobrý tooling. Například hlášky kompilátoru nebo systém generování dokumentace jsou IMO z nejlepších vůbec.

[_]

:D

[Bedňa]

Najprv si hovorím, že ti jeblo :)

Uvidíme ako bude napredovať Redox OS.

[(oYo)]

Připraven je prototyp.

69x unsafe, nice.