码迷,mamicode.com
首页 > 其他好文 > 详细

并发编程3

时间:2017-11-23 10:59:33      阅读:116      评论:0      收藏:0      [点我收藏+]

标签:因此   str   情况下   private   his   list   其他   需要   构造函数   

1、实例封闭

class personset{
    private final Set<Person> myset = new HashSet<Person>();
    
    public void addPersom(Person p){
        myset.add(p);
    }
    
    public boolean containPerson(Person p){
        return myset.contains(p);
    }
}

  这个类的状态是由HashSet来进行管理的,这里的myset是私有的且并不会逸出,因此HashSer被封闭在personset中,所以如果不对myset进行访问那这个类就是线程安全的,但是由于HashSet并不是线程安全的,所以其add和contains方法都不是线程安全的,所以需要加上锁。

class personset{
    private final Set<Person> myset = new HashSet<Person>();

    public synchronized void addPersom(Person p){
        myset.add(p);
    }

    public synchronized boolean containPerson(Person p){
        return myset.contains(p);
    }
}

  这样personset的状态完全由它的内置锁保护着,因而它就是一个线程安全的类。

  这个例子中并未对Person的线程安全性进行假设,如果Person类是可变的,那么从personset中获得Person对象时还需要额外的同步

  示例:车辆追踪

class MutablePoint{
    private int x;
    private int y;
    public MutablePoint(){
        this.x = 0;
        this.y = 0;
    }
    public MutablePoint(MutablePoint m){
        this.x = m.getX();
        this.y = m.getY();
    }
    public synchronized int getX() {
        return x;
    }

    public synchronized void setX(int x) {
        this.x = x;
    }

    public synchronized int getY() {
        return y;
    }

    public synchronized void setY(int y) {
        this.y = y;
    }
}  

  MutablePoint是一个记录车辆坐标的类  

public class MonitorVehicleTracker {
    private final Map<String, MutablePoint> locations;
    public MonitorVehicleTracker(Map<String,MutablePoint> locations){
        this.locations = deepcopy(locations);
    }
    public synchronized Map<String,MutablePoint> getLocations(){
        return deepcopy(locations);
    }
    public synchronized MutablePoint getLocation(String id)
    {
        //获取要返回的数据
        MutablePoint loc = locations.get(id);
        //创建一个新的对象返回
        return loc == null ? null : new MutablePoint(loc);
    }

    private Map<String, MutablePoint> deepcopy(Map<String, MutablePoint> m ){
        Map<String, MutablePoint> result = new HashMap<String, MutablePoint>();
        for(String id: m.keySet()){
            result.put(id, new MutablePoint(m.get(id)));
        }
        //返回的是一个不可修改的Map
        return Collections.unmodifiableMap(result);
    }
}

  MonitorVehicleTracker是一个线程安全的追踪器,它所包含的Map对象和可变的MutablePoint都是对外未曾发布的当需要返回车辆的位置的时候,通过MutablePoint的构造函数来复制新的值。

 

2、线程安全性的委托

  还可以创建一个不可变的Point类来替换MutablePoint,然后构造一个委托给线程安全的车辆追踪器,我们可以先把数据存储在一个线程安全的ConcurrentHashMap类中。

class Point{
    public final int x, y;
    public Point(int x,int y){
        this.x = x;
        this.y = y;
    }
}

  这个Point是不可变的,因此它是线程安全,因为不可变的值可以自由的分享和发布,所以在返回location的时候不需要再复制。

public class MonitorVehicleTracker {
    private final ConcurrentHashMapConcurrentHashMap<String,Point> locations;
    private final Map<String, Point> unmodifiableMap;
public MonitorVehicleTracker(Map<String,Point> points){ locations = new ConcurrentHashMap<String,Point>(points); unmodifiableMap = Collections.unmodifiableMap(locations); }
public Map<String,Point> getLocations(){ return unmodifiableMap; }
public Point getLocation(String id) { return unmodifiableMap.get(id); }
}

  这里没有使用明显的同步,所有对状态的访问都由ConcurrentHashMap来管理,创建对象的构造器中先讲数据存储在ConcurrentHashMap类型的对象中,再调用Collections的unmodifibleMap方法将数据传给unmodifiableMap,这个方法返回指定映射的不可修改视图以保证线程安全,这样想要修改unmodifiableMap中的数据(想要修改这个对象的状态),只能通过构造器新建一个对象了。

 

