PRAM Tipsport: OR, zda je posloupnost monotónní, zda je v poli čísel nula.
Popsat princip zřetězených procesorů.
Popsat monitor včetně signal, wait a nákresu.
K dispozici je funkce na výpočet sumy suffixu a příkaz if e je dopredna then do ...; popsat algoritmus pro výpočet úrovně vrcholu, pseudokód, slovní popis a časovou složitost.
Demonstrujte Bagrodiův algoritmus pro Rendezvous procesů. Na začátku drží procesy tokeny podle obrázku vlevo. Proces je vyznačen obdélníkem s mizející výplní, protože procesy jsou v kontextu, dokud neučiní komunikaci. Všechny procesy při vstupu do kontextu mají zájem komunikovat se všemi ostatními. Volí procesy podle umístění tokenů ve frontě; na obrázku je čelo fronty tokenů vlevo. Pokud proces obdrží nový token, zařadí jej do fronty. Doba zaslání zprávy je jedna časová jednotka. Pokud proces chce zaslat zprávu po vstupu do kontextu, zašle ji okamžitě. Proces, který odpovídá na přijatou zprávu nebo hledá nového partnera, odpoví se zpožděním jedné časové jednotky. Pokud se proces ve stejný okamžik chystá odeslat zprávu a zároveň zprávu přijímá, nejprve zprávu odešle a pak zpracuje přijatou zprávu. Priority procesů jsou vzestupně P1 > P2 > ... > P5 a partnery procesy volí podle umístění tokenů ve frontě. Pokud procesy naváží komunikaci, opustí kontext a už se do něj nevrací. Uveďte, které procesy budou komunikovat a jak budou procesy držet tokeny po ukončení komunikace.
Přepis počátečních tokenů podle obrázku:
P1: 1,4, 1,5, 1,2
P2: 2,3
P3: 1,3, 3,5
P4: 3,4, 2,4
P5: 2,5, 4,5
Pipeline Merge Sort - stav po 10 krocích.
Pi-kalkul.
MPI - proces má v proměnné value svoji hodnotu. Pomocí Reduce a Bcast implementovat výpočet: vytisknout sum(liché hodnoty) * sum(sudé hodnoty).
Rozdíly / doplnění ze student_doc
Viz sekce Stav verifikace a Student doc reference; detailní roční porovnání je v raw-vs-student-doc.
Poznámky k nejistotám
Obrázek k příkladu 5 je částečně perspektivně zkreslený; přesné časové diagramy je vhodné kontrolovat proti raw obrázku.
