当前位置: 首页 > 编程日记 > 正文

Java多线程的同步机制(synchronized)

一段synchronized的代码被一个线程执行之前,他要先拿到执行这段代码的权限,在 java里边就是拿到某个同步对象的锁(一个对象只有一把锁); 如果这个时候同步对象的锁被其他线程拿走了,他(这个线程)就只能等了(线程阻塞在锁池 等待队列中)。 取到锁后,他就开始执行同步代码(被synchronized修饰的代码);线程执行完同步代码后马上就把锁还给同步对象,其他在锁池中 等待的某个线程就可以拿到锁执行同步代码了。这样就保证了同步代码在统一时刻只有一个线程在执行。

众所周知,在Java多线程编程中,一个非常重要的方面就是线程的同步问题。
关于线程的同步,一般有以下解决方法:

1. 在需要同步的方法的方法签名中加入synchronized关键字。

2. 使用synchronized块对需要进行同步的代码段进行同步。

3. 使用JDK 5中提供的java.util.concurrent.lock包中的Lock对象。

另外,为了解决多个线程对同一变量进行访问时可能发生的安全性问题,我们不仅可以采用同步机制,更可以通过JDK 1.2中加入的ThreadLocal来保证更好的并发性。

本篇中,将详细的讨论Java多线程同步机制,并对ThreadLocal做出探讨。

本文大致的目录结构如下:

一、线程的先来后到——问题的提出:为什么要有多线程同步?Java多线程同步的机制是什么?
二、给我一把锁,我能创造一个规矩——传统的多线程同步编程方法有哪些?他们有何异同?
三、Lock来了,大家都让开—— Java并发框架中的Lock详解。
四、你有我有全都有—— ThreadLocal如何解决并发安全性?
五、总结——Java线程安全的几种方法对比。


一、线程的先来后到

我 们来举一个Dirty的例子:某餐厅的卫生间很小,几乎只能容纳一个人如厕。为了保证不受干扰,如厕的人进入卫生间,就要锁上房门。我们可以把卫生间想 象成是共享的资源,而众多需要如厕的人可以被视作多个线程。假如卫生间当前有人占用,那么其他人必须等待,直到这个人如厕完毕,打开房门走出来为止。这就 好比多个线程共享一个资源的时候,是一定要分出先来后到的。

有人说:那如果我没有这道门会怎样呢?让两个线程相互竞争,谁抢先了,谁就 可以先干活,这样多好阿?但是我们知道:如果厕所没有门的话,如厕的人一起涌向 厕所,那么必然会发生争执,正常的如厕步骤就会被打乱,很有可能会发生意想不到的结果,例如某些人可能只好被迫在不正确的地方施肥……

正是因为有这道门,任何一个单独进入如厕的人都可以顺利的完成他们的如厕过程,而不会被干扰,甚至发生以外的结果。这就是说,如厕的时候要讲究先来后到。


那 么在Java 多线程程序当中,当多个线程竞争同一个资源的时候,如何能够保证他们不会产生“打架”的情况呢?有人说是使用同步机制。没错,像上面这个例子,就是典型的 同步案例,一旦第一位开始如厕,则第二位必须等待第一位结束,才能开始他的如厕过程。一个线程,一旦进入某一过程,必须等待正常的返回,并退出这一过程, 下一个线程才能开始这个过程。这里,最关键的就是卫生间的门。其实,卫生间的门担任的是资源锁的角色,只要如厕的人锁上门,就相当于获得了这个锁,而当他 打开锁出来以后,就相当于释放了这个锁。

也就是说,多线程的线程同步机制实际上是靠锁的概念来控制的。那么在Java程序当中,锁是如何体现的呢?


让我们从JVM的角度来看看锁这个概念:

在Java程序运行时环境中,JVM需要对两类线程共享的数据进行协调:
1)保存在堆中的实例变量
2)保存在方法区中的类变量

这两类数据是被所有线程共享的。
(程序不需要协调保存在Java 栈当中的数据。因为这些数据是属于拥有该栈的线程所私有的。)

