TY - GEN
T1 - Probabilistic analysis of causal message ordering
AU - Yen, Li-Hsing
PY - 2000/12/12
Y1 - 2000/12/12
N2 - Causal message ordering (CMO) demands that messages directed to the same destinations must be delivered in an order consistent with their potential causality. In this paper, we present a modular decomposition of CMO, and evaluate the probability of breaking CMO by assuming two probabilistic models on message delays: exponential distribution and uniform distribution. These models represent the contexts where message delays are unpredictable and, respectively, unbounded and bounded. Our analysis results help in understanding the necessity of CMO schemes, and suggest a probabilistic approach to CMO: deferred sending. The effect of deferred sending is analyzed.
AB - Causal message ordering (CMO) demands that messages directed to the same destinations must be delivered in an order consistent with their potential causality. In this paper, we present a modular decomposition of CMO, and evaluate the probability of breaking CMO by assuming two probabilistic models on message delays: exponential distribution and uniform distribution. These models represent the contexts where message delays are unpredictable and, respectively, unbounded and bounded. Our analysis results help in understanding the necessity of CMO schemes, and suggest a probabilistic approach to CMO: deferred sending. The effect of deferred sending is analyzed.
KW - Computer science
KW - Concurrent computing
KW - Context modeling
KW - Delay
KW - Electric breakdown
KW - Exponential distribution
KW - Marine vehicles
KW - Mobile communication
KW - Mobile computing
KW - Multimedia systems
UR - http://www.scopus.com/inward/record.url?scp=84953284058&partnerID=8YFLogxK
U2 - 10.1109/RTCSA.2000.896420
DO - 10.1109/RTCSA.2000.896420
M3 - Conference contribution
AN - SCOPUS:84953284058
T3 - Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000
SP - 409
EP - 413
BT - Proceedings - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 7th International Conference on Real-Time Computing Systems and Applications, RTCSA 2000
Y2 - 12 December 2000 through 14 December 2000
ER -
