二哥:“三妹,以前都是我讲你听,今天我们换个形式,假装我是面试官,你来讲讲 synchronized 关键字的应用方式和内存语义吧。”

三妹(颜值在线,气质也在线):“我们这是要互换角色吗?哈哈哈哈。”

前言

“好吧,来吧。”三妹一点也不怯场。

在 Java 中,关键字 synchronized 可以保证在同一个时刻,只有一个线程可以执行某个方法或者某个代码块(主要是对方法或者代码块中存在共享数据的操作),同时我们还应该注意到 synchronized 另外一个重要的作用,synchronized 可保证一个线程的变化(主要是共享数据的变化)被其他线程所看到(保证可见性,完全可以替代 Volatile 功能)。

synchronized 的三种应用方式

synchronized 关键字最主要有以下 3 种应用方式,下面分别介绍:

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

synchronized 作用于实例方法

所谓的实例对象锁就是用 synchronized 修饰实例对象中的实例方法,注意是实例方法不包括静态方法,如下:

public class AccountingSync implements Runnable {//共享资源(临界资源)static int i = 0;// synchronized 修饰实例方法public synchronized void increase() {i ++;}@Overridepublic void run() {for(int j=0;j<1000000;j++){increase();}}public static void main(String args[]) throws InterruptedException {AccountingSync instance = new AccountingSync();Thread t1 = new Thread(instance);Thread t2 = new Thread(instance);t1.start();t2.start();t1.join();t2.join();System.out.println("static, i output:" + i);}
}
/*** 输出结果:* static, i output:2000000*/

如果在函数 increase()前不加 synchronized,因为 i++不具备原子性,所以最终结果会小于 2000000,具体分析可以参考文章《Java 并发编程系列 2-volatile》。下面这点非常重要:

一个对象只有一把锁,当一个线程获取了该对象的锁之后,其他线程无法获取该对象的锁,所以无法访问该对象的其他 synchronized 实例方法,但是其他线程还是可以访问该实例对象的其他非 synchronized 方法。

但是一个线程 A 需要访问实例对象 obj1 的 synchronized 方法 f1(当前对象锁是 obj1),另一个线程 B 需要访问实例对象 obj2 的 synchronized 方法 f2(当前对象锁是 obj2),这样是允许的:

public class AccountingSyncBad implements Runnable {//共享资源(临界资源)static int i = 0;// synchronized 修饰实例方法public synchronized void increase() {i ++;}@Overridepublic void run() {for(int j=0;j<1000000;j++){increase();}}public static void main(String args[]) throws InterruptedException {// new 两个AccountingSync新实例Thread t1 = new Thread(new AccountingSyncBad());Thread t2 = new Thread(new AccountingSyncBad());t1.start();t2.start();t1.join();t2.join();System.out.println("static, i output:" + i);}
}
/*** 输出结果:* static, i output:1224617*/

上述代码与前面不同的是我们同时创建了两个新实例 AccountingSyncBad,然后启动两个不同的线程对共享变量 i 进行操作,但很遗憾操作结果是 1224617 而不是期望结果 2000000,因为上述代码犯了严重的错误,虽然我们使用 synchronized 修饰了 increase 方法,但却 new 了两个不同的实例对象,这也就意味着存在着两个不同的实例对象锁,因此 t1 和 t2 都会进入各自的对象锁,也就是说 t1 和 t2 线程使用的是不同的锁,因此线程安全是无法保证的。

每个对象都有一个对象锁,不同的对象,他们的锁不会互相影响。

解决这种困境的的方式是将 synchronized 作用于静态的 increase 方法,这样的话,对象锁就当前类对象,由于无论创建多少个实例对象,但对于的类对象拥有只有一个,所有在这样的情况下对象锁就是唯一的。下面我们看看如何使用将 synchronized 作用于静态的 increase 方法。

synchronized 作用于静态方法

当 synchronized 作用于静态方法时,其锁就是当前类的 class 锁,不属于某个对象。

当前类 class 锁被获取,不影响对象锁的获取,两者互不影响。

由于静态成员不专属于任何一个实例对象,是类成员,因此通过 class 对象锁可以控制静态成员的并发操作。需要注意的是如果一个线程 A 调用一个实例对象的非 static synchronized 方法,而线程 B 需要调用这个实例对象所属类的静态 synchronized 方法,不会发生互斥现象,因为访问静态 synchronized 方法占用的锁是当前类的 class 对象,而访问非静态 synchronized 方法占用的锁是当前实例对象锁,看如下代码:

public class AccountingSyncClass implements Runnable {static int i = 0;/*** 作用于静态方法,锁是当前class对象,也就是* AccountingSyncClass类对应的class对象*/public static synchronized void increase() {i++;}// 非静态,访问时锁不一样不会发生互斥public synchronized void increase4Obj() {i++;}@Overridepublic void run() {for(int j=0;j<1000000;j++){increase();}}public static void main(String[] args) throws InterruptedException {//new新实例Thread t1=new Thread(new AccountingSyncClass());//new新实例Thread t2=new Thread(new AccountingSyncClass());//启动线程t1.start();t2.start();t1.join();t2.join();System.out.println(i);}
}
/*** 输出结果:* 2000000*/

由于 synchronized 关键字修饰的是静态 increase 方法,与修饰实例方法不同的是,其锁对象是当前类的 class 对象。注意代码中的 increase4Obj 方法是实例方法,其对象锁是当前实例对象,如果别的线程调用该方法,将不会产生互斥现象,毕竟锁对象不同,但我们应该意识到这种情况下可能会发现线程安全问题(操作了共享静态变量 i)。

synchronized 同步代码块

在某些情况下,我们编写的方法体可能比较大,同时存在一些比较耗时的操作,而需要同步的代码又只有一小部分,如果直接对整个方法进行同步操作,可能会得不偿失,此时我们可以使用同步代码块的方式对需要同步的代码进行包裹,这样就无需对整个方法进行同步操作了,同步代码块的使用示例如下:

public class AccountingSync2 implements Runnable {static AccountingSync2 instance = new AccountingSync2(); // 饿汉单例模式static int i=0;@Overridepublic void run() {//省略其他耗时操作....//使用同步代码块对变量i进行同步操作,锁对象为instancesynchronized(instance){for(int j=0;j<1000000;j++){i++;}}}public static void main(String[] args) throws InterruptedException {Thread t1=new Thread(instance);Thread t2=new Thread(instance);t1.start();t2.start();t1.join();t2.join();System.out.println(i);}
}
/*** 输出结果:* 2000000*/

从代码看出,将 synchronized 作用于一个给定的实例对象 instance,即当前实例对象就是锁对象,每次当线程进入 synchronized 包裹的代码块时就会要求当前线程持有 instance 实例对象锁,如果当前有其他线程正持有该对象锁,那么新到的线程就必须等待,这样也就保证了每次只有一个线程执行 i++;操作。当然除了 instance 作为对象外,我们还可以使用 this 对象(代表当前实例)或者当前类的 class 对象作为锁,如下代码:

//this,当前实例对象锁
synchronized(this){for(int j=0;j<1000000;j++){i++;}
}
//class对象锁
synchronized(AccountingSync.class){for(int j=0;j<1000000;j++){i++;}
}

synchronized 禁止指令重排分析

指令重排的情况,可以参考文章《Java 并发编程系列 1-基础知识》

我们先看如下代码:

class MonitorExample {int a = 0;public synchronized void writer() {  //1a++;                             //2}                                    //3public synchronized void reader() {  //4int i = a;                       //5//……}                                    //6
}

假设线程 A 执行 writer()方法,随后线程 B 执行 reader()方法。根据 happens before 规则,这个过程包含的 happens before 关系可以分为两类:

  • 根据程序次序规则,1 happens before 2, 2 happens before 3; 4 happens before 5, 5 happens before 6。
  • 根据监视器锁规则,3 happens before 4。
  • 根据 happens before 的传递性,2 happens before 5。

上述 happens before 关系的图形化表现形式如下:

在上图中,每一个箭头链接的两个节点,代表了一个 happens before 关系。黑色箭头表示程序顺序规则;橙色箭头表示监视器锁规则;蓝色箭头表示组合这些规则后提供的 happens before 保证。

上图表示在线程 A 释放了锁之后,随后线程 B 获取同一个锁。在上图中,2 happens before 5。因此,线程 A 在释放锁之前所有可见的共享变量,在线程 B 获取同一个锁之后,将立刻变得对 B 线程可见。

synchronized 的可重入性

从互斥锁的设计上来说,当一个线程试图操作一个由其他线程持有的对象锁的临界资源时,将会处于阻塞状态,但当一个线程再次请求自己持有对象锁的临界资源时,这种情况属于重入锁,请求将会成功。

synchronized 就是可重入锁,因此一个线程调用 synchronized 方法的同时,在其方法体内部调用该对象另一个 synchronized 方法是允许的,如下:

public class AccountingSync implements Runnable{static AccountingSync instance=new AccountingSync();static int i=0;static int j=0;@Overridepublic void run() {for(int j=0;j<1000000;j++){//this,当前实例对象锁synchronized(this){i++;increase();//synchronized的可重入性}}}public synchronized void increase(){j++;}public static void main(String[] args) throws InterruptedException {Thread t1=new Thread(instance);Thread t2=new Thread(instance);t1.start();t2.start();t1.join();t2.join();System.out.println(i);}
}

当前实例对象锁后进入 synchronized 代码块执行同步代码,并在代码块中调用了当前实例对象的另外一个 synchronized 方法,再次请求当前实例锁时,将被允许。需要特别注意另外一种情况,当子类继承父类时,子类也是可以通过可重入锁调用父类的同步方法。注意由于 synchronized 是基于 monitor 实现的,因此每次重入,monitor 中的计数器仍会加 1。

ending

“三妹,今天就学到这吧。”我扶了扶眼镜对三妹说。

记住 synchronized 的三种应用方式,指令重排情况分析,以及 synchronized 的可重入性,通过今天的学习,你基本可以掌握 synchronized 的使用姿势,以及可能会遇到的坑。

面了一个25岁的学妹,把synchronized关键字讲的那叫一个透彻相关推荐

