Java同步,异步相关知识点（1）

Java同步、异步相关知识点

　　一、关键字：

　　thread（线程）、thread-safe(线程安全)、intercurrent（并发的）

　　synchronized(同步的)、asynchronized(异步的)、

　　volatile（易变的）、atomic（原子的）、share（共享）

　　二、总结背景：

　　一次读写共享文件编写，嚯，好家伙，竟然揪出这些零碎而又是一路的知识点。于是乎，Google和翻阅了《Java参考大全》、《Effective Java Second Edition》，特此总结一下供日后工作学习参考。

　　三、概念：

　　1、 什么时候必须同步？什么叫同步？如何同步？

　　要跨线程维护正确的可见性，只要在几个线程之间共享非 final 变量，就必须使用 synchronized（或 volatile）以确保一个线程可以看见另一个线程做的更改。

　　为了在线程之间进行可靠的通信，也为了互斥访问，同步是必须的。这归因于java语言规范的内存模型，它规定了：一个线程所做的变化何时以及如何变成对其它线程可见。

　　因为多线程将异步行为引进程序，所以在需要同步时，必须有一种方法强制进行。例如：如果2个线程想要通信并且要共享一个复杂的数据结构，如链表，此时需要确保它们互不冲突，也就是必须阻止B线程在A线程读数据的过程中向链表里面写数据（A获得了锁，B必须等A释放了该锁）。 为了达到这个目的，java在一个旧的的进程同步模型——监控器（Monitor）的基础上实现了一个巧妙的方案：监控器是一个控制机制，可以认为是一个很小的、只能容纳一个线程的盒子，一旦一个线程进入监控器，其它的线程必须等待，直到那个线程退出监控为止。通过这种方式，一个监控器可以保证共享资源在同一时刻只可被一个线程使用。这种方式称之为同步。（一旦一个线程进入一个实例的任何同步方法，别的线程将不能进入该同一实例的其它同步方法，但是该实例的非同步方法仍然能够被调用）。 错误的理解：同步嘛，就是几个线程可以同时进行访问。

　　同步和多线程关系：没多线程环境就不需要同步;有多线程环境也不一定需要同步。 锁提供了两种主要特性：互斥（mutual exclusion） 和可见性（visibility）。 互斥即一次只允许一个线程持有某个特定的锁，因此可使用该特性实现对共享数据的协调访问协议，这样，一次就只有一个线程能够使用该共享数据。

　　可见性要更加复杂一些，它必须确保释放锁之前对共享数据做出的更改对于随后获得该锁的另一个线程是可见的 —— 如果没有同步机制提供的这种可见性保证，线程看到的共享变量可能是修改前的值或不一致的值，这将引发许多严重问题

　　小结：为了防止多个线程并发对同一数据的修改，所以需要同步，否则会造成数据不一致（就是所谓的：线程安全。如java集合框架中Hashtable和Vector是线程安全的。我们的大部分程序都不是线程安全的，因为没有进行同步，而且我们没有必要，因为大部分情况根本没有多线程环境）。

　　2、 什么叫原子的（原子操作）？ Java原子操作是指：不会被打断地的操作。（就是做到互斥 和可见性？！） 那难道原子操作就可以真的达到线程安全同步效果了吗？实际上有一些原子操作不一定是线程安全的。

　　那么，原子操作在什么情况下不是线程安全的呢？也许是这个原因导致的：java线程允许线程在自己的内存区保存变量的副本。允许线程使用本地的私有拷贝进行工作而非每次都使用主存的值是为了提高性能（本人愚见：虽然原子操作是线程安全的，可各线程在得到变量（读操作）后，就是各自玩弄自己的副本了，更新操作（写操作）因未写入主存中，导致其它线程不可见）。

　　那该如何解决呢？因此需要通过java同步机制。

　　在java中，32位或者更少位数的赋值是原子的。在一个32位的硬件平台上，除了double和long型的其它原始类型通常都是使用32位进行表示，而double和long通常使用64位表示。另外，对象引用使用本机指针实现，通常也是32位的。对这些32位的类型的操作是原子的。

　　这些原始类型通常使用32位或者64位表示，这又引入了另一个小小的神话：原始类型的大小是由语言保证的。这是不对的。java语言保证的是原始类型的表数范围而非JVM中的存储大小。因此，int型总是有相同的表数范围。在一个JVM上可能使用32位实现，而在另一个JVM上可能是64位的。在此再次强调：在所有平台上被保证的是表数范围，32位以及更小的值的操作是原子的。

　　3、 不要搞混了：同步、异步

　　举个例子：普通B/S模式（同步）AJAX技术（异步）

　　同步：提交请求->等待服务器处理->处理完返回 这个期间客户端浏览器不能干任何事

　　异步：请求通过事件触发->服务器处理（这是浏览器仍然可以作其他事情）->处理完毕

　　可见，彼“同步”非此“同步”——我们说的java中的那个共享数据同步（synchronized） 一个同步的对象是指行为（动作），一个是同步的对象是指物质（共享数据）。

　　4、 Java同步机制有4种实现方式：（部分引用网上资源）

　　① ThreadLocal ② synchronized( ) ③ wait() 与 notify() ④

　　volatile

　　目的：都是为了解决多线程中的对同一变量的访问冲突

　　ThreadLocal

　　ThreadLocal 保证不同线程拥有不同实例，相同线程一定拥有相同的实例，即为每一个使用该变量的线程提供一个该变量值的副本，每一个线程都可以独立改变自己的副本，而不是与其它线程的副本冲突。

　　优势：提供了线程安全的共享对象

　　与其它同步机制的区别：同步机制是为了同步多个线程对相同资源的并发访问，是为了多个线程之间进行通信；而 ThreadLocal 是隔离多个线程的数据共享，从根本上就不在多个线程之间共享资源，这样当然不需要多个线程进行同步了。

　　volatile

　　volatile 修饰的成员变量在每次被线程访问时，都强迫从共享内存中重读该成员变量的值。而且，当成员变量发生变化时，强迫线程将变化值回写到共享内存。

　　优势：这样在任何时刻，两个不同的线程总是看到某个成员变量的同一个值。