Architektúry a zobrazenia, DS
Zobrazenia na Distribuované systémy
DS:
- pevná mnozina procesorov a kanálov
- lokálna pamät pre kazdý procesor
kanály:
- error-free
- prenášajú správy v rovnakom poradí ako boli poslané
- pre kazdý kanál je 1 procesor, ktorý do neho posiela a 1 procesor, ktorý z neho prijíma
- kazdý kanál má svoj buffer
- procesor môze nieco poslat, ak buffer nie je plný a prijat, ak nie je prázdny
Zobrazenie programov je rovnaké ako ASM
premenné: sú alokované bud do (lokálnych) pamätí alebo ku kanálom
Musí to splnat:
- najviac 1 premenná je alokovaná ku kanálu a jej typ je postupnost
- ak nie je plná, potom zapisovatel pridá správu do postupnosti na koniec
- ak nie je prázdna, citatel odoberie prvý clen postupnosti