并发编程第二篇

并发编程的实现原理2

在多线程并发编程中synchronized一直是元老级角色,很多人都会称呼它为重量级锁。但是,随着Java SE 1.6对 synchronized进行了各种优化之后,有些情况下它就并不那么重了,Java SE 1.6中为了减少获得锁和释放锁带来的 性能消耗而引入的偏向锁和轻量级锁,以及锁的存储结构和升级过程。我们仍然沿用前面使用的案例,然后通过 synchronized关键字来修饰在inc的方法上。再看看执行结果。

public class Demo1 {
    private static int count=0;
    public static void inc(){
        synchronized (Demo1.class){
            try {
                Thread.sleep(1);
            }catch (InterruptedException e){
                e.printStackTrace();
            }
            count++;
        }
    }

    public static void main(String[] args) throws InterruptedException {
        for (int i = 0;i<10000;i++){
            new Thread(()->Demo1.inc()).start();
        }
        Thread.sleep(3000);
        System.out.println("运行结果"+count);
    }
}

synchronized的三种应用方式
synchronized有三种方式来加锁,分别是

  1. 修饰实例方法,作用于当前实例加锁,进入同步代码前要获得当前实例的锁;
  2. 静态方法,作用于当前类对象加锁,进入同步代码前要获得当前类对象的锁 ;
  3. 修饰代码块,指定加锁对象,对给定对象加锁,进入同步代码库前要获得给定对象的锁。

synchronized括号后面的对象

synchronized扩后后面的对象是一把锁,在java中任意一个对象都可以成为锁,简单来说,我们把object比喻是一 个key,拥有这个key的线程才能执行这个方法,拿到这个key以后在执行方法过程中,这个key是随身携带的,并且 只有一把。
如果后续的线程想访问当前方法,因为没有key所以不能访问只能在门口等着,等之前的线程把key放回 去。所以,synchronized锁定的对象必须是同一个,如果是不同对象,就意味着是不同的房间的钥匙,对于访问者 来说是没有任何影响的。

synchronized的字节码指令

通过javap -v 来查看对应代码的字节码指令,对于同步块的实现使用了monitorenter和monitorexit指令,隐式的执行了Lock和UnLock操作,用于提供原子性保证。

monitorenter指令插入到同步代码块开始的位置;
monitorexit指令插入到同步代码块结束位置;

jvm需要保证每 个monitorenter都有一个monitorexit对应。 这两个指令,本质上都是对一个对象的监视器(monitor)进行获取,这个过程是排他的,也就是说同一时刻只能有 一个线程获取到由synchronized所保护对象的监视器。
线程执行到monitorenter指令时,会尝试获取对象所对应的monitor所有权,也就是尝试获取对象的锁;而执行 monitorexit,就是释放monitor的所有权 。

synchronized的锁的原理
jdk1.6以后对synchronized锁进行了优化,包含偏向锁、轻量级锁、重量级锁; 在了解synchronized锁之前,我们 需要了解两个重要的概念,一个是对象头、另一个是monitor。

Java对象头
在Hotspot虚拟机中,对象在内存中的布局分为三块区域:

对象头、实例数据和对齐填充

Java对象头是实现 synchronized的锁对象的基础,一般而言,synchronized使用的锁对象是存储在Java对象头里,它是轻量级锁和偏向锁的关键。

Mark Word
Mark Word用于存储对象自身的运行时数据,如哈希码(HashCode)、GC分代年龄、锁状态标志、线程持有的 锁、偏向线程 ID、偏向时间戳等等。Java对象头一般占有两个机器码(在32位虚拟机中,1个机器码等于4字节, 也就是32bit)

在这里插入图片描述

Monitor

什么是Monitor?
我们可以把它理解为一个同步工具,也可以描述为一种同步机制。所有的Java对象是天生的 Monitor,每个object的对象里 markOop->monitor() 里可以保存ObjectMonitor的对象。

synchronized的锁升级和获取过程

