Key points are not available for this paper at this time.
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.
Heimbold et al. (Fri,) studied this question.