Deciding stability in packet-switched FIFO networks under the adversarial queuing model in polynomial time

  • Authors:
  • Maria J. Blesa

  • Affiliations:
  • ALBCOM Research Group, Dept. Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Barcelona, Spain

  • Venue:
  • DISC'05 Proceedings of the 19th international conference on Distributed Computing
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

In spite of the importance of the fifo protocol and the research efforts invested in obtaining results for it, deciding whether a given (packet-switched) network is stable under fifo has remained an open question for several years. In this work, we address the general case of this problem and try to characterize the property of stability under fifo in terms of network topologies. Such a characterization provides us with the family of network topologies that, under the fifo protocol, can be made unstable by some adversarial traffic pattern. We show that the property of stability under fifo is decidable in polynomial time.