Vlákno názorů ke zprávičce Rust 1.59 podporuje asembler přímo v kódu od MSBOSS - K čemu že je dobrý "bezpečný" programovací jazyk,...

K čemu že je dobrý "bezpečný" programovací jazyk, když si stejně můžu dělat, co chci, v assembleru?

Protože rust na mcu. A co chcete můžete dělat už v unsafe.

Nebo zavolat knihovnu napsanou v C. Což se momentálně v Rustu často děje.

Tohle je na Rustu fajn, C FFI je “zero cost”. Osobně se unsafe a knihovnám v C vyhýbám jak čert kříži, ale když není zbytí, jde to hladce.

A k čemu je to teda dobrý na MCU? Na MCU potřebuju většinu času dělat něco "unsafe", navíc MCU stejně nemá MMU a podobný blbiny, takže bezpečný jazyk na to v zásadě existovat nemůže.

Co staré dobré "lépe se to píše".

Právě proto, že nemáte MMU, potřebujete provést co nejvíc důkazů správnosti už během překladu. Protože v runtime vás už nic nezachrání.

Nejde jen o paměť, Rust řeší i věci jako nastavení periferií, problémy jako že nějaká funkce někde změní režim GPIO a jiná přestane fungovat jsou eliminovány.

K čemu je dobrá střecha, když občas musím ven, i když prší?

25. 2. 2022, 12:07 editováno autorem komentáře

Lepší je spolehnout se na stdlib, jinak můžu stejně “bezpečně” použít C++.

To můžete vždycky. Např. Go pokud vím syntaxi pro inline assembler nemá, ale není problém napsat něco v assembleru, přeložit to zvlášť a pak to slinkovat.

Jo, v Go se dají míchat soubory v Go, C a asm v rámci jednoho buildu. Ale nebývá to dobrý nápad, pokud člověk nepíše něco hodně specifického třeba pro AVX-512 nebo tak něco, protože Go občas kopíruje celé zásobníky a vůbec se chová divně (ve smyslu C ABI). To už je lepší volat třeba Fortran :)

Tak ono je vůbec problém míchat C nebo asm s jazyky, které používají GC. I když zrovna Fortran taky není ideálně kompatibilní, např. pokud si pamatuju (už je to strašně dávno), matice jsou tam uložené po sloupcích a ne po řádkách jako v C, což je taky dost velký opruz.

Jenže ty problémy v Go nijak nesouvisí s GC. Ani tam bych ale netvrdil takto obecně, že míchání C (potažmo C++ nebo Rustu) s jazyky s GC způsobuje problémy, některé knihovny/platformy to řeší poměrně rozumně a prakticky (namátkou C++/CLI, ObjC++, JSCore).

U Fortranu si už nepamatuju podrobnosti, ale není row-major jen volitelné?