Java并发编程：Java同步块（synchronized关键字，四种同步块，数据可见性，指令重排，性能开销，可重入性）

用心去追梦

于 2024-08-15 10:58:42 发布

阅读量883

点赞数 13

文章标签： java 开发语言 jvm

本文链接：https://blog.csdn.net/qq_33240556/article/details/141216905

版权

Java并发编程中的同步机制是确保线程安全的重要手段之一。synchronized关键字是Java中实现同步的主要方式之一，它可以应用于方法或代码块，以确保在多线程环境中对共享资源的安全访问。下面我将详细介绍synchronized关键字、同步块的种类、数据可见性、指令重排、性能开销以及可重入性等方面的内容。

synchronized关键字

定义：
synchronized关键字用于声明同步方法或同步代码块，它保证了同一时间只有一个线程可以执行被同步的方法或代码块。

特点：

互斥访问：保证同一时间只有一个线程可以执行被同步的方法或代码块。
锁的类型：根据作用对象的不同，可以是对象锁或类锁。
可见性和有序性：保证了线程之间的可见性和有序性。

四种同步块

1. 同步方法：

定义：在类的方法声明前加上synchronized关键字。
锁对象：方法所属对象的实例锁（非静态方法）或类锁（静态方法）。

示例：

public synchronized void syncMethod() {
    // 同步代码
}

2. 同步静态方法：

定义：在类的静态方法声明前加上synchronized关键字。
锁对象：类锁。

示例：

public static synchronized void syncStaticMethod() {
    // 同步代码
}

3. 同步代码块：

定义：使用synchronized关键字加上括号，括号内指定锁对象，然后是大括号包围的代码块。
锁对象：任意对象。

示例：

public void syncBlock() {
    Object lock = new Object();
    synchronized (lock) {
        // 同步代码
    }
}

4. 同步静态代码块：

定义：与普通同步代码块类似，但在锁对象处使用类的类锁。
锁对象：类锁。

示例：

public void syncStaticBlock() {
    synchronized (this.getClass()) {
        // 同步代码
    }
}

数据可见性

定义：
数据可见性是指当一个线程修改了共享变量的值，其他线程能够看到这个修改。在Java中，synchronized关键字保证了数据的可见性。

特点：

发布：一个线程修改了共享变量的值。
可见：其他线程可以立即看到这个修改。
happens-before原则：synchronized关键字保证了发布-可见性原则。

指令重排

定义：
指令重排是指编译器或处理器为了优化程序性能而重新排序执行指令。在多线程环境中，指令重排可能会导致程序行为不符合预期。

特点：

编译器优化：编译器可能会重排指令。
处理器优化：处理器可能会重排指令。
有序性：synchronized关键字可以禁止指令重排，确保有序性。

性能开销

定义：
使用synchronized关键字会带来一定的性能开销，特别是在高并发的情况下。

特点：

锁竞争：多个线程争用同一个锁时，会导致性能下降。
锁膨胀：从轻量级锁升级到重量级锁的过程会增加开销。
性能优化：Java虚拟机（JVM）通过锁优化机制（如偏向锁、轻量级锁等）来减轻锁的竞争。

可重入性

定义：
可重入性是指一个线程可以再次进入已经由它持有的锁。

特点：

递归调用：一个线程可以在持有某个锁的情况下再次进入该锁保护的代码。
锁计数：synchronized关键字支持可重入性，通过内部计数器来跟踪锁的嵌套深度。

示例

下面是一个简单的Java示例，演示了如何使用synchronized关键字来确保数据的可见性和线程安全：

public class SynchronizedExample {
    private int counter = 0;

    public synchronized void increment() {
        counter++;
    }

    public synchronized int getCounter() {
        return counter;
    }

    public static void main(String[] args) throws InterruptedException {
        SynchronizedExample example = new SynchronizedExample();
        Thread thread1 = new Thread(() -> {
            for (int i = 0; i < 1000; i++) {
                example.increment();
            }
        });

        Thread thread2 = new Thread(() -> {
            for (int i = 0; i < 1000; i++) {
                example.increment();
            }
        });

        thread1.start();
        thread2.start();

        thread1.join();
        thread2.join();

        System.out.println("Final counter value: " + example.getCounter());
    }
}