Füge den jeweils letzten Checkpoint von jedem fehlerhaften
Prozess der Menge 'RootSet' zu;

Füge den aktuellen Status von jedem fehlerfreien Prozess
der Menge 'RootSet' zu;

Markiere alle Checkpoints, die von den Elementen der Menge
'RootSet' erreichbar sind;

WHILE (Mindestens ein Element der Menge 'RootSet' ist
       markiert)
{
   Ersetze jedes markierte Element von 'RootSet' durch den
   letzten nicht markierten Checkpoint des selben Prozesses;

   Markiere alle Checkpoints, die von den Elementen der Menge
   'RootSet' erreichbar sind;
}

'RootSet' entspricht der Recovery Line;