了解了对象头以及monitor以后,接下来去分析synchronized的锁的实现,就会非常简单了。前面讲过synchronized的锁是进行过优化的,引入了偏向锁、轻量级锁;锁的级别从低到高逐步升级, 无锁->偏向锁->轻量 级锁->重量级锁。

自旋锁(CAS)

自旋锁就是让不满足条件的线程等待一段时间,而不是立即挂起。看持有锁的线程是否能够很快释放锁。怎么自旋呢?其实就是一段没有任何意义的循环。
虽然它通过占用处理器的时间来避免线程切换带来的开销,但是如果持有锁的线程不能很快释放锁,那么自旋的 线程就会浪费处理器的资源,因为它不会做任何有意义的工作。所以,自旋等待的时间或者次数是有一个限度的, 如果自旋超过了定义的时间仍然没有获取到锁,则该线程应该被挂起 。

偏向锁

大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,为了让线程获得锁的代价更低而引入了偏向锁。当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程ID,以后该线程在进入和退出同步块时不需要进行CAS操作来加锁和解锁,只需简单地测试一下对象头的Mark Word里是否存储着指向当前线程的偏向锁。如果测试成功,表示线程已经获得了锁。如果测试失败,则需要再测试一下Mark Word中偏向锁的标识是否设置成1(表示当前是偏向锁):如果没有设置,则使用CAS竞争锁;如果设置了,则尝试使用CAS 将对象头的偏向锁指向当前线程。
在这里插入图片描述
在这里插入图片描述
轻量级锁

引入轻量级锁的主要目的是多在没有多线程竞争的前提下,减少传统的重量级锁使用操作系统互斥量产生的性能消耗。当关闭偏向锁功能或者多个线程竞争偏向锁导致偏向锁升级为轻量级锁,则会尝试获取轻量级锁 。
在这里插入图片描述
重量级锁

重量级锁通过对象内部的监视器(monitor)实现,其中monitor的本质是依赖于底层操作系统的Mutex Lock实 现,操作系统实现线程之间的切换需要从用户态到内核态的切换,切换成本非常高。

前面我们在讲Java对象头的时候,讲到了monitor这个对象,在hotspot虚拟机中,通过ObjectMonitor类来实现 monitor。他的锁的获取过程的体现会简单很多

在这里插入图片描述
wait和notify

wait和notify是用来让线程进入等待状态以及使得线程唤醒的两个操作;

ThreadWait

public class ThreadWait extends Thread{
    private Object lock;

    public ThreadWait(Object lock){
        this.lock = lock;
    }

    @Override
    public void run(){
        synchronized(lock){
            System.out.println("开始执行 thread wait");
            try {
                lock.wait();
            }catch (InterruptedException e){
                e.printStackTrace();
            }
            System.out.println("执行结束 thread wait");
        }
    }
}

ThreadNotify

public class ThreadNotify extends Thread {

    private Object lock;

    public ThreadNotify(Object lock){
        this.lock = lock;
    }

    @Override
    public void run(){
        synchronized (lock){
            System.out.println("开始执行 thread notify");
            lock.notify();
            System.out.println("执行结束 thread notify");
        }
    }

}

wait和notify的原理

调用wait方法,首先会获取监视器锁,获得成功以后,会让当前线程进入等待状态进入等待队列并且释放锁;然后 当其他线程调用notify或者notifyall以后,会选择从等待队列中唤醒任意一个线程,而执行完notify方法以后,并不 会立马唤醒线程,原因是当前的线程仍然持有这把锁,处于等待状态的线程无法获得锁。必须要等到当前的线程执 行完按monitorexit指令以后,也就是锁被释放以后,处于等待队列中的线程就可以开始竞争锁了
在这里插入图片描述
wait和notify为什么需要在synchronized里面
wait方法的语义有两个:

一个是释放当前的对象锁;
另一个是使得当前线程进入阻塞队列;

而这些操作都和监视器是相关的,所以wait必须要获得一个监视器锁;
而对于notify来说也是一样,它是唤醒一个线程,既然要去唤醒,首先得知道它在哪里?所以就必须要找到这个对象获取到这个对象的锁,然后到这个对象的等待队列中去唤醒一个线程。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值