2020/2021 - 2. opravný termín

Metadata

Pole	Hodnota
Verifikační status	`student_doc doplňuje raw`
Kontrolní matice	raw-vs-student-doc
Primární zdroj zadání	raw poznámka; student doc potvrzuje a přidává řešení

Pořadí odpovídá pořadí bodů v jednotném zadání; u zkrácených zadání je mapování orientační.

Otázka	Signál v zadání	Topic
1	PRAM	pram-tipovacka
2	VLIW	architektury
3	Monitor a semafory	synchronizace-monitory-semafory
4	Pět filozofů	synchronizace-monitory-semafory
5	FIFO/broadcast	broadcast-fifo-kauzalita
6	Random mating	distribuovane-algoritmy
7	OCCAM	occam
8	MPI	mpi-reduce-bcast

PRAM tipovačka.
VLIW a jak se řeší konflikty.
Monitor: popis a obrázek.
Problém pěti filozofů: kód se semafory a popis, řešení musí být deadlock-proof.
Něco s FIFO a broadcastem, tabulka.
Random mating.
OCCAM: procedura AVG se třemi kanály typu BYTE: DATA, CHNH, CHNL. Procedura bere čísla z DATA, počítá dlouhodobý průměr a podle toho, zda je číslo větší nebo menší než průměr, ho pošle na příslušný kanál.
MPI: spočítat součet hodnot menších než maximum nebo větších než minimum.

Viz sekce Stav verifikace a Student doc reference; detailní roční porovnání je v raw-vs-student-doc.