Forcing small models of conditions on program interleaving for detection of concurrent bugs

Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Is it possible to efficiently reveal concurrency bugs by forcing a well selected set of conditions on program interleaving? To study this general question, we defined two simple models of conditions on program interleaving targeted at the insufficient-synchronization-scope bug pattern. We analyzed these models with respect to several buggy programs. We also implemented an algorithm that tries to force one of these models. The analysis of these models shows that relatively small models can detect insufficient-synchronization-scope bugs. The experiments with the forcing algorithm demonstrated the ability of finding the bug with high efficiency: the average testing time till the bug is detected was improved by factors of 7 and 73 compared with the average time required by a dynamic exploration that did not incorporate the forcing algorithm.

Original languageEnglish
Title of host publicationProceedings of the 7th Workshop on Parallel and Distributed Systems
Subtitle of host publicationTesting, Analysis, and Debugging, PADTAD '09
DOIs
StatePublished - 2009
Externally publishedYes
Event7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD '09, in conjunction with the International Symposium on Software Testing and Analysis, ISSTA 2009 - Chicago, IL, United States
Duration: 19 Jul 200920 Jul 2009

Publication series

NameProceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD '09

Conference

Conference7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD '09, in conjunction with the International Symposium on Software Testing and Analysis, ISSTA 2009
Country/TerritoryUnited States
CityChicago, IL
Period19/07/0920/07/09

Keywords

  • Analysis
  • Concurrency bug patterns
  • Dynamic exploration
  • Forcing algorithm
  • Model of conditions on program interleaving

Fingerprint

Dive into the research topics of 'Forcing small models of conditions on program interleaving for detection of concurrent bugs'. Together they form a unique fingerprint.

Cite this