RunAssert: A Non-Intrusive Run-Time Assertion for Parallel Programs Debugging

Provided by: edaa
Topic: Hardware
Format: PDF
Multicore environments are rapidly emerging and are widely used in SoC, but accompanying parallelism programming and debugging impact the ordinary sequential world. Unfortunately, according to Heisenberg's uncertainty principle, the instrument trying to probe the target will cause probe effects. Therefore, current intrusive debugging methodologies for sequential programs cannot be used directly in parallel programs in a multicore environment. This work developed a non-intrusive Run-time Assertion (RunAssert) for parallel program development based on a novel non-uniform debugging architecture. The authors' approaches are as follows: a current language extension for parallel program debugging, corresponding non-intrusive hardware configuration logic and checking methodologies and several reality cases using the extensions mentioned above.

Find By Topic