Global snapshots 8
Jednoduché programy na zaznamenanie stavu
Asynchrónna shared-memory:
- v nejakom okamihu sa procesy docasne zastavia
- zastavený proces ostane zastavený, kým sa nezaznamena globálny stav
- ked sú všetky zastavené, ich stavy sú zaznamenané
- po zaznamenaní sa opät spustia
takto modifikovaný program triviálne splna R
Distribuovaná architektúra:
- vyuzijeme proces central
- central pošle všetkým procesom poziadavku zastavit výpocet
- kazdý proces po obdrzaní tejto správy pošle potvrdenie centralu a zastaví sa
- ked central dostane potvrdenie od kazdého procesu, všetkým pošle príkaz na zaznamenanie stavu
- kazdý proces zaznamená stav a pošle ho centralu
- ked central dostane od kazdého jeho stav, pošle všetkým pokyn na pokracovanie
- ked procesy tento pokyn na pokracovanie dostanú, pošlú centralu potvrdenie a pokracujú
- ked central dostane všetky potvrdenia o pokracovaní, je pripravený na další záznam