Vlákno názorů k článku
Linus relaxuje psaním assembleru od Oscar_Romero - Takže i Linus nepřímo uznává, že céčko (natožpak...

Takže i Linus nepřímo uznává, že céčko (natožpak C++) je ještě náročnější než assembler. Ta migrace na Rust by se měla urychlit...

pro rust v jadre stejne museli udelat alokator a zbytek uz je nezajimavy.

Čeká se na Rust v GCC.

Ne, jenom se v assembleru řeší o řády jednodušší problémy. Je mnohem jednodušší se podívat na pár instrukcí, které mají jasně daný vstup a výstup, než C kód, který má přímou návaznost na další desítky či stovky funkcí a nepřímou souvislost s dalším milionem řádků ve vyšším jazyce.

V programovani je nejvetsi problem rozhrani mezi zidli a klavesnici. A z pohledu bezpecnosti vas v assembleru prave nic moc nekontroluje.. a vlastne ani ten vstup se moc neresi - co tomu podstrcite, to to udela. To nemusi byt byt u kratkych specifickych rutin problem, ale cely kernel byste v tom psat nechtel ;-)

Byla doba, kdy se v tom nepsal jenom kernel, ale i veskery userpace :)

Ano, a take to byla doba kdy na vas nechodili vcelku sofistikovane DDoS z Ruska... kdyz uz jsme u tech srovnani :-)

Paradoxně v asm těch chyb člověk moc neudělá. Prostor pro chyby je minimální - sebemenší překlep nebo použití jiného registru/instrukce vyprodukuje přinejhorším špatný výsledek (SIMD) nebo crash (scalar kód). Odhalí to i úplně minimální testovací korpus. Takže základ je mít testy, nejlépe hodně hodně testů...

Já nedávno dělal na projektu, kde bylo asi 20k řádků AVX-512 kódu přímo v asm. Jeden z důvodů bylo použití speciální calling convention pro subrutiny, které ten AVX-512 kód volal (parametry v ZMM registrech, atd...) , což nebylo možné udělat v C++. A výsledek? Většina chyb byla v high-level kódu kolem toho. Pak se přešlo na JIT kompilaci pro některé části, a to bylo zase o něco zajímavější :)

Predevsim se tak dostavas k esenci programovani. Mas HW, mas nejaky jeho schopnosti a moznosti, a presne ty vyuzivas. Resis ciste algoritmus, a ne freekulinsky nesmysly.

To bys ale videl, kolik "programatoru" s tim ma naprosto neresitelny problem.

BTW: Pro hracicky, Stationeers - ma to virtualni CPU (ve hre se to jmenuje IC) a asm, defaultne je kod omezen na 128 radku (nikoli instrukci, pocitaji se i prazdne). A da se do toho napsat hromada veci. Existuje pro to i webovy emulator. https://stationeering.com/tools/ic

Jestli to spíš nebude tím, že když chcete vyladit nějaký konkrétní algoritmus přes nějaké konkrétní (třeba vektorové) instrukce, tak to žádný kompilátor nevymyslí (třeba memcpy přes registry FPU).

memcpy přes FPU registry (x87) je nostalgie...

Jinak memcpy, kde je známá velikost kompiler umí docela hezky