锁的分类

最新推荐文章于 2023-08-18 09:00:00 发布

CodeBoy1024

最新推荐文章于 2023-08-18 09:00:00 发布

阅读量130

点赞数

分类专栏：分布式系统文章标签： anwar

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

19 篇文章 0 订阅

订阅专栏

在共享内存的多处理器体系架构中，每个处理器都拥有自己的缓存，并且定期地与主内存进行协调。
在不同的处理器架构中提供了不同级别的缓存一致性（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);
        }
    }