多线程:
synchronized是一种互斥锁,一次只允许一个线程被锁住。编译器生成ACC_SYNCHRONIZED关键字。修饰代码块时,依赖monitorenter和monitorexit,无论修饰方法还是代码块锁住的都是对象实例。
内存中的对象分:对象头、实际数据和对齐填充。
对象头中的markword记录锁的信息,每个对象都有对应的monitor对象,monitor中存储着当前持有锁的线程以及等待锁的线程队列。jdk之前是重量级锁,monitor会把进入线程的id进行存储,设置markword的monitor对象地址,并把阻塞的线程存储到monitor的等待线程队列中。他的加锁依赖操作系统mutex相关指令,会有用户态和内核态切换,性能损耗明显。jdk1.6以后,引入偏向锁和轻量级锁,jvm层实现加锁逻辑,不依赖操作系统,没有切换消耗。markword记录无锁、偏向锁、轻量级锁、重量级锁。
偏向锁:jvm认为只有某个线程才会执行同步代码(没有竞争环境),markword记录线程id,只有id相等的线程才会执行同步代码。不相等尝试cas,修改成功也执行同步代码。如果cas失败,说明有竞争,升级为轻量锁。
轻量级锁:当前线程会在栈帧下创建lock record,lockrecord会把mark word信息拷贝,且有个owner指针指向加锁对象。线程执行到同步代码块时,用cas试图将markword指向线程栈帧的lockrecord,修改成功则获取到轻量级锁。
重量级锁:如果cas失败,则自旋(重试),自旋一定次数后,升级为重量级锁。
锁只有升级没有降级。一个线程进入临界区,偏向锁。多个线程交替进入临界区,轻量级锁。多个线程同时进入临界区,重量级锁。
lock:线程在执行代码块的时候,如果直接进队列等待唤醒的是公平锁,先尝试获取锁再入队列的非公平锁。synchronized是非公平锁。
一直尝试获取锁,专业叫自旋要耗资源的。
AQS全称叫做abstractqueuedsynchronizer