深入浅出JVM之锁及优化方法

一、线程安全

当多个线程同时修改一个变量时会有线程安全问题,如果要保证这个变量时全局唯一进行修改,就需要给这个变量加锁,加锁后能够保证该变量的修改是串行进行的,因此该变量时线程安全的。但是需要牺牲一定的性能。

比如ArrayList,该对象不是线程安全的,当线程A对该对象增加数据的时候,线程B也可以对该对象增加数据,当线程A的数组存储空间不足时会自动申请扩展空间,此时数据是不可用状态,而此时线程B也会对该对象进行写入,就会抛出数组越界的异常,最后会导致ArrayList中的数据与我们期望的不符合。因此ArrayList不能用于多线程的程序中。

二、对象头Mark

Mark Word-对象头的标记,32位,记录描述对象的hash、锁信息,垃圾回收标记、年龄,如指向锁记录的指针,指向monitor的指针,GC的标记,偏向锁的线程ID

1.偏向锁

所谓的偏向指的是偏心,该锁会偏向于当前已经占有锁的线程。在大部分情况下没有竞争的程序里,可以通过偏向锁来提高性能。使用偏向锁是会将对象头Mark的标记设置为偏向,并将当前持有偏向锁的线程ID写入对象头Mark。在没有竞争的情况下,获得偏向锁的线程在将来进入同步块的时候不需要做同步,这样就可以减少同步 所需要的时间,从而提高效率。当有其他线程请求相同的锁时,偏向锁的模式就结束了。

使用-XX:+UseBiasedLocking来启动偏向锁模式。

-XX:BiasedLockingStartupDelay=0:设置偏向锁起作用的时间。jvm认为在刚启动的时候竞争是激烈的,所以偏向锁的实际生效时间是由延迟的,这个时候可以通过这个参数来设置。如果想要偏向锁立即生效,就需要将该参数设置为0.

在线程之间竞争激烈的场合,偏向锁会增加系统负担。所以偏向锁不适合竞争激烈的情况。

2.轻量级锁-BasicObjectLock

该锁是嵌入在线程栈中的对象,该对象包含两部分,一部分是对象头信息,一部分是一个指向持有该锁的对象指针。

如果普通的锁处理性能不够理想,轻量级锁时一种快速的锁定方法。对于一个没有被锁定的对象,如果应用程序请求该锁,首先将该对象头的Mark指针保存到锁对象中,然后将对象都设置为指向锁的指针(该指针是在线程栈空间中)。这样应用程序对象和锁对象形成了相互引用的关系。

如果获取轻量级锁失败,表示存在竞争,需要升级为重量级锁(常规锁)。在没有竞争的前提下,减少传统锁的使用,会减少OS互斥量产生的性能损耗。在竞争激烈的情况下,轻量级锁会多做很多额外的操作,导致性能下降。所以在竞争激烈的情况下,不适合使用轻量级锁。

3.自旋锁

当竞争存在时,如果线程可以很快获得锁,那么可以不在OS层挂起线程,让线程做几个空操作,这种操作就称为自旋。自旋的目的是让线程等待可以获得的锁。在JDK1.6中使用-XX:+UseSpinning来开启。在JDK1.7中改为内置实现了,不需要通过参数来指定。

如果同步块很长,也就是一个线程在同步块里停留的时间很长,导致后面的线程的自旋成功率降低,如果自旋失败,这会降低系统的性能。

如果同步块很短,线程在同步块里停留的时间短,自旋成功,节省了线程挂起切换的时间,能够提升系统的性能。

各个锁的使用顺序如下:

偏向锁->轻量级锁->自旋锁->普通锁

三、锁优化方法:

1.减少锁持有时间

一般在将同步关键字放在方法名上,但是如果该方法中的代码并不是所有的都需要同步处理,我们可以将同步块放在只需要进行同步操作的那段代码上,这样能够减少锁的持有时间,从而增加自旋锁的成功几率。

public synchronized void method1(){
	code1();
	mutextMethod();
	code2();
}

优化后的代码如下:

public  void method1(){
	code1();
    synchronized(this) {
        mutextMethod();
    }
	code2();
}

其中mutextMethod是真正需要加锁的代码,code1和code2是不需要加锁的代码。这样优化有能够实现和之前一样的同步效果,但是减小了锁持有的时间,增加了自旋成功的概率。

2.减小锁粒度

将大对象,拆成小对象,增加对象的并行度,降低锁竞争,这样偏向锁、轻量级锁成功率就能够提高。如果能够使用偏向锁和轻量级锁,一般系统的性能都会比较好。

一个例子就是ConcurrentHashMap的实现方法。普通的方法是通过Collections.synchronizedMap()方法获取一个同步的hashMap,然后在该对象的put和get方法上在加上同步关键字,这样程序在使用该对象时只能够顺序进行,有可能会造成堵塞或者排队。

一个优化的方法就是将这个HashMap拆分成若干个Segment,在Segment中维护HashEntry,在做put和get操作的时候,先定位到Segment,锁定一个Segment,然后再执行put和get方法。这样在减小锁粒度后,ConcurrentHashMap可以允许若干个线程同时进入。

3.锁分离

根据功能进行锁分离,一个典型就是读写锁-ReadWriteLock,读的时候加读锁,写的时候加写锁。在请求读锁的时候,其他线程也可以请求读锁,这样在读的时候可以提高并发读,在写的时候,由于会改变对象的值,所以这时其他线程的读和写都需要进行等待,等待写锁完成后才能继续进行。读写锁分离在读多写少的情况下可以提高性能。

读写分离思想可以延伸,只要操作互不影响,锁就可以分离。

4.锁粗化

通常情况下需要减少锁的持有时间,会增加锁的成功率,提高性能,但是如果锁的持有和释放太过平凡的话也会非常消耗资源,这时候就需要增加锁的同步范围,也就是要将锁进行粗化。

一个极端的例子就是,将同步标识加在for循环里面,而for循环里面的代码可以很快执行完毕,这样每循环一次就会获取、释放一次锁,就比较耗费资源,这样我们可以将同步标识加在for循环外面,同样可以实现同步的效果,但是只获取和释放了一次锁,这样也能大大提高系统的性能。

5.锁消除

编译器在编译java代码的时候,如果发现不可能被共享的对象时,会消除这些对象的锁操作。比如对局部变量的锁操作。一个例子是StringBuffer的append方法,该方法上是有同步标识的,所以append方法是线程安全的,但是如果我们将StringBuffer定义为一个方法的局部变量,该变量无法被其他线程锁共享,这样在执行的时候,即使加上了同步标识,jvm也会消除对这个StringBuffer对象的锁操作。

-XX:+EliminateLocks开启锁消除的操作

6.无锁

锁时一种悲观的操作,因为我们在写程序的时候预期在多线程的时候会被其他线程篡改,所以才需要加上锁。这样是以牺牲性能为代价的。无锁是一种乐观操作,因为我们确定变量不会被其他线程篡改,所以无锁是性能最优的解决方案。但是要实现无锁,就增加了程序的复杂度,使得调试起来也会很麻烦。

无锁的一种实现方式是CAS(Compare And Swap),也就是在应用层面判断多线程的干扰,如果有干扰,则通知线程进行重试,直到线程的干扰消除。

java自带的concurrent包里有一些原子对象,比如java.util.concurrent.atomic.AtomicInteger就是采用getAndSet方法来设置新值,使用这种方法就没有加锁。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值