DocumentCode
1658869
Title
Extending commitment protocol with binary domain to partially ordered domain
Author
Shimojo, Iwao ; Tachikawa, Takayuki ; Takizawa, Makoto
Author_Institution
Dept. of Comput. & Syst. Eng., Tokyo Denki Univ., Japan
fYear
1998
Firstpage
617
Lastpage
620
Abstract
A group of processes have to commit to realize distributed applications. The processes exchange values with the other processes to make the commitment. The processes commit if every process takes one value. In the traditional commitment protocols, only two values, i.e. commit or abort can be taken. In this paper we discuss a more general domain including multiple values. In addition, the domain is partially ordered by a dominant relation which shows what values the processes can take after taking a value. Each process decides what value to be taken after taking one value by rising the dominant relation. In this paper we discuss how to reach commitment in a group of multiple processes by using the dominant relation
Keywords
formal verification; performance evaluation; protocols; binary domain; commitment protocol; distributed applications; dominant relation; partially ordered domain; Application software; Database systems; Protocols; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Networking, 1998. (ICOIN-12) Proceedings., Twelfth International Conference on
Conference_Location
Tokyo
Print_ISBN
0-8186-7225-0
Type
conf
DOI
10.1109/ICOIN.1998.648476
Filename
648476
Link To Document