WoTUG - The place for concurrent processes

Paper Details

  title = "{A} {D}ebugger for {C}ommunicating {S}cala {O}bjects",
  author= "Bate, Andrew and Lowe, Gavin",
  editor= "Welch, Peter H. and Barnes, Frederick R. M. and Chalmers, Kevin and Pedersen, Jan B√¶kgaard and Sampson, Adam T.",
  pages = "135--154",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2012",
  isbn= "978-0-9565409-5-9",
  year= "2012",
  month= "aug",
  abstract= "This paper presents a software tool for visualising and
     reasoning about the behaviour of message-passing concurrent
     programs built with the CSO library for the Scala
     programming language. It describes the models needed to
     represent the construction of process networks and the
     runtime behaviour of the resulting program. We detail the
     manner in which information is extracted from the use of
     concurrency primitives in order to maintain these models and
     how these models are diagrammed. Our implementation of
     dynamic deadlock detection is explained. The tool
     can produce a sequence diagram of process communications,
     the communication network depicting the pairs of processes
     which share a communication channel, and the trees resulting
     from the composition of processes. Furthermore, it allows
     for behavioural specifications to be defined and then
     checked at runtime, and guarantees to detect the illegal
     usage of concurrency primitives that could otherwise lead to
     deadlock or data loss. Our implementation imposes only a
     small overhead on the program under inspection."

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!