线程安全

1.互斥同步(synchronized,ReentrantLock)

• synchronized：是一种块结构的同步语法，synchronized关键字经过Javac编译之后,会在同步块的前后分别形成monitorenter和monitorexit这两个字节码指令。这两个字节码指令都需要一个reference类型的参数来指明要锁定和解锁的对象。如果Java源码中的synchronized明确指定了对象参数,那就以这个对象的引用作为reference;如果没有明确指定,那将根据synchronized修饰的方法类型(如实例方法或类方法),来决定是取代码所在的对象实例还是取类型对应的Class对象来作为线程要持有的锁。

• ReentrantLock：与synchronized一样是可重入的，比synchronized多以下三个功能。

  1. 等待可中断：是指当持有锁的线程长期不释放锁的时候,正在等待的线程可以选择放弃等待,改为处理其他事情。
  2. 公平锁：多个线程在等待同一个锁时,必须按照申请锁的时间顺序来依次获得锁;而非公平锁则不保证这一点,在锁被释放时,任何一个等待锁的线程都有机会获得锁。synchronized中的锁是非公平的。
  3. 锁绑定多个条件：一个ReentrantLock对象可以同时绑定多个Condition对象。

2. 非阻塞同步

• CAS：内存位置(变量的内存地址,用V表示)、旧的预期值(用A表示)和准备设置的新值(用B表示)。CAS指令执行时,当且仅当V符合A时,处理器才会用B更新V的值,否则它就不执行更新。
• ABA问题：如果一个变量V初次读取的时候是A值,并且在准备赋值的时候检查到它仍然为A值,如果在这段期间它的值曾经被改成B,后来又被改回为A,那CAS操作就会误认为它从来没有被改变过。