Debuggers for parallel programs have to be more than passive information gatherers-they should automatically detect errors. Powerful task debuggers for Ada can be constructed by extending existing tools that detect deadlock.
No takes yet. Share an insight, caveat, or question.
Heimbold et al. (1985) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: