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

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

相关文章
|
12天前
|
安全 Java 调度
Java编程时多线程操作单核服务器可以不加锁吗?
Java编程时多线程操作单核服务器可以不加锁吗?
30 2
|
2天前
|
网络协议 安全 Java
Java Socket原理
Java Socket原理是指在Java中通过Socket实现的网络通信的基础理论与机制。Socket是网络中不同设备间通信的一种标准方式,它允许应用程序之间通过TCP/IP等协议进行数据交换。在Java中,利用Socket编程可以方便地创建客户端与服务器端应用,实现跨网络的数据传输功能,是互联网软件开发中的重要技术之一。它支持多种通信模式,如可靠的流式套接字(TCP)和数据报式套接字(UDP)。
|
10天前
|
安全 Java 编译器
Java反射的原理
Java 反射是一种强大的特性,允许程序在运行时动态加载、查询和操作类及其成员。通过 `java.lang.reflect` 包中的类,可以获取类的信息并调用其方法。反射基于类加载器和 `Class` 对象,可通过类名、`getClass()` 或 `loadClass()` 获取 `Class` 对象。反射可用来获取构造函数、方法和字段,并动态创建实例、调用方法和访问字段。虽然提供灵活性,但反射会增加性能开销,应谨慎使用。常见应用场景包括框架开发、动态代理、注解处理和测试框架。
|
1天前
|
缓存 安全 Java
Singleton:在 Java 编程中编写和使用的 6 种方法
Singleton:在 Java 编程中编写和使用的 6 种方法
5 0
|
1天前
|
安全 Java 编译器
了解final关键字在Java并发编程领域的作用吗?
【10月更文挑战第8天】在Java并发编程中,`final`关键字具有重要作用,包括保证变量的可见性和不可变性,防止对象引用被意外修改,并帮助编译器优化读取操作及消除不必要的同步。通过确保变量不可变,`final`增强了多线程环境下的安全性与性能。
|
10天前
|
Java
JAVA并发编程系列(13)Future、FutureTask异步小王子
本文详细解析了Future及其相关类FutureTask的工作原理与应用场景。首先介绍了Future的基本概念和接口方法,强调其异步计算特性。接着通过FutureTask实现了一个模拟外卖订单处理的示例,展示了如何并发查询外卖信息并汇总结果。最后深入分析了FutureTask的源码,包括其内部状态转换机制及关键方法的实现原理。通过本文,读者可以全面理解Future在并发编程中的作用及其实现细节。
|
3月前
|
存储 安全 Java
Java面试题:请解释Java内存模型,并说明如何在多线程环境下使用synchronized关键字实现同步,阐述ConcurrentHashMap与HashMap的区别,以及它如何在并发环境中提高性能
Java面试题:请解释Java内存模型,并说明如何在多线程环境下使用synchronized关键字实现同步,阐述ConcurrentHashMap与HashMap的区别,以及它如何在并发环境中提高性能
29 0
|
3月前
|
安全 Java 开发者
Java多线程:synchronized关键字和ReentrantLock的区别,为什么我们可能需要使用ReentrantLock而不是synchronized?
Java多线程:synchronized关键字和ReentrantLock的区别,为什么我们可能需要使用ReentrantLock而不是synchronized?
48 0
|
5月前
|
安全 Java 编译器
Java多线程基础-6:线程安全问题及解决措施,synchronized关键字与volatile关键字(一)
线程安全问题是多线程编程中最典型的一类问题之一。如果多线程环境下代码运行的结果是符合我们预期的,即该结果正是在单线程环境中应该出现的结果,则说这个程序是线程安全的。 通俗来说,线程不安全指的就是某一代码在多线程环境下执行会出现bug,而在单线程环境下执行就不会。线程安全问题本质上是由于线程之间的调度顺序的不确定性,正是这样的不确定性,给我们的代码带来了很多“变数”。 本文将对Java多线程编程中,线程安全问题展开详细的讲解。
87 0
|
5月前
|
安全 Java 调度
Java多线程- synchronized关键字总结
Java多线程- synchronized关键字总结
43 0