2023/2024 - 1. opravný termín

Metadata

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 tipovačka	pram-tipovacka
2	FIFO broadcast a kauzalita	broadcast-fifo-kauzalita
3	Test-and-set	mutual-exclusion
4	Čtyři čtenáři / detekce ukončení	distribuovane-algoritmy
5	Ricart-Agrawala / Lamportovy hodiny	distribuovane-algoritmy
6	Random mating	distribuovane-algoritmy
7	Pi-kalkul	pi-kalkul
8	MPI	mpi-reduce-bcast

PRAM, 6 b: pro EREW, CREW, common CRCW určit cenu seřazení sekvence, cenu XOR a časovou složitost AND.
FIFO broadcast, 9 b: algoritmus send a recv; definovat relaci kauzality.
Test-and-set, 9 b: řešení kritické sekce, kód a popis.
Algoritmus čtyř čtenářů, 9 b: princip fungování a nakreslit 2 obrázky, v jednom se detekovalo ukončení a ve druhém ne.
Ricart-Agrawala, 10 b: synchronizace vstupů do CS pro 4 procesy, synchronní čas, počítání logického času událostí. Zpráva má latenci 3 takty, kritická sekce trvá 1 takt, na vstupu a výstupu nastanou 2 abstraktní události, priority procesů: 1 má největší prioritu, v čase 6 žádá proces 4, v čase 7 žádá proces 3. Naznačit komunikaci šipkami, napsat logický čas každé události a logický čas každého procesu po poslední události.
Random mating, 9 b: 8 uzlů, vybírat F/M pseudonáhodně tak, aby jumping phase skončila do 4 iterací; nezapomenout reconstruction phase.
Pi-kalkul, 9 b: vypsat 3 výrazy, na které lze redukovat.
MPI, 9 b: najít druhý nejmenší prvek v logaritmickém čase, lze použít jen MPI_Bcast a MPI_Reduce.

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