|
From: <sv...@va...> - 2007-09-10 14:05:08
|
Author: sewardj Date: 2007-09-10 15:04:57 +0100 (Mon, 10 Sep 2007) New Revision: 6811 Log: This is Thrcheck, a new tool for detecting errors in threaded programs. It is still under development and is not suitable for production use. Compared to Helgrind, it lacks some functionality: * no checking of lock acquisition ordering problems * no support for x86/amd64 LOCK prefixes or PPC equivalents * no support for reader-writer locks * many important pthread_ functions are not handled (pthread_rwlock_*, pthread_spinlock_*, semaphores) * does not print any source-level description of the data locations involved in race reports On the other hand: * it at least works in the current Valgrind framework * it uses a more sophisticated model of memory ownership in the hope of getting a lower false error rate during race detection * it tries to produce additional information in race error reports, so as to assist programmers in tracking down the root causes of reported problems Is currently lightly tested on x86-linux and amd64-linux. Will not work on any other platforms. Added: branches/THRCHECK/thrcheck/Makefile.am branches/THRCHECK/thrcheck/tc_intercepts.c branches/THRCHECK/thrcheck/tc_main.c branches/THRCHECK/thrcheck/tc_wordfm.c branches/THRCHECK/thrcheck/tc_wordfm.h branches/THRCHECK/thrcheck/tc_wordset.c branches/THRCHECK/thrcheck/tc_wordset.h branches/THRCHECK/thrcheck/thrcheck.h [... diff too large to include ...] |