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

本文涉及的产品
注册配置 MSE Nacos/ZooKeeper,118元/月
服务治理 MSE Sentinel/OpenSergo,Agent数量 不受限
云原生网关 MSE Higress,422元/月
简介: 本文详细介绍了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

相关文章
|
10天前
|
存储 缓存 Java
Java 并发编程——volatile 关键字解析
本文介绍了Java线程中的`volatile`关键字及其与`synchronized`锁的区别。`volatile`保证了变量的可见性和一定的有序性,但不能保证原子性。它通过内存屏障实现,避免指令重排序,确保线程间数据一致。相比`synchronized`,`volatile`性能更优,适用于简单状态标记和某些特定场景,如单例模式中的双重检查锁定。文中还解释了Java内存模型的基本概念,包括主内存、工作内存及并发编程中的原子性、可见性和有序性。
Java 并发编程——volatile 关键字解析
|
14天前
|
算法 Java 调度
java并发编程中Monitor里的waitSet和EntryList都是做什么的
在Java并发编程中,Monitor内部包含两个重要队列:等待集(Wait Set)和入口列表(Entry List)。Wait Set用于线程的条件等待和协作,线程调用`wait()`后进入此集合,通过`notify()`或`notifyAll()`唤醒。Entry List则管理锁的竞争,未能获取锁的线程在此排队,等待锁释放后重新竞争。理解两者区别有助于设计高效的多线程程序。 - **Wait Set**:线程调用`wait()`后进入,等待条件满足被唤醒,需重新竞争锁。 - **Entry List**:多个线程竞争锁时,未获锁的线程在此排队,等待锁释放后获取锁继续执行。
49 12
|
10天前
|
安全 Java Kotlin
Java多线程——synchronized、volatile 保障可见性
Java多线程中,`synchronized` 和 `volatile` 关键字用于保障可见性。`synchronized` 保证原子性、可见性和有序性,通过锁机制确保线程安全;`volatile` 仅保证可见性和有序性,不保证原子性。代码示例展示了如何使用 `synchronized` 和 `volatile` 解决主线程无法感知子线程修改共享变量的问题。总结:`volatile` 确保不同线程对共享变量操作的可见性,使一个线程修改后,其他线程能立即看到最新值。
|
11天前
|
监控 Java API
探索Java NIO:究竟在哪些领域能大显身手?揭秘原理、应用场景与官方示例代码
Java NIO(New IO)自Java SE 1.4引入,提供比传统IO更高效、灵活的操作,支持非阻塞IO和选择器特性,适用于高并发、高吞吐量场景。NIO的核心概念包括通道(Channel)、缓冲区(Buffer)和选择器(Selector),能实现多路复用和异步操作。其应用场景涵盖网络通信、文件操作、进程间通信及数据库操作等。NIO的优势在于提高并发性和性能,简化编程;但学习成本较高,且与传统IO存在不兼容性。尽管如此,NIO在构建高性能框架如Netty、Mina和Jetty中仍广泛应用。
26 3
|
11天前
|
安全 Java 编译器
深入理解Java中synchronized三种使用方式:助您写出线程安全的代码
`synchronized` 是 Java 中的关键字,用于实现线程同步,确保多个线程互斥访问共享资源。它通过内置的监视器锁机制,防止多个线程同时执行被 `synchronized` 修饰的方法或代码块。`synchronized` 可以修饰非静态方法、静态方法和代码块,分别锁定实例对象、类对象或指定的对象。其底层原理基于 JVM 的指令和对象的监视器,JDK 1.6 后引入了偏向锁、轻量级锁等优化措施,提高了性能。
34 3
|
11天前
|
安全 算法 Java
Java CAS原理和应用场景大揭秘:你掌握了吗?
CAS(Compare and Swap)是一种乐观锁机制,通过硬件指令实现原子操作,确保多线程环境下对共享变量的安全访问。它避免了传统互斥锁的性能开销和线程阻塞问题。CAS操作包含三个步骤:获取期望值、比较当前值与期望值是否相等、若相等则更新为新值。CAS广泛应用于高并发场景,如数据库事务、分布式锁、无锁数据结构等,但需注意ABA问题。Java中常用`java.util.concurrent.atomic`包下的类支持CAS操作。
43 2
|
11天前
|
存储 安全 Java
Java多线程编程秘籍:各种方案一网打尽,不要错过!
Java 中实现多线程的方式主要有四种:继承 Thread 类、实现 Runnable 接口、实现 Callable 接口和使用线程池。每种方式各有优缺点,适用于不同的场景。继承 Thread 类最简单,实现 Runnable 接口更灵活,Callable 接口支持返回结果,线程池则便于管理和复用线程。实际应用中可根据需求选择合适的方式。此外,还介绍了多线程相关的常见面试问题及答案,涵盖线程概念、线程安全、线程池等知识点。
92 2
|
27天前
|
安全 算法 Java
Java多线程编程中的陷阱与最佳实践####
本文探讨了Java多线程编程中常见的陷阱,并介绍了如何通过最佳实践来避免这些问题。我们将从基础概念入手,逐步深入到具体的代码示例,帮助开发者更好地理解和应用多线程技术。无论是初学者还是有经验的开发者,都能从中获得有价值的见解和建议。 ####
|
2月前
|
Java 开发者
在Java多线程编程的世界里,Lock接口正逐渐成为高手们的首选,取代了传统的synchronized关键字
在Java多线程编程的世界里,Lock接口正逐渐成为高手们的首选,取代了传统的synchronized关键字
49 4
|
6月前
|
存储 安全 Java
Java面试题:请解释Java内存模型,并说明如何在多线程环境下使用synchronized关键字实现同步,阐述ConcurrentHashMap与HashMap的区别,以及它如何在并发环境中提高性能
Java面试题:请解释Java内存模型,并说明如何在多线程环境下使用synchronized关键字实现同步,阐述ConcurrentHashMap与HashMap的区别,以及它如何在并发环境中提高性能
54 0