在java虚拟机中,每个对象和类在逻辑上都是和一个监视器相关联的。
对于对象来说,相关联的监视器保护对象的实例变量。

对于类来说,监视器保护类的类变量。

(如果一个对象没有实例变量,或者一个类没有变量,相关联的监视器就什么也不监视。) 
为了实现监视器的排他性监视能力,java虚拟机为每一个对象和类都关联一个锁。代表任何时候只允许一个线程拥有的特权。线程访问实例变量或者类变量不需锁。

但是如果线程获取了锁,那么在它释放这个锁之前,就没有其他线程可以获取同样数据的锁了。(锁住一个对象就是获取对象相关联的监视器)

类锁实际上用对象锁来实现。当虚拟机装载一个class文件的时候,它就会创建一个java.lang.Class类的实例。当锁住一个对象的时候,实际上锁住的是那个类的Class对象。

一个线程可以多次对同一个对象上锁。对于每一个对象,java虚拟机维护一个加锁计数器,线程每获得一次该对象,计数器就加1,每释放一次,计数器就减 1,当计数器值为0时,锁就被完全释放了。

java编程人员不需要自己动手加锁,对象锁是java虚拟机内部使用的。

在java程序中,只需要使用synchronized块或者synchronized方法就可以标志一个监视区域。当每次进入一个监视区域时,java 虚拟机都会自动锁上对象或者类。

看到这里,我想你们一定都疲劳了吧?o(∩_∩)o...哈哈。让我们休息一下,但是在这之前,请你们一定要记着:
当一个有限的资源被多个线程共享的时候,为了保证对共享资源的互斥访问,我们一定要给他们排出一个先来后到。而要做到这一点,对象锁在这里起着非常重要的作用。

在上一篇中,我们讲到了多线程是如何处理共享资源的,以及保证他们对资源进行互斥访问所依赖的重要机制:对象锁。



本篇中,我们来看一看传统的同步实现方式以及这背后的原理。



很多人都知道,在Java多线程编程中,有一个重要的关键字,synchronized。但是很多人看到这个东西会感到困惑:“都说同步机制是通过对象锁来实现的,但是这么一个关键字,我也看不出来Java程序锁住了哪个对象阿?“


没错,我一开始也是对这个问题感到困惑和不解。不过还好,我们有下面的这个例程:

Java代码  收藏代码
  1. public class ThreadTest extends Thread {     
  2. private int threadNo;     
  3. public ThreadTest(int threadNo) {     
  4. this.threadNo = threadNo;     
  5. }
  6. public static void main(String[] args) throws Exception {     
  7. for (int i = 1; i < 10; i++) {     
  8. new ThreadTest(i).start();     
  9. Thread.sleep(1);     
  10. }
  11. }
  12. @Override    
  13. public synchronized void run() {     
  14. for (int i = 1; i < 10000; i++) {     
  15. System.out.println("No." + threadNo + ":" + i);     
  16. }
  17. }
  18. }

这个程序其实就是让10个线程在控制台上数数,从1数到9999。理想情况下,我们希望看到一个线程数完,然后才是另一个线程开始数数。但是这个程序的执行过程告诉我们,这些线程还是乱糟糟的在那里抢着报数,丝毫没有任何规矩可言。
     但是细心的读者注意到:run方法还是加了一个synchronized关键字的,按道理说,这些线程应该可以一个接一个的执行这个run方法才对阿。
     但是通过上一篇中,我们提到的,对于一个成员方法加synchronized关键字,这实际上是以这个成员方法所在的对象本身作为对象锁。在本例中,就是 以ThreadTest类的一个具体对象,也就是该线程自身作为对象锁的。一共十个线程,每个线程持有自己 线程对象的那个对象锁。这必然不能产生同步的效果。换句话说,如果要对这些线程进行同步,那么这些线程所持有的对象锁应当是共享且唯一的! 

我们来看下面的例程:

