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

Chi Neng Wen*, Shu Hsuan Chou, Tien-Fu Chen, Tay Jyi Lin

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationDATE 10 - Design, Automation and Test in Europe
Pages287-290
Number of pages4
StatePublished - 9 Jun 2010
EventDesign, Automation and Test in Europe Conference and Exhibition, DATE 2010 - Dresden, Germany
Duration: 8 Mar 201012 Mar 2010

Publication series

NameProceedings -Design, Automation and Test in Europe, DATE
ISSN (Print)1530-1591

Conference

ConferenceDesign, Automation and Test in Europe Conference and Exhibition, DATE 2010
CountryGermany
CityDresden
Period8/03/1012/03/10

Keywords

  • Architecture
  • Debugging
  • Debugging programming model
  • Many-core
  • Race detection

Fingerprint Dive into the research topics of 'Runassert: A non-intrusive run-time assertion for parallel programs debugging'. Together they form a unique fingerprint.

  • Cite this

    Wen, C. N., Chou, S. H., Chen, T-F., & Lin, T. J. (2010). Runassert: A non-intrusive run-time assertion for parallel programs debugging. In DATE 10 - Design, Automation and Test in Europe (pp. 287-290). [5457193] (Proceedings -Design, Automation and Test in Europe, DATE).