博客
关于我
强烈建议你试试无所不能的chatGPT,快点击我
一次Mutex死锁的原因探究
阅读量:4595 次
发布时间:2019-06-09

本文共 1999 字,大约阅读时间需要 6 分钟。

1、现象

   最近项目中调出一个bug,某些时候程序会卡死不动,用windbg进行加载后用 ~*kb 命令列出所有的线程栈调用,发现有多个线程调用 WaitForMultipleObjects 在等待同一个内核对象:
   输入 !handle cc f 命令列出该内核对象的详细信息:
   发现是是一个Mutex对象,对象名是 Mutex_DebugMsg2 ,查找代码知道这个Mutex是用写log时锁定文件写入用的。代码如下:

BOOL	CDebugMsg::WriteLogA(LPSTR pszLog){#ifdef _WRITEDEBUGMSGLOG	BOOL	bRet = FALSE;		if (WaitForSingleObject(m_hMutex, INFINITE) != WAIT_OBJECT_0)	{		return bRet;	}	FILE* fp = _tfopen(m_ptszLogPath, _T("a+"));	if (fp)	{		TCHAR	ptszTime[16] = {0};		char	pszWriteMsg[MAXDEBUGMSGCHARNUM] = {0};				GetTimeString(ptszTime);				USES_CONVERSION;		_snprintf(pszWriteMsg, MAXDEBUGMSGCHARNUM, "%s %s\n", T2A(ptszTime), pszLog);		fputs(pszWriteMsg, fp);		fclose(fp);		bRet = TRUE;	}		ReleaseMutex(m_hMutex);	return	bRet;	#endif		return	FALSE;}

2、Windbg查找Mutex所有者

   为了知道那个线程占用了Mutex没有释放,参考此篇文章说明(http://blog.csdn.net/gufeng99/article/details/46714711)
   同时,为了简化问题原因查找,写了小Demo起3个线程调用log记录代码,触发上述bug,后开启windbg进入内核调试模式。
2.1 查看测试Demo进程

2.2 查看进程的所有线程及等待状态信息

   发现有3个线程都在等待同一个Mutex,线程所有者是0xfffffa8004d1b590

2.3 查看Mutex所有者线程信息,看是那个线程在占用

   找到该线程所在进程的PID = 0xC30,也就是本进程,线程ID = 0xD74

2.4 停止内核附加,切换Windbg改用用户态调试附加Demo进程,列出所有线程信息及调用栈

   

       发现线程拥有者就是主线程,难道是主线程调用后未释放成功么?为了验证这个情况,于是在ReleaseMutex(m_hMutex)加上返回跟踪输出,结果每次释放都是成功的。再看看代码,可能的解释不多了,想得到的可能就是WaitForSingleObject返回了,但返回值不是WAIT_OBJECT_0,导致没有调用ReleaseMutex进行释放。于是再跟踪了下WaitForSingleObject的返回值,发现第一次调用时返回值是128。
      去翻了下《windows核心编程》一书,原来Mutex和其他内核对象不一样,当拥有Mutex的线程未进行释放时被终止,这时Mutex处于被废弃状态,其他线程WaitForSingleObject可立即获得Mutex的所有权,但返回值会是WAIT_ABANDONED(128),而并不是WAIT_OBJECT_0,这是Mutex非常特殊的一点。
       到了这里,原因就非常明了了,由于log输出在项目中使用非常频繁,而写log时又需要重复调用fopen()和fclose打开关闭文件,这对IO的操作是比较费时间的,导致某些线程在此处由于等待超时被终止(由于其他Mutex是可跨进程的,所以其他进程中的线程意外终止或进程未正常退出都会有此问题),进而导致Mutex未被释放处于废弃状态。而程序收到WAIT_ABANDONED后未是Mutex进行释放,导致Mutex死锁。这里再次深刻的警示,线程是不能随意终止的,同时频繁打开关闭文件操作也是不合理的,正确的做法应该是打开一次后保存文件句柄,再程序退出时再关闭。
      另由于这个bug不是必现(由于线程不是每次都会由于等待超时被终止),在调试过程中我保存了下dump,后来调试下dump的时候显示handle信息是发现一个非常有意思的事情:
      dump中在调用 !handle cc f 命令后,同时也将Mutex的拥有者线程也显示出来了,而在即时调试的时候却没有该信息,需要绕一圈到内核中去查找。

转载于:https://www.cnblogs.com/organic/p/5005636.html

你可能感兴趣的文章
双语小说阅读:《谁动了我的奶酪》
查看>>
linux touch和vi建立的文件是什么文件类型的
查看>>
3-9
查看>>
导航右侧添加按钮、隐藏导航条和状态栏
查看>>
第二阶段冲刺6
查看>>
Java中final关键字的用法
查看>>
URL重写
查看>>
快速超越Chrome 微软IE9最新功能详解
查看>>
今天写一注册机时遇到猥亵的cookie设置。
查看>>
22万个木箱!TWaver 3D极限压榨
查看>>
NPOI使用手册
查看>>
GIT 常用命令
查看>>
php接收二进制文件转换成图片
查看>>
C++虚函数原理(转)
查看>>
InnoDB存储引擎介绍-(6) 一. Innodb Antelope 和Barracuda区别
查看>>
字典树的动态与静态模板
查看>>
sscanf的最基础用法(非原创)
查看>>
A new start
查看>>
GIt-恢复进度
查看>>
[转载]几个有趣的Linux命令
查看>>