同步关键字

简介: 同步关键字

1、synchronized 实现原理

 在Java的对象头里面, 有一块数据叫Mark Word。在64位机器上, Mark Word是8字节(64位)的, 这64位中有两个重要字段:锁标志位和占用锁的thread ID。


2、wait 和 notify

  生产者 - 消费者模型

  生产者-消费者模型是一个常见的多线程编程模型。

 

                                        生产者-消费者模型


一个内存队列,多个生产者线程从我那个内存队列数据;多个消费者线程从内存队列中取数据要实现这样一个编程模型, 需要做下面几件事情:


  1. 内存队列本身要加锁,才能实现线程安全。
  2. 阻塞,当内存队列满了,生产者放不进去时,会被阻塞;当内存队列是空的时候,消费者无事可做,会被阻塞。
  3. 双向管理。消费者被阻塞之后,生产者放入新数据,要notify()消费者;反之,生产者被阻塞之后, 消费者消费了数据,要notify()生产者。
    第一件事必须要做,第二件事和第三件事不一定要做。

    如何阻塞?
    方法1:线程自己阻塞自己,也就是生产者、消费者线程各自调用wait()和notify().
    方法2:用一个阻塞队列,当取不到或者放不进去数据的时候,入队/出队函数本身就是阻塞的。

    如何双向通知?
    方法1:wait()和notify()机制。
    方法2:Condition机制


3、为什么必须和synchronized一起使用

    开两个线程,线程A调用f1(),线程B调用f2()。两个线程之间要通信,对于同一个对象来说,一个线程调用该对象wait(),例外一个线程调用该对象的notify(),该对象本身需要同步!所以,在调用wait()、notify()之前,要先通过synchronized关键字同步给对象,也就是给对象加锁。


4、为什么wait()的时候必须释放锁

    wait()内部伪代码

1、synchronized 实现原理
  在Java的对象头里面, 有一块数据叫Mark Word。在64位机器上, Mark Word是8字节(64位)的, 这64位中有两个重要字段:锁标志位和占用锁的thread ID。
2、wait 和 notify
   生产者 - 消费者模型
   生产者-消费者模型是一个常见的多线程编程模型。
图片
                                         生产者-消费者模型
一个内存队列,多个生产者线程从我那个内存队列数据;多个消费者线程从内存队列中取数据要实现这样一个编程模型, 需要做下面几件事情:
内存队列本身要加锁,才能实现线程安全。
阻塞,当内存队列满了,生产者放不进去时,会被阻塞;当内存队列是空的时候,消费者无事可做,会被阻塞。
双向管理。消费者被阻塞之后,生产者放入新数据,要notify()消费者;反之,生产者被阻塞之后, 消费者消费了数据,要notify()生产者。
第一件事必须要做,第二件事和第三件事不一定要做。
如何阻塞?
方法1:线程自己阻塞自己,也就是生产者、消费者线程各自调用wait()和notify().
方法2:用一个阻塞队列,当取不到或者放不进去数据的时候,入队/出队函数本身就是阻塞的。
如何双向通知?
方法1:wait()和notify()机制。
方法2:Condition机制
3、为什么必须和synchronized一起使用
     开两个线程,线程A调用f1(),线程B调用f2()。两个线程之间要通信,对于同一个对象来说,一个线程调用该对象wait(),例外一个线程调用该对象的notify(),该对象本身需要同步!所以,在调用wait()、notify()之前,要先通过synchronized关键字同步给对象,也就是给对象加锁。
4、为什么wait()的时候必须释放锁
     wait()内部伪代码

    5、wait() 和 notify() 的问题

  生产者本来只想通知消费者,但它把其他的生产者也通知了;消费者本来只想通知生产者,但它把其他的消费者也通知了。原因是wait()和notify()作用的对象和synchronized作用的对象是同一个,每个对象没有区分标识。精确唤醒我们可以用Condition来实现。