  1. 一个50岁大叔学编程的真实故事——任何时候学习都不晚

    一个50岁大叔学习编程的真实故事 50岁大叔,半截身子入土的人了,现在想转行,出去还能做什么? 学编程. 什么??? 这人有毛病吧.. 我心里也是这样想的,当时我正在教室里给学生讲课,咨询老师(就是销 ...

  2. 一个25岁董事长给程序员的18条忠告

    1.一定要有独立的人格.独立的思想.一个经过独立思考而坚持错误观点的人比一个不假思索而接受正确观点的人更值得肯定.不要成为灌输教育的牺牲品. 2.仕途,商界,学术.大致说来,每个人都注定要走上三条道路 ...

  3. 我输给了一个 25 岁的男人

  4. 25岁研究生拿高薪互联网的offer,意气风发的走出学校

    转自北邮人论坛!! 25岁毕业,拿一万块钱月薪 30岁,涨到一万五,期间无女盆友,吃10块钱盖饭,跟同学合租,挤2块钱地铁上下班,存 钱25万 31岁,啃老找父母要了35万块钱,买了50平米老房子一处 ...

  5. 程序人生丨25岁毕业,月薪1万

    25岁毕业,拿一万块钱月薪. 30岁,涨到一万五,期间无女盆友,吃10块钱的盖饭,跟同学一起合租,挤2块钱地铁上下班(现在北京地铁涨价了),存钱25万. 31岁,啃老找父母要了35万块钱,买了50平米 ...

  6. python好学吗 老程序员-今天面试了一个34岁大龄程序员,有感而发

    原标题:今天面试了一个34岁大龄程序员,有感而发 " 昨天,我面试了一个34岁的大龄程序员--我给人事的建议是P4,结果人事说:那直接让他走吧. " 我一直以为他们在开玩笑! 结果 ...

  7. 写给湘大计算机相关专业的学弟学妹们

    写给湘大计算机 写给湘大计算机相关专业的学弟学妹们 不管未来怎么样,但是作为一个大学四年真正奋斗过的学长,我觉得我比其他人更有资格写这样的一篇文章.希望能给湘大的学弟学妹们一些正能量. 奋斗篇 首先写 ...

  8. python记忆口诀-学妹问我: 如何提高编程能力

    聊天截图 聊天截图 前言 开局两张图,剩下全靠吹了. 上面这两张图便是写这篇文章的原由. 对话框的另一边,是一位大二计算机科班在读的小姐姐,看似平静的文字背后透露着迷茫与困惑,还对未来的焦虑. 透过屏 ...

  9. python记忆口诀-学妹问我:如何提高编程能力

    聊天截图 聊天截图前言 开局两张图,剩下全靠吹了. 上面这两张图便是写这篇文章的原由. 对话框的另一边,是一位大二计算机科班在读的小姐姐,看似平静的文字背后透露着迷茫与困惑,还对未来的焦虑. 透过屏幕 ...

最新文章

  1. C#4.0和VS2010新特性(三)
  2. pyqt5知识:如何接受密码输入?
  3. LPS25HB 气压计 的嵌入式程序开发
  4. image vb6 图片自适应_Python人工智能使用OpenCV进行图片形状的中心检测
  5. Django框架之DRF get post put delete 使用简单示例 (利用序列化反序列化)
  6. 数据结构-编程实现一个双链表的建立,双链表的打印,双链表的测长
  7. JJWT签发与验证token
  8. 序列每天从0开始_【算法打卡】分割数组为连续子序列
  9. WinFrom 中 label背景透明
  10. Google Arcore
  11. android全局屏幕自动旋转,如何在Android中全局强制屏幕方向?
  12. 用python来开发webgame服务端(5)
  13. Pikachu靶场全关详细教学(一)
  14. 哪个软件能准确测试人脸,人脸识别软件哪个好?人脸识别软件推荐2020
  15. 戴尔计算机的机械硬盘容量,新款戴尔g3加装机械硬盘教程终极版
  16. Tp5 实现短信发送及页面倒计时
  17. spring security logout(spring security登出示例)
  18. ARGB与RGB、RGBA的区别
  19. Bootrap 项目实战(微金所前端首页)第三部分(CSS,js源码)
  20. LibUSB-Win32程序介绍

热门文章

  1. Github打不开解决方法
  2. 学长教你学C-day5-C语言变量与数据类型
  3. Blockly源码解析
  4. 达尔文之过:人类真的和其他生物平等吗?
  5. opencv实战---角度测量
  6. 2020-05-23
  7. 一个短小精悍的监控/守护进程
  8. linux挂载及解除挂载步骤:
  9. [附源码]SSM计算机毕业设计花卉销售管理系统JAVA
  10. 已得到百度文心一言的内测账号.