[Java]重学Java-如何保证线程安全

保证线程安全的三大特性

由于CPU是多线程切换执行的,那么对于操作的程序,我们需要保证3个特性:

原子性

原子(atomic)本意是“不能被进一步分割的最小粒子”,而原子操作(atomic operation)意
为“不可被中断的一个或一系列操作”。 -《并发编程的艺术》

提供了互斥访问,同一时刻只能有一个线程对它进行操作。

在Java中提供了原子类(Atomic)来保证原子性,但是我们平时使用的i++这种,其实不是原子性的,在JVM编译后的文件中,分为了几步去执行i++.

  void f1() { i++; }
  • 编译后
  void f1();
    Code:
       0: aload_0
       1: dup
       2: getfield      #2 // Field
i:I
       5: iconst_1
       6: iadd
       7: putfield      #2 // Field
i:I
      10: return

Java通过CAS和同步锁来实现原子性

可见性

可见性指的是,多个线程同时访问同一个共享资源,可以感知到该资源被别的线程修改的动作.
我们还是以i++的操作来说这个问题:

i++

如果不加任何的同步策略,此时做i++,就会产生线程不安全的现象.

Java中使用volatile可以保证可见性,除此之外它还能禁止指令重排序,但是注意,i++本身并不是原子性的。

有序性

Java内存模型允许编译器和处理器对指令重排序以提高运行性能,在多线程环境下,可能会产生线程不安全的问题。

编译器不会对volatile读与volatile读后面的任意内存操作重排序

CAS

CAS全称为Compare And Swap,它跟常规的同步锁synchronized不同,它是非阻塞原子性的操作,简单的理解为CPU自旋即可,原理比较复杂,这里推荐一个好文章,有想深入的小伙伴可以看看:

Java CAS 原理剖析

JDK中,实现CAS,要借助Unsafe类,其中CAS的int实现是这样的:

  • java.util.concurrent.atomic.AtomicInteger#getAndIncrement
    public final int getAndIncrement() {
        return unsafe.getAndAddInt(this, valueOffset, 1);
    }

这里是做自增,为了保证线程安全,会进行值对比交换.我们深入到unsafe里面看看

  • sun.misc.Unsafe#getAndAddInt
public final int getAndAddInt(Object var1, long var2, int var4) {
    int var5;
    do {
        var5 = this.getIntVolatile(var1, var2);
    } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

    return var5;
}

这里的意思大致是: var1代表对象的内存位置,var2代表对象中的变量偏移量,var5代表变量预期值,var5+var4代表了新的值.如果对象中内存偏移量为var2的变量值为var5,就把它更新为var5+var4.

cas

CAS的优缺点

优点: 相对于synchronized更加轻量级,因为synchronized往往需要进入内核态将线程挂起或者恢复,这对于操作系统来说,会带来一些性能上的压力。那么使用CAS则可以牺牲一点CPU的时间(自旋),来减少对操作系统的资源消耗。
缺点: 对于原子类来说,自旋往往只能保证一个变量是线程安全的,如果需要一系列的操作都要保证线程安全,那么还是需要进行同步操作。

同步锁-synchronized

synchronized是一个同步锁的修饰符,它可以作用于代码块、成员属性、方法上,当线程执行代码进入被synchronized修饰的代码块时,会自动获取对象的监视器锁,此时其他线程对该代码块进行访问时,会被JVM阻塞挂起,直到执行同步逻辑的线程退出代码块或者抛出异常后释放了锁,其他线程才有机会访问该代码块。

由于synchronized是重量级锁,对于阻塞挂起、唤醒操作,都需要从用户态切换到内核态,属于比较耗时的操作。

synchronized是否保证内存可见性?

synchronized的内存语义:
synchronized修饰的代码块中的变量会在线程的工作内存中被清除,,退出代码块时将该变量的值刷新到主内存。所以,synchronized可以保证内存可见性.

线程本地变量-ThreadLocal

要保证线程安全,除了排队之外,还可以使用ThreadLocal.
比如有一个任务:3个线程同时开始做i++5次,算完之后输出结果.
我们除了可以用一个AutomicInteger自增外,还可以为每个线程设置一个ThreadLocal值,算完之后再合计即可。

ThreadLocal可以保证,每个线程只访问到自己的变量,内部维护了一个Map,每个ThreadLocal进行读取的时候,都将Thread作为参数进行传递,从ThreadLocalMap中获取值.

  • java.lang.ThreadLocal#get
    public T get() {
        Thread t = Thread.currentThread();
        ThreadLocalMap map = getMap(t);
        if (map != null) {
            ThreadLocalMap.Entry e = map.getEntry(this);
            if (e != null) {
                @SuppressWarnings("unchecked")
                T result = (T)e.value;
                return result;
            }
        }
        return setInitialValue();
    }

总结

  • 共享变量产生线程不安全的问题是由于工作内存对别的线程不可见产生的,使用同步锁synchronized可以让代码块同步访问共享变量,同时退出代码块时将结果刷新到主内存中。
  • 如果是使用原子类,则是通过CPU自旋(CAS)比较来保证数据的一致性。
  • 使用ThreadLocal,可以让每个线程独享自己的变量.
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,163评论 6 498
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,301评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,089评论 0 352
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,093评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,110评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,079评论 1 295
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,005评论 3 417
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,840评论 0 273
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,278评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,497评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,667评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,394评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,980评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,628评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,796评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,649评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,548评论 2 352

推荐阅读更多精彩内容