2020/2021 - student doc digest

Metadata

Pole	Hodnota
Verifikační status	`student_doc doplňuje raw`
Kontrolní matice	raw-vs-student-doc

PRAM složitosti - cena XOR, časová složitost OR, cena součtu/maxima/minima.
- Zdroj uvádí jako pravděpodobné: XOR čas log n; součet/max/min cena n log n.
Test-and-set - aktivní čekání, atomická instrukce nad lock.
Kauzalita.
suffix.
Ricart-Agrawala - optimalizace Lamportova algoritmu.
Euler strom/graf.
Carry-look-ahead - spočítat 39 + 110.
- Zdroj rozepisuje binární převod, vektor s/p/g, prefixový operátor a výsledný součet.
MPI - součet hodnot větších než průměr.
- Zdroj obsahuje standardní šablonu: Reduce SUM, Bcast avg, lokální filtr, Reduce SUM.

PRAM složitosti.
PRAM architektura - popis a obrázek.
Pi-kalkul - redukce a pozorování.
Random mating - příklad.
Suzuki - princip a obrázek se 4 uzly.
Monitor - wait, signal, obrázek.
Linda - reverz seznamu.
- Zdroj obsahuje pseudokód s rd, in, out a upozornění na přepsání původní hlavy.
MPI - součet čísel větších než průměr.

PRAM tipovačka.
VLIW + řešení konfliktů.
Monitor - popis + obrázek.
Problém pěti filozofů - kód se semafory, deadlock-proof.
- Zdroj používá semafor E.count = 4, aby narušil cyklické čekání, a semafory pro vidličky.
broadcast podle tabulky.
Random mating.
OCCAM - procedura AVG(DATA, CHNH, CHNL) počítá dlouhodobý průměr a posílá hodnoty podle porovnání s průměrem.
MPI - součet hodnot menších než maximum nebo větších než minimum.
- Zdroj: Reduce MAX, Bcast max, lokální filtr, Reduce SUM.

Rok 2020/2021 dobře doplňuje hotové šablony pro MPI, CLA, monitor, Linda a filozofy.
Některé PRAM odpovědi jsou ve zdroji označené jako nejisté; nepřebírat bez kontroly.