C#线程同步讲解(一):

讲到线程,先普及下线程的几个基本概念,如下:

临界资源

在操作系统中,进程是占有资源的最小单位(线程可以访问其所在进程内的所有资源,但线程本身并不占有资源或仅仅占有一点必须资源)。但对于某些资源来说,其在同一时间只能被一个进程所占用。这些一次只能被一个进程所占用的资源就是所谓的临界资源。典型的临界资源比如物理上的打印机,或是存在硬盘或内存中被多个进程所共享的一些变量和数据等(如果这类资源不被看成临界资源加以保护,那么很有可能造成丢数据的问题)。

 对于临界资源的访问,必须是互诉进行。也就是当临界资源被占用时,另一个申请临界资源的进程会被阻塞,直到其所申请的临界资源被释放。而进程内访问临界资源的代码被成为临界区。

 对于临界区的访问过程分为四个部分:

1.进入区:查看临界区是否可访问,如果可以访问,则转到步骤二,否则进程会被阻塞

 2.临界区:在临界区做操作

3.退出区:清除临界区被占用的标志

4.剩余区:进程与临界区不相关部分的代码

进程同步

进程同步也是进程之间直接的制约关系,是为完成某种任务而建立的两个或多个线程,这个线程需要在某些位置上协调他们的工作次序而等待、传递信息所产生的制约关系。进程间的直接制约关系来源于他们之间的合作。

比如说进程A需要从缓冲区读取进程B产生的信息,当缓冲区为空时,进程B因为读取不到信息而被阻塞。而当进程A产生信息放入缓冲区时,进程B才会被唤醒。如下图:


进程互斥

进程互斥是进程之间的间接制约关系。当一个进程进入临界区使用临界资源时,另一个进程必须等待。只有当使用临界资源的进程退出临界区后,这个进程才会解除阻塞状态。

比如进程B需要访问打印机,但此时进程A占有了打印机,进程B会被阻塞,直到进程A释放了打印机资源,进程B才可以继续执行。如下图:



有了以上的基本知识点,我们再来看看C#线程同步的实现方式:Lock,Monitor,Mutex,ManualResetEvent,AutoResetEvent,WaitHandler等的异同。

1.        lock关键字

lock是C#关键词,它将语句块标记为临界区,确保当一个线程位于代码的临界区时,另一个线程不进入临界区。如果其他线程试图进入锁定的代码,则它将一直等待(即被阻止),直到该对象被释放。方法是获取给定对象的互斥锁,执行语句,然后释放该锁。

MSDN上给出了使用lock时的注意事项通常,应避免锁定 public 类型,否则实例将超出代码的控制范围。常见的结构lock (this)、lock (typeof (MyType)) 和 lock("myLock")。若违反避免锁定public类型的准则,将出现以下的错误:

1)        如果实例可以被公共访问,将出现 lock (this) 问题。

2)        如果 MyType 可以被公共访问,将出现 lock (typeof (MyType)) 问题由于一个类的所有实例都只有一个类型对象(该对象是typeof的返回结果),锁定它,就锁定了该对象的所有实例。微软现在建议不要使用 lock(typeof(MyType)),因为锁定类型对象是个很缓慢的过程,并且类中的其他线程、甚至在同一个应用程序域中运行的其他程序都可以访问该类型对象,因此,它们就有可能代替您锁定类型对象,完全阻止您的执行,从而导致你自己的代码的挂起。

3)        由于进程中使用同一字符串的任何其他代码将共享同一个锁,所以出现 lock(“myLock”) 问题。这个问题和.NET Framework创建字符串的机制有关系,如果两个string变量值都是"myLock",在内存中会指向同一字符串对象。

最佳做法是定义 private 对象来锁定,或private static对象变量来保护所有实例所共有的数据。

再来通过IL Dasm看看lock关键字的本质,下面是一段简单的测试代码:

 

lock (lockobject)

 {

  int i = 5;

    }

用IL Dasm打开编译后的文件,上面的语句块生成的IL代码为:

 

IL_0045: call       void[mscorlib]System.Threading.Monitor::Enter(object)

IL_004a: nop

.try

{

IL_004b:  nop

        IL_004c:  ldc.i4.5

        IL_004d:  stloc.1

        IL_004e:  nop

        IL_004f:  leave.s   IL_0059

      } // end .try

      finally

      {

        IL_0051:  ldloc.3

        IL_0052:  call      void [mscorlib]System.Threading.Monitor::Exit(object)

        IL_0057:  nop

        IL_0058:  endfinally

      } // end handler

