Pregled bibliografske jedinice broj: 294312
Formalni model protokola za usklađivanje sadržaja kopija istog podatka
Formalni model protokola za usklađivanje sadržaja kopija istog podatka // AUTOMATIKA - casopis za automatiku, mjerenje, elektroniku, racunarstvo i komunikacije, 34 (1993), 1-2; 29-40 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 294312 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Formalni model protokola za usklađivanje sadržaja kopija istog podatka
(Modification of Cache Coherence Protocols for the Distributed Environment)
Autori
Srbljić, Siniša
Izvornik
AUTOMATIKA - casopis za automatiku, mjerenje, elektroniku, racunarstvo i komunikacije (0005-1144) 34
(1993), 1-2;
29-40
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
distribuirani sustavi; formalni model; izmjena poruka; kopije podataka; Mealyev konačni automat; protokoli za usklađivanje sadržaja kopija istog podataka
(coherence protocols; data replication; distributed system; formal model; Mealy state machine; message passing)
Sažetak
We develop one group of data replication coherence protocols on the basis of seven well-known decentralized cache coherence protocols (Write-Through, Write-Once, Synapse, Illinois, Firefly, Berkeley, and Dragon). The original cache coherence protocols were designed for the bus-based multiprocessors and we modify them for use in the message passing distributed environment with any kind of interconnection network. We also introduce a uniform formal model for describing the implementation of the data replication coherence protocols in distributed environment. The formal model is based on the Mealy state machine.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Projekti:
036-0362980-1921 - Računalne okoline za sveprisutne raspodijeljene sustave (Srbljić, Siniša, MZO ) ( CroRIS)
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Siniša Srbljić
(autor)
