본문 바로가기
  • Home

A Post-mortem Detection Tool of First Races to Occur in Shared-Memory Programs with Nested Parallelism

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2014, 19(4), pp.17-24
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science

MunHye Kang 1 Gab-Sig Sim 2

1국립경남과학기술대학교
2경남과학기술대학교

Accredited

ABSTRACT

Detecting data races is important for debugging shared-memory programs with nestedparallelism, because races result in unintended non-deterministic executions of the program. It isespecially important to detect the first occurred data races for effective debugging, because theremoval of such races may make other affected races disappear or appear. Previous dynamicdetection tools for first race detecting can not guarantee that detected races are unaffected races. Also, the tools does not consider the nesting levels or need support of other techniques. This papersuggests a post-mortem tool which collects candidate accesses during program execution and then detects the first races to occur on the program after execution. This technique is efficient, becauseit guarantees that first races reported by analyzing a nesting level are the races that occur first atthe level, and does not require more analyses to the higher nesting levels than the current level.

Citation status

* References for papers published after 2022 are currently being built.