Abstract-Rollback-Dependency Trackability (RDT) är en egenskap som säger att alla rollback beroenden mellan lokala kontrollpunkter är on-line spårbara med hjälp av en transitiv beroende vektor. I detta dokument tar vi upp tre grundläggande frågor i utformningen av kommunikationsinducerade kontrollprotokoll som säkerställer RPT. För det första bevisar vi att följande intuition som vanligen antas i litteraturen i själva verket är felaktig: om ett protokoll endast tvingar en kontrollpunkt vid ett starkare tillstånd då måste det ta som mest lika många påtvingade kontrollpunkter som ett protokoll baserat på ett svagare tillstånd. Detta resultat innebär att det gemensamma tillvägagångssättet att skärpa kontrollpunkten genom att ge mer kontrollinformation om varje meddelande inte alltid ger ett mer effektivt protokoll. Därefter bevisar vi att det inte finns något optimalt on-line RPT-protokoll som kräver färre påtvingade kontrollpunkter än något annat RPT-protokoll för alla möjliga kommunikationsmönster. Slutligen, eftersom jämförelse av kontrollpunkter inte är tillräckligt för att jämföra protokollprestanda, presenterar vi några formella tekniker för att jämföra prestandan hos flera befintliga RPT-protokoll.
Tsai m.fl. REF visar att det inte finns någon optimal kontrollstrategi med rullbackberoende spårbarhet för alla möjliga kommunikationsmönster.
Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability
{'venue': 'IEEE Trans. Parallel Distrib. Syst.', 'journal': None, 'mag_field_of_study': ['Computer Science']}