Java代码  收藏代码
  1. public class ThreadTest2 extends Thread {     
  2. private int threadNo; private String lock;     
  3. public ThreadTest2(int threadNo, String lock) {     
  4. this.threadNo = threadNo;     
  5. this.lock = lock;   }     
  6. public static void main(String[] args) throws Exception {     
  7. String lock = new String("lock");     
  8. for (int i = 1; i < 10; i++) {       
  9. new ThreadTest2(i, lock).start();     
  10. Thread.sleep(1);     
  11. }
  12. }
  13. public void run() {       
  14. synchronized (lock) {     
  15. for (int i = 1; i < 10000; i++) {     
  16. System.out.println("No." + threadNo + ":" + i);     
  17. }
  18. }
  19. }
  20. }

我们注意到,该程序通过在main方法启动10个线程之前,创建了一个String类型的对象。并通过ThreadTest2的构造函数,将这个对象赋值 给每一个ThreadTest2线程对象中的私有变量lock。根据Java方法的传值特点,我们知道,这些线程的lock变量实际上指向的是堆内存中的 同一个区域,即存放main函数中的lock变量的区域。
        程序将原来run方法前的synchronized关键字去掉,换用了run方法中的一个synchronized块来实现。这个同步块的对象锁,就是 main方法中创建的那个String对象。换句话说,他们指向的是同一个String类型的对象,对象锁是共享且唯一的!

于是,我们看到了预期的效果:10个线程不再是争先恐后的报数了,而是一个接一个的报数。

再来看下面的例程:

Java代码  收藏代码
  1. public class ThreadTest3 extends Thread {     
  2. private int threadNo;     
  3. private String lock;     
  4. public ThreadTest3(int threadNo) {     
  5. this.threadNo = threadNo;     
  6. }
  7. public static void main(String[] args) throws Exception {     
  8. for (int i = 1; i < 20; i++) {     
  9. new ThreadTest3(i).start();     
  10. Thread.sleep(1);     
  11. }
  12. }
  13. public static synchronized void abc(int threadNo) {     
  14. for (int i = 1; i < 10000; i++) {     
  15. System.out.println("No." + threadNo + ":" + i);             
  16. }
  17. }
  18. public void run() {     
  19. abc(threadNo);
  20. }
  21. }

  • 细心的读者发现了:这段代码没有使用main方法中创建的String对象作为这10个线程的线程锁。而是通过在run方法中调用本线 程中一个静态的同步 方法abc而实现了线程的同步。我想看到这里,你们应该很困惑:这里synchronized静态方法是用什么来做对象锁的呢?



    我们知道,对于同步静态方法,对象锁就是该静态放发所在的类的Class实例,由于在JVM中,所有被加载的类都有唯一的类对象,具体到本例,就是唯一的 ThreadTest3.class对象。不管我们创建了该类的多少实例,但是它的类实例仍然是一个!



    这样我们就知道了:

    1、对于同步的方法或者代码块来说,必须获得对象锁才能够进入同步方法或者代码块进行操作;


    2、如果采用method级别的同步,则对象锁即为method所在的对象,如果是静态方法,对象锁即指method所在的
    Class对象(唯一);


    3、对于代码块,对象锁即指synchronized(abc)中的abc;


    4、因为第一种情况,对象锁即为每一个线程对象,因此有多个,所以同步失效,第二种共用同一个对象锁lock,因此同步生效,第三个因为是
    static因此对象锁为ThreadTest3的class 对象,因此同步生效。

    如上述正确,则同步有两种方式,同步块和同步方法(为什么没有wait和notify?这个我会在补充章节中做出阐述)

    如果是同步代码块,则对象锁需要编程人员自己指定,一般有些代码为synchronized(this)只有在单态模式才生效;
    (本类的实例有且只有一个)

    如果是同步方法,则分静态和非静态两种 。

    静态方法则一定会同步,非静态方法需在单例模式才生效,推荐用静态方法(不用担心是否单例)。

    所以说,在Java多线程编程中,最常见的synchronized关键字实际上是依靠对象锁的机制来实现线程同步的。
    我们似乎可以听到synchronized在向我们说:“给我一把 锁,我能创造一个规矩”。

