线程4 同步和死锁

线程可以在一定程度上提高程序运行的效率(并发执行,节省时间。),但也会产生一些副作用(数据脏读,死锁)。

数据脏读可以通过同步技术控制,死锁通过约定解决。

class Increment//同步解决脏读
    {
        private int n = 0;
        private int max;
        public Increment(int max)
        {
            this.max = max;
        }
        public int result
        {
            get
            {
                return n;
            }
            set
            {
                n = value;
            }
        }
        public void Inc()
        {            
            for (int i = 0; i < max; i++)
            {
                n++;//换成Interlocked.Increment(ref n);实现同步执行
            }
        }
    }
    class Program
    {
        public static void Main()
        {
            Increment inc = new Increment(10000);
            Thread[] threads = new Thread[30];
            for (int i = 0; i < threads.Length; i++)
            {
                threads[i] = new Thread(inc.Inc);
                threads[i].Start();
            }
            for (int i = 0; i < threads.Length; i++)//同步技术,使线程一个一个来执行。避免脏读。
            {
                threads[i].Join();  // 等待30个线程都执行完
            }
            Console.WriteLine(inc.result);  //输出n的值

}

}

上面的程序的基本功能是使用Increment的Inc方法为n递增max,所不同的是,将在Main方法中启动30个线程同时执行Inc方法。在本例中max的值是10000(通过Increment的构造方法传入)。读者可以运行一下这个程序,正常的结果应该是300000,但通常不会得到这个结果,一般获得的结果都比300000小。其中的原因就是Inc方法中的n++上,虽然从表面上看,n++只是一条简单的自增语言,但从底层分析,n++的IL代码如下:

ldsfld // 获得n的初始值,并压到方法栈中

ldc.i4.1 // 将1压到方法栈中

add // 从方法栈中弹出最顶端的两个值,相加,然后将结果保存在方法栈中

stfld // 从当前方法栈中弹出一个值,并更新类字段n

对于上面每一条IL语句是线程安全的,但是n++这条C#语句需要上面的四步才能完成,因此,n++这条语句并不是线程安全的。只要在执行stfld指令之前的任何一步由于其他线程获得CPU而中断,那么就会出现所谓的“脏”数据。

假设n的初始值为0, 在thread1在执行完ldc.i4.1后被thread2中断(add指令并未执行),这时thread2获得的n的初始值仍然是0,假设thread2顺利执行完,那么这时n的值已经是1了,当thread2执行完后,thread1继续执行add指令,并且thread1也顺利执行完,这时,在thread1中的执行结果n仍然是1。因此,这也就出现了调用两次n++,n仍然为1的情况。要解决这个问题的方法也很容易想到,就是让上述四条IL语句要不都不执行,要执行就都执行完,这有点事务处理的意思。

在C#中解决这个问题的技术叫同步。同步的本质就是为某一个代码块加锁,使其成为一个整体,共同进退。最简单的是使用lock为代码块加锁。这个语句在前几讲已经多次使用过了。lock语句可以锁定任何的对象,如果锁定的是类成员,直接使用lock(obj)的形式即可,如果锁定的是静态成员,可以把锁主在object类型上,代码如下:

lock(typeof(StaticClass))

{

... ...

}

对于Increment类,我们可以锁定n++,也可以锁定Inc方法,如锁定n++的Increment类的代码如下:

class Increment
    {
        private int n = 0;
        private int max;
        private Object lockN = new Object();
        public Increment(int max)
        {
            this.max = max;
        }
        public int result
        {
            get
            {
                return n;
            }
            set
            {
                n = value;
            }
        }

private void IncN()
        {
            lock (lockN)
            {
                n++;
            }
        }
        public void Inc()
        {
            for (int i = 0; i < max; i++)
            {
                  IncN();
            }           
        }
    }

也可以直接将如下的代码放到for循环中取代调用IncN方法,

lock (lockN)
 {
     n++;
 }

或者直接将Inc方法锁住,代码如下:

public void Inc()
        {
            lock (lockN)
            {
                for (int i = 0; i < max; i++)
                {
                    n++;
                }
            }
        }

