阅读MoreWindows大神的秒杀多线程系列至第十一篇读者写着问题,做一点小小的总结;
读者写者问题描述:有一个写者很多读者,多个读者可以同时读文件,但写者在写文件时不允许有读者在读文件,同样有读者在读文件时写者也不去能写文件,很简单的一个描述。
本文对于写者开始写文件时就将可读事件(g_hEventCanRead)设置为未触发状态,结束写作时将可读事件(g_hEventCanRead)设置为触发状态;对于多个读者,使用一计数器ReadCount计数正在阅读的读者个数,当ReadCount=1时,设置可写事件(g_hEventCanWrite)为未触发状态,当ReadCount=0时,设置可写事件(g_hEventCanWrite)为触发状态。以此来保证读者与写者的同步与互斥。
程序1:
#include <stdio.h>
#include <windows.h>
#include <process.h>
const int READ_NUM = 5;
CRITICAL_SECTION g_cs,g_cs_reader_count;
/*
g_cs用来确保对stdout输出端的操作完整性;
g_cs_reader_count确保对readerCount计数的原子性
*/
HANDLE g_hEventCanRead,g_hEventCanWrite;
/*
g_hEventCanRead事件控制读者是否可读
g_hEventCanWrite事件控制写着是否可写
*/
int readerCount;
void WriterPrint(char *pstr)
{
EnterCriticalSection(&g_cs);
printf("\t%s\n",pstr);
LeaveCriticalSection(&g_cs);
}
unsigned int __stdcall WriterFun(PVOID PM)
{
WriterPrint("写者进入等待中。。。");
WaitForSingleObject(g_hEventCanWrite,INFINITE);
//Sleep(1000);
ResetEvent(g_hEventCanRead);
WriterPrint("写者开始写文件。。。");
Sleep(100);
WriterPrint("写者结束写文件。。。");
SetEvent(g_hEventCanRead);
return 0;
}
void ReadPrint(DWORD ID,char *pstr)
{
EnterCriticalSection(&g_cs);
printf("%d%s\n",ID,pstr);
LeaveCriticalSection(&g_cs);
}
unsigned int __stdcall ReaderFun(PVOID PM)
{
ReadPrint(GetCurrentThreadId(),"号读者进入等待。。。");
WaitForSingleObject(g_hEventCanRead,INFINITE);
EnterCriticalSection(&g_cs_reader_count);
readerCount++;
if(readerCount == 1)
ResetEvent(g_hEventCanWrite);
LeaveCriticalSection(&g_cs_reader_count);
ReadPrint(GetCurrentThreadId(),"号读者开始阅读");
ReadPrint(GetCurrentThreadId(),"号读者结束阅读");
EnterCriticalSection(&g_cs_reader_count);
readerCount--;
if(readerCount == 0)
SetEvent(g_hEventCanWrite);
LeaveCriticalSection(&g_cs_reader_count);
return 0;
}
int main()
{
InitializeCriticalSection(&g_cs);
InitializeCriticalSection(&g_cs_reader_count);
//事件手动置位,初始为有信号TRUE
g_hEventCanRead = CreateEvent(NULL,TRUE,TRUE,NULL);
g_hEventCanWrite = CreateEvent(NULL,TRUE,TRUE,NULL);
readerCount = 0;
int i;
HANDLE handle[READ_NUM+1];
for(i=1;i<=2;i++)
handle[i] = (HANDLE)_beginthreadex(NULL,0,ReaderFun,NULL,0,NULL);
handle[0] = (HANDLE)_beginthreadex(NULL,0,WriterFun,NULL,0,NULL);
for(;i<=READ_NUM;i++)
handle[i] = (HANDLE)_beginthreadex(NULL,0,ReaderFun,NULL,0,NULL);
WaitForMultipleObjects(READ_NUM+1,handle,TRUE,INFINITE);
for(i=0;i<=READ_NUM;i++)
CloseHandle(handle[i]);
CloseHandle(g_hEventCanRead);
CloseHandle(g_hEventCanWrite);
DeleteCriticalSection(&g_cs);
DeleteCriticalSection(&g_cs_reader_count);
return 0;
}
结果截图:
从运行结果可以看到:读者与写着的操作时互斥的。
但是,接着阅读下面的游客评论,找出其中BUG,产生BUG的片段如下:
WriterPrint("写者进入等待中。。。");
WaitForSingleObject(g_hEventCanWrite,INFINITE);
ResetEvent(g_hEventCanRead);
WriterPrint("写者开始写文件。。。");
Sleep(100);
WriterPrint("写者结束写文件。。。");
SetEvent(g_hEventCanRead);
产生BUG的原因:写着在等待到可写事件(WaitForSingleObject(g_hEventCanWrite,INFINITE))的信号后,到置可读信号(ResetEvent(g-hEventCanRead))为未触发之前,读者线程可能获得权限,从而进行阅读的操作,但此时写者在等待到可写信号后,也在进行写作的操作,从而,没有保证读写的互斥。
将BUG片段稍做更改,即可体现:
unsigned int __stdcall WriterFun(PVOID PM)
{
WriterPrint("写者进入等待中。。。");
WaitForSingleObject(g_hEventCanWrite,INFINITE);
WriterPrint("写者开始写文件。。。");
Sleep(1000);
ResetEvent(g_hEventCanRead);
Sleep(100);
WriterPrint("写者结束写文件。。。");
SetEvent(g_hEventCanRead);
return 0;
}
做如此更改,并没有改变程序的功能,但运行结果:
从结果看出,写者开始写文件到结束写文件之间,有读者在进行阅读,即程序没有实现读写的互斥。
是什么导致程序失去了读写的互斥性呢,个人看法是,没有保证读写的同步,个人认为只能先写后读,读者只有在写者的写作任务结束之后才能进行阅读,而程序1则使读者和写着一开始就都获得了可读和可写的权限,即在创建可读可写事件时,手动将事件设置为触发状态:
g_hEventCanRead = CreateEvent(NULL,TRUE,TRUE,NULL);
g_hEventCanWrite = CreateEvent(NULL,TRUE,TRUE,NULL);
这才导致了写者开始写作但还没来及通知读者不可以阅读之前,读者就进行了阅读,是程序失去了读写的互斥性,所以,在创建事件时,可读事件应该手动设置为未触发状态,而在写着完成写作之后,才将可读事件设置为触发状态,这就保证了读写的互斥性。但这只是一个写者和多个读者的解决办法。更好的办法,是如MoreWindows大神的第十四篇文章
读者写者问题继续 读写锁SRWLock中一样进行解决。按照我所想的代码实现如下:
程序2:
#include <stdio.h>
#include <windows.h>
#include <process.h>
const int READ_NUM = 5;
CRITICAL_SECTION g_cs,g_cs_reader_count;
/*
g_cs用来确保对stdout输出端的操作完整性;
g_cs_reader_count确保对readerCount计数的原子性
*/
HANDLE g_hEventCanRead,g_hEventCanWrite;
/*
g_hEventCanRead事件控制读者是否可读
g_hEventCanWrite事件控制写着是否可写
*/
int readerCount;
void WriterPrint(char *pstr)
{
EnterCriticalSection(&g_cs);
printf("\t%s\n",pstr);
LeaveCriticalSection(&g_cs);
}
unsigned int __stdcall WriterFun(PVOID PM)
{
WriterPrint("写者进入等待中。。。");
WaitForSingleObject(g_hEventCanWrite,INFINITE);
WriterPrint("写者开始写文件。。。");
Sleep(1000);
WriterPrint("写者结束写文件。。。");
SetEvent(g_hEventCanRead);
return 0;
}
void ReadPrint(DWORD ID,char *pstr)
{
EnterCriticalSection(&g_cs);
printf("%d%s\n",ID,pstr);
LeaveCriticalSection(&g_cs);
}
unsigned int __stdcall ReaderFun(PVOID PM)
{
ReadPrint(GetCurrentThreadId(),"号读者进入等待。。。");
WaitForSingleObject(g_hEventCanRead,INFINITE);
EnterCriticalSection(&g_cs_reader_count);
readerCount++;
if(readerCount == 1)
ResetEvent(g_hEventCanWrite);
LeaveCriticalSection(&g_cs_reader_count);
ReadPrint(GetCurrentThreadId(),"号读者开始阅读");
ReadPrint(GetCurrentThreadId(),"号读者结束阅读");
EnterCriticalSection(&g_cs_reader_count);
readerCount--;
if(readerCount == 0)
SetEvent(g_hEventCanWrite);
LeaveCriticalSection(&g_cs_reader_count);
return 0;
}
int main()
{
InitializeCriticalSection(&g_cs);
InitializeCriticalSection(&g_cs_reader_count);
//事件手动置位,初始为有信号TRUE
g_hEventCanRead = CreateEvent(NULL,TRUE,FALSE,NULL);
g_hEventCanWrite = CreateEvent(NULL,TRUE,TRUE,NULL);
readerCount = 0;
int i;
HANDLE handle[READ_NUM+1];
for(i=1;i<=2;i++)
handle[i] = (HANDLE)_beginthreadex(NULL,0,ReaderFun,NULL,0,NULL);
handle[0] = (HANDLE)_beginthreadex(NULL,0,WriterFun,NULL,0,NULL);
for(;i<=READ_NUM;i++)
handle[i] = (HANDLE)_beginthreadex(NULL,0,ReaderFun,NULL,0,NULL);
WaitForMultipleObjects(READ_NUM+1,handle,TRUE,INFINITE);
for(i=0;i<=READ_NUM;i++)
CloseHandle(handle[i]);
CloseHandle(g_hEventCanRead);
CloseHandle(g_hEventCanWrite);
DeleteCriticalSection(&g_cs);
DeleteCriticalSection(&g_cs_reader_count);
return 0;
}
结果:
从结果看出,读者和写着之间的操作实现了互斥操作。
总结,以上两段程序的思想有一些出入,仅个人写下作为以后提醒复习用之。