JAVA并发编程synchronized全能王的原理

本文涉及的产品
云原生网关 MSE Higress,422元/月
注册配置 MSE Nacos/ZooKeeper,118元/月
服务治理 MSE Sentinel/OpenSergo,Agent数量 不受限
简介: 本文详细介绍了Java并发编程中的三大特性:原子性、可见性和有序性,并探讨了多线程环境下可能出现的安全问题。文章通过示例解释了指令重排、可见性及原子性问题,并介绍了`synchronized`如何全面解决这些问题。最后,通过一个多窗口售票示例展示了`synchronized`的具体应用。

说到JAVA并发,相信很多人第一印象想到的就是synchronized,然后就是volatile、JUC、CAS、线程池、AQS、阻塞队列等等这些关键字工具类、原理思想。但这些都离不开并发编程的三大特性:原子性、可见性、有序性。

一、并发编程三大特性

1.1 原子性

  和数据库的事务原子性一样,一系列指令操作,要么全部执行,要不都不执行。执行过程不能被打断。

1.2 可见性

  当多个线程访问一个共享变量时,一个线程修改了共享变量的值,其他线程能立即读到最新值。

1.3 有序性

  程序代码按照先后顺序执行。

二、并发安全问题

  多线程并发执行下,很容易出现原子性、可见性、有序性问题。由于指令重排的特性,编译器和处理器为了提高程序运行效率,在保证单线程执行结果一致,对代码执行顺序进行了调整。比如以下语句,执行顺序不一定是1234,经过编译器编译,指令重排后,CPU执行有可能是1324的顺序。

int a=1;//语句1
int b=1;//语句2
a = a +1;//语句3
b = b + a;//语句4

  然后可见性问题,由于JAVA内存模型规定,线程是不能直接操作JVM堆内存,必须把共享变量复制到线程缓存里。此外,线程之间无法访问对方的缓存值,需要通过主存来传递。比如这个例子,主线程修改了变量值,但是子线程没有读到最新值。

package lading.java.mutithread;

public class UnVisitDemo {
   
   
    public static int count = 0;
    public static void main(String[] args) throws InterruptedException {
   
   
        Thread thread1 = new Thread(() -> {
   
   
            System.out.println("子线程" + Thread.currentThread().getName() + "开始执行");
            while (count == 0) {
   
   

            }
            System.out.println("子线程" + Thread.currentThread().getName() + "运行结束");
        });
        thread1.start();
        Thread.sleep(1000);
        count = 1;
        System.out.println(Thread.currentThread().getName() + "修改了count值:" + count);
    }
}

   主线程虽然修改了count值为1,但是子线程while循环判断count还是0,导致线程1一直在执行,没有结束。
image.png

   最后一个原子性的问题,就很容易复现。比如常见卖票,总票量count--。多线程下count会出现小于0的情况。
image.png

三、synchronized全能王出场

  volatile解决了可见性、有序性问题,但没有解决原子性问题。而synchronized解决了并发的全部问题,尤其是jdk 1.6之后,对synchronized进行了优化,性能与juc的锁不相上下,且用起来非常方便。

  synchronized可以直接用于修饰方法和代码块。线程获得互斥锁后,先清空线程本地缓存,从主内存中拷贝变量最新副本到本地缓存,执行代码,将修改的共享变量值刷到主内存,最后释放互斥锁。

  synchronized在 jdk1.6版本之前,同步锁只有2种状态:无锁,重量级锁。1.6之后,引入了偏向锁,轻量级锁。毕竟如果只有2个线程交替执行,使用重量级锁,效率是底下的。

  偏向锁:当只有一个线程访问锁资源,偏向锁把整个同步措施消除。

  轻量级锁:当只有两个线程交替运行,如果竞争锁失败,线程不挂起,而是先飞一会(自旋)。在等待过程,可能就会获得锁。

  多线程用synchronized轻松实现多窗口售票案例。

package lading.java.mutithread;

/**
 * 模拟电影院多窗口并发售票
 */
public class SellCinemaTicketDemoSynchronized {
   
   
    //可售票数量
    public static int availableTicketNum = 20;

    public static void main(String[] args) {
   
   
        new Thread(new TicketWindow("拉丁窗口1")).start();
        new Thread(new TicketWindow("拉丁窗口2")).start();
    }
}

class TicketWindow implements Runnable {
   
   
    private String windowName;
    //静态类锁粒度更小,比TicketWindow.class 或者SellCinemaTicketDemo.class 并发更高效。
    private static Object lock = new Object();//static换成final就不行?因为static修饰的类在内存中只有一份,而final不是。

    public TicketWindow(String windowName) {
   
   
        this.windowName = windowName;
    }

