Synchronization identification through on-the-fly test

Xiang Yuan, Zhenjiang Wang, Chenggang Wu, Pen Chung Yew, Wenwen Wang, Jianjun Li, Di Xu

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

4 Scopus citations

Abstract

Identifying synchronizations could significantly improve testing and debugging of multithreaded programs because it could substantially cut down the number of possible interleavings in those tests. There are two general techniques to implement synchronizations: modularized and ad-hoc. Identifying synchronizations in multi-threaded programs could be quite challenging. It is because modularized synchronizations are often implemented in an obscure and implicit way, and ad-hoc synchronizations could be quite subtle. In this paper, we try to identify synchronizations from a new perspective. We found that if a thread is waiting for synchronizations, the code it executes during the wait is very different from that after the completion of the synchronization. Based on such an observation, we proposed an effective method to identify synchronizations. It doesn't depend on the understanding of source codes or the knowledge of semantics of library routines. A system called SyncTester is developed, and experiments show that SyncTester is effective and useful.

Original languageEnglish (US)
Title of host publicationEuro-Par 2013 Parallel Processing - 19th International Conference, Proceedings
Pages4-15
Number of pages12
DOIs
StatePublished - Sep 3 2013
Event19th International Conference on Parallel Processing, Euro-Par 2013 - Aachen, Germany
Duration: Aug 26 2013Aug 30 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8097 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other19th International Conference on Parallel Processing, Euro-Par 2013
CountryGermany
CityAachen
Period8/26/138/30/13

Keywords

  • concurrency testing
  • multithreading
  • synchronization identification

Fingerprint Dive into the research topics of 'Synchronization identification through on-the-fly test'. Together they form a unique fingerprint.

Cite this