锁的分类

最新推荐文章于 2023-08-09 10:40:15 发布

转载最新推荐文章于 2023-08-09 10:40:15 发布 · 158 阅读

文章标签：

#anwar

分布式系统专栏收录该内容

19 篇文章

订阅专栏

本文深入探讨了Java内存模型的细节，包括线程独有的运行内存和共有的主存储概念，以及如何通过synchronized和volatile等关键字确保数据的正确性和一致性。同时，文章讨论了指令重排序的影响和锁的多种类型，如独占锁、分拆锁、分离锁和分布式锁，以及它们在并发编程中的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在共享内存的多处理器体系架构中，每个处理器都拥有自己的缓存，并且定期地与主内存进行协调。
在不同的处理器架构中提供了不同级别的缓存一致性（Cache Coherence）,
- 其中一部分只提供最小的保证，即允许不同的处理器在任意时刻从同一个存储位置上看到不同的值。
操作系统、编译器以及运行时（有时甚至包括应用程序）需要弥合这种在硬件能力与线程安全之间的差异。

java内存模型

抽象出线程独有的运行内存和共有的主存储
为了使java开发人员无须关心不同架构内存模型之间的差异，
Java还提供了自己的内存模型，并且JVM通过在适当的位置上插入内存栅栏（内存屏障）来屏蔽在JVM与底层之平台内存模型之间的差异。
线程中的变量何时同步回到内存是不可预期的
- java内存模型规定，通过关键词”synchronized“、”volatile“可以让java保证某些约束。
- “volatile” - 保证读写的都是主内存变量。
- “synchronized” - 保证在块开始时，都同步主内存值到工作内存，而快结束时，将工作内存同步会主内存。

指令重排序：：

    public class PossibleReordering {
        static int x = 0, y = 0;
        static int a = 0, b = 0;

        public static void main(String[] args) throws InterruptedException {
            Thread one = new Thread(new Runnable() {

                @Override
                public void run() {
                    a = 1;
                    x = b;
                }
            });

            Thread two = new Thread(new Runnable() {

                @Override
                public void run() {
                    b = 2;
                    y = a;
                }
            });
            one.start();
            two.start();
            one.join();
            two.join();
            System.out.println("x:" + x + ",y:" + y);
        }
    }