转载于:https://www.cnblogs.com/gavin110-lgy/p/5716421.html

相关文章:

mouseenter 延迟_桃园台服加速器 电狐加速器带你低延迟玩游戏

桃园是由冰动娱乐自主研发的全球首款运用世界顶级开发引擎Unreal Engine 3的次世代回合制网络游戏。Unreal 3引擎在骨骼动画树、特效渲染、游戏性完善等方面表现杰出&#xff0c;而且游戏中还可以呈现广角纵身大场景&#xff0c;1080P的高清画质将会带给玩家前所未有的视觉震撼…

私有链的特点简单介绍

链客&#xff0c;专为开发者而生&#xff0c;有问必答&#xff01; 此文章来自区块链技术社区&#xff0c;未经允许拒绝转载。 私有链是区块链的一种&#xff0c;它指的是某个区块链的写入权限仅掌握在某个人或某个组织手中&#xff0c;数据的访问以及编写等有着十分严格的权限…

typescript调用javascript URI.js

URI.js URI.js是一个用于处理URL的JavaScript库它提供了一个“jQuery风格”的API&#xff08;Fluent接口&#xff0c;方法链接&#xff09;来读写所有常规组件和许多便利方法&#xff0c;如.directory&#xff08;&#xff09;和.authority&#xff08;&#xff09;本文以URI.j…

richeditctrl 选中ole图片 拖拽 空白_高质量的图片素材,碾压度娘几条街......

答应我不要错过​哈喽大家周末好啊&#xff0c;总有小伙伴来问公子说每周的素材分享我到底都是从哪里找的呢&#xff0c;其实公子之前也有告诉过大家&#xff0c;可能是隔的时间太久了。所以今天呢我又给你们整理了一些经常会用到的几个图片网站&#xff0c;都是非常知名而且基…

20160722noip模拟赛alexandrali

【题目大意】 有许多木块, 叠放时, 必须正着叠放, 如图1, 左边两块为合法叠放, 右边为不合法叠放. 图1 一个方块被称为稳定的, 当且仅当其放在最底层, 或其正下方有方块且下方的这个方块的四周都有方块. 叠放必须保证所有方块都稳定. 如图2, 左边3个叠放为合法叠放, 右边2个叠放…

以太坊技术知识讲解

链客&#xff0c;专为开发者而生&#xff0c;有问必答&#xff01; 此文章来自区块链技术社区&#xff0c;未经允许拒绝转载。 以太坊&#xff08;Ethereum&#xff09;是2013年底由一个叫作 Vitalik Buterin 的90后小伙子提出来的技术。以太坊和比特币相似&#xff0c;是一个…

大数据数据倾斜

什么是数据倾斜 简单的讲&#xff0c;数据倾斜就是我们在计算数据的时候&#xff0c;数据的分散度不够&#xff0c;导致大量的数据集中到了一台或者几台机器上计算&#xff0c;这些数据的计算速度远远低于平均计算速度&#xff0c;导致整个计算过程过慢。 相信大部分做…

【leetcode75】Intersection of Two Arrays(数组的交集)

题目描述&#xff1a; 给定两个数组求他们的公共部分&#xff0c;输出形式是数组&#xff0c;相同的元素只是输出一次 例如&#xff1a; nums1 [1, 2, 2, 1], nums2 [2, 2], return [2]. 原文描述&#xff1a; Given two arrays, write a function to compute their intersec…

qprocess start怎么判断是否结束_面试结束后,如何判断自己是否有戏?看有无这8大信号!...

关注“职场沉浮宝典”&#xff0c;每天get一个职场小技巧面试结束后&#xff0c;在等待最终结果的过程中&#xff0c;我们常常会惴惴不安&#xff0c;喜欢在脑海里回放全部面试细节&#xff0c;多角度去判断自己通过面试的可能性。毕竟&#xff0c;面试就如同相亲&#xff0c;如…

智能合约语言Solidity 类型介绍