但笔者并不建议直接将Inc锁住,因为这样就和单线程没什么区别了,虽然可以避免出现读脏数据的情况,但却牺牲的效率。

从本例分析得知,产生问题的原因就是因为n++不是原子操作。而在.net framework中提供了一个Interlocked类,可以使n++变成原子操作。Interlocked有一些方法,可以保证对变量的操作是原子的,如Increment方法保证n++的操作是原子的,Decrement方法保证n--的操作是原子的,Exchange方法保证为变量赋值的操作是原子的。因此,可以使用Increment方法来替换n++,代码如下:

public void Inc()
{
    for (int i = 0; i < max; i++)
    {
        Interlocked.Increment(ref n);
    }
}

任何事物都具有两面性,同步技术也不例外,在某些情况下,可以由于两个线程互相锁定某些对象而造成死锁(就是两个线程互相等待对方释放对象)。这就象有两个学生晚上在复习功课,他们都希望学习能超过对方,而且他们都很累了,但是谁也不肯先休息,是都在盯着对方屋里的灯,期望着对方休息后。自己才休息。但却谁也不肯先关灯,所以他们就只有这样耗到天亮了。当然,解决这个问题的方法有两个,第一个就是其中一个学生或两个学生根本就不关心对方是否先睡觉,自己学累了就直接关灯了。当然,另外一个方法就有点暴力了,就是到点就直接断电,那谁也别学了(这也相当于线程中断,不过不到万不得以时最好别用这招)。

让我们先举一个线程死锁的例子,代码如下:

class Program
    {
        private static Object objA = new Object();
        private static Object objB = new Object();
        public static void LockA()
        {
            lock (objA)
            {
                Thread.Sleep(1000);
                lock (objB)
                {
                }
            }
            Console.WriteLine("LockA");
        }
        public static void LockB()
        {
            lock (objB)
            {
                Thread.Sleep(2000);
                lock (objA)
                {
                }
            }
            Console.WriteLine("LockB");
        }
        public static void Main()
        {
            Thread threadA = new Thread(LockA);
            Thread threadB = new Thread(LockB);
            threadA.Start();
            threadB.Start();
        }
    }

在上面的代码中,LockA方法会在当前线程中执行完Lock(objA)后延迟1秒,而LockB方法会在执行完lock(objB)后延迟2秒,一般LockA会先执行lock(objB),但这时objB已经被LockB锁住了,而且LockB还在延迟(2秒还没到)。在这时,LockA已经将objA和objB都锁上了,当LockB执行到lock(objA)时,由于objA已经被锁上,因此,LockB就被阻塞了。而LockA在执行到lock(objB)时,由于这时LockA还在延迟,因此,objB也被锁住了。LockA和LockB也就相当于上述的两个学生,互相等待对方关灯,但谁也不肯先关灯,所以就死锁了。如果采用第一种方法非常简单,就是保持被锁定的多个对象的顺序,如将LockB方法的锁定顺序换一下,代码如下:

public static void LockB()
{
    lock (objA)
    {
         Thread.Sleep(2000);
          lock (objB)
          {
          }
    }
    Console.WriteLine("LockB");
}

或是将LockA方法也改一下,先锁objB,再锁objA。

当然,也可以采用暴力一点的方法,当发现一些线程长时间没反应时,可以使用Abort方法强行中断它们。代码如下:

public static void Main()
{
     Thread threadA = new Thread(LockA);
     Thread threadB = new Thread(LockB);
     threadA.Start();
     threadB.Start();

Thread.Sleep(4000);

threadA.Abort();
     threadB.Abort();
     Console.WriteLine("线程全部结束");
}

时间: 2024-10-15 06:08:15

线程4 同步和死锁的相关文章

线程的同步与死锁

