多线程底层

锁

一共有四种状态，从低到高依次是：无锁状态，偏向锁状态，轻量级锁状态，重量级锁状态。
偏向锁会在对象头中和栈帧中的锁记录存储偏向的线程ID，以后该线程在进入和退出同步块时不需要进行cas操作来加锁解锁，当有其他线程竞争时会释放锁。在java6和java7中是默认启用的，可以通过jvm参数关闭偏向锁，useBiasedLocking=flase那么程序会默认进入轻量级锁状态。
轻量级锁
jvm会将当前线程的栈帧中创建用于存储锁记录的空间，并将对象头中的markword复制到锁记录中，然后线程尝试使用cas将对象头中的markword替换为指向锁记录的指针，如果成功，当前线程获得锁，如果失败，当前线程便尝试使用自旋来获取锁，当锁被其他线程占用时，该线程并不会马上进入阻塞状态，而是循环请求锁，如果还是失败，锁就会膨胀成重量级锁。
重量级锁
重量级锁是通过对象内部的monitor来实现的，基于底层操作系统的mutex互斥原语

原子操作实现原理

通过总线锁保证原子性，使用处理器提供的一个#lock信号，当一个处理器在总线上输出此信号时，其他处理器的请求将被阻塞住。
通过缓存锁定保证原子性，总线锁的开销比较大，频繁的使用内存缓存在处理器的高速缓存里。
java1.5开始并发包提供了一些类来支持原子操作AtomicBoolean,AtomicInteger,AtomicLong,Atomic包里提供了一个类AtomicStampedkeference来解决ABA问题compareAndSet
线程之间的通信机制有两种，共享内存和消息传递，线程之间的共享变量存储在主内存中，每个线程都有一个私有的本地内存，本地内存存储了该线程共享变量的副本，更新本地变量到主内存，其他线程读取主内存更新其他本地内存
java源代码到指令序列重排序
1.编译器优化重排序
2.指令级并行重排序
3.内存系统重排序
从jdk1.5开始java使用新的JSR-133内存模型，使用happens-before的概念来阐述操作内存可见性，也可以使存在于不同的线程中，要求前一个操作执行结果对后一个可见，并不意味着前一个操作必须要在后一个操作之前执行。编译器和处理器不会改变存在数据依赖关系的两个操作顺序，happens-before存在传递继承性