On the existence of probe effect in multi-threaded embedded programs

Young Wn Song, Yann-Hang Lee

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

5 Scopus citations

Abstract

Software instrumentation has been a convenient and portable approach for dynamic analysis, debugging, or profiling of program execution. Unfortunately, instrumentation may change the temporal behavior of multi-threaded program execution and result in different ordering of thread operations, which is called probe effect. While the approaches to reduce instrumentation overhead, to enable reproducible execution, and to enforce deterministic threading have been studied, no research has yet answered if an instrumented execution has the same behavior as the program execution without any instrumentation and how the execution gets changed if there were any. In this paper, we propose a simulation-based analysis to detect the changes of execution event ordering that are induced by instrumentation operations. The execution model of a program is constructed from the trace of instrumented program execution and is used in a simulation analysis where instrumentation overhead is removed. As a consequence, we can infer the ordering of events in the original program execution and verify the existence of probe effect resulted from instrumentation.

Original languageEnglish (US)
Title of host publication2014 Proceedings of the International Conference on Embedded Software, EMSOFT 2014
PublisherAssociation for Computing Machinery, Inc
ISBN (Electronic)9781450330527
DOIs
StatePublished - Oct 12 2014
Event14th International Conference on Embedded Software, EMSOFT 2014 - New Delhi, India
Duration: Oct 12 2014Oct 17 2014

Publication series

Name2014 Proceedings of the International Conference on Embedded Software, EMSOFT 2014

Other

Other14th International Conference on Embedded Software, EMSOFT 2014
CountryIndia
CityNew Delhi
Period10/12/1410/17/14

Keywords

  • Event ordering
  • Multi-threaded program
  • Probe effect
  • Profiling
  • Reproducible execution
  • Software instrumentation

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'On the existence of probe effect in multi-threaded embedded programs'. Together they form a unique fingerprint.

Cite this