标签:
原子性
原子是世界上的最小单位,具有不可分割性。比如 a=0;(a非long和double类型) 这个操作是不可分割的,那么我们说这个操作时原子操作。再比如:a++; 这个操作实际是a = a + 1;是可分割的,所以他不是一个原子操作。非原子操作都会存在线程安全问题,需要我们使用同步技术(sychronized)来让它变成一个原子操作。一个操作是原子操作,那么我们称它具有原子性。Java的concurrent包下提供了一些原子类,我们可以通过阅读API来了解这些原子类的用法。比如:AtomicInteger、AtomicLong、AtomicReference等。
可见性
可见性,是指线程之间的可见性,一个线程修改的状态对另一个线程是可见的。也就是一个线程修改的结果。另一个线程马上就能看到。比如:用volatile修饰的变量,就会具有可见性。volatile修饰的变量不允许线程内部缓存和重排序,即直接修改内存。所以对其他线程是可见的。但是这里需要注意一个问题,volatile只能让被他修饰内容具有可见性,但不能保证它具有原子性。比如 volatile int a = 0;之后有一个操作 a++;这个变量a具有可见性,但是a++ 依然是一个非原子操作,也就这这个操作同样存在线程安全问题。
他们之间关系
原子性是说一个操作是否可分割。可见性是说操作结果其他线程是否可见。这么看来他们其实没有什么关系。
volatile与synchronized关键字
(1)volatile
volatile赋予了变量可见——禁止编译器对成员变量进行优化,它修饰的成员变量在每次被线程访问时,都强迫从主存中重读该成员变量的值;而且,当成员变量发生变化时,强迫线程将变化值回写到共享主存,这样在任何时刻两个不同线程总是看到某一成员变量的同一个值,这就是保证了可见性。文摘:
Java规范中指出:为了获得最佳速度,允许线程保存共享成员变量的私有拷贝,而且只当线程进入或者离开同步代码块时才与共享成员变量
的原始值对比。这样当多个线程同时与某个对象交互时,就必须要注意到要让线程及时的得到共享成员变量的变化。而volatile关键字就是提示
VM:对于这个成员变量不能保存它的私有拷贝,而应直接与共享成员变量交互。
使用建议:在两个或者更多的线程访问的成员变量上使用volatile。当要访问的变量已在synchronized代码块中,或者为常量时,不必使用。
由于使用volatile屏蔽掉了VM中必要的代码优化,所以在效率上比较低,因此一定在必要时才使用此关键字。
注意:如果给一个变量加上volatile修饰符,就相当于:每一个线程中一旦这个值发生了变化就马上刷新回主存,使得各个线程取出的值相同。编译器不要对这个变量的读、写操作做优化。但是值得注意的是,除了对long和double的简单操作之外,volatile并不能提供原子性。所以,就算你将一个变量修饰为volatile,但是对这个变量的操作并不是原子的,在并发环境下,还是不能避免错误的发生!
参考链接: http://www.cnblogs.com/aigongsi/archive/2012/04/01/2429166.html
(2)synchronized
synchronized为一段操作或内存进行加锁,它具有互斥性。当线程要操作被synchronized修饰的内存或操作时,必须首先获得锁才能进行后续操作;但是在同一时刻只能有一个线程获得相同的一把锁(对象监视器),所以它只允许一个线程进行操作。
简单的理解方法:
synchronized(object) method();
这相当与为menthod()加了一把锁,这把锁就是object对象,当线程要访问method方法时,需要获取钥匙:object的对象监视器,如果该钥匙没人拿走(之前没有线程操作该方法或操作完成),则当前线程拿走钥匙(获取对象监视器),并操作方法;当操作完方法后,将“钥匙”放回原处!
如果“钥匙”不在原处,则该线程需要等待别人把钥匙放回来(等待即进入阻塞状态);如果多个线程要获取该钥匙,则它们需要进行“竞争”(一般是根据线程的优先级进行竞争)
线程封闭
实现好的并发是一件困难的事情,所以很多时候我们都想躲避并发。避免并发最简单的方法就是线程封闭。什么是线程封闭呢?
就是把对象封装到一个线程里,只有这一个线程能看到此对象。那么这个对象就算不是线程安全的也不会出现任何安全问题。实现线程封闭有哪些方法呢?
1:ad-hoc线程封闭
这是完全靠实现者控制的线程封闭,他的线程封闭完全靠实现者实现。也是最糟糕的一种线程封闭。所以我们直接把他忽略掉吧。
2:栈封闭
栈封闭是我们编程当中遇到的最多的线程封闭。什么是栈封闭呢?简单的说就是局部变量。多个线程访问一个方法,此方法中的
局部变量都会被拷贝一分儿到线程栈中。所以局部变量是不被多个线程所共享的,也就不会出现并发问题。所以能用局部变量就别用全局的变量,全局变量容易引起并发问题。
3:ThreadLocal封闭
使用ThreadLocal是实现线程封闭的最好方法,有兴趣的朋友可以研究一下ThreadLocal的源码,其实ThreadLocal内部维护了一个Map,Map的key是每个线程的名称,而Map的值就是我们要封闭的对象。每个线程中的对象都对应着Map中一个值,也就是ThreadLocal利用Map实现了对象的线程封闭。这里就不说ThreadLocal的使用方法了,度娘一下便知。
总之,当我们要用线程封闭来避免并发问题的时候,最好使用的就是 【栈封闭】 和 【ThreadLocal】。
Java中提供了一些工具类和容器类 来帮助我们来更好的实现并发。这篇博文我们就来简单讨论一下java中的工具类和容器类。学会并且熟练使用这些工具类对java的并发有很大的帮助。
工具类
CountDownLatch
一个同步辅助类,在完成一组正在其他线程中执行的操作之前,它允许一个或多个线程一直等待。 他的实现方法就是一个计数器,在初始化CountDownLatch的时候定下来计数器的数量。每次调用countDown方法,计数器的数量就会减1,在计数器为0之前await方法会一直等待。
- package com.chu.test.current;
- import java.util.concurrent.CountDownLatch;
- public class TestCountDownLatch {
- public static void main(String[] args) throws InterruptedException {
- final CountDownLatch cdl = new CountDownLatch(1);
- new Thread() {
- @Override
- public void run() {
- try {
- System.out.println("等待执行...");
- cdl.await();
- System.out.println("执行完成。");
- } catch (InterruptedException e) {
- e.printStackTrace();
- }
- }
- }.start();
- Thread.sleep(5000);
- cdl.countDown();
- }
- }
FutureTask
异步执行计算结果,在计算完成之前get方法会一直等待。一旦计算完成,就不能再重新开始或取消计算。可使用 FutureTask 包装 Callable 或 Runnable 对象
- package com.chu.test.current;
- import java.util.concurrent.Callable;
- import java.util.concurrent.ExecutionException;
- import java.util.concurrent.FutureTask;
- public class TestFutureTask {
- public static void main(String[] args) throws InterruptedException, ExecutionException {
- FutureTask<String> ft = new FutureTask<String>(new Callable<String>(){
- @Override
- public String call() throws Exception {
- return "aaaaa";
- }
- });
- new Thread(ft).start();
- while(!ft.isDone()){
- System.out.println("增在计算结果...");
- }
- System.out.println(ft.get());
- }
- }
Semaphore
一个计数信号量。 通常用于限制可以访问某些资源(物理或逻辑的)的线程数目。
- package com.chu.test.current;
- import java.util.concurrent.ExecutorService;
- import java.util.concurrent.Executors;
- import java.util.concurrent.Semaphore;
- public class TestSemaphore {
- public static void main(String... args) {
- ExecutorService exec = Executors.newCachedThreadPool();
- final Semaphore semp = new Semaphore(3);
- for (int index = 0; index < 5; index++) {
- final int NO = index;
- Runnable run = new Runnable() {
- public void run() {
- try {
-
- semp.acquire();
- System.out.println("Accessing: " + NO);
- Thread.sleep(2000);
-
- semp.release();
- System.out.println("-----------------" + semp.availablePermits());
- } catch (InterruptedException e) {
- e.printStackTrace();
- }
- }
- };
- exec.execute(run);
- }
- }
- }
CyclickBarrier
CyclicBarrier就象它名字的意思一样,可看成是个障碍,所有的线程必须到齐后才能一起通过这个障碍。
- package com.chu.test.current;
- import java.util.concurrent.BrokenBarrierException;
- import java.util.concurrent.CyclicBarrier;
- public class TestCyclicBarrier {
- public static void main(String[] args) {
- CyclicBarrier cb = new CyclicBarrier(4);
- new Thread(new Work(cb,"A")).start();
- new Thread(new Work(cb,"B")).start();
- new Thread(new Work(cb,"C")).start();
- new Thread(new Work(cb,"D")).start();
- }
- }
- class Work implements Runnable{
- CyclicBarrier cb;
- String name;
- public Work(CyclicBarrier cb , String name){
- this.cb = cb;
- this.name = name;
- }
- @Override
- public void run() {
- System.out.println(name+"准备工作...");
- try {
- cb.await();
- } catch (InterruptedException e) {
- e.printStackTrace();
- } catch (BrokenBarrierException e) {
- e.printStackTrace();
- }
- System.out.println(name+"开始工作...");
- }
- }
Exchanger
用于交换两个线程的信息。
- package com.chu.test.current;
- import java.util.concurrent.Exchanger;
- public class TestExchanger {
- public static void main(String[] args) {
- Exchanger<String> ex = new Exchanger<String>();
- new Thread(new Change(ex,"A")).start();
- new Thread(new Change(ex,"B")).start();
- }
- }
- class Change implements Runnable{
- Exchanger<String> ex;
- String name;
- public Change(Exchanger<String> ex,String name){
- this.ex = ex;
- this.name = name;
- }
- @Override
- public void run() {
- System.out.println(Thread.currentThread().getName()+"来了");
- System.out.println(Thread.currentThread().getName()+"准备把【"+name+"】换出去");
- try {
- String new_name = ex.exchange(name);
- System.out.println(Thread.currentThread().getName()+"把【"+new_name+"】换回来");
- } catch (InterruptedException e) {
- e.printStackTrace();
- }
- }
- }
容器类
这里只简单的列举一下常见的同步容器类,他们的用法和非同步的容器类大同小异,这里就不举例说明他们的用法。可以度娘一下应有尽有。
同步List
CopyOnWriteArrayList:是ArrayList线程安全的变体,其中引起此list改变的操作(add,remove)都是通过对底层数组进行一次新的复制来实现的。这一般需要很大的开销。但是当遍历操作大大超过可变操作时,这种方法比其他方法更有效。不会抛出ConcurrentModificationException。
同步Map
HashTable:比较古老的同步Map
ConcurrentHashMap:是HashMap的同步版本,是1.5新增的同步类,不会抛ConcurrentModificationException,并且key无序排列。
ConcurrentSkipListMap:映射可以根据键的自然顺序进行排序,也可以根据创建映射时所提供的Comparator
进行排序,具体取决于使用的构造方法。
同步Set
CopyOnWriteArraySet :内部使用CopyOnWriteArrayList 实现。
ConcurrentSkipListSet:内部使用ConcurrentSkipListMap实现。
同步队列
ArrayBlockingQueue :一个由数组支持的有界阻塞队列。此队列按 FIFO(先进先出)原则对元素进行排序
LinkedBlockingQueue :一个基于已链接节点的、任选范围的阻塞双端队列。
PriorityBlockingQueue :一个无界阻塞队列,它使用与类PriorityQueue
相同的顺序规则,并且提供了阻塞获取操作。虽然此队列逻辑上是无界的,但是资源被耗尽时试图执行 add 操作也将失败(导致OutOfMemoryError)。此类不允许使用 null 元素。依赖自然顺序的优先级队列也不允许插入不可比较的对象(这样做会导致抛出ClassCastException)。
ConcurrentLinkedQueue:一个基于链接节点的无界线程安全队列。此队列按照 FIFO(先进先出)原则对元素进行排序。非阻塞。
Collctions返回的同步容器
synchronizedList(List<T> list) 、synchronizedMap(Map<K,V> m) 、synchronizedSet(Set<T> s) 通过这些方法返回的容器,都是线程安全的容器,有一点需要注意的就是这些同步容器在迭代的时候,比如手工加同步,例
synchronized(list){...}否则会产生不可预料的结果。
【转】Java线程安全
标签:
原文地址:http://www.cnblogs.com/wytiger/p/5572009.html