Interlocked系列函数线程同步的缺陷

最新推荐文章于 2023-10-30 08:04:56 发布

gufeng99

最新推荐文章于 2023-10-30 08:04:56 发布

阅读量679

点赞数 1

CC 4.0 BY-SA版权

分类专栏： windows 文章标签： Interlocked 线程同步

本文链接：https://blog.youkuaiyun.com/gufeng99/article/details/45753277

windows 专栏收录该内容

2 篇文章

订阅专栏

本文深入探讨了并发编程中的互斥锁使用场景，通过案例分析了使用InterlockedIncrement函数可能导致的线程间数据不一致问题，并提出了使用临界区解决该问题的方法。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1、 Code

int	Work()
{
	while (m_lInterlockedData < 10)
	{
		InterlockedIncrement(&m_lInterlockedData);			
		Sleep(100);
	}

	printf("CInterlocked::Work end\n");

	return	0;
}

起5个线程运行Work()函数，理论上m_lInterlockedData最后运行的结果应该是10。

BOOL	RunThread()
{
	CloseHandle((HANDLE)_beginthreadex(NULL, NULL, ThreadProc, this, NULL, NULL));
	CloseHandle((HANDLE)_beginthreadex(NULL, NULL, ThreadProc, this, NULL, NULL));
	CloseHandle((HANDLE)_beginthreadex(NULL, NULL, ThreadProc, this, NULL, NULL));
	CloseHandle((HANDLE)_beginthreadex(NULL, NULL, ThreadProc, this, NULL, NULL));
	CloseHandle((HANDLE)_beginthreadex(NULL, NULL, ThreadProc, this, NULL, NULL));

	return	TRUE;
}

2、运行结果

实际运行结果却令人意外，m_lInterlockedData = 11, why?

3、原因

做以下假设：

3.1 当m_lInterlockedData = 9时，线程1 运行完while(m_lInterlockedData < 10) ，会判断为真。

3.2 此时系统切换到线程2 运行，线程2的Work函数会将m_lInterlockedData增加到10。

3.3 系统再次切换返回到线程1运行，由于while的判定代码已执行且为真，所以此时会执行InterlockedIncrement(&m_lInterlockedData);从而将m_lInterlockedData再次增加到11。

4、解决方法

改用临界区即可解决如上问题

int	WorkEx()
{
	while (TRUE)
	{
		EnterCriticalSection(&m_cs);
		if (m_lInterlockedData < 10)
		{
			m_lInterlockedData++;
			LeaveCriticalSection(&m_cs);
		}
		else
		{
			LeaveCriticalSection(&m_cs);
			break;
		}
		
		Sleep(100);
	}
	
	printf("CInterlocked::Work end\n");
	
	return	0;
}

注意，为了不让在临近区中等待过久，故将Sleep(100) 放在LeaveCriticalSection() 之外。