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的内容

最新文章

  1. Android历史版本Logo
  2. 初学C++ 之 auto关键字(IDE:VS2013)
  3. CSS3滚动条-webkit-scrollbar
  4. PHP面向对象编程之深入理解方法重载与方法覆盖(多态)
  5. 如何安装Ecshop for linux
  6. Android的webview加载本地html、本apk内html和远程URL
  7. LoadRunner使用之变量关联
  8. Hibernate中的一对多与多对一映射
  9. support STL Viewer with WordPress On SAE
  10. RxJava操作符(05-结合操作)
  11. BFS 模拟队列(水题)
  12. IntelliJ IDEA 使提示不区分大小写
  13. makefile笔记6 - makefile条件判断
  14. redux源码解析-函数式编程
  15. 【RAY TRACING THE REST OF YOUR LIFE 超详解】 光线追踪 3-3 蒙特卡罗 (三)
  16. eHR自动同步获取LDAP中的邮箱地址
  17. java 之 xml 之解析工具jaxp
  18. 換根lca
  19. freepbx13通话无声音通话自动挂断
  20. extends android.view.ViewGroup两种实现

热门文章

  1. JS高级程序设计第3章--精简版
  2. 在FPS游戏中,玩家对音画同步感知的量化与评估
  3. C++学习书籍推荐《Inside the C++ Object Model》下载
  4. 分布式事务(3)---RocketMQ实现分布式事务原理
  5. C语言指针专题——使用指针要注意这些
  6. springboot之mybatisplus,mp的简单理解
  7. 【小家Spring】聊聊Spring中的数据绑定 --- DataBinder本尊(源码分析)
  8. java学习笔记(基础篇)—面向对象编程之封装、继承、多态
  9. AT173 単位:题解
  10. 个人永久性免费-Excel催化剂功能第76波-图表序列信息维护