Run-time race conditions detection

Исходная задача

Обзор существующих решений

Решение компании Sun: http://developers.sun.com/sunstudio/documentation/ss9_docs/mr/READMEs/lock_lint.html

Данное решение содержит в себе статический анализ кода + разработано для Solaris (i386,SPARC)

Intel Thread Checker

Resource Standard Metrics http://msquaredtechnologies.com/m2rsm/index.htm

Имеет возможность динамически анализировать программу, по куче признаков. Планирую поставить версию и поиграться с ней.

Небольшая презентация на тему:
http://www.diku.dk/forskning/performance-engineering/Generic-programming/Slides/lars_skovlundmorten_poulsenforedrag.pdf