ReDPro: An Automated Techniqu e to Detect and RegenerateProcess-level Concurrency Failures

Tarannum Shaila Zaman, Tariqul Islam

Research output: Chapter in Book/Entry/PoemConference contribution


Process-level concurrency failures occur when multiple processes read and write a shared data item without proper synchronization. Process-level failures are difficult to detect because they are sensitive to the execution order of system calls. These failures can not be detected unless a specific system-call interleaving is exercised during testing. A common practice when testing or debugging concurrency failures is to execute many runs of a program with the hope of exercising interleaving that causes races known as stress testing. However, existing research prove that stress testing is neither efficient nor reproducible. In this paper, we presented an automated technique, RedPro that can detect process-level races and also regenerate the failures. We used a binary instrumentation tool named PIN for run-Time monitoring and controlling the order of execution for potential race pairs. We evaluated the performance of RedPro by detecting and regenerating nine real-world bugs. The result demonstrates that our proposed technique is both effective and efficient.

Original languageEnglish (US)
Title of host publicationProceedings of the 2022 ACMSE Conference - ACMSE 2022
Subtitle of host publicationThe Annual ACM Southeast Conference
PublisherAssociation for Computing Machinery, Inc
Number of pages7
ISBN (Electronic)9781450386975
StatePublished - Apr 18 2022
Event2022 ACM Southeast Conference, ACMSE 2022 - Virtual, Online, United States
Duration: Apr 18 2022Apr 20 2022

Publication series

NameProceedings of the 2022 ACMSE Conference - ACMSE 2022: The Annual ACM Southeast Conference


Conference2022 ACM Southeast Conference, ACMSE 2022
Country/TerritoryUnited States
CityVirtual, Online


  • bug detection
  • bug regeneration
  • process-level races
  • system calls

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Computer Science Applications
  • Hardware and Architecture
  • Software


Dive into the research topics of 'ReDPro: An Automated Techniqu e to Detect and RegenerateProcess-level Concurrency Failures'. Together they form a unique fingerprint.

Cite this