We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.NI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Networking and Internet Architecture

Title: Deadlock in packet switching networks

Abstract: A deadlock in a packet switching network is a state in which one or more messages have not yet reached their target, yet cannot progress any further. We formalize three different notions of deadlock in the context of packet switching networks, to which we refer as global, local and weak deadlock. We establish the precise relations between these notions, and prove they characterize different sets of deadlocks. Moreover, we implement checking of deadlock freedom of packet switching networks using the symbolic model checker nuXmv. We show experimentally that the implementation is effective at finding subtle deadlock situations in packet switching networks.
Comments: This is a version with full proofs of the preprint that was submitted to FSEN 2021, and accepted for publication in that conference (to appear in Springer LNCS)
Subjects: Networking and Internet Architecture (cs.NI); Logic in Computer Science (cs.LO)
Cite as: arXiv:2101.06015 [cs.NI]
  (or arXiv:2101.06015v1 [cs.NI] for this version)

Submission history

From: Jeroen Keiren [view email]
[v1] Fri, 15 Jan 2021 08:42:35 GMT (39kb)

Link back to: arXiv, form interface, contact.