distribiurani algoritmi i sistemi · operativni sistemi (distribuirane) baze podataka ... sinhroni...
TRANSCRIPT
![Page 1: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/1.jpg)
DISTRIBIURANI ALGORITMI I SISTEMI
Autor izvorne prezentacije:
Prof. Jennifer WelchIz kursa CSCE 668
Proleće 2014
Postavka 1: Uvod
1
![Page 2: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/2.jpg)
Distribuirani Sistemi (DS)2
Distribuirani sistemi su ušli u široku upotrebu:
deljenje resursa
komunikacija
poboljšana performanse
brzina
otpornost na otkaze (fault tolerance)
Karakterišu ih:
nezavisne aktivnosti (konkurencija)
slabo spregnut paralelizam (heterogenost)
inherentna neodređenost
![Page 3: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/3.jpg)
Neodređenost u DS3
Neodređenost potiče od:
različitih brzina procesora
promenljivog komunikacionog kašnjenja
(delimičnih) otkaza
višestrukih ulaznih tokova i interaktivnih ponašanja
![Page 4: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/4.jpg)
Rasuđivanje o DS4
Neodređenost otežava proveru korektnosti sistema
Savladavanje ovih teškoća:
identifikacija i apstrakcija osnovnih problema
precizna formulacija problema
projektovanje algoritama za rešavanje problema
dokazivanje korektnosti algoritama
analiza složenosti algoritama (npr., vreme, prostor, poruke)
dokazivanje nemogućih rezultata i donjih granica
![Page 5: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/5.jpg)
Moguća korist od teorije
5
pažljive specifikacije razjašnjavaju nameru
povećana sigurnost u korektnost
ako je apstrakcija dobra, rezultati su relevantni u
mnogim situacijama
Saznanja o inherentnim ograničenjima
npr. NP-potpunost
![Page 6: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/6.jpg)
Oblasti primene6
Oblasti iz kojih potiču klasični problemi
distribuiranog/konkurentnog računanja:
operativni sistemi
(distribuirane) baze podataka
softver otporan na otkaze
komunikacione mreže
multiprocesorske arhitekture
Novije oblasti primene:
računanja u klaudu (cloud computing)
mobilna računanja, …
![Page 7: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/7.jpg)
Osnovni modeli DS (1/2)7
Uvode se dva osnovna komunikaciona modela:
sa slanjem poruka
sa deljenom memorijom
i dva osnovna vremenska modela:
sinhroni
asinhroni
![Page 8: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/8.jpg)
Osnovni modeli DS (2/2)8
Slanje poruka Deljena memorija
sinhroni
asinhroni
Da Ne
Da Da
(Sinhroni model sa deljenom memorijom je PRAM)
![Page 9: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/9.jpg)
Pregled tema: Deo I (osnove)9
Ovde spadaju kanonički problemi i pitanja:
graf algoritmi
izbor lidera
međusobno isključivanje
konsenzus otporan na otkaze
uzročnost (causality) i vreme
![Page 10: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/10.jpg)
Pregled tema: Deo II (Simulacije)10
„Simulacije" su apstrakcije, ili tehnike, koje dati model pretvore u jednostavniji model. Na primer:
slanje svima i slanje u grupi
distribuirana deljena memorija
jače vrste deljenih promenljivih
više sinhronizma
više benignih otkaza
![Page 11: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/11.jpg)
Pregled tema: Deo III (Napredne teme)
11
Nastavci u nekim već uvedenim pravcima:
nasumični algoritmi (randomized algorithms)
jače vrste deljenih objekata proizvoljne vrste
koje vrste problema su rešive u asinhronim sistemima
detektori otkaza
samo-stabilizacija
![Page 12: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/12.jpg)
Odnos teorije i prakse12
OS sa deljenjem vremena: pitanja u vezi(virtuelne) konkurencije procesa kao što su:
međusobno isključivanje
međusobno blokiranje (deadlock)
takođe se pojavljuju u DS
MIMD multiprocesori:
nema zajedničkog takta => asinhroni model
zajednički takt => sinhroni model
slabo spregnute mreže, ala Internet, => asinhronimodel
![Page 13: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/13.jpg)
Odnos teorije i prakse13
Modeli otkaza:
ispad: procesor u otkazu jednostavno stane.
Idealizacija stvarnosti.
Vizantijski (proizvoljno): konzervativna predpostavka,
kada je model otkaza nepoznat ili zlonameran.
Samo-stabilizacija: algoritam se automatski oporavlja
iz prolaznog stanja korupcije; potreban je za aplikacije
koje se dugo izvršavaju.
![Page 14: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/14.jpg)
Model sa slanjem poruka14
procesori su p0, p1, …, pn-1 (čvorovi grafa)
dvosmerni kanali od-tačke-do-tačke (neusmereni
lukovi grafa)
svaki procesor označava svoje strane kanala 1, 2,
3,…; može da nezna ko je na drugom kraju
![Page 15: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/15.jpg)
Model sa slanjem poruka15
1 1
2
2
1 1
3
2
p3
p2
p0
p1
![Page 16: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/16.jpg)
Modeliranje procesora i kanala16
Procesor je automat (state machine) koji čine
lokalna stanja procesora
mehanizmi za modeliranje kanala
Kanal usmeren od procesora pi ka procesoru pj
modelira se sa dve promenljive:
outbuf promenljiva od pi i
inbuf promenljiva od pj
Outbuf odgovara fizičkom kanalu, a inbuf odgovara
redu dolaznih poruka.
![Page 17: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/17.jpg)
Modeliranje procesora i kanala17
inbuf[1]
p1 lokalne
promenljive
outbuf[1] inbuf[2]
outbuf[2]
p2 lokalne
promenljive
Obojena oblast (lokalne prom + inbuf) je dostupno stanje
procesora.
![Page 18: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/18.jpg)
Konfiguracija18
Vektor stanja procesora (uključujući outbufs, tj.
kanale), je konfiguracija sistema (elementi su stanja
pojedinačnih procesora).
Tekući snimak (snapshot) sistema sadrži: dostupna
stanja procesora (lokalne prom + redovi dolaznih
poruka) kao i komunikacioni kanali.
![Page 19: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/19.jpg)
Događaj isporuke (poruke)19
Prebacuje poruku iz outbuf pošiljaoca u inbuf
primaoca; poruka će biti raspoloživa u
sledećem koraku primaoca.
p1 p2m3 m2 m1
p1 p2m3 m2 m1
![Page 20: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/20.jpg)
Događaj računanja20
Dešava se u jednom procesoru.
Počinje sa starim dostupnim stanjem (lokalne prom + dolazne poruke).
Primeni se funkcija prelaza iz automata za dati procesor; obrade se sve dolazne poruke.
Završava sa novim dostupnim stanjem, sa praznim inbufs, i novim odlaznim porukama.
![Page 21: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/21.jpg)
Događaj računanja21
c d estaro
lokalno
stanje
a
novo
lokalno
stanje
b
ljubičasto označava dostupno stanje: lokalne prom i dolazne poruke
belo označava bafere odlaznih poruka
![Page 22: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/22.jpg)
Izvršenje
22
Format je
config, event, config, event, config, …
u prvom config: svaki procesor je u početnom stanju
i svi inbufs su prazni
za svaki susedan (config, event, config), novi config
je isti kao stari config osim ako je event:
događaj isporuke: zadata poruka se prenosi iz outbuf
pošiljaoca u inbuf primaoca
događaj računanja: zadato stanje procesora (uključujući
outbufs) menja se prema funkciji prelaza
![Page 23: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/23.jpg)
Prihvatljivost23
Def. izvršenja daje neke osnovne „sintaksne" uslove
obično uslove sigurnosti (true u svakom konačnom prefiksu)
Ponekad hoćemo da postavimo dodatna ograničenja
obično uslovi životnosti (na kraju se nešto desi)
Izvršenja koja zadovolje dodatna ograničenja suprihvatljiva; to su izvršenja koja moraju da rešeproblem koji je od interesa.
Definicija značenja “prihvatljiv” se menja od konteksta dokonteksta, zavisno od detalja onoga šta se modelira.
![Page 24: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/24.jpg)
Asinhrona izvršenja24
Izvršenje je prihvatljivo za asinhroni model ako:
svaka poruka iz outbuf na kraju bude isporučena
svaki procesor obavlja neograničen broj koraka.
Nema ograničenja na to kada se događaji dešavaju:
nisu isključena proizvoljna kašnjenja poruka i relativne
brzine procesora.
Modelira se pouzdan sistem (nema gubitaka poruka i
ni jedan procesor ne prestaje da radi).
![Page 25: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/25.jpg)
Primer: Plavljenje (Flooding)
25
Opiši jednostavn algoritma plavljenja kao kolekciju
automata u interakciji.
Lokalno stanje svakog procesora sadrži prom color,
koja ima vrednost bilo crveno ili zeleno.
Na početku:
p0: boja = zeleno, svi outbufs sadrže M
drugi: boja = crveno, svi outbufs prazni
Prelaz: Ako je M u inbuf i boja = crveno, onda
promeni boju u zeleno i pošalji M u sve outbufs.
![Page 26: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/26.jpg)
Primer: Plavljenje (1/2)26
p1
p0
p2
M M
p1
p0
p2
M
M
Isporuka M
iz p0 na p1
Računanje
na p1
Isporuka M
iz p1 na p2
p1
p0
p2
M
M
M M
p1
p0
p2
M
M
Računanje
na p2
![Page 27: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/27.jpg)
Primer: Plavljenje (2/2)27
Isporuka M
iz p2 na p1
Računanje
na p1
Isporuka M
iz p1 na p0
itd. do
isporuke
ostalih
poruka
p1
p0
p2
M
MM
M
p1
p0
p2
M
MM
M
p1
p0
p2
M
MM
p1
p0
p2
M
M
M
![Page 28: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/28.jpg)
Nedeterminizam28
Predhodno izvršenje nije jedino prihvatljivo izvršenje
algoritma Plavljenje na tom trouglu.
Ima ih nekoliko, zavisno od redosleda u kom se
poruke isporučuju.
Npr., poruka od p0 je mogla stići do p2 pre poruke
od p1.
![Page 29: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/29.jpg)
Završetak (Termination)29
Iz tehničkih razloga, prihvatljiva izvršenja se definišu
kao beskonačna.
Međutim, algoritmi se često završavaju.
Radi modeliranja završetka algoritma, identifikuju se
stanja završetka rada procesora: stanja u koja kad
se uđe više se ne može izaći.
Izvršenje je završeno kada je rad svih procesora
završen i nema poruka u tranzitu (u inbufs ili outbufs).
![Page 30: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/30.jpg)
Završetak algoritma Plavljenja
Definišimo stanja završetka rada procesora kao ona
u kojima je boja = zelena.
30
![Page 31: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/31.jpg)
Metrika složenosti komunikacije 31
Složenost komunikacije: max broj poruka poslatihu bilo kom prihvatljivom izvršenju.
To je metrika najgoreg slučaja.
Kasnije će biti reči o metrikama prosečnog slučaja.
![Page 32: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/32.jpg)
Složenost komunikacije za
algoritam Plavljenje32
Složenost komunikacije: jedna poruka se šaljepreko svakog luka u svakom smeru. Br. poruka je2m, gde je m = broj lukova grafa.
![Page 33: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/33.jpg)
Metrika složenosti obrade33
Kako meriti vreme u asinhronim izvršenjima?
Napraviti vremensko izvršenje dodelom neopada-jućih realnih vremena događajima, tako da je vremeizmeđu slanja i prijema bilo koje poruke najviše 1.
Time se normalizuje najveće kašnjenje poruke unutarizvršenja da bude jedna jedinica vremena; ali i daljese dopušta proizvoljno učešljavanje događaja.
Složenost obrade: max vreme do završetka u bilo kom vremenski prihvatljivom izvršenju.
![Page 34: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/34.jpg)
Složenost obrade za
algoritam Plavljenje34
Setimo se da su stanja završetka rada procesoraona stanja u kojima je boja = zeleno.
Složenost obrade: dijametar + 1 vrem. jedinca. (Čvor postaje zelen kada ga dostigne „lanac" poruka iz p0.)
Dijametar grafa je maksimum najkraćeg puta od čvora v do čvora w, preko svih čvorova v i w unutar grafa.
![Page 35: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/35.jpg)
Sinhroni sistemi sa slanjem poruka (1/2)
35
Izvršenje je prihvatljivo za sinhroni model ako je
ono beskonačna sekvenca „rundi“.
Šta je „runda"?
To je sekvenca događaja isporuke koji prebacuju
sve poruke u tranzitu u inbuf, praćena sekvencom
događaja računanja, po jedan za svaki procesor.
![Page 36: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/36.jpg)
Sinhroni sistemi sa slanjem poruka (2/2)
36
Nova def. prihvatljivosti obuhvata osobinu istovre-menog marša poruka kod sinhronog modela.
Ova def. takođe implicira sledeće:
svaka poslata poruka je isporučena
svaki procesor izvodi beskonačan broj koraka.
Vreme se meri kao broj rundi do završetka.
![Page 37: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/37.jpg)
Primer sinhronog modela (1/3)37
Neka se alogoritam plavljenja izvršava u sinhronom
modelu na trouglu.
Runda 1:
isporuka M od p0 na p1
isporuka M od p0 na p2
p0 ne radi ništa (jer nema dolaznih poruka)
p1 prima M, postaje zelen i šalje M ka p0 i p2
p2 prima M, postaje zelen i šalje M ka p0 i p1
![Page 38: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/38.jpg)
Primer sinhronog modela (2/3)38
Runda 2:
isporuka M od p1 na p0
isporuka M od p2 na p0
isporuka M od p2 na p1
isporuka M od p1 na p2
p0 ne radi ništa jer mu je vred. prom. boja već zelen
p1 ne radi ništa jer mu je vred. prom. boja već zelen
p2 ne radi ništa jer mu je vred. prom. boja već zelen
![Page 39: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/39.jpg)
Primer sinhronog modela (3/3)39
p1
p0
p2
M
MM
M
p1
p0
p2
M M
p1
p0
p2
događaji
runde 1 događaji
runde 2
![Page 40: DISTRIBIURANI ALGORITMI I SISTEMI · operativni sistemi (distribuirane) baze podataka ... Sinhroni sistemi sa slanjem poruka (2/2) 36 Nova def. prihvatljivosti obuhvata osobinu istovre-menog](https://reader033.vdocuments.site/reader033/viewer/2022053119/60a1c95bc6d174060d1c6ec8/html5/thumbnails/40.jpg)
Složenost za sinhroni
algoritam Plavljenje40
Posmatraju se samo izvršenja koja su prihvatljiva za
sinhroni model (tj. koja zadovoljavaju def. sinhronog
modela)
Složenost obrade (vreme) je dijametar + 1
Složenost komunikacije (br. poruka) je 2m
Isto kao u asinhronom slučaju.
Što nije uvek slučaj za sve algoritme.