java synchronized关键字使用了管程对共享资源进行管理。
1.java对象的对象头:包含class word和mark word,其中class word指明该对象类型,mark word在正常状态下包含hashcode和age等信息。倒数2位为锁标志位,01表示未上锁或偏向锁,倒数第三位为偏向锁标志位,0未上偏向锁。
2.synchronized上锁流程: 当对象被synchronized上锁后,会关联一个系统提供的monitor对象,并将hashcode等信息替换为monitor的地址,state更新为10,将monitor的owner设置为当前线程。在占有锁的过程中,其它线程执行到临界区代码对该对象上锁,会进入monitor的entry list等待,在owner执行完后竞争成为新owner得到执行权(非公平,即非先来后到)。调用wait方法会进入monitor的waiting room等待被唤醒。
3.轻量级锁:锁记录替代重量级的monitor(没有waiting room/entry list/owner),减轻没竞争时的消耗。
4.偏向锁:线程id替代锁记录,减轻轻量级锁cas交换l锁记录地址和mark word的消耗。
5.自旋优化:由于线程阻塞上下文切换要从用户态切换至内核态,代价大,在发生竞争时,owner已为其它线程,当前线程不会立即进入entry list阻塞,而是自旋等待owner执行完毕。
6.锁升级:jdk1.6之后默认开启偏向锁,当未发生竞争时会将线程id记入mark word标识当前线程正在使用共享资源。若线程2竞争时发现上锁对象偏向于线程1,会查看线程1是否存活,不存活重新偏向线程2,存活升级为轻量级锁。为了避免线程阻塞消耗,线程2会自旋尝试,超过一定次数仍失败升级为重量级锁。
7.死锁、活锁、线程饥饿:①死锁:两个线程互相持有对方所要获取的锁 ②活锁:两个线程互相改变对方的结束条件 ③线程饥饿:线程优先级低,一直得不到执行。
8.双重检查单例模式:
①第一次检查:不直接上锁,当已创建时节省大量上锁开销。②第二次检查:避免第一次检查和上锁成功之间其它线程已经创建对象。③加volatile:避免指令重排序拿到未初始化完成对象。
9.静态内部类线程安全单例: