线程也疯狂----线程同步（1）

前言

当线程池的线程阻塞时，线程池会创建额外的线程，而创建、销毁和调度线程所需要相当昂贵的内存资源，另外，很多的开发人员看见自己程序的线程没有做任何有用的事情时习惯创建更多的线程，为了构建可伸缩、响应灵敏的程序，我们在前面介绍了线程也疯狂-----异步编程。

但是异步编程同样也存在着很严重的问题，如果两个不同的线程访问相同的变量和数据，按照我们异步函数的实现方式，不可能存在两个线程同时访问相同的数据，这个时候我们就需要线程同步。多个线程同时访问共享数据的时，线程同步能防止数据损坏，之所以强调同时这个概念，因为线程同步本质就是计时问题。

异步和同步是相对的，同步就是顺序执行，执行完一个再执行下一个，需要等待、协调运行。异步就是彼此独立,在等待某事件的过程中继续做自己的事，不需要等待这一事件完成后再工作。线程就是实现异步的一个方式。异步是让调用方法的主线程不需要同步等待另一线程的完成，从而可以让主线程干其它的事情。

 

基元用户模式和内核模式构造

基础概念

基元：可以在代码中使用的简单的构造

用户模式：通过特殊的CPU指令协调线程，操作系统永远检测不到一个线程在基元用户模式的构造上阻塞。

内核模式：由windows自身提供，在应用程序的线程中调用由内核实现的函数。

用户模式构造

易变构造

 C#编译器、JIT编译器和CPU都会对代码进行优化，它们尽量保证保留我们的意图，但是从多线程的角度出发，我们的意图并不一定会得到保留，下面举例说明：

 1  static void Main(string[] args) 2         { 3            Console.WriteLine("让worker函数运行5s后停止"); 4            var t = new Thread(Worker); 5             t.Start(); 6             Thread.Sleep(5000); 7             stop = true; 8  9             Console.ReadLine();10         }11 12         private static bool stop = false;13 14         private static void Worker(object obj)15         {16             int x = 0;17             while (!stop)18             {19                 x++;20             }21             Console.WriteLine("worker函数停止x=｛0｝",x);22         }

编译器如果检查到stop为false，就生成代码来进入一个无限循环，并在循环中一直递增x，所以优化循环很快完成，但是编译器只检测stop一次，并不是每次都会检测。

