Názory k článku Instrukční sady procesorových jader s otevřenou architekturou RISC-V (dokončení)

1. Koprocesory se opouštějí, spěje to k integraci koprocesorů jako standardní exekuční jednotky. Bylo by zajímavé zjistit, jakou cestu v RISC-V zvolili.

6. Quadruple hned tak nebude, není poptávka ze strany zákazníků. Ta ostatně není ani na 80-bit rozšíření 64-bit double, které mají k dispozici již 35 let.

7. Load-Reserved + Store-Conditional není podpora pro atomické instrukce, ale pro Lock-Elision a to je něco jiného. Funguje to tak, že jádro si načte cache line, provede v ní nějaké změny a ty se pokusí propagovat do dalších jader. Výsledkem operace je true/false, zda se to podařilo. Naproti tomu atomická operace skončí vždy úspěchem.

8. Sám pojem atomická operace je zmatečný, už děcka na základce se učí o štěpení atomů, proto je nutné ho rychle opustit :-)

8. Operace s uzamčenou pamětí. IMHO to vystihuje činnost lépe.

Spíš se mi nelíbí prohlašovat že podpora Store-Conditional je ekvivalentní/stačí k podpoře Lock-Elision. Alespoň v dnešní době si představuji takovou podporu trochu sofistikovanější, to je podporu monitorování většího rozsahu adres (transactional memory) a automatické přenesení toku instrukcí zpět/na druhou větev, pokud operace selže. Autoři RISC-V to vidí možná podobně, protože LR/SC je v sekci A atomic a pro instrukce s transakční pamětí rezervují rozšíření T.

Jednoduché LR/SC s těmi omezeními, která jsou (rozumně) specifikovaná (mezi LR/SC jen operace mezi registry), je opravdu dobré především pro konstrukci atomicky se jevících operací na úrovni SW. Z nich lze někdy/často vystavit operace pro lock-free algoritmy. Ale při délce rovné jen jednomu ukazateli je použitelnost omezená. Pokud by detekování kolize bylo garantované alespoň na řádku cache nebo 128 bitů (i třeba s omezením na zarovnání - ignorování posledních bitů adres), tak by šlo i k složitějším strukturám (prioritní fronty, stromy) použít. Ovšem muselo by být povolené provést na rozsah po LR provést alespoň jednu LW. Ale protože instrukční sadu nechtějí omezovat jen na čipy s cache a přidávat výjimky, tak garance na rozsah vetší než velikost přístupu není a tím pádem je to podle mě spíš jen klasické RISCové řešení atomických operací než nějaká pokročilá technika.

8. Vzhledem k tomu, že atomická operace souvisí se starořeckým slovem atomos "nedělitelný", tak je název OK. To co se jmenuje špatně jsou atomy. Měly by se spíš jmenovat tomy, jakože dělitelný :-)

V latině je atomický = nedělitelný. Že Démokritos nazval chemicky dále nedělitelný kus něčeho 'atomem', nás v kontextu tohoto článku nemusí zajímat.

V řečtině. Proč by Démokritos jakožto starořeckej filozof pojmenovával něco latinsky? Latinsky je to inseparabilis. Ale to je fuk.