Single-Bit Messages Are Insufficient in the Presence of Duplication

  • Kai Engelhardt
  • Yoram Moses
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3741)

Abstract

Ideal communication channels in asynchronous systems are reliable, deliver messages in FIFO order, and do not deliver spurious or duplicate messages. A message vocabulary of size two (i.e., single-bit messages) suffices to encode and transmit messages of arbitrary finite length over such channels. This note proves that single-bit messages are insufficient once channels potentially deliver duplicate messages. In particular, it is shown that no protocol allows the sender to notify the receiver which of three values it holds, over a bidirectional, reliable, FIFO channel that may duplicate messages. This implies that messages must encode some additional control information, e.g., in the form of headers or tags.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bartlett, K.A., Scantlebury, R.A., Wilkinson, P.T.: A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM 12(5), 260–261 (1969)CrossRefGoogle Scholar
  2. 2.
    Coan, B.: A communication-efficient canonical form for fault-tolerant distributed protocols. In: Proc. 5th ACM Symp. on Principles of Distributed Computing, pp. 63–72. ACM Press, New York (1986)CrossRefGoogle Scholar
  3. 3.
    Engelhardt, K., Moses, Y.: Safe composition of distributed programs communicating over order-preserving imperfect channels. In: this volumeGoogle Scholar
  4. 4.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)MATHGoogle Scholar
  5. 5.
    Fekete, A., Lynch, N.: The need for headers: An impossibility result for communication over unreliable channels. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 199–215. Springer, Heidelberg (1990)Google Scholar
  6. 6.
    Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM 37(3), 549–587 (1990)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Lynch, N.A., Tuttle, M.: An introduction to input/output automata. CWI Quarterly 2(3), 219–246 (1989)MATHMathSciNetGoogle Scholar
  8. 8.
    Wang, D.-W., Zuck, L.D.: Tight bounds for the sequence transmission problem. In: PODC 1989: Proceedings of the eighth annual ACM Symposium on Principles of Distributed Computing, pp. 73–83. ACM Press, New York (1989)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Kai Engelhardt
    • 1
  • Yoram Moses
    • 2
  1. 1.School of Computer Science and EngineeringThe University of New South Wales, and NICTASydneyAustralia
  2. 2.Department of Electrical EngineeringTechnionHaifaIsrael

Personalised recommendations