3、当委托失效时

class NumberRange{
    private final  AtomicInteger lower = new AtomicInteger(0);
    private final  AtomicInteger upper = new AtomicInteger(0);
    public void setLower(int i){
     //这里是不安全的
if(i > upper.get()){ throw new IllegalArgumentException( "can‘t set lower to " + i + " > upper "); } lower.set(i); } public void setUpper(int i){
     //这里是不安全的
if(i < lower.get()){ throw new IllegalArgumentException( "can‘t set lower to " + i + " > upper "); } upper.set(i); } public boolean isInrange(int i ){ return (i >= lower.get() && i <= upper.get()); } }

  这里的NumberRange并不是线程安全的,setLower和setUpper都是先检查后执行的操作。这里会出现的问题就是如果线程A想要修改了upper为4,但是并没有进行到set这一行,线程B想要修改lower为5是可以通过检查的。结果可能会变成(5,4)。

  结论就是如果某个类含有复合操作,就像上面这样,仅靠委托并不足以实现线程安全性,在这种情况下,这个类必须提供自己的加锁机制保证这些复合操作都是原子操作,除非整个复合操作都可以委托给状态变量。

4、 客户端加锁机制

class ListHelps<E>{
    public List<E> list = Collections.synchronizedList(new ArrayList<E>());
    public synchronized boolean putIfAbsent(E x){
        boolean absent = !list.contains(x);
        if(absent)
            list.add(x);
        return absent;
    }
}

  这里实现的是如果list中没有x则添加x。这里的锁仅仅只是锁住了“如果没有则添加”这个操作,所以如果线程A进行了这个操作,其他线程并不能执行“如果没有则添加”这个操作。但是如果线程A在“其他线程调用另外的方法添加了x”之前已经执行完验证x的存在。总的来说就是putIfAbsent相对于其他list的操作并不是原子性的。

class ListHelps<E>{
    public List<E> list = Collections.synchronizedList(new ArrayList<E>());
    public  boolean putIfAbsent(E x){
        synchronized(list) {
            boolean absent = !list.contains(x);
            if (absent)
                list.add(x);
            return absent;
        }
    }
}

  上面的代码给出了如何使putIfAbsent相对于其他list的操作变得是原子性的。

 

5、组合

class ImprovedList<T> implements List<T>{
    private List<T> list;

    public  ImprovedList(List<T> list){
        this.list = list;
    }
    public synchronized  boolean putIfAbsent(T x){
        boolean absent = !list.contains(x);
        if (absent)
            list.add(x);
        return absent;
    }
}

  这样的组合将存储数据的list,也就是真正代表类的状态的list变量封闭在了ImprovedList中,然后putIfAbsent是一个原子性的操作,这样某线程在执行putIfAbsent的时候其他线程也无法修改list的值。

 

6、总结

  第一个例子实例封闭,将代表对象状态的变量 myset定义为final类型的,然后把使用这个变量的方法都加上锁,这样就能保证多线程程序使用这个类的时候的原子性。

  第二个记录车辆坐标的类中,记录对象状态的变量的初始化是通过复制得到的,且得到的是一个不可修改的map,每次返回数据的时候是通过新建一个对象返回的,实现了把map变量(代表对象状态的变量)封闭在了对象中。而且在初始化和返回数据操作时加上了内置锁,实现了线程安全

  第三个也是记录车辆坐标的,这里使用了线程安全的ConcurrentHashMap,真正代表对象状态的map变量获取数据也是从这个ConcurrentHashMap中获得,而从外界获取数据则是ConcurrentHashMap,从而实现了线程安全。

  第四个例子中代表对象状态的两个变量使用AtomicInteger,这里只实现了数据读写的线程安全,但是在逻辑上数据的使用,也就是先检查后执行的操作是根据数据的内容进行的,而且这里的setLower和setUpper两个操作的结果还是互相影响的,所以如果想要加锁,也需要把这两个操作加在一块。

  第五个和第六个想要解决的问题是一样的,第五个把关于list的操作加上锁实现线程安全,第六个把list封闭在对象中,实现每次进行putIfAbsent操作的时候其他线程无法改变list的内容

并发编程3

标签:因此   str   情况下   private   his   list   其他   需要   构造函数   

原文地址:http://www.cnblogs.com/xxbbtt/p/7879543.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!