Message Number Check and Message Rearranging Theory and Protocols

Shengfa Gao

ISBN 10: 3847348396 / ISBN 13: 9783847348399

Published by LAP LAMBERT Academic Publishing Feb 2014, 2014

About this Item

Neuware -Message number check and message rearranging are basic theory concerning rollback recovery of distributed systems. In previous studies, the consistency of global state is based on the analysis of the dependency relations of message receipt and sending events. To simplify the determination of the global state consistency issue, we proposed message number check theory. Under the FIFO reliable channel assumption, the consistence of global state, can be determined by the number of messages sent and received by each process. In optimistic message protocols, the receipt order of unlogged messages may be lost upon receiver process failure, and the receipt order cannot be recovered if it is lost. To address the problem the loss of message receipt order, We propose an equivalent message sequence to replace original one. In the equivalent message sequence, the messages are rearranged according to the value of sender process¿s improved logic clock. So, the message receipt order can be equivalently recovered by the sender process logic clock upon receiver process failure. Thus, the corresponding protocol can possess the merit of Pessimistic and Optimistic logging protocols simultaneously.Books on Demand GmbH, Überseering 33, 22297 Hamburg 60 pp. Englisch.

Seller Inventory # 9783847348399

Bibliographic Details

• Title: Message Number Check and Message Rearranging Theory and Protocols
• Publisher: LAP LAMBERT Academic Publishing Feb 2014
• Publication Date: 2014
• Language: English
• ISBN 10: 3847348396
• ISBN 13: 9783847348399
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 4D millimeters 220 millimeters width by 150 millimeters height by 4 millimeters depth
• Weight: 107 grams

About this title

Synopsis

Message number check and message rearranging are basic theory concerning rollback recovery of distributed systems. In previous studies, the consistency of global state is based on the analysis of the dependency relations of message receipt and sending events. To simplify the determination of the global state consistency issue, we proposed message number check theory. Under the FIFO reliable channel assumption, the consistence of global state, can be determined by the number of messages sent and received by each process. In optimistic message protocols, the receipt order of unlogged messages may be lost upon receiver process failure, and the receipt order cannot be recovered if it is lost. To address the problem the loss of message receipt order, We propose an equivalent message sequence to replace original one. In the equivalent message sequence, the messages are rearranged according to the value of sender process’s improved logic clock. So, the message receipt order can be equivalently recovered by the sender process logic clock upon receiver process failure. Thus, the corresponding protocol can possess the merit of Pessimistic and Optimistic logging protocols simultaneously.

About the Author

Shengfa Gao is currently an Associate Professor in Shandong University. He earned his M.S. Degree in 1983, from Tianjin University, China. In 2009, he proposed the message number check theory and methods.In 2012, he proposed the message rearranging theory and methods which have applied for the national patent of the PRC.