【linux】Valgrind工具集详解（十三）：Helgrind（线程错误检测器）

一、概述

Helgrind用于检测C、C ++和Fortran程序中使用符合POSIX标准的线程函数造成的同步错误。

POSIX中关于线程的主要抽象描述有：共享公共地址空间的一组线程、线程创建、线程连接、线程退出、互斥（锁）、条件变量（线程间事件通知）、读写器锁、自旋锁、信号量和线程等待（也叫做屏障）。

Helgrind可以检测到三类错误：

1. 错误使用POSIX线程API；
2. 死锁问题；
3. 资源竞争——在没有足锁定或同步的情况下访问内存。

像这样的问题经常导致不可重现的、与时间相关的崩溃、死锁等很难通过其他方式找到。

二、使用

编译： gcc -g -pthread main.c

三、错误信息详解

1、错误使用POSIX线程API

Helgrind检查许多POSIX线程函数的调用，因此能够报告各种常见问题。虽然有很多都是无意义的错误，但它们可能会导致程序行为不明确，以及以后难以发现的错误。检测到的错误有以下几种：

1. 解锁无效的互斥锁，错误信息如下

==10045== Thread #1 unlocked an invalid lock at 0xFFEFFFBA0
==10045==    at 0x4C329D6: pthread_mutex_unlock (hg_intercepts.c:707)
==10045==    by 0x4009D7: main (main.c:28)
<