本章主要说下基于内核模式构造的线程同步方式,事件,信号量。
目录
一:理论
二:WaitHandle
三:AutoResetEvent
四:ManualResetEvent
五:总结
一:理论
我们晓得线程同步可分为,用户模式构造和内核模式构造。
内核模式构造:是由windows系统本身使用,内核对象进行调度协助的。内核对象是系统地址空间中的一个内存块,由系统创建维护。
内核对象为内核所拥有,而不为进程所拥有,所以不同进程可以访问同一个内核对象, 如进程,线程,作业,事件,文件,信号量,互斥量等都是内核对象。
而信号量,互斥体,事件是windows专门用来帮助我们进行线程同步的内核对象。
对于线程同步操作来说,内核对象只有2个状态, 触发(终止,true)、未触发(非终止,false)。 未触发不可调度,触发可调度。
用户模式构造:是由特殊CPU指令来协调线程,上节讲的volatile实现就是一种,Interlocked也是。 也可称为非阻塞线程同步。
二:WaitHandle
在windows编程中,我们通过API创建一个内核对象后会返回一个句柄,句柄则是每个进程句柄表的索引,而后可以拿到内核对象的指针、掩码、标示等。
而WaitHandle抽象基类类作用是包装了一个windows内核对象的句柄。我们来看下其中一个WaitOne的函数源码(略精简)。
[System.Security.SecuritySafeCritical] // auto-generated
[SuppressMessage("Microsoft.Concurrency", "CA8001", Justification = "Reviewed for thread-safety.")]
private bool WaitOne(long timeout, bool exitContext)
{
return InternalWaitOne(safeWaitHandle, timeout, hasThreadAffinity, exitContext);
}
[System.Security.SecurityCritical]
internal static bool InternalWaitOne(SafeHandle waitableSafeHandle, long millisecondsTimeout, bool hasThreadAffinity, bool exitContext)
{
Contract.EndContractBlock();
int ret = WaitOneNative(waitableSafeHandle, (uint)millisecondsTimeout, hasThreadAffinity, exitContext);
if (ret == WAIT_ABANDONED)
{
ThrowAbandonedMutexException();
}
return (ret != WaitTimeout);
}
//调用win32 waitforsingleobjectEx
[System.Security.SecurityCritical]
[ResourceExposure(ResourceScope.None)]
[MethodImplAttribute(MethodImplOptions.InternalCall)]
private static extern int WaitOneNative(SafeHandle waitableSafeHandle, uint millisecondsTimeout, bool hasThreadAffinity, bool exitContext);
WaitAll 和WaitAny 调用win32中,waitformultipleobjectsEx函数。
SignalAndWaitOne 调用win32中,signalandwait函数。
调用api带ex都是设置超时的。 如果我们在c#中不传,默认是-1 表示无限期等待。
其中SafeWaitHandle字段,包含了一个win32内核对象句柄。
理解了WaitHandle其他都好办了,我们来看下它的派生类型。
三:AutoResetEvent
使用示例如下,有简单注释。 关于描述,尽量贴近系统自身术语。
}).Start();
new Thread(() =>
{
Thread.Sleep(2000);
Console.WriteLine("发信号");
waitHandler.Set(); //向内核对象发送信号。设置事件对象为非终止状态、false,解除阻塞。
}).Start();
//waitHandler.Close(); //释放句柄资源。
//waitHandler.Reset(); //手动设置事件为非终止状态、false,线程阻止。
Console.ReadLine();
}
WaitOne 阻塞线程,非自旋。
Set() 发出一个信号后,设置事件状态为false。 这本应该是2步的操作,AutoResetEvent.set()函数,给2步一起自动做了,很方便。
四:ManualResetEvent
这个和上面基本一样,从字面来说需要手动重置状态,我们来看例子。
manualWaitHandler.Reset(); //手动 设置事件对象状态为非终止状态,false。
manualWaitHandler.WaitOne(); //这里直接阻塞等待无效,因为事件对象还是true,必须手动调reset。
Console.WriteLine("第二次接收到信号,开始处理。");
}).Start();
new Thread(() =>
{
Thread.Sleep(2000);
Console.WriteLine("发信号");
manualWaitHandler.Set(); //向事件对象发送ok信号。。
Thread.Sleep(2000);
Console.WriteLine("第二次发信号");
manualWaitHandler.Set();
}).Start();
Console.ReadLine();
这2则区别很小,其实是系统Api的区分,不是net类库实现的。
在Win32Native类中,我可以看到KERNEL32 api 有这么个参数isManualReset。
基于内核模式构造的同步步骤是: 托管代码->用户模式代码->内核模式代码。
用户模式构造, 是利用CPU特殊指令,进行原子操作。
用户模式代码,如图。 是指 托管代码调用 win32代码 这一层, 之后在调内核模式代码。
新闻热点
疑难解答