JAVA高并发程序设计的感悟

java线程的主要概念：

同步（synchronous）和异步（asynchronous）

线程同步：多个线程同时访问同一资源，等待资源访问结束。 

线程异步：访问资源时在空闲等待时同时访问其他资源，实现多线程机制。

并发（Concurrency）和并行（Parallelism）

并发：偏重于多个任务交替执行，而多个任务之间有可能还是串行的。

并行：同时执行。

阻塞（Blocking）和非阻塞（Non-Blocking）

       阻塞和非阻塞通常用来形容多线程间的相互影响。比如一个线程占用了临界区资源，那么其它所有需要这个资源的线程就必须在这个临界区中进行等待，等待会导致线程挂起。这种情况就是阻塞。此时，如果占用资源的线程一直不愿意释放资源，那么其它所有阻塞在这个临界区上的线程都不能工作。非阻塞允许多个线程同时进入临界区。

锁（Deadlock）、饥饿（Starvation）和活锁（Livelock）

并行的级别

临界区

 synchronized

–  指定加锁对象：对给定对象加锁，进入同步代码前要获得给定对象的锁。

–  直接作用于实例方法：相当于对当前实例加锁，进入同步代码前要获得当前实例的锁。

–  直接作用于静态方法：相当于对当前类加锁，进入同步代码前要获得当前类的锁。

原子性

原子性是指一个操作是不可中断的。即使是在多个线程一起执行的时候，一个操作一旦开始，就不会被其它线程干扰。

有序性

在并发时，程序的执行可能就会出现乱序，一条指令的执行是可以分为很多步骤的。

可见性

可见性是指当一个线程修改了某一个共享变量的值，其他线程是否能够立即知道这个修改。

Happen-Before

程序顺序原则：一个线程内保证语义的串行性 a=1;b=a+1;
volatile规则：volatile变量的写，先发生于读，这保证了volatile变量的可见性
锁规则：解锁（unlock）必然发生在随后的加锁（lock）前
传递性：A先于B，B先于C，那么A必然先于C,线程的start()方法先于它的每一个动作,
       线程的所有操作先于线程的终结（Thread.join()）,线程的中断（interrupt()）
   先于被中断线程的代码,对象的构造函数执行结束先于finalize()方法.

线程安全的概念

指某个函数、函数库在多线程环境中被调用时，能够正确地处理各个线程的局部变量，使程序功能正确完成。