在多线程中,同步与死锁概念很重要,在本章中必须了解以下几点: 1)哪里需要同步. 2)如何实现同步,了解代码即可. 3)及实现同步后有哪些副作用. 代码并不要求可以完整编写,但是概念必须清楚. 具体内容 1.1问题引出 以买火车票为例,不管多少地方可以买火车票,最终一趟列车的车票数量是固定的,如果把各个售票点理解为线程的话,则所有线程应该共同拥有同一份票数. package Thread1; class MyThread implements Runnable{ private int tick

Java总结(十)—实现Runnable接口创建线程,线程安全同步,死锁(哲学家进餐问题),读写锁

一.通过实现Runnable接口创建线程 定义实现Runnable接口的类 (1)Runnable接口中只有一个方法public void run();用来定义线程运行体: class MyRun implements Runnable(){ public void run(){ 线程执行的具体代码 } } (2)创建线程的实例的时候将这个类的实例作为参数传递到线程实例内部.然后再启动: Thread thread=new Thread(new MyRun()); Thread.start();

线程的同步和死锁

要是一个线程池如果通过Runnable接口实现,则意味着类中的属性将被多个线程程序共享,产生的问题就是资源同步的问题: 1.线程的延时会导致其他线程会提前或延后对资源共享块进行操作. 2.要是多个线程在处理一个问题时都处在判断对方的执行状态时,线程会变成死锁. 上面的问题我们可以通过同步进行解决(注:多个线程共享同一资源时需要进行同步,一保证资源操作的完整性,但是过多的同步就会造成死锁. package Rubbableclass; /* * 线程中的延时函数所产生的问题 * */ class

线程问题——同步和死锁

[问题引出]:比如说对于买票系统,有下面的代码: 1 class hello implements Runnable { 2 private static int count=5; 3 public void run() { 4 for(int i=0;i<10;++i){ 5 if(count>0){ 6 try{ 7 Thread.sleep(1000); 8 }catch(InterruptedException e){ 9 e.printStackTrace(); 10 } 11 Sy

多线程——线程同步,死锁

线程同步: 为什么需要同步 ①   线程同步是为了防止多个线程访问一个数据对象时,对数据造成破坏. ②   线程的同步是保证多线程安全访问竞争资源的一种手段. 同步和锁 ①   Java中每一个对象都有一个内置锁. ②   当程序运行到非静态的synchronized同步方法上时,自动获得与正在执行代码类的当前实例(this实例)有关的锁:当程序运行到synchronized同步代码块时,自动获得锁定对象的锁. ③   获得一个对象的锁也称为获取锁.锁定对象.在对象上锁定或在对象上同步.当程序运

线程的同步与互斥,死锁

线程的同步与互斥 多个线程同时访问共享数据时可能会发生冲突,比如两个线程同时把一个全局变量加1,结果可能不是我们所期待的: 我们看这段代码的执行结果: #include <stdio.h> #include <stdlib.h> #include <pthread.h> static int g_count=0; void *thread(void *arg) { int index=0; int tmp=0; while(index++<5000) { tmp=

Java之线程,常用方法,线程同步,死锁

1, 线程的概念 进程与线程 进程:每个进程都有独立的代码和数据空间(进程上下文),进程间的切换会有较大的开销,一个进程包含1--n个线程.(进程是资源分配的最小单位) 线程:同一类线程共享代码和数据空间,每个线程有独立的运行栈和程序计数器(PC),线程切换开销小.(线程是cpu调度的最小单位) 切换而不是同步 一个程序中的方法有几条执行路径, 就有几个线程 Java中线程的生命周期 Java线程具有五中基本状态 新建状态(New):当线程对象对创建后,即进入了新建状态,如:Thread t =

Java多线程编程(三)线程的优先级、同步与死锁

线程的优先级: 线程的优先级分为三种,分别是: 1-MIN_PRIORITY 10-MAX_PRIORITY 5-NORM_PRIORITY 如果什么都不设置默认值是5 线程的优先级可以影响线程的执行顺序,当然这里指的是有可能影响,不会一定影响.在默认状态下(比如说主线程)它的默认值是5 具体代码演示: package com.yeqc.thread; class ThRun implements Runnable{ @Override public void run() { for(int i

C#:多线程、线程同步与死锁

推荐阅读: C#线程系列讲座(1):BeginInvoke和EndInvoke方法 C#线程系列讲座(2):Thread类的应用 C#线程系列讲座(3):线程池和文件下载服务器 C#线程系列讲座(4):同步与死锁 C#线程系列讲座(5):同步技术之Monitor C#中多线程同步的Monitor理解