分类:
2012-05-26 22:26:05
原文地址:FileZilla FTP服务器源代码分析05 作者:sinodragon21
win32同步控制机制(Synchronization)回顾
1、Critical Sections(关键域)
最简单的一种同步机制,创建和销毁的函数是:
InitializeCriticalSection()
DeleteCriticalSection()
在
被创建后,使用如下函数实现线程同步,
EnterCritSection()
... 需要同步的代码
LeaveCritSection()
即
在同一时间内,EnterCritSection和LeaveCritSection中间的代码只能被一个线程处理。注意的问题是:
Critical
Sections类型的变量并不是一个核心对象,即没有handle;
它存在于进程的内存空间中,即不可跨进程使用;
可能会导致死锁;
2、Mutexes(互斥器)
创建和销毁的函数是:
CreateMutex()
CloseHandle()
如果
Mutex已经被创建,这样打开和关闭:
OpenMutex()
ReleaseMutex()
使用的时候,用wait函数来等待
Mutex,一旦没有线程拥有这个Mutex,这个线程就会获得这个Mutex,在这个线程处理完以后,调用ReleaseMutex()可以释放这个
Mutex,其它等待中的线程就会重新竞争这个Mutex,同时只能有一个线程获得这个Mutex,没竞争到的线程则处于blocking阻塞状态。常见
的wait函数有:
WaitForSingleObject() // 等待一个mutex
WaitForMultipleObjects()
// 同时等待多个mutex,要不同时拥有多个,要不一个也没有
和Critical
Sections相比,mutex是一个核心对象,因此是跨进程的,即多个进程可以使用同一个mutex,并且CreateMutex()的开销比
InitializeCriticalSection()要大得多。
相比而言,mutex更重量级,更慢,但也更灵活。
3、信号量(Semaphores)
创建和销毁的函数是:
CreateSemaphore()
CloseHandle()
获
取这个Semaphore的函数同样是那些wait函数WaitForSingleObject(),
WaitForMultipleObjects()等等。
使用Semaphores的含义是:Semaphores可以同时被多个线程拥有,但在
CreateSemaphore()时会指定一个同时拥有这个Semaphore的最大线程数,即每个线程调用wait函数获取Semaphore
时,Semaphore内部的可用值就会减1,一旦可用值为0,则线程必须等待。当拥到Semaphore的线程运行完后,也应该调用
ReleaseSemaphore()来释放。
同Mutexes不一样的是,调用ReleaseSemaphore()的线程并一定是调用
wait并获得拥有权的那个线程,即任何线程都可以在任何时间调用ReleaseSemaphore()来解除被任何线程锁定的Semaphore。
在
某种意义上,Mutexes可以看成是Semaphore的一个特例,即只能同时被一个线程锁定的Semaphore。
Semaphore也是核心对象。
4、事件(Event Objects)
win32中最灵活的应该是events了,它也是一种核心对象。
events的含义在
于:events有两种状态,激活和非激活,在events被激活时,那些等待着的线程会被唤醒。
创建和销毁的函数是:
CreateEvent(),
创建时可以指定events是manual或automatic,manual的含义是events的状态是由程序员设定的。automatic的含义是
events变成激话后,立即自动变成非激活。
CloseHandle()
获取这个events的函数同样是那些wait函数
WaitForSingleObject(), WaitForMultipleObjects()等等。
下面三个方法可以改变events的状
态:
SetEvent(): 把events设为激活
ResetEvent(): 把events设为非激活
PulseEvent():
激活events,然后立即高为非激活。如果events是manual的,则唤醒所有等待的线程,如果events是automatic的,同唤醒“一
个”等待的线程。
注意,如果event是manual时,这时调用SetEvent后,如果不调用ResetEvent,则等待中的线程会被不断的唤醒,即不断地执
行CreateThread时指定的lpStartAddress方法。
还有一点,windows系统可以保证被唤醒的线程是一个接着一个的,即
不会有的线程总是被唤醒,而有些线程被饿死。