Development of a debugger for a concurrent language-Reference-Cited by-同舟云学术

Development of a debugger for a concurrent language

Published:1983-08 Issue:4 Volume:8 Page:98-106
ISSN:0163-5948
Container-title:ACM SIGSOFT Software Engineering Notes
language:en
Short-container-title:SIGSOFT Softw. Eng. Notes

Author:

Baiardi F.¹,De Francesco N.¹,Matteoli E.¹,Stefanini S.¹,Vaglini G.¹

Affiliation:

1. Università di Pisa, Pisa, Italy

Abstract

This work discusses some issues in the debugging of concurrent programs. A set of desirable characteristics of a debugger for concurrent languages is deduced from an examination of the differences between the debugging of concurrent programs and that of sequential ones. A debugger for a concurrent language, derived from CSP, is then presented. It is based upon a semantic model of the supported language. The debugger enables to compare a description of the program behaviour to the actual behaviour as well as to valuate assertions on the process state. The description of the behaviuor is given by a formalism whose semantics is also specified. The formalism can specify program behaviuors at various abstraction levels. Lastly some guidelines for the implementation of the debugger are shown and a detailed example of program description is analyzed.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1006140.1006169

Reference12 articles.

1. F. Baiardi A. Fantechi M. Vanneschi "Language Construct for a Robust Distributed Environment" ISI Internal Report Univ. di Pisa S-81-9 May 1981]] F. Baiardi A. Fantechi M. Vanneschi "Language Construct for a Robust Distributed Environment" ISI Internal Report Univ. di Pisa S-81-9 May 1981]]

2. F. Baiardi A. Fantechi A. Tomasi M. Vanneschi "Mechanisms for a Robust Distributed Environment in the MuTEAM kernel" Proc. of 11th Fault-Tolerant Computing Symposium June 1981]] F. Baiardi A. Fantechi A. Tomasi M. Vanneschi "Mechanisms for a Robust Distributed Environment in the MuTEAM kernel" Proc. of 11th Fault-Tolerant Computing Symposium June 1981]]

3. P. Corsini G. Frosini L. Lopriore "MuTEAM: Architectural Insights of a Distributed Multimicroprocessor" Proc. of 11th Fault-Tolerant Computing Symposium June 1981]] P. Corsini G. Frosini L. Lopriore "MuTEAM: Architectural Insights of a Distributed Multimicroprocessor" Proc. of 11th Fault-Tolerant Computing Symposium June 1981]]

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Monitoring distributed systems;ACM Transactions on Computer Systems;1987-03