• Java 并发编程(四):如何保证对象的线程安全性


    本篇来谈谈 Java 并发编程:如何保证对象的线程安全性。

    01、前言

    先让我吐一句肺腑之言吧,不说出来会憋出内伤的。《Java 并发编程实战》这本书太特么枯燥了,尽管它被奉为并发编程当中的经典之作,但我还是忍不住。因为第四章“对象的组合”我整整啃了两周的时间,才啃出来点肉丝。

    读者朋友们见谅啊。要怪只能怪我自己的学习能力有限,真读不了这种生硬无趣的技术书。但是为了学习,为了进步,为了将来(口号喊得有点大了),只能硬着头皮上。

    请随我来,我尽量写得有趣点。

    02、线程安全类

    作者说了啊,设计一个线程安全类需要三个步骤:

    1)找出表示对象状态的所有变量
    2)对变量进行有效性约束
    3)增加类的并发访问策略

    我在作者说的基础上做了微调,读起来更加容易理解。怎么和代码对应起来了,先来看一个普通的计数器类 Counter。

    public class Counter {
        private int value = 0;
    
        public int getValue() {
            return value;
        }
    
        public int increment() {
            return ++value;
        }
    }
    

    1)Counter 的状态变量只有一个,就是 value。

    2)value 的有效性是什么呢,它最大不能超过 Integer.MAX_VALUE,最小只能为 0(计数嘛,总不能记成负数)。换句话说就是,value 的有效范围是 0 ~ Integer.MAX_VALUE

    public int increment() {
        if (value == Integer.MAX_VALUE) {
            throw new IllegalStateException("counter overflow");
        }
        return ++value;
    }
    

    3)增加类的并发访问策略,直接上 synchronized。

    public class Counter {
        private int value = 0;
    
        public synchronized int getValue() {
            return value;
        }
    
        public synchronized int increment() {
            if (value == Integer.MAX_VALUE) {
                throw new IllegalStateException("counter overflow");
            }
            return ++value;
        }
    }
    

    03、非线程安全的对象

    之前我们谈了如何设计一个线程安全的类。如果类是安全的,那么它作为对象使用的时候就是线程安全的。但如果一个类不是线程安全的,它作为对象使用的时候怎么保证是线程安全的呢?

    作者提到了一个名词叫做“封闭机制”:

    1)把对象作为类的私有成员变量;
    2)把对象作为方法内部的局部变量;
    3)线程 A 把对象传递到 B 线程,而不是与线程 B 共享这个对象;

    大家来看下面这段代码。

    class StringList {
    	private List<String> myList = new ArrayList<>();
    	
    	public synchronized void addString(String s) {
    		myList.add(s);
    	}
    	
    	public synchronized void removeString(String s) {
    		myList.remove(s);
    	}
    }
    

    本身 ArrayList 不是线程安全的,但 myList 是私有的,访问它的两个方法 addString()removeString() 都加了关键字 synchronized,因此 myList 在使用的时候就变成了线程安全的对象,StringList 类就变成了一个线程安全的类——这种方式被称作 Java 监视器模式:可变的状态被封装在一个类中,访问它们只能通过加上锁的方法。

    查看 Vector 的源码,你会发现,它之所以是线程安全的,就是采用的这种监视器模式

    04、在已有的线程安全类上追加功能

    假如现在有一个线程安全的类,比如之前提到的 StringList,它包含了大多数我们需要的功能,但还不够,那么怎么确保我们追加的功能不破坏原有的线程安全性呢?

    最直接的方法当然是修改源码,假如源码掌握在我们自己手里的话。

    class StringList {
    	private List<String> myList = new ArrayList<>();
    	
    	public synchronized void addString(String s) {
    		myList.add(s);
    	}
    	
    	public synchronized void addIfNotExist(String s) {
    		boolean isExist = myList.contains(s);
    		if (!isExist) {
    			myList.add(s);
    		}
    	}
    }
    

    我们新增了一个 addIfNotExist() 方法:如果字符串 s 还没有添加到 List 当中,就添加一个。

    新增的方法没有破坏 StringList 的线程安全性,因为当两个线程同时执行 addIfNotExist() 方法时,需要经过 synchronized 把守的这道大门。

    但很多时候,我们无法直接修改源码,这时候就只好在原来的基础上进行改造。大家听过之前的“红芯”浏览器吗?在谷歌浏览器的内核上裹了一层层皇帝的新衣。

    class StringList {
    	protected List<String> myList = new ArrayList<>();
    	
    	public synchronized void addString(String s) {
    		myList.add(s);
    	}
    }
    
    public class NewStringList extends StringList {
    	public synchronized void addIfNotExist(String s) {
    		boolean isExist = myList.contains(s);
    		if (!isExist) {
    			myList.add(s);
    		}
    	}
    }
    

    新建一个类 NewStringList,继承自 StringList,然后在 NewStringList 中新增一个方法 addIfNotExist()。当然了,这样做的前提是父类中的 myList 是 protected 而不是 private 的。因此,这种做法不具有普适性。

    05、最后

    站在我的角度来看,《Java 并发编程实战》的第四章“对象的组合”写得烂透了。导致我在写这篇文章的时候感觉到万分的痛苦。希望下一章不要写的这么烂。

    上一篇:如何保证共享变量的可见性?

    上上篇:如何保证共享变量的原子性?

  • 相关阅读:
    [bzoj3224] 普通平衡树
    [总结] 三种常见的区间贪心问题
    [NOIP2014] 飞扬的小鸟
    POJ 1185 炮兵阵地
    WOJ 1538 Stones II 转化背包问题
    WOJ 1542 Countries 并查集转化新点+最短路
    UVA 11375 高精度Bign类
    2014_csu选拔1_B
    Codeforces 405D 数学问题
    Codeforces 400C 矩阵乘法 数学规律
  • 原文地址:https://www.cnblogs.com/qing-gee/p/11802921.html
Copyright © 2020-2023  润新知