通过上面的代码我们很清楚的看到:lock关键字其实就是对Monitor类的Enter()和Exit()方法的封装,并通过try...catch...finally语句块确保在lock语句块结束后执行Monitor.Exit()方法,释放互斥锁。

例如:邮箱问题要求为每一个邮箱开启一个接收线程,从POP3服务器上收取,然后将邮件存放到统一的FTP服务器上,要求邮件按收接顺序从1开始顺充编号。

实现的方法为,为每个邮箱new出实例,然后分别赋给POP3邮箱地址,用户名,密码等参数。这里涉及到一个编号同步的问题,因为每个接收邮件的线程都是自己执行,所以取得编号并且递增这个动作是互斥的。主要代码如下:

class EmailInfo 

public staticobject syncRoot = new object(); 

public staticint CurrentNumber; 

lock(EmailInfo.syncRoot) 

_CurrentNumber=++EmailInfo.CurrentNumber; 

}  


2.     Monitor类 

Monitor类通过向单个线程授予对象锁来控制对对象的访问。对象锁提供限制访问临界区的能力。当一个线程拥有对象的锁时,其他任何线程都不能获取该锁。还可以使用Monitor 来确保不会允许其他任何线程访问正在由锁的所有者执行的应用程序代码节,除非另一个线程正在使用其他的锁定对象执行该代码。

通过对lock关键字的分析我们知道,lock就是对Monitor的Enter和Exit的一个封装,而且使用起来更简洁,因此Monitor类的Enter()和Exit()方法的组合使用可以用lock关键字替代。

lock (x)

{

DoSomething();

}

等效于

object obj = ( object )x;

System.Threading.Monitor.Enter(obj);

try

{

DoSomething();

}

finally

{

System.Threading.Monitor.Exit(obj);

}

另外Monitor类还有几个常用的方法:

TryEnter()能够有效的解决长期死等的问题,如果在一个并发经常发生,而且持续时间长的环境中使用TryEnter,可以有效防止死锁或者长时间的等待。比如我们可以设置一个等待时间bool gotLock = Monitor.TryEnter(myobject,1000),让当前线程在等待1000秒后根据返回的bool值来决定是否继续下面的操作。

Wait()释放对象上的锁以便允许其他线程锁定和访问该对象。在其他线程访问对象时,调用线程将等待。脉冲信号用于通知等待线程有关对象状态的更改。

Pulse()、PulseAll()向一个或多个等待线程发送信号。该信号通知等待线程锁定对象的状态已更改,并且锁的所有者准备释放该锁。等待线程被放置在对象的就绪队列中以便它可以最后接收对象锁。一旦线程拥有了锁,它就可以检查对象的新状态以查看是否达到所需状态。

注意:Pulse、PulseAll和Wait方法必须从同步的代码块内调用。

例如如下代码:

using System.Threading;

  public classProgram {

   static object ball = new object();

   public static void Main() {

      Thread threadPing = new Thread(ThreadPingProc );

      Thread threadPong = new Thread(ThreadPongProc );

      threadPing.Start(); threadPong.Start();

      }

  static void ThreadPongProc() {

      System.Console.WriteLine("ThreadPong:Hello!");

      lock ( ball )

         for (int i = 0; i < 5; i++){

           System.Console.WriteLine("ThreadPong: Pong ");

            Monitor.Pulse( ball );

            Monitor.Wait( ball );

         }

      System.Console.WriteLine("ThreadPong:Bye!");

   }

   static void ThreadPingProc() {

     System.Console.WriteLine("ThreadPing: Hello!");

      lock ( ball )

         for(int i=0; i< 5; i++){

            System.Console.WriteLine("ThreadPing: Ping ");

            Monitor.Pulse( ball );

            Monitor.Wait( ball );

         }

      System.Console.WriteLine("ThreadPing: Bye!");

   }

}

当threadPing进程进入ThreadPingProc锁定ball并调用Monitor.Pulse(ball );后,它通知threadPong从阻塞队列进入准备队列,当threadPing调用Monitor.Wait( ball )阻塞自己后,它放弃了了对ball的锁定,所以threadPong得以执行。PulseAll与Pulse方法类似,不过它是向所有在阻塞队列中的进程发送通知信号,如果只有一个线程被阻塞,那么请使用Pulse方法。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值