Value-deterministic search-based replay for android multithreaded applications

  • Authors:
  • Ajay Kumar Jha;Sooyong Jeong;Woo Jin Lee

  • Affiliations:
  • Kyungpook National University, Sankyuk-dong, Buk-gu, Daegu, Republic of Korea;Kyungpook National University, Sankyuk-dong, Buk-gu, Daegu, Republic of Korea;Kyungpook National University, Sankyuk-dong, Buk-gu, Daegu, Republic of Korea

  • Venue:
  • Proceedings of the 2013 Research in Adaptive and Convergent Systems
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

With the advancement of programming technique like multithreading added with highly efficient memory model design, it is becoming very difficult to understand and analyze the execution behavior of a program. Due to non-determinism in execution behavior introduced by concurrency-related events the program may behave differently than expected which may cause the program to crash. To pinpoint the cause of crash, the execution which caused the crash must be reproduced. Our technique solves this problem by recording the concurrency-related events during program execution and reproducing those events during replay. For this purpose, our technique records thread id and value of the shared variables accessed during program execution while during replay it searches thread space to generate the same value of shared variable which it observed while recording.