The 2-phase commit protocol