Sewry, David Andrew (1994) Behavioural model debugging in Linda. PhD thesis, Rhodes University.
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|
|Deposited By:||Mrs Carol Perold|
|Deposited On:||21 Nov 2012 09:23|
|Last Modified:||21 Nov 2012 09:23|
0 full-text download(s) in the past 12 months
Repository Staff Only: item control page