Deciding the FIFO Stability of Networks in Polynomial Time

  • Maik Weinard
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3998)


FIFO is the most prominent queueing strategy due to its simplicity and the fact that it only works with local information. Its analysis within the adversarial queueing theory however has shown, that there are networks that are not stable under the FIFO protocol, even at arbitrarily low rate. On the other hand there are networks that are universally stable, i.e., they are stable under every greedy protocol at any rate r < 1.

The question as to which networks are stable under the FIFO protocol arises naturally. We offer the first polynomial time algorithm for deciding FIFO stability and simple-path FIFO stability of a directed network, answering an open question posed in [1, 4]. It turns out, that there are networks, that are FIFO stable but not universally stable, hence FIFO is not a worst case protocol in this sense. Our characterization of FIFO stability is constructive and disproves an open characterization in [4].


Polynomial Time Polynomial Time Algorithm Outgoing Edge Simple Path Simple Cycle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Àlvarez, C., Blesa, M., Serna, M.: A Characterization of Universal Stability in the Adversarial Queuing Model. SIAM J. Comput. 34(1), 41–66 (2004)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Andrews, M., Awerbuch, B., Fernández, A., Leighton, T., Liu, Z.: Universal-Stability Results and Performance Bounds for Greedy Contention-Resolution Protocols. Journal of the ACM 48(1), 39–69 (2001)CrossRefMathSciNetGoogle Scholar
  3. 3.
    Bhattacharjee, R., Goel, A.: Instability of FIFO at arbitrarily low rates in the adversarial queueing model. In: Proc. of the 44th Symposium on Foundations of Computer Science, pp. 160–167 (2003)Google Scholar
  4. 4.
    Blesa, M.J.: Deciding Stability in Packet-Switched FIFO Networks Under the Adversarial Queuing Model in Polynomial Time. In: Fraigniaud, P. (ed.) DISC 2005. LNCS, vol. 3724, pp. 429–441. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Borodin, A., Kleinberg, J., Raghavan, P., Sudan, M., Williamson, D.P.: Adversarial queueing theory. J. of the ACM 48(1), 13–38 (2001)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Koukopoulos, D., Mavronicolas, M., Spirakis, P.: FIFO is Unstable at Arbitrarily Low Rates (Even in Planar Networks). Electronic Colloq. on Computational Complexity (2003)Google Scholar
  7. 7.
    Weinard, M.: Deciding the FIFO Stability of Networks in Polynomial Time (full version), Technical report: Frankfurter Informatik-Berichte, No 3/2005, ISSN 1616-9107Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Maik Weinard
    • 1
  1. 1.Institut für InformatikJohann Wolfgang Goethe–Universität Frankfurt am MainFrankfurt am MainGermany

Personalised recommendations