Deco: A Decentralized, Cooperative Atomic Commit Protocol

Algorithm 1

Rule to forward a token.

Token handling by 𝑝_𝑖∈TP_TRN, 0≤𝑖<𝑛.

void forward(Token) {

 Use the ALM protocol to evaluate a receiver p_R;

 do {

   Forward the message to 𝑝_𝑅;

   If 𝑝_𝑅 is suspected unreachable during a predefined period {

     Use the ALM protocol to evaluate a another receiver and it to 𝑝_𝑅;

   }

 } until (the delivery succeeds or 𝑝_𝑅 == 𝑝_𝑖)

}