Skip to main content
. 2017 Sep 21;17(10):2166. doi: 10.3390/s17102166
Algorithm 4 CKP_Rollback( )
for (Pj ∈ PLk ∧ j ≠ i) do
 SEND_IntraCDGReq(Pj); //send IntraCDG request
 BUILD_IntraCDG(IntraCDGglobal);
 Traverse(IntraCDGglobal, CKPi);
 //traverse IntraCDGglobal by depth-first
for (Pj ∈ PLk ∧ j ≠ i) do
 SEND_ERS(Pj);
for (Pj ∈ PLk) do
if (CKPs ∈ ERSi ∧ CKPs ∈ Pj) then
 Rollback(Pj, CKPs);
for (CKPs ∈ ERSi ∧ CKPs ∈ S_InterCDGk) do
if (∃Edge(CKPs, DCj)) then
 SEND_RollReq(DCj);
 //send rollback request to process related to DCj