链客&#xff0c;专为开发者而生&#xff0c;有问必答&#xff01; 此文章来自区块链技术社区&#xff0c;未经允许拒绝转载。 智能合约语言Solidity 类型介绍11 Solidity是以太坊智能合约编程语言&#xff0c;阅读本文前&#xff0c;你应该对以太坊、智能合约有所了解&#…

怎样快速学习React

react简单学习路线&#xff08;实用版&#xff09; 学习一门新的技术之前有必要了解一下该技术在专业领域的评价&#xff0c;使用的领域&#xff0c;以及整体的学习路线&#xff0c;总之尽可能多的在入坑之前了解相关方面的信息。不要什么都不去查就直接学了&#xff0c;这个是…

Poj_1274 The Perfect Stall -二分图裸题

题目&#xff1a;给牛找棚&#xff0c;每个棚只能容一只牛&#xff0c;牛在对应的棚才能产奶&#xff0c;问最多能让几只牛产奶。 /************************************************ Author :DarkTong Created Time :2016/7/31 10:51:05 File Name :Poj_1274.cpp…

青少年软件编程python考试-青岛全国青少年软件编程等级考试—Python

卓优特机器简介 卓优特机器人是集教育机器人设备研发、生产、销售及课程研发、教育机器人课程教育及竞赛技术服务、机器人实验室方案策划及配置、智能技术支持的高新技术集成服务商, 公司由多所知名大学的多位智能技术专家及教授提供技术指导。 卓优特机器人是集教育机器人设备…

区块链基础--工作量证明

链客&#xff0c;专为开发者而生&#xff0c;有问必答&#xff01; 此文章来自区块链技术社区&#xff0c;未经允许拒绝转载。 区块链基础&#xff08;6&#xff09;–工作量证明1 我认为技术和共识构建了区块链&#xff0c;那么就由几个问题需要去解决&#xff0c;第一&…

pat乙级1049

浮点型乘整型和整型乘浮点型结果不同&#xff0c;不知为什么。 1 double sum 0.0; 2 for (int i 0; i < n; i) 3 { 4 cin >> a[i]; 5 sum a[i] * (i 1) * (n - i); 6 } 7 printf("%.2f", sum); 提交结果正确。 1 double sum 0.0; 2 for (int i…

hdu-5778 abs(暴力枚举)

题目链接: abs Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 131072/131072 K (Java/Others) Problem DescriptionGiven a number x, ask positive integer y≥2, that satisfy the following conditions:1. The absolute value of y - x is minimal2. To prime f…

bugku 杂项 就五层你能解开吗_你能解开这个和数字有关的逻辑解谜游戏吗? | 每日一考...

今天是一道和数字有关的逻辑解谜游戏看看你能用多长时间得到答案这道题的目标是&#xff0c;把网格根据数字划分成很多个方形小块。每个数字都代表它所在的小块面积&#xff0c;也就是包含了几个小格子&#xff0c;要求如下图&#xff0c;每个小块里必须有&#xff0c;而且只能…

区块链技术术语表

链客&#xff0c;专为开发者而生&#xff0c;有问必答&#xff01; 此文章来自区块链技术社区&#xff0c;未经允许拒绝转载。 区块链技术包含了常见的区块链基本概念和进阶阅读的参考文章&#xff0c;用自己的思考方式去优化理解。 比特币&#xff1a;一种分布式网络的数字货…

『TensorFlow』数据读取类_data.Dataset

一、资料 参考原文&#xff1a; TensorFlow全新的数据读取方式&#xff1a;Dataset API入门教程 API接口简介&#xff1a; TensorFlow的数据集 二、背景 注意&#xff0c;在TensorFlow 1.3中&#xff0c;Dataset API是放在contrib包中的&#xff1a; tf.contrib.data 而在Tenso…

出入口控制系统工程设计规范_[问答]连载77-控制系统之间如何时钟同步?

仪表小猪在控制系统中&#xff0c;趋势、报警、事件记录等都与时间相关&#xff0c;因此整个系统始终保持一个统一的时钟很关键。如果操作站和控制站时间不同步&#xff0c;操作员站上面显示的事件、趋势等也不能真正的反应出现场实际变化的时间&#xff0c;不能作为真实的历史…

