Att hitta konsekventa globala kontrollpunkter för en distribuerad beräkning är viktigt för att analysera, testa eller verifiera egenskaperna hos dessa beräkningar. I detta dokument lägger vi fram en teoretisk grund för konsekventa globala kontrollpunkter. Med tanke på en godtycklig uppsättning S lokala kontrollpunkter, bevisar vi exakt vilka uppsättningar av andra lokala kontrollpunkter som kan kombineras med S för att bygga konsekventa globala kontrollpunkter, och vi presenterar en algoritm för nding alla sådana globala kontrollpunkter. De minimala och maximal konsekventa globala kontrollpunkterna presenteras som specialfall. Resultaten baseras på begreppet sicksackvägar som infördes av Netzer och Xu 14]. Vi presenterar också en metod för nding zigzag vägar med hjälp av rollback-beroende grafen infördes av Wang 17, 16].
I arbetet i REF definieras exakt vilka lokala kontrollpunkter som kan ingå i en enhetlig global kontrollpunkt.
Finding Consistent Global Checkpoints in a Distributed Computation
{'venue': 'IEEE Trans. Parallel Distrib. Syst.', 'journal': None, 'mag_field_of_study': ['Computer Science']}