RunAssert: A non-intrusive run-time assertion for parallel programs debugging

CN Wen, SH Chou, TF Chen… - 2010 Design, Automation …, 2010 - ieeexplore.ieee.org
CN Wen, SH Chou, TF Chen, TJ Lin
2010 Design, Automation & Test in Europe Conference & Exhibition …, 2010ieeexplore.ieee.org
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) …
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. Our approaches are as follows: (a) a current language extension for parallel program debugging (b) corresponding non-intrusive hardware configuration logic and checking methodologies and (c) several reality cases using the extensions mentioned above. In general, the target program can be executed at its original speed without altering the parallel sequences, thereby eliminating the possibility of probe effect. The net hardware cost is relatively low, the reconfigurable logic for RunAssert is 0.6%-2.5% in a NUDA cluster with 8 cores, such that RunAssert can readily scale up for increasingly complex multicore systems.
ieeexplore.ieee.org
Showing the best result for this search. See all results