分布式账本(Distributed ledger)

链客&#xff0c;专为开发者而生&#xff0c;有问必答&#xff01; 此文章来自区块链技术社区&#xff0c;未经允许拒绝转载。 是一种在网络成员之间共享、复制和同步的数据库。分布式账本记录网络参与者之间的交易&#xff0c;比如资产或数据的交换。这种共享账本消除了调解不…

手动删除木马程序

1 ??? 2 这个蠢货竟然用360? (360杀毒太流氓&#xff0c;插件不可控&#xff0c;就是第一个要杀的木马) 一些基本的命令往往可以在保护网络安全上起到很大的作用,下面几条命令的作用就非常突出。 一、检测网络连接 如果你怀疑自己的计算机上被别人安装了木马,或者是中…

phpstorm如何同时打开两个文件夹_2分钟学会文件夹共享,化身办公室电脑大神

点击上方蓝色字体&#xff0c;关注我们身在职场或学校的你&#xff0c;还在用微信或QQ给办公室的小伙伴传文件吗&#xff1f;那你可真就out了&#xff0c;总结一下&#xff0c;微信或QQ传文件存在以下3个缺点。1、传输文件大小存在限制微信不能发送100MB以上的文件&#xff0c;…

Hdu_2063 过山车 -最大匹配(邻接表版)

题目&#xff1a;就是最大匹配了 /************************************************ Author :DarkTong Created Time :2016/8/1 12:53:27 File Name :Hdu2063.cpp *************************************************/#include <cstdio> #include <cstr…

“去中心化”为何意义重大?

链客&#xff0c;专为开发者而生&#xff0c;有问必答&#xff01; 此文章来自区块链技术社区&#xff0c;未经允许拒绝转载。 互联网的前两个时代 在互联网的第一个时代–从20世纪80年代到21世纪初–互联网服务建立在由互联网社区控制的开放协议之上。这意味着&#xff0c;人…

一阶微分算子锐化图像_【动手学计算机视觉】第三讲:图像预处理之图像分割...

本讲完整代码>>前言图像分割是一种把图像分成若干个独立子区域的技术和过程。在图像的研究和应用中&#xff0c;很多时候我们关注的仅是图像中的目标或前景(其他部分称为背景)&#xff0c;它们对应图像中特定的、具有独特性质的区域。为了分割目标&#xff0c;需要将这些…

visual studio code 里调试运行 Python代码

最近对微软的visual studio code 挺感兴趣的&#xff0c;微软的跨平台开发工具。轻量简洁。 版本迭代的也挺快的&#xff0c;截止16年8月2日已经1.3.1版本了&#xff0c;功能也愈加完善。&#xff08;16年12月18日 已经&#xff0c;发到1.10.1版本了&#xff0c;更新非常频繁&a…

GridView单元格取值显示为nbsp;

在通过GridView取一个单元格&#xff08;cell&#xff09;的值时&#xff0c;数据库中为NULL&#xff0c;而页面上显示为空格。发现通过gridview.cell[i].text取出来的值为 &#xff0c;导致获取数据出现问题。 解决方法&#xff1a; 一、利用Server.HtmlDecode(string)进行转换…

什么是比特币?

链客&#xff0c;专为开发者而生&#xff0c;有问必答&#xff01; 此文章来自区块链技术社区&#xff0c;未经允许拒绝转载。 比特币就是所谓的“加密货币”&#xff0c;这是一种完全以数据形式存在的数字资产。你存在银行的钱可能也是一堆数字&#xff0c;但这些数字等效于…

C程序设计-----第1次作业

一、 PTA作业。 在完成PTA作业的时候我没有认真读题。每次都是提交完整代码 6-1&#xff08;1&#xff09; 1 #include <stdio.h>2 3 //P等价于&#xff08;p&#xff09;还是等价于*&#xff08;p&#xff09;&#xff1f;4 5 int main(){6 int *p, a 3;7 p…