WoTUG - The place for concurrent processes

Paper Details

  title = "{M}obile {E}scape {A}nalysis for occam-pi",
  author= "Barnes, Frederick R. M.",
  editor= "Welch, Peter H. and Roebbers, Herman and Broenink, Jan F. and Barnes, Frederick R. M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, G. S. and Vinter, Brian",
  pages = "117--134",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2009",
  isbn= "978-1-60750-065-0",
  year= "2009",
  month= "nov",
  abstract= "Escape analysis is the process of discovering boundaries
     of dynamically allocated objects in programming languages.
     For object-oriented languages such as C++ and Java, this
     analysis leads to an understanding of which program objects
     interact directly, as well as what objects hold references
     to other objects. Such information can be used to help
     verify the correctness of an implementation with respect to
     its design, or provide information to a run-time
     system about which objects can be allocated on the stack
     (because they do not ''escape'' the method in which they are
     declared). For existing object-oriented languages, this
     analysis is typically made difficult by aliasing endemic to
     the language, and is further complicated by inheritance and
     polymorphism. In contrast, the occam-pi
     programming language is a process-oriented language, with
     systems built from layered networks of communicating
     concurrent processes. The language has a strong
     relationship with the CSP process algebra, that can be used
     to reason formally about the correctness of occam-pi
     programs. This paper presents early work on a compositional
     escape analysis technique for mobiles in the occam-pi
     programming language, in a style not dissimilar to existing
     CSP analyses. The primary aim is to discover the boundaries
     of mobiles within the communication graph, and to determine
     whether or not they escape any particular process or network
     of processes. The technique is demonstrated by analysing
     some typical occam-pi processes and networks, giving a
     formal understanding of their mobile escape behaviour."

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!