Concurrent Monitoring, Visualization and Debugging (MVD)

While high-level concurrency constructs, as in μC++, help significantly to reduce errors, concurrent programs still contain both sequential and concurrent errors. Unfortunately, debugging concurrent programs can be extremely difficult due to the temporal nature of concurrent execution, which introduces errors such as deadlock and race conditions, and algorithmic design errors, such as inhibiting concurrency, all unknown in the sequential domain. Hence, additional support is required or only expert programmers will be able to develop concurrent applications.

The MVD project is constructing a toolkit (based on μC++) for monitoring and visualizing parallelism in a concurrent program, and other tools to determine how and why a concurrent program failed. Currently, the toolkit supports the following:


Papers


Back to μSystem Home Page

Valid XHTML 1.0 Strict