    @Override
    public void run() {
   
   
        while (true) {
   
   
            synchronized (lock) {
   
   
                if (SellCinemaTicketDemoSynchronized.availableTicketNum < 1) {
   
   
                    break;
                }
                //售票员操作系统10ms后出票
                try {
   
   
                    Thread.sleep(10);
                } catch (InterruptedException e) {
   
   
                    throw new RuntimeException(e);
                }
                System.out.println(windowName + Thread.currentThread().getName() + "-卖出第" + SellCinemaTicketDemoSynchronized.availableTicketNum-- + "号票");
            }
        }
    }
}

结果:
image.png

相关文章
|
2天前
|
存储 Java 关系型数据库
高效连接之道:Java连接池原理与最佳实践
在Java开发中,数据库连接是应用与数据交互的关键环节。频繁创建和关闭连接会消耗大量资源,导致性能瓶颈。为此,Java连接池技术通过复用连接,实现高效、稳定的数据库连接管理。本文通过案例分析,深入探讨Java连接池的原理与最佳实践,包括连接池的基本操作、配置和使用方法,以及在电商应用中的具体应用示例。
14 5
|
2天前
|
Java 数据格式 索引
使用 Java 字节码工具检查类文件完整性的原理是什么
Java字节码工具通过解析和分析类文件的字节码,检查其结构和内容是否符合Java虚拟机规范,确保类文件的完整性和合法性,防止恶意代码或损坏的类文件影响程序运行。
|
2天前
|
Java
Java中的多线程编程:从基础到实践
本文深入探讨Java多线程编程,首先介绍多线程的基本概念和重要性,接着详细讲解如何在Java中创建和管理线程,最后通过实例演示多线程的实际应用。文章旨在帮助读者理解多线程的核心原理,掌握基本的多线程操作,并能够在实际项目中灵活运用多线程技术。
|
2天前
|
Java 程序员 开发者
Java编程中的异常处理艺术
【10月更文挑战第24天】在Java的世界里,代码就像一场精心编排的舞蹈,每一个动作都要精准无误。但就像最完美的舞者也可能踩错一个步伐一样,我们的程序偶尔也会遇到意外——这就是所谓的异常。本文将带你走进Java的异常处理机制,从基本的try-catch语句到高级的异常链追踪,让你学会如何优雅地处理这些不请自来的“客人”。
|
2天前
|
设计模式 SQL 安全
Java编程中的单例模式深入解析
【10月更文挑战第24天】在软件工程中,单例模式是设计模式的一种,它确保一个类只有一个实例,并提供一个全局访问点。本文将探讨如何在Java中使用单例模式,并分析其优缺点以及适用场景。
6 0
|
2天前
|
存储 Java
在Java编程的世界里,标识符命名是一项基础且至关重要的技能
在Java编程的世界里,标识符命名是一项基础且至关重要的技能
7 0
|
存储 Java
【Java 虚拟机原理】线程栈 | 栈帧 | 局部变量表 | 反汇编字节码文件 | Java 虚拟机指令手册 | 程序计数器
【Java 虚拟机原理】线程栈 | 栈帧 | 局部变量表 | 反汇编字节码文件 | Java 虚拟机指令手册 | 程序计数器
126 0
【Java 虚拟机原理】线程栈 | 栈帧 | 局部变量表 | 反汇编字节码文件 | Java 虚拟机指令手册 | 程序计数器
|
3天前
|
监控 安全 Java
在 Java 中使用线程池监控以及动态调整线程池时需要注意什么?
【10月更文挑战第22天】在进行线程池的监控和动态调整时,要综合考虑多方面的因素,谨慎操作,以确保线程池能够高效、稳定地运行,满足业务的需求。
70 38
|
5天前
|
Java 调度
[Java]线程生命周期与线程通信
本文详细探讨了线程生命周期与线程通信。文章首先分析了线程的五个基本状态及其转换过程,结合JDK1.8版本的特点进行了深入讲解。接着,通过多个实例介绍了线程通信的几种实现方式,包括使用`volatile`关键字、`Object`类的`wait()`和`notify()`方法、`CountDownLatch`、`ReentrantLock`结合`Condition`以及`LockSupport`等工具。全文旨在帮助读者理解线程管理的核心概念和技术细节。
18 1
[Java]线程生命周期与线程通信
|
2天前
|
安全 Java
在 Java 中使用实现 Runnable 接口的方式创建线程
【10月更文挑战第22天】通过以上内容的介绍,相信你已经对在 Java 中如何使用实现 Runnable 接口的方式创建线程有了更深入的了解。在实际应用中,需要根据具体的需求和场景,合理选择线程创建方式,并注意线程安全、同步、通信等相关问题,以确保程序的正确性和稳定性。