例子2---两个线程同时访问：

 1 class test 2     { 3         private static int m_flag = 0; 4  5         private static int m_value = 0; 6  7         public static void Thread1(object obj) 8         { 9             m_value = 5;10             m_flag = 1;11 12         }13 14         public static void Thread2(object obj)15         {16             if (m_flag == 1)17                 Console.WriteLine("m_value = {0}", m_value);18         }19 20         //多核CPU机器才会出现线程同步问题21         public void Exec()22         {23             var thread1 = new Thread(Thread1);24             var thread2 = new Thread(Thread2);25             thread1.Start();26             thread2.Start();27             Console.ReadLine();28         }29     }

程序在执行的时候，编译器必须将变量m_flag和m_value从RAM读入CPU寄存器，RAM先传递m_value的值0，thread1把值变为5，但是thread2并不知道thread2仍然认为值为0,这种问题一般来说发生在多核CPU的概率大一些，应该CPU越多，多个线程同时访问资源的几率就越大。

关键字volatile，作用禁止C#编译器、JTP编译器和CPU执行的一些优化，如果做用于变量后，将不允许字段缓存到CPU的寄存器中，确保字段的读写都在RAM中进行。

 

互锁构造

System.Threading.Interlocked类中的每个方法都执行一次原子的读取以及写入操作，调用某个Interlocked方法之前的任何变量写入都在这个Interlocked方法调用之前执行，而调用之后的任何变量读取都在这个调用之后读取。

Interlocked方法主要是对INT32变量进行静态操作Add、Decrement、Compare、Exchange、CompareChange等方法，也接受object、Double等类型的参数。

原子操作：是指不会被线程调度机制打断的操作；这种操作一旦开始，就一直运行到结束，中间不会有任何 context switch （切换到另一个线程）。

代码演示：

说明：通过Interlocked的方法异步查询几个web服务器，并同时返回数据，且结果只执行一次。

//上报状态类型    enum CoordinationStatus    {        Cancel,        Timeout,        AllDone    }

 1  class AsyncCoordinator 2     { 3         //AllBegun 内部调用JustEnded来递减它 4         private int _mOpCount = 1; 5  6         //0=false,1=true 7         private int _mStatusReported = 0; 8  9         private Action<CoordinationStatus> _mCallback;10 11         private Timer _mTimer;12 13         //发起一个操作之前调用14         public void AboutToBegin(int opsToAdd = 1)15         {16            Interlocked.Add(ref _mOpCount, opsToAdd);17         }18 19         //处理好一个操作的结果之后调用20         public void JustEnded()21         {22             if (Interlocked.Decrement(ref _mOpCount) == 0)23             {24                 ReportStatus(CoordinationStatus.AllDone);25             }        26         }27 28         //该方法必须在发起所有操作后调用29         public void AllBegin(Action<CoordinationStatus> callback, int timeout = Timeout.Infinite)30         {31             _mCallback = callback;32             if (timeout != Timeout.Infinite)33             {34                 _mTimer = new Timer(TimeExpired, null, timeout, Timeout.Infinite);35                 JustEnded();36             }37         }38 39         private void TimeExpired(object o)40         {41             ReportStatus(CoordinationStatus.Timeout);42         }43 44         public void Cancel()45         {46             ReportStatus(CoordinationStatus.Cancel);47         }48 49         private void ReportStatus(CoordinationStatus status)50         {51             //如果状态从未报告过，就报告它，否则就忽略它，只调用一次52             if (Interlocked.Exchange(ref _mStatusReported, 1) == 0)53             {54                 _mCallback(status);55             }         56         }57     }

 1 class MultiWebRequest 2     { 3         //辅助类 用于协调所有的异步操作 4         private AsyncCoordinator _mac = new AsyncCoordinator(); 5  6         protected Dictionary<string,object> _mServers = new Dictionary<string, object> 7         { 8             {"http://www.baidu.com",null},{"http://www.Microsoft.com",null},{"http://www.cctv.com",null}, 9             {"http://www.souhu.com",null},{"http://www.sina.com",null},{"http://www.tencent.com",null},10             {"http://www.youku.com",null}11         };12 13         private Stopwatch sp;14         public MultiWebRequest(int timeout = Timeout.Infinite)15         {16             sp = new Stopwatch();17             sp.Start();18             //通过异步方式一次性发起请求19             var httpclient = new HttpClient();20 21             foreach (var server in _mServers.Keys)22             {23                 _mac.AboutToBegin(1);24 25                 httpclient.GetByteArrayAsync(server).ContinueWith(task => ComputeResult(server, task));26             }27             _mac.AllBegin(AllDone,timeout);28             Console.WriteLine("");29         }30 31         private void ComputeResult(string server, Task<Byte[]> task)32         {33             object result;34             if (task.Exception != null)35             {36                 result = task.Exception.InnerException;37             }38             else39             {40                 //线程池处理IO41                 result = task.Result.Length;42             }43 44             //保存返回结果的长度45             _mServers[server] = result;46 47             _mac.JustEnded();48         }49 50         public void Cancel()51         {52             _mac.Cancel();53         }54 55         private void AllDone(CoordinationStatus status)56         {57             sp.Stop();58             Console.WriteLine("响应耗时总计{0}",sp.Elapsed);59             switch (status)60             {61                 case CoordinationStatus.Cancel:62                     Console.WriteLine("操作取消");63                     break;64                 case CoordinationStatus.AllDone:65                     Console.WriteLine("操作完成，完成的结果如下");66                     foreach (var server in _mServers)67                     {68                         Console.WriteLine("{0}",server.Key);69                         object result = server.Value;70                         if (result is Exception)71                         {72                             Console.WriteLine("错误原因{0}",result.GetType().Name);73                         }74                         else75                         {76                             Console.WriteLine("返回字节数为：{0}",result);77                         }78                     }79                     break;80                 case CoordinationStatus.Timeout:81                     Console.WriteLine("操作超时");82                     break;83                 default:84                     throw new ArgumentOutOfRangeException("status", status, null);85             }86         }87     }

非常建议大家参考一下以上代码，我在对服务器进行访问时，也会常常参考这个模型。

简单的自旋锁

 1 class SomeResource 2     { 3          private SimpleSpinLock s1 = new SimpleSpinLock(); 4  5         public void AccessResource() 6         { 7             s1.Enter(); 8             //一次是有一个线程才能进入访问 9             s1.Leave();10 11         }12     }13 14     class SimpleSpinLock15     {16         private int _mResourceInUse;17 18         public void Enter()19         {20             while (true)21             {22                 if(Interlocked.Exchange(ref _mResourceInUse,1)==0)23                     return;24             }25         }26 27         public void Leave()28         {29             Volatile.Write(ref _mResourceInUse,1);30         }31     }

这就是一个线程同步锁的简单实现，这种锁的最大问题在于，存在竞争的情况下会造成线程的“自旋”，这会浪费CPU的宝贵时间，组织CPU做更多的工作，因此，这种自旋锁应该用于保护那些执行的非常快的代码。

 

下篇我们将继续讲解线程同步，内核模式构造和混合线程同步构造，希望这些内容可以帮助到大家一起成长，如果发现博客有什么错误请及时提出宝贵意见，以免造成误导！