美文网首页JAVA并发编程
Java并发编程一(理论篇)

Java并发编程一(理论篇)

作者: anytimekaka | 来源:发表于2015-12-27 00:05 被阅读245次

    前言:本系列致力于理清并发编程的理论(其一)和使用Java程序实现并发编程(其二)

    多线程的优势

    • 发挥多处理器的优势
    • 建模更加简单

    第一点很好理解:处理器的调度单位是线程,如果程序只有一个线程,最多只能同时在一台处理器上运行,不能发挥多处理器的效率。
    第二点,简单点说,就是分工协作。例如一个程序有几个不同的任务可以并发执行,那么在实现过程中,就可以根据任务的不同,在不同的线程中来完成不同的任务。例如:JVM中的垃圾收集器。

    其实多线程的优势有很多,知识相对理论化,我们在最开始提到这些知识点,理由很简单:『如果要做一件事,总得知道为什么要做吧!』

    多线程带来的风险

    • 安全性问题
    • 活跃性问题
    • 性能问题

    线程安全性

    概念上来说:如果多个线程访问一个类,不管处理器采用何种调度顺序执行,这个类都能表现出正确的行为——那么这个类就是『线程安全』的。
    简言之:一个类的行为和其规范完全一致。

    //计数器程序
    public int count(){
      return value++;
    }
    

    value++实际包含三个操作步骤:
    read value(假设为1) --> 1+1=2 --> write 2 to value
    所以很容易发生这种情况:

    Time T1 T2 T3 T4
    线程A read value 9 9+1=10 write value with 10
    线程B read value 9 9+1=10 write value with 10

    虽然有两个线程调用了计数器程序,但是因为处理器的交替执行,导致最终的结果与期望结果不符合,所以这个方法『不是线程安全』的。

    活跃性问题

    例如:死锁、饥饿、活锁。

    性能问题

    多线程程序中,线程调度器临时挂起活跃线程,转而执行执行另外一个线程时,需要执行『上下文切换』操作,这些操作也会占用系统资源。所以,只有在设计良好的并发应用程序中,多线程才能提高程序的效率。

    共享状态和原子操作

    共享状态很好理解,例如前面的例子中的count方法。如果线程A和线程B同时都调用了同一个对象object的count方法,那么,这两个线程都可以同时访问对象object的value域,对象就处于共享状态。

    原子操作。前面提到的count++我们已经提到了,实际处理过程中包含三个步骤,所以并不是原子操作。

    综合以上两点:一个对象处在共享状态中,并且对于对象的共享状态变量修改操作不是原子操作,这样一个对象,肯定不是线程安全的。那么想要保证对象的线程安全性,只能确保对于对象的修改操作是原子性的。

    原子变量类 & 加锁机制

    原子变量类估计很少有人听说,因为这种方法很少使用,这里简单介绍:例如,可以使用AtomicLong代替Long或者int类型的count,用于计数。

    //声明为final可确保不被在程序无意修改
    private final AtomicLong count = new AtomicLong(0);
    count.incrementAndGet();//原子操作
    

    加锁机制就是指我们常用的Java内置锁:同步代码块(Synchronized block)机制。一个同步代码块可以看成一个原子操作。

    Java中的同步代码块实际包括两个部分:一是作为『锁』的对象引用,也就是共享的可变变量;二是作为由这个锁保护的同步代码块。

    Synchronized(object) {  //object作为锁的对象引用
      //同步代码块
    }
    

    我们经常能看到以关键字Synchronized来修饰的方法,其实际上就是一个横跨整个方法体的同步代码块。

    重入:一个线程可以获得一个已经由它自己持有的锁。Java内置锁为可重入的锁。

    未完待续。。。

    相关文章

      网友评论

        本文标题:Java并发编程一(理论篇)

        本文链接:https://www.haomeiwen.com/subject/kbdbhttx.html