Introduction to distributed commit protocols