Java锁机制

每个对象都有一把锁,锁在对象头中,关于对象的组成我们可以加入来依赖看看java对象头到底是啥样的

 <!-- https://mvnrepository.com/artifact/org.openjdk.jol/jol-core -->
        <dependency>
            <groupId>org.openjdk.jol</groupId>
            <artifactId>jol-core</artifactId>
            <version>0.10</version>
        </dependency>

  然后进行测试

@Test
    public void testAnnotation() throws NoSuchFieldException, IllegalAccessException, NoSuchMethodException, InvocationTargetException {
        Apple apple = new Apple();
        apple.setAppleName("apple");
        apple.num = 12;
        test(apple);
//        synchronized (apple) {
            System.out.println(ClassLayout.parseInstance(apple).toPrintable());
//        }

    }

打印结果如下: 

annotation.Apple object internals:
 OFFSET  SIZE               TYPE DESCRIPTION                               VALUE
      0     4                    (object header)                           01 00 00 00 (00000001 00000000 00000000 00000000) (1)
      4     4                    (object header)                           00 00 00 00 (00000000 00000000 00000000 00000000) (0)
      8     4                    (object header)                           e4 2c 01 f8 (11100100 00101100 00000001 11111000) (-134140700)
     12     4                int Apple.num                                 12
     16     4   java.lang.String Apple.appleName                           (object)
     20     4   java.lang.String Apple.appleColor                          null
Instance size: 24 bytes
Space losses: 0 bytes internal + 0 bytes external = 0 bytes total

从VALUE那一栏及其对应的整数值,我们可以知道,第一行object header(java成为mark word)最低8位是左边的00000001,对应无锁状态, 锁位置如下

 如果我们把代码改成

 @Test
    public void testAnnotation() throws NoSuchFieldException, IllegalAccessException, NoSuchMethodException, InvocationTargetException {
        Apple apple = new Apple();
        apple.setAppleName("apple");
        apple.num = 12;
        test(apple);
        
        synchronized (apple) {
            System.out.println(ClassLayout.parseInstance(apple).toPrintable());
        }

    }

输出结果为:

annotation.Apple object internals:
 OFFSET  SIZE               TYPE DESCRIPTION                               VALUE
      0     4                    (object header)                           38 e3 5f e9 (00111000 11100011 01011111 11101001) (-379591880)
      4     4                    (object header)                           ae 00 00 00 (10101110 00000000 00000000 00000000) (174)
      8     4                    (object header)                           21 2d 01 f8 (00100001 00101101 00000001 11111000) (-134140639)
     12     4                int Apple.num                                 12
     16     4   java.lang.String Apple.appleName                           (object)
     20     4   java.lang.String Apple.appleColor                          null

可以看到最低位为00111000,为轻量级锁,照理说synchronized默认应该是偏向锁,为什么这个就直接就是轻量级锁呢,我猜,是不是因为上面有个test,而test其实会调用线程栈的(所以可能会生成一个新的线程),所以有两个线程争用这个锁,最后导致其升级为轻量级锁

关于synchronized关键字在字节码中是如何表示的,可看下图:

 右边字节码28行monitorenter就是对应synchronized(apple)这一行,其实49行还有monitorexit,两个monitor关键字就相当于一个括号,把代码包裹起来

锁有4种,无锁,偏向锁,轻量级锁,重量级锁(由低到高,只能升级)

先来聊聊无锁编程,也就是CAS,compareAndSwap,这个例子,假设有一个女神(资源对象),当她状态为0的时候可以被约出去,接收约会以后,状态会变成1,此时有两个男生(线程),都想约她出去,这个时候就会出现竞争,就是男生1和男生2都想把女神状态变成1,假设男生1先问的,女生的old value = 0,new value也为0, 因此提出约会,女生答应以后,状态new value = 1, 此时男生2不知情,去找女神,于是比较了old value = 0 和new value = 1,两者不相等,也就不能改变女神状态,但是一般这种情况,男生2不会放弃,而是会自旋(就是一个while循环,轮询女神(资源)是否可用),不过为了避免死循环,一般会设定自旋次数,比如10次

不过值得指出的是compare和swap是两个操作,如果在男生1的compare和swap中间,男生2做了compare,因为女生状态没有改变仍为0,所以男生2也会去做swap,为了防止这种情况发生,就有赖于CPU厂商提供的原子级别的compareAndSwap操作指令,比如x86的cmpxchg指令,这就是所谓的乐观锁,其实乐观锁并没有锁机制

偏向锁

偏向锁就算是已经加锁了(通过synchronize),锁可能会偏向某个线程,那么因为锁对象处于偏向锁状态,前23个bit是线程id,我们只要比较锁对象的线程id和当前线程id是否一致,一致则把锁给该线程,锁偏向这个线程。

偏向锁和轻量级锁的区别是:

偏向锁假定将来只有第一个申请锁的线程会使用锁(之后不会再有任何线程再来申请锁),所以只要存储一个线程id就行,类似于我们假定只有单线程场景

轻量级锁

相对来说,轻量级锁,就对应了两个线程的场景 (我自己的观点)

如果发现有多个线程竞争该锁,那么比较锁的线程id和当前线程id的结果就是false,那么此时锁会升级,升级成轻量级锁

轻量级锁,锁对象(lock record)和线程是相互指向的

其他线程也可能访问这个锁对象,在轻量级锁的情况下,如果B线程想获得这个对象,但是这个对象被A线程占有,那么B线程就会自旋等待,如果超过一个线程在自旋,那么这个时候,锁就会由轻量级锁升级为重量级锁。

重量级锁

重量级锁,其实就对应多个线程(我自己的观点),这个时候会有超过一个线程在自旋

Java里面如何用乐观锁

参考AtomicInteger:

public class AtomicInteger extends Number implements java.io.Serializable {
    private static final long serialVersionUID = 6214790243416807050L;

    // setup to use Unsafe.compareAndSwapInt for updates
    private static final Unsafe unsafe = Unsafe.getUnsafe();
    private static final long valueOffset;

里面的getAndIncrement方法,其调用了unsafe的getAndAddInt方法,而getAndAddInt就是用的CAS:

    public final int getAndIncrement() {
        return unsafe.getAndAddInt(this, valueOffset, 1);
    }
public final int getAndAddInt(Object var1, long var2, int var4) {
        int var5;
        do {
            var5 = this.getIntVolatile(var1, var2);
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));
         // compareAndSwapInt是本地方法

        return var5;
    }

上面的while循环,对应的就是自旋,自旋的次数就是循环的次数,默认配置为10

不过有一点比较好奇,getIntVolatile是什么,参考

https://objcoding.com/2018/11/29/cas/

悲观锁

就是 互斥锁

在java里面通过synchronized 关键字实现

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值