C#任务同步
如果需要共享数据,就必须使用同步技术,确保一次只有一个线程访问和改变共享状态。如果不注意同步,就会出现争用条件和死锁。
不同步导致的线程问题
如果两个或多个线程访问相同的对象,并且对共享状态的访问没有同步,就会出现争用条件。为了解决这类问题,可以使用lock
语句,对共享对象进行锁定,除了进行锁定之外,还可以将共享对象设置为线程安全的对象。
注意:只有引用类型才能使用lock
进行锁定。
锁定并不是越多越好,过多的锁定会造成死锁,在死锁中,至少有两个线程被挂起,并等待对象解除锁定。由于两个线程都在等待对方,就出现了死锁,线程将无限等待下去。
lock语句和线程安全
C#为多个线程的同步提供了自己的关键字:lock
语句。
使用一个简单的示例来说明lock
的使用,首先定义两个简单的类来模拟线程计算,这两个类不包含任何的锁操作:
class SharedState
{
public int State { get; set; }
}
class Job
{
private SharedState _sharedState;
public Job(SharedState sharedState)
{
this._sharedState = sharedState;
}
//该方法不是最终解决方案,存在漏洞,请不要直接应用到实际代码中
public void DoTheJob()
{
for (int i = 0; i < 50000; i++)
{
//每循环一次,值+1
_sharedState.State += 1;
}
}
}
接着使用并行任务同时调用上述方法,这里使用循环创建了20个Task
对象,代码如下:
public static void Run()
{
int numTasks = 20;
//在循环外声明一个SharedState实例,所有的Task都将接收该实例对象
var state = new SharedState();
//声明Task数组
var tasks = new Task[numTasks];
for(int i = 0; i < numTasks; i++)
{
//传入共用的SharedState实例
tasks[i] = Task.Run(() => new Job(state).DoTheJob());
}
//等待所有任务的执行
Task.WaitAll(tasks);
Console.WriteLine("结果:"+state.State);
}
上述代码没有使用lock
语句,多个Task对于_sharedState.State
的访问存在线程不安全的情况,这就导致每次执行上述方法时输出的结果各不相同并且还是错误的(正确值是50000*20=100 0000)。多次调用上述方法,输出的结果如下:
结果:402798
结果:403463
结果:467736
结果:759837
为了得到正确结果,必须在这个程序中添加同步功能,可以使用lock
关键字实现,它表示要等待指定对象的锁定。当锁定了一个线程后,就可以运行lock
语句块。在lock
语句块结束时,对象的锁定被解除,另一个等待锁定的线程就可以获得该锁定块了。lock
语句只能传递引用类型,因为值类型只是锁定了一个副本,并没有任何意义。
使用lock
语句,如果要锁定静态成员,可以把锁放在object
类型或静态成员上;如果要将类的实例成员设置为线程安全的(一次只能有一个线程访问相同实例的成员),可以在类中单独定义一个object
类型的成员对象,在该类的其他成员只用将这个对象用于lock
语句。
在Job
类中,对DoTheJob()
方法进行改写,使用lock
语句进行锁定,方法如下:
public void DoTheJob()
{
for (int i = 0; i < 50000; i++)
{
lock (_sharedState)
{
_sharedState.State += 1;
}
}
}
接着执行之前的Run()
方法,此时可以得到正确的值:
结果:1000000
-----程序执行完毕-----
Interlocked类
对于常用的i++
这种运算,在多线程中,它并不是线程安全的,它的操作包括从内存中获取一个值,给该值递增1
,再将它存储回内存中。这些操作都可能被线程调度器打断。Interlocked
类提供了以线程安全的方式递增、递减、交换和读取值的方法。
在使用lock
语句对类似i++
这种操作进行锁同步时,使用Interlocked
类会快的多。但是,它只能用于简单的同步问题。
示例一,使用lock
语句锁定对某个变量的访问,对该变量进行比较操作:
lock (obj)
{
if (someState == null)
{
someState = newState;
}
}
上述可以使用Interlocked.CompareExchange()
方法进行改写,并且执行的更快:
Interlocked.CompareExchange(ref someState, newState, null);
示例二,如果是简单的对变量递增进行lock
语句:
lock (obj)
{
return ++_state;
}
可以使用执行更快的Interlocked.Increment()
方法进行改写:
Interlocked.Increment(ref _state);
Monitor类
lock
语句由C#编译器解析为使用Monitor
类。
lock(obj)
{
}
上述lock
语句被解析为调用Monitor
类的Enter()
方法,该方法会一直等待,直到线程锁定对象为止。一次只有一个线程能锁定对象。【只要对象被锁定,线程就可以进入同步阶段】。Monitor
类的Exit()
方法解除了锁定。编译器把Exit()
方法放在try
块的finally
处理程序中,所以如果抛出了异常,就会解除该锁定。
Monitor.Enter(obj);
try
{
//同步执行代码块
}
finally
{
Monitor.Exit(obj);
}
与C#的lock
语句相比,Monitor
类的主要优点是:可以添加一个等待被锁定的超时值。这样其他线程就不会无限期地等待被锁定。可以使用Monitor.TryEnter()
方法,并为该方法传递一个超时值,指定等待被锁定的最长时间。
bool _lockTaken = false;
Monitor.TryEnter(_obj, 500, ref _lockTaken);
if (_lockTaken)
{
try
{
}
finally
{
Monitor.Exit(_obj);
}
}
else
{
//didn't get the lock,do something else
}
SpinLock结构
SpinLock
结构的用法非常类似于Monitor
类。使用Enter()
或TryEnter()
方法获得锁,使用Exit()
方法释放锁定。与Monitor
相比,如果基于对象的锁定对象(使用Monitor
)的系统开销由于垃圾回收而过高,就可以使用SpinLock
结构。如果有大量的锁定,且锁定的时间总是非常短,SpinLock
结构就很有用。
SpinLock
结构还提供了属性IsHeld
和IsHeldByCurrentThread
,指定它当前是否被锁定。
注意:由于SpinLock
定义为结构,因此传递SpinLock
实例时,是按照值类型传递的。
WaitHandle抽象类
WaitHandle
是一个抽象基类,用于等待一个信号的设置。可以等待不同的信号,因为WaitHandle
是一个基类,可以从中派生一些其他类。
异步委托的BeginInvoke()
方法返回一个实现了IAsycResult
接口的对象。使用IAsycResult
接口,可以用AsycWaitHandle
属性访问WaitHandle
基类。在调用WaitHandle
的WaitOne()
方式或者超时发生是,线程会等待接收一个与等待句柄相关的信号。调用EndInvoke()
方法,线程最终会阻塞,知道得到结果为止。
示例如下:
static int TakesAWhile(int x,int ms)
{
Task.Delay(ms).Wait();
return 42;
}
delegate int TakesAWhileDelegate(int x, int ms);
public static void Run()
{
TakesAWhileDelegate d1 = TakesAWhile;
IAsyncResult ar= d1.BeginInvoke(1, 3000, null, null);
while (true)
{
if (ar.AsyncWaitHandle.WaitOne(50))
{
Console.WriteLine("Can get the result now");
break;
}
}
int result = d1.EndInvoke(ar);
Console.WriteLine("result:"+result);
}
调用上述方法,输出结果如下:
Can get the result now
result:42
-----程序执行完毕-----
因为Mutex
、EventWaitHandle
和Semaphore
类派生自WaitHandle
基类,所以可以在等待时使用它们。
Mutex类
Mutex
(mutual exclusion,互斥)是.NET Framework中提供跨多个进程同步访问的一类。它非常类似于Monitor
类,因为它们都只有一个线程能拥有锁定。只有一个线程能获得互斥锁定,访问受互斥保护的同步代码区域。
在Mutex
类的构造函数中,可以指定互斥是否最初应由主调线程拥有,定义互斥的名称,获得互斥是否已存在的信息。
bool createdNew;
var mutex=new Mutex(false,"ProCSharpMutex",out createdNew);
上述示例代码中,第3个参数定义为输出参数,接收一个表示互斥是否为新建的布尔值。如果返回值为false
,就表示互斥已经定义。互斥可以在另一个进程中定义,因为操作系统能够识别有名称的互斥,它由不同的进程共享。如果没有给互斥指定名称,互斥就是为命名的,不在不同的进程之间共享。
由于系统能识别有名称的互斥,因此可以使用它禁止应用程序启动两次,常用于WPF/winform中:
bool mutexCreated;
var mutex=new Mutex(false,"SingleOnWinAppMutex",out mutexCreated);
if(!mutexCreated){
MessageBox.Show("当前程序已经启动!");
Application.Current.Shutdown();
}
Semaphore类
Semaphore
非常类似于Mutex
,其区别是,Semaphore
可以同时由多个线程使用,它是一种计数的互斥锁定。使用Semaphore
,可以定义允许同时访问受锁定保护的资源的线程个数。如果需要限制可以访问可用资源的线程数,Semaphore
就很有用。
.NET Core中提供了两个类Semaphore
和SemaphoreSlim
。Semaphore
类可以使用系统范围内的资源,允许在不同进程之间同步。SemaphoreSlim
类是对较短等待时间进行了优化的轻型版本。
static void TaskMain(SemaphoreSlim semaphore)
{
bool isCompleted = false;
while (!isCompleted)
{
//锁定信号量,定义最长等待时间为600毫秒
if (semaphore.Wait(600))
{
try
{
Console.WriteLine($"Task {Task.CurrentId} locks the semaphore");
Task.Delay(2000).Wait();
}
finally
{
Console.WriteLine($"Task {Task.CurrentId} releases the semaphore");
semaphore.Release();
isCompleted = true;
}
}
else{
Console.WriteLine($"Timeout for task {Task.CurrentId}; wait again");
}
}
}
public static void Run()
{
int taskCount = 6;
int semaphoreCount = 3;
//创建计数为3的信号量
//该构造函数第一个参数表示最初释放的锁定量,第二个参数定义了锁定个数的计数
var semaphore = new SemaphoreSlim(semaphoreCount, semaphoreCount);
var tasks = new Task[taskCount];
for(int i = 0; i < taskCount; i++)
{
tasks[i] = Task.Run(()=>TaskMain(semaphore));
}
Task.WaitAll(tasks);
Console.WriteLine("All tasks finished");
}
上述代码执行后,输出结果如下:
Task 3 locks the semaphore
Task 2 locks the semaphore
Task 1 locks the semaphore
Timeout for task 4; wait again
Timeout for task 4; wait again
Timeout for task 5; wait again
Timeout for task 4; wait again
Task 1 releases the semaphore
Task 9 locks the semaphore
Task 3 releases the semaphore
Task 5 locks the semaphore
Task 2 releases the semaphore
Task 4 locks the semaphore
Task 4 releases the semaphore
Task 5 releases the semaphore
Task 9 releases the semaphore
All tasks finished
-----程序执行完毕-----
Events类(略)
此处的Events
并不是C#中的某个类名,而是一系列类的统称。主要使用到的类有ManualResetEvent
、AutoResetEvent
、ManualResetEventSlim
和CountdownEvent
类。与Mutex
和Semaphore
对象一样,Events
对象也是一个系统范围内的资源同步方法。
注意:C#中的event
关键字与System.Threading
命名空间中的event
类没有任何关系。event
关键字基于委托,而上述event
类是.net封装器,用于系统范围内的本机事件资源的同步。
可以使用Events
通知其他任务:这里有一些数据,并完成了一些操作等。Events
可以发信号,也可以不发信号。
Barrier类(略)
对于同步,Barrier
类非常适用于其中工作有多个任务分支且以后又需要合并工作的情况。Barrier
类用于需要同步的参与者。激活一个任务时,就可以动态的添加其他参与者。
Barrier
类型提供了一个更复杂的场景,其中可以同时运行多个任务,直到达到一个同步点为止。一旦所有任务达到这一点,他们旧客户以继续同时满足于下一个同步点。
ReaderWriterLockSlim类(略)
为了使锁定机制允许锁定多个读取器(而不是一个写入器)访问某个资源,可以使用ReaderWriterLockSlim
类。这个类提供了一个锁定功能,如果没有写入器锁定资源,就允许多个读取器访问资源,但只能有一个写入器锁定该资源。
Timer类(略)
使用计时器,可以重复调用方法。
任务同步补充说明
上述内容带略的都是很少使用到的,但是不代表一定不会用到。建议实际应用中通过官方文档去了解具体的用法。
在使用多个线程时,尽量避免共享状态,如果实在不可避免要用到同步,尽量使同步要求最低化,因为同步会阻塞线程。