Java并发编程系列——锁：synchronized

最新推荐文章于 2022-11-29 17:16:45 发布

TasIsMe

最新推荐文章于 2022-11-29 17:16:45 发布

阅读量230

点赞数 1

分类专栏： java 文章标签： synchronized

本文链接：https://blog.csdn.net/weixin_35885196/article/details/88912634

版权

java 专栏收录该内容

14 篇文章 0 订阅

订阅专栏

锁是并发编程里保证数据线程安全的一个重要的工具。今天就来了解下，java里的锁。

如何实现一个高并发的计数器

我们首先来考虑一个问题，如何实现一个高并发的计数器。
稍微了解过java的人应该立马能想到"synchronized"关键字。但是事实上，在Java里可以通过多种方式来实现线程安全的计数器。
我们将会解锁以下几种锁，并详细的解锁每一种锁的机制。这篇文字会介绍synchronized

synchronized
Lock接口
原子操作类
加法器

synchronized

代码例子

1.synchronized可以直接修饰方法

public class Example {
	private Integer count = 0;
	private synchronized int add(){
		return count++;
	}
    public static void start(){
        Example obj = new Example();
        for (int i = 0;i<10;i++){
            new Thread(()->System.out.println(obj.add())).start();
        }
    }
}

2.也可以修饰代码块

public class Example {
	private static Integer count = 0;
	private int add(){
		synchronized(count){
			return count++;
		}		
	}
    public static void start(){
        Example obj = new Example();
        for (int i = 0;i<10;i++){
            new Thread(()->System.out.println(obj.add())).start();
        }
    }
}

当中需要注意的几个点
1.不能锁定int等基础类型，只能锁定包装类，如Integer
2.如果被锁定的对象没有使用static锁定，那么多个线程必须使用同一个对象才会使用同一个锁。

synchronized的实现机制

那么synchronized是如何实现的？

通过对象头实现

查看下每个对象的对象头，就会发现，这里有很多与锁相关的标志位。
在这里插入图片描述
天呐，锁的标志居然不止一个，还有偏向锁，轻量级锁，重量级锁，这些到底是什么呢？
事实上，synchronized不仅只有一种状态，而是三种不同的锁的状态，当遇到不同的情况时，会将锁按照偏向锁，轻量级锁，重量级锁的顺序进行升级。

偏向锁：
偏向锁是为了提升锁的性能。第一次获得锁时，线程会把当前的线程id写入到对象头，这样子，同一个线程在下次重新获得锁时，只有比较线程id就可以，避免了许多锁的繁琐操作。偏向锁仅当发生竞争时才会进行锁的升级。
轻量级锁：
轻量级锁会使用CAS（稍后会讲）机制尝试更新轻量级锁标志，如果在超时时间内尝试失败的话，就会升级到重量级锁。
重量级锁：
一旦膨胀到重量级，那么所有发生竞争又没有获得锁的线程就会全部进入阻塞状态。线程状态的切换时非常昂贵的，所以重量级锁也是性能最差的。

CAS（Compare and swap）

接下来我们聊聊刚刚提到的CAS机制，CAS全称是Compare and swap，比较与替换。为了说明CAS，还是回到最初提出的问题如何实现一个高并发的计数器？

假设没有使用锁的情况下，可能会出现以下问题。
在这里插入图片描述
线程1：取出10，+1，设置为11。

线程2：和线程1同时取出10，+1，设置为11，然而这个时候，内存中的值可能已经被线程1设置为11了。

线程1和线程2，同时操作内存里的值，同时取出值10，再加一，然后再把数值11更新到内存里。最终的结果是11.这显然是错误的，两个线程分别加一，最终的结果应该是12才对。

问题的关键在于，线程2把11设置回内存时，并没有考虑，内存中的值是否已经被改变。

而CAS机制就是多加了比较内存原始值是否回被改变这一步。
在这里插入图片描述
线程1：取出10，+1，判断内存值是否为10，如果是则设置为11

线程2：取出也是10，+1，判断内存值是否为10，如果不是则设置失败

通过判断内存值是否改变，失败后可以通过重试等方式重新计算，保证了值不会计算错误。

锁的升级过程

在了解完CAS机制后，就可以大概画出一个锁的升级过程。如图
在这里插入图片描述
1.在代码访问同步块时，会判断锁的标志位，如果是偏向锁，那么会判断对象头是否已经存储了线程ID，如果没有存储线程ID，则使用CAS设置对象头的线程ID，这里使用CAS设置线程ID的原因是在设置线程ID的时候也有可能发生竞争，所以必须对象头的线程ID为空时才能设置成功。