Deco: A Decentralized, Cooperative Atomic Commit Protocol

Algorithm 3

Behavior of 𝑝_𝑐.

TP_TRN is the set of participants, |TP_TRN|=𝑛, 𝑝_𝑖∈TP_TRN, 0≤𝑖<𝑛.

dblist contains the set of state vectors of all 𝑝_𝑖∈TP_TRN.

void main() {

 Result result = null;

 While (result != “S_TCd”) {

   Generate a new id for a request, and a new token;

   Deliver token to 𝑝_𝑖∈TP_TRN until successful.

   Wait for 𝑝_𝑖∈TP_TRN;

 }

 Return result;

}