The paper addresses deadlock due to lock acquisition dependency and wait-notify anomalies. In this work, dependencies are visualized with three types of dependence graphs namely data-control, lock acquisition and wait...
详细信息
ISBN:
(纸本)9781479939145
The paper addresses deadlock due to lock acquisition dependency and wait-notify anomalies. In this work, dependencies are visualized with three types of dependence graphs namely data-control, lock acquisition and wait-notify dependence graphs. Algorithms are also proposed for generating graphs;and hence, bugs are detected due to blockage. Graphical method is used to detect bugs. A prototype tool "Bug Visualizer" is implemented in java version 7.
Concurrency has been rapidly gaining importance in computing, and correspondingly in computing curricula. Concurrent programming is, however, notoriously hard even for expert programmers. New language designs promise ...
详细信息
ISBN:
(纸本)9781457703485
Concurrency has been rapidly gaining importance in computing, and correspondingly in computing curricula. Concurrent programming is, however, notoriously hard even for expert programmers. New language designs promise to make it easier, but such claims call for empirical validation. We present a methodology for comparing concurrent languages for teaching purposes. A critical challenge is to avoid bias, especially when (as in our example application) the experimenters are also the designers of one of the approaches under comparison. For a study performed as part of a course, it is also essential to make sure that no student is penalized. The methodology addresses these concerns by using self-study material and applying an evaluation scheme that minimizes opportunities for subjective decisions. The example application compares two object-oriented concurrent languages: multithreadedjava and SCOOP. The results show an advantage for SCOOP even though the study participants had previous training in writing multithreaded java programs. The lessons should be of use to educators interested in teaching concurrency, to researchers looking for objective ways of assessing teaching techniques, and to researchers who want to avoid bias in assessing an approach or tool that they have themselves designed.
The paper addresses deadlock due to lock acquisition dependency and wait-notify anomalies. In this work, dependencies are visualized with three types of dependence graphs namely data-control, lock acquisition and wait...
详细信息
ISBN:
(纸本)9781479939152
The paper addresses deadlock due to lock acquisition dependency and wait-notify anomalies. In this work, dependencies are visualized with three types of dependence graphs namely data-control, lock acquisition and wait-notify dependence graphs. Algorithms are also proposed for generating graphs;and hence, bugs are detected due to blockage. Graphical method is used to detect bugs. A prototype tool "Bug Visualizer" is implemented in java version 7.
暂无评论