1.内存模型:java内存模型规定的所有的变量都存储在主内存,每条线程都有自己的工作内存。线程间变量值的传递均需要通过主内存来完成。java内存模型中规定了8种操作来完成,分别为lock,unlock,read,load,use,assign,store,write.虚拟机实现时必须保证这8种操作都是原子性的。其中对volatitle型的变量赋予了特殊规则,volatitle保证了变量的可见性和禁止指令重排序。
2.线程:线程是比进程更轻量级的调度执行单位,对于SUN JDK来说,它的windows版和linux版都是使用1对1的线程模型实现的,一条java线程就映射到一条轻量级进程中。而在Solaris平台,可以同时支持1对1和多对多的线程模型。java使用的线程调度方式是抢占式的。
3.线程状态:阻塞状态和等待状态的区别在于,阻塞状态在等待获取到一个排他锁。
4.线程安全:1.互斥同步,临界区(Critical Section),互斥量(Mutex),信号量(Semaphore)都是事先互斥同步的方式。属于一种悲观的并发策略。2.非阻塞同步,通俗的讲,那就是先进行操作,如果没有其他线程争用共享数据,那操作就成功了,如果共享数据有争用,产生了冲突,那就在采取其他的补偿措施(最常见的补偿措施就是不断的去重试,直到成功为止)。在JDK1.5之后,java程序可使用CAS操作。
5.锁优化:适应性自旋,锁消除,锁粗化,偏向锁,轻量级锁。
本章我们需要了解的问题:
1.内存模型中的一致性如何解决
答:通过锁和CAS来保证。
2.锁的内部是如何实现的
答:synchronized代码块实际上多了monitorenter和monitorexit两条指令。自旋锁和偏向锁是在线程中置标志位,采用乐观方式实现,当资源有其他线程抢占,则膨胀为重量级锁。