Behavioural model debugging in Linda

Sewry, David Andrew (1994) Behavioural model debugging in Linda. PhD thesis, Rhodes University.

[img] Text
SEWRY-PhD-TR94-25.pdf

18Mb

Abstract

This thesis investigates event-based behavioural model debugging in Linda. A study is presented of the Linda parallel programming paradigm, its amenability to debugging, and a model for debugging Linda programs using Milner's CCS. In support of the construction of expected behaviour models, a Linda program specification language is proposed. A behaviour recognition engine that is based on such specifications is also discussed. It is shown that Linda's distinctive characteristics make it amenable to debugging without the usual problems associated with paraUel debuggers. Furthermore, it is shown that a behavioural model debugger, based on the proposed specification language, effectively exploits the debugging opportunity. The ideas developed in the thesis are demonstrated in an experimental Modula-2 Linda system.

Item Type:Thesis (PhD)
Uncontrolled Keywords:Concurrent programming Debugging aids Linda CCS Parallel debugger
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Faculty > Faculty of Science > Computer Science
Supervisors:Wentworth, Peter and Clayton, Peter
ID Code:4113
Deposited By: Mrs Carol Perold
Deposited On:21 Nov 2012 09:23
Last Modified:21 Nov 2012 09:23
0 full-text download(s) since 21 Nov 2012 09:23
0 full-text download(s) in the past 12 months
More statistics...

Repository Staff Only: item control page