Forgot your password?
Constructing Atomic Commit Protocols Using Knowledge
Document Actions
Weihai Yu. NIK 2004, November 2004.
Abstract
The main purpose of this paper is to use logic of process knowledge as a tool to (1) obtain better understanding of the atomic commit problem, to (2) analyze at a rather intuitive level the rationale behind correct atomic commit protocols that are in use today, and to (3) conduct the design and construction of atomic commit protocols. This is not a theoretic paper, although some formal definitions are introduced and used in the discussions. This paper is intended for people not familiar with logic of process knowledge, or even atomic commit protocols.
(pdf)
