I detta dokument presenteras en algoritm genom vilken en process i ett distribuerat system bestämmer ett globalt tillstånd av systemet under en beräkning. Många problem i distribuerade system kan lösas när det gäller problemet med att upptäcka globala stater. Till exempel hjälper den globala tillståndsdetekteringsalgoritmen till att lösa en viktig klass av problem: stabil egenskapsdetektering. En stabil egendom är en som består: när en stabil egendom blir sann förblir den sann därefter. Exempel på stabila egenskaper är "beräkning har upphört", "systemet är låst" och "alla polletter i en symbolisk ring har försvunnit." Det stabila detekteringsproblemet är att ta fram algoritmer för att upptäcka en given stabil egenskap. Global tillståndsdetektering kan också användas för kontroll.
Baserat på detta förhållande utvecklade Chandy REF en algoritm genom vilken en enhet kan beräkna ett globalt tillstånd i systemet.
Distributed snapshots: determining global states of distributed systems
{'venue': 'TOCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}