A distributed commit protocol for a multicomputer system