Java并发编程基础

确保线程安全是并发中的重要操作,在线程安全类中封装了必要的同步机制,则客户端无需进一步采取同步措施。

首先,我们需要知道:

无状态的对象一定是线程安全的

大多数servlet都是无状态的,但当servlet在处理一些需要保存信息的步骤时,线程安全性就会成为一个巨大的问题:
比如在一个没有采取同步的servlet中

public class UnsafeCounting implements Servlet{
private long count = 0;
public long getCount(){return count;}
public void service(ServletRequest req,ServletResponse){
...
++count;
...
}
}

这个servlet不具有原子性,它包含了3个独立的操作:读取count值,将值+1,而后将计算结果写入count。这是一个“读取—修改—写入”的操作序列,并且其结果状态依赖于之前的状态,而这些状态会被线程修改,这些修改操作是时间无序的,你不能确保在一个线程读取count的时候,count被另一个正在执行的线程修改,这样就会导致数据完整性的问题,在并发的世界里,这种现象被称为“竞态条件”。

原子性

假定有两个操作A和B,如果从执行A的线程来看,当另一个线程执行B时,要么将B全部执行完,要么完全不执行,那么A和B对于彼此来说是原子的

为确保线程安全,“先检查后执行”(if(状态判断){})和“读取—修改—写入”(递增运算)等操作必须是原子的
。为解决类似的问题,我们可以采用加锁机制,这是java中用于确保原子性的内置机制。就目前而言,我们采取另一种方法:java.util.concurrent.atomic中的原子变量类

public class SafeCounting implements Servlet{
private final AtomicLong count = new AtomicLong(0);
public long getCount(){return count.get();}
public void service(ServletRequest req,ServletResponse){
...
count.incrementAndGet();
...
}
}

尽管这些原子类的引用本身是线程安全的,但在一些缓存等情况下任存在着竞态条件,这就可能产生错误

要保持状态的一致性,就需要在单个原子操作中更新所有相关的状态变量

内置锁
同步代码块(Synchronized Block)

synchronized (lock){
//访问或修改由锁保护的共享状态
}

每一个java对象都可以用作一个实现同步的锁,这些锁被称为内置锁或是监视锁
线程在进入同步代码块之前会自动获得锁,并且在退出同步代码块时自动释放锁。
获得内置锁的唯一途径是进入由这个锁保护的同步代码块或方法
Java的内置锁相当于一个互斥体(互斥锁),最多只有一个线程能持有这种锁。A想获得B持有的锁,必须等待或者阻塞,直到B释放锁。如果B永不释放,则A永远等待下去。

重入
内置锁可以重入,一个线程可以获得一个已经由他自己持有的锁。“重入”意味着获取锁的粒度是“线程”,而不是“调用”。重入的实现方法:

为每个锁关联一个获取计数值和一个所有者线程。当计数值为0,这个锁没有被任何线程持有。当线程请求一个未被持有锁时,jvm将记下锁的持有者,并且将获取计数值置为1。如果同一线程再次获取这个锁,计数值将递增,线程退出同步代码块,计数值递减。
计数值为0,锁被释放

public class Widget{
public synchronized void doSomething(){...}
}

public class LoggingWidget extends Widget{
public synchronized void doSomething(){
 super.doSomething();
}
}

注意:当执行时间较长的计算或者可能无法快速完成的操作时(网络i/o,控制台io),一定不要持有锁

对象共享
为了确保多个线程之间对内存写入操作的可见性,必须使用同步机制,在没有同步的情况下,编译器,处理器都有可能对操作的执行顺序进行一些意想不到的调整

在多线程中使用共享可变的long和double等类型变量也是不安全的,因为他们是64位的,将被分解为两个32位的操作,除非用volatile来申明他们

volatile  boolean asleep
....
   while(!asleep){
   countSomeSheep();
   }

用volatile确保asleep更新操作的可见性

加锁机制既可以确保可见性又可以保证原子性,而volatile变量只能确保可见性
当且仅当以下情况才应该使用volatile:
1.对变量的写入操作不依赖变量的当前值,或者确保只有单个线程更新变量值
2.该变量不会与其他状态变量一起纳入不变性条件中
3.在访问变量时不需要加锁

发布与溢出
发布”是指使对象能够在当前作用域外的代码中使用。

public static Set<Secret> knowSecrets;
public void initialize()
{
    knowSecrets = new HashSet<Secret>();
}

如果在对象构造完成之前就发布该对象,就会破坏线程安全性。
溢出”当某个不应该发布的对象被发布就成为溢出

class UnsafeStates{
    private String[] states=new String[]{
    "AK","AL" ...
    };
    public String[] getStates(){return states;}
}

如果按上述方式发布states,任何调用者都能修改这个数组的内容

不要在构造的过程中使this引用溢出,可以使用工厂方法来防止这种溢出

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值