一、概述
Helgrind用于检测C、C ++和Fortran程序中使用符合POSIX标准的线程函数造成的同步错误。
POSIX中关于线程的主要抽象描述有:共享公共地址空间的一组线程、线程创建、线程连接、线程退出、互斥(锁)、条件变量(线程间事件通知)、读写器锁、自旋锁、信号量和线程等待(也叫做屏障)。
Helgrind可以检测到三类错误:
- 错误使用POSIX线程API;
- 死锁问题;
- 资源竞争——在没有足锁定或同步的情况下访问内存。
像这样的问题经常导致不可重现的、与时间相关的崩溃、死锁等很难通过其他方式找到。
二、使用
编译: gcc -g -pthread main.c
三、错误信息详解
1、错误使用POSIX线程API
Helgrind检查许多POSIX线程函数的调用,因此能够报告各种常见问题。虽然有很多都是无意义的错误,但它们可能会导致程序行为不明确,以及以后难以发现的错误。检测到的错误有以下几种:
- 解锁无效的互斥锁,错误信息如下
==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)
<