6、volatile 关键字

    volatile 三重功效

  •     64位写入的原子性
  •     内存可见性
  •     禁止重排序


 6.1  64位写入的原子性(Half Write)

     多线程场景下,线程A调用set(100),线程B调用get(),在某些场景下,返回值可能不是100

     这是因为JVM规范没有要求64位的long或者double的写入是原子的。在32位的机器上,一个64位变量的写入可能被拆分成两个32位的写操作来执行。这样一来,读取线程就可能读到一半的值。

解决方法是:在long 前面加上volatile 关键字

 

 6.2  内存可见性

     不仅64位,32位或者位数更小的赋值和取值操作,其实也有问题。比如一个线程修改变量值为true之后,另外一个线程去读,读到的是false,但是之后能读到true。也就是最终一致性,不是强一致性。

所以,内存可见性,指的是写完之后立即对其他线程可见,它的反面不是不可见,而是稍后才能看见。


解决这个问题很容易,给变量加上volatile关键字即可


 6.3  重排序:DCL问题

  单例模式的线程安全,常见的写法为DCL(Double Checking Locking)

public class Sington{
     private static Sington instance;
     private static Sington getInstance{
         if(instance == null){
             synchronized(Sington.class){
                if(instance == null){
                     instance = new Instance();
                }
             }
         }
         return instance;
     }
}

上述的 instance = new Instance()代码有问题:其底册会分为三个操作:

 1、分配一块内存

 2、在内存上初始化成员变量

 3、把instance 引用指向内存

操作2和3 可能重排序。即先把instance指向内存,再初始化成员变量,因为二者先后没有依赖关系。此时,另一个线程可能拿到一个未完全初始化的对象,直接去访问里面的成员变量,就可能出错。这就是典型的“构造函数溢出”问题。

解决方法:为instance变量加上volatile修饰。

目录
相关文章
|
14天前
|
开发框架 Cloud Native .NET
10 个 C# 关键字和功能
10 个 C# 关键字和功能
42 8
|
28天前
|
存储 缓存 Java
volatile关键字最全原理剖析
【9月更文挑战第27天】`volatile` 是一个用于修饰变量的关键字,告知编译器被修饰的变量可能在程序控制流之外被改变。在多线程环境下,`volatile` 确保变量的值每次从内存中读取,保持最新状态,但不能解决所有同步问题。在硬件交互中,`volatile` 用于内存映射的 I/O 操作,确保读取最新值。不同编程语言如 C/C++ 和 Java 中的 `volatile` 用法略有差异,但都是处理易变变量的重要工具。
|
4月前
|
Java
volatile关键字的作用
volatile关键字的作用
32 0
|
安全 Java 编译器
Volatile关键字的作用和实现原理
Volatile关键字的作用和实现原理
178 0
|
安全
synchronized关键字 - - 三种使用方法
synchronized关键字 的 三种使用方法: 第一种 synchronized(对象) { 临界区 } 第二种 加在 非静态方法 上 第三种 加在 静态方法 上
64 0
|
存储 缓存 Java
volatile 关键字 (详细解析)
volatile 关键字 的工作原理: 1、子线程t 和 main方法从主内存读取到数据放入其对应的工作内存,此时 flag的值为false 2、子线程t 将flag的值更改为true 3、在某一时刻 子线程t将flag的值写回主内存后,失效其他线程对此变量副本 4、main方法 再次对flag进行操作的时候线程会从主内存读取最新的值,放入到工作内存中
154 0
|
SQL
基础关键字
基础关键字
84 0
|
存储 缓存 Java
volatile关键字解析
volatile关键字解析
176 0
volatile关键字解析
|
编译器 Scala 开发者
隐式函数使用注意事项|学习笔记
快速学习隐式函数使用注意事项。
|
存储 安全 Java
深入解析 synchronized 关键字
最近看了几篇 synchronized 关键字的相关文章,收获很大,想着总结一下该关键字的相关内容。
深入解析 synchronized 关键字