ipdlogo Publikation 'Identifying Ad-hoc Synchronization for Enhanced Race Detection'
Achtung: Es gibt eine neue Webseite des Lehrstuhls
dept-logo unilogo

Konferenzartikel

Ali Jannesari, Walter F. Tichy, Identifying Ad-hoc Synchronization for Enhanced Race Detection, p. 1 -10, IEEE International Parallel & Distributed Processing Symposium (IPDPS'10), Atlanta, USA, Apr 2010.

Zusammenfassung

Parallel programs contain a surprising number of ad-hoc synchronization operations. Ad-hoc synchronization operations are loops that busy-wait on condition variables. Current race detectors produce unnecessary warnings (false positives) when ad-hoc synchronization is used. False positives are also generated when programmers use synchronization primitives that are unknown to race detectors, for instance when programmers switch libraries. These shortcomings may result in an overwhelming number of false positives, dissuading programmers from using race detectors. This paper shows that ad-hoc synchronization operations can be detected automatically. The method requires no user intervention such as annotations and has been implemented in the race detector Helgrind+. Evaluation results on various benchmarks confirm that Helgrind+ is aware of all synchronizations in programs, reliably reports true races, and produces few false alarms. A surprising result is that with the new technique, Helgrind+ can analyze synchronization libraries, so special knowledge about these libraries is not needed in the detector.

[Erzeuge bibTeX Eintrag]

Institutsinterne Autoren

Institutsleitung
Prof. Tichy, Walter F.
blank
Alumni
Dr. Jannesari, Ali

blank
 Login
Login: 
Passwort: 
 Links
  » IPD Tichy
  » JavaParty
  » JPlag
  » ClusterOS
  » Jamaica
  » Education Support Centre
  » CHIL
blank up