深入讲解并发编程模型之顺序一致性篇

最新推荐文章于 2023-05-27 21:58:52 发布
原创 最新推荐文章于 2023-05-27 21:58:52 发布 · 1k 阅读 · 2 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文深入探讨了顺序一致性模型，一个理想的理论参考模型，保证了内存可见性的强约束。顺序一致性要求线程内操作按代码顺序执行，所有线程看到的执行顺序一致。与Java内存模型（JMM）不同，JMM允许指令重排序以优化性能。尽管顺序一致性模型很少用于实际编程，因为它限制了编译器和处理器的优化，并且效率较低。

相关阅读

前面两篇文章讲解过了深入并发编程模型基本概念和重排序，还没有阅读过前面两篇文章的建议阅读下：

这篇文章主要讲顺序一致性。

目录：

  • 什么是顺序一致性
  • 顺序一致模型
  • 顺序一致性和JMM对比
  • 总结

什么是顺序一致性

顺序一致性，简单理解为：就是程序的执行顺序和它编写的顺序一致

顺序一致性模型

顺序一致性内存模型是一个被计算机科学家理想化了的理论参考模型，它为程序员提供了极强的内存可见性保证。顺序一致性内存模型有两大特性:

  • 一个线程中的所有操作必须按照程序的顺序来执行

也就是说，一个线程看到的

最低0.47元/天 解锁文章
并发编程学习笔记（七）------ 顺序一致性
六月的尾巴
07-21 776
注明： 参考书作者：方腾飞 魏鹏 程晓明 参考书目：《Java 并发编程的艺术》 顺序一致性   顺序一致性内存模型是一个理论参考模型，在设计的时候，处理器的内存模型和编程语言的内存模型会以顺序一致性内存模型作为参考。 数据竞争与顺序一致性   如果一个多线程程序能正确同步，这个程序将是一个没有数据竞争的程序。JMM对正确同步的多线程程序的内存一致性做了如下保证。   如果程序是正确同步的，程序的...
内存一致模型——顺序一致模型
LYRICS
12-21 1009
内存一致模型——顺序一致模型顺序一致模型，是最常见的内存一致模型，定义如下： 【如果一个多处理器系统是顺序一致的】，那么，无论程序怎么运行，结果都与各处理器各自轮流运行后的结果相同，且各处理器内部的执行顺序由程序决定。 从定义中， 可以得出，顺序一致模型有如下要求： - 保证单一处理器内部的执行顺序 - 保证多处理器操作同一块内存时的先后顺序如图所示：总线结构保证在相同时间内对指定内存块的访问
分布式学习笔记 (1) 一致性
LanceJerry的博客
12-07 1006
一致性学习笔记 常见的一致性词语：CAP理论的 consistency， ACID 中的 consistency， cache一致性协议的 coherence， Raft/Paxos 中的 consensus。 1.coherence coherence 只出现在Cache Coherence 一词中，称为”缓存一致性”，研究多核场景，即怎么保证多个核上的CPU 缓存数据是一致的，一般是单机维度的，不算分布式领域。 2.consensus consensus准确的翻译是共识，即多个提议者达成共识的过程，例如
Java多线程 -- 深入理解JMM（Java内存模型） --（三）顺序一致性
NowOrNever
08-02 3937
顺序一致性内存模型是一个被计算机科学家理想化了的理论参考模型，它为程序员提供了极强的内存可见性保证。顺序一致性内存模型有两大特性： 一个线程中的所有操作必须按照程序的顺序来执行。 （不管程序是否同步）所有线程都只能看到一个单一的操作执行顺序。在顺序一致性内存模型中，每个操作都必须原子执行且立刻对所有线程可见。
深入理解Java内存模型（三）——顺序一致性
怀素的专栏
06-04 738
数据竞争与顺序一致性保证 当程序未正确同步时，就会存在数据竞争。java 内存模型规范对数据竞争的定义如下： 在一个线程中写一个变量， 在另一个线程读同一个变量， 而且写和读没有通过同步来排序。 当代码中包含数据竞争时，程序的执行往往产生违反直觉的结果（前一章的示例正是如此）。如果一个多线程程序能正确同步，这个程序将是一个没有数据竞争的程序。 JMM 对正确同步的多线程程序的内存一致性做...
深入讲解并发编程模型之概念篇
wnl_csdn的博客
08-20 565
文章目录并发编程模型的分类Java内存模型的抽象重排序处理器重排序与内存屏障指令happens-before总结 所有文章也会同步更新在网站：深夜程猿 并发编程模型的分类 在并发编程中，我们需要处理两个关键问题 线程之间如何通信 这里的线程是指并发执行的活动实体。通信是指线程之间以何种机制来交换信息。在命令式编程中，线程之间的通信机制有两种:共享内存、消息传递。 在共享内存的并发模型里，线程之...
深入理解Java内存模型与并发编程
在“基于内存模型的Java并发编程”这一主题中，重点在于深入剖析JMM的工作机制，并结合volatile、synchronized、原子类等关键技术手段，解决多线程环境下的数据一致性问题。 首先，Java内存模型并非指物理上的内存...
多处理器编程的艺术：顺序一致性与并发对象
这个知识点涉及多处理器编程中的并发一致性模型，特别是顺序一致性，它是理解和解决并发编程中的数据同步和一致性问题的关键。通过理解这些概念，开发者能够编写出在分布式或多核环境下的正确和高效的代码。
Go并发编程实战精解
最新发布
12-06
本书《Go并发编程实战精解》深入讲解了Go语言的并发编程模式，书中内容涉及goroutine的使用、channel的实现、以及sync包在并发编程中的应用。作者通过生动的案例分析，将如何在保持数据一致性的同时，进行竞态检测和...
深入理解java内存模型（三）——顺序一致性
Swifree
05-14 624
转载自并发编程网 – ifeve.com本文链接地址: 深入理解java内存模型系列文章 数据竞争与顺序一致性保证 当程序未正确同步时，就会存在数据竞争。java 内存模型规范对数据竞争的定义如下： 在一个线程中写一个变量，在另一个线程读同一个变量，而且写和读没有通过同步来排序。 当代码中包含数据竞争时，程序的执行往往产生违反直觉的结果（前一章的示例正是如此）。如果一个
顺序一致性模型
张紫娃的博客
05-27 1876
顺序一致性内存模型是一个被计算机科学家理想化了的理论参考模型，它为程序员提供了极强的内存可见性保证。1）一个线程中的所有操作必须按照程序的顺序来执行。2）（不管程序是否同步）所有线程都只能看到一个单一的操作执行顺序。
Java并发-顺序一致性模型
Dave的博客
06-24 1929
顺序一致性模型 顺序一致性内存模型有两大特性 1）一个线程中的所有操作必须按照程序的顺序来执行。 2）（不管程序是否同步）所有线程都只能看到一个单一的操作执行顺序。在顺序一致性内存模型中，每个操作都必须原子执行且立刻对所有线程可见。 在概念上，顺序一致性模型有一个单一的全局内存，这个内存通过一个左右摆动的开关可以连接到任意一个线程，同时每一个线程必须按照程序的顺序来执行内存读/写操作。...
什么是顺序一致性呢？
Leon_Jinhai_Sun的博客
01-20 2822
在讲顺序一致性之前，咱们思考一个问题，假如说zookeeper是一个最终一致性模型，那么他会发生什么情况 ClientA/B/C假设只串行执行，clientA更新zookeeper上的一个值x。ClientB和clientC分别读取集群的不同副本，返回的x的值是不一样的。clientC的读取操作是发生在clientB之后，但是却读到了过期的值。很明显，这是一种弱一致模型。如果用它来实现锁机制是有问题的。 顺序一致性提供了更强的一致性保证，我们来观察下面这个图，从时间轴来看，B0发生在A0之前，读..
Java并发基础-顺序一致性
cclliii的博客
09-23 342
一、重排序 重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段。 数据依赖性：如果两个操作同访问一个变量，且这两个操作中有一个操作为写操作，此时这两个操作之间就存在数据依赖性。 as-if-serial语义：不管怎么重排序（编译器和处理器为了提高并行度），（单线程）程序的执行结果不能被改变。编译器，runtime和处理器都必须遵守as-if-serial语义。 顺序...
顺序一致性和线性一致性
镜中容颜的博客
10-28 679
顺序一致性和线性一致性
java并发编程(4) 有序性-顺序一致性
Jwasx的博客
02-02 877
文章目录前言1. 数据竞争与顺序一致性2. 顺序一致性模型1. 理解2. 例子3. 例子总结3. 同步程序的顺序一致性效果4. 非同步程序的执行特性 前言 顺序一致性内存模型是一个理论参考模型，在设计的时候，处理器的内存模型和编程语言的内存都会以顺序一致性内存模型作为参考。现在以《Java并发编程的艺术》这本书为参考，一起来聊聊这个模型。这篇文章和 volatile ，以及 指令重排序 一起看效果更好 1. 数据竞争与顺序一致性 当程序未正确同步的时候就会发生数据竞争。Java 内存模型规范对数据竞争
顺序一致性内存模型
qq_43979755的博客
04-09 477
顺序一致性为程序员提供了极强的内存可见性保证。它有两大特征。 1 一个线程中的所有操作必须按照程序的顺序来执行。 2不管程序是否同步，所有的程序都只能看到一个单一的操作执行顺序，在顺序一致性内存模型中，每个操作都必须原子执行且立刻对其他所有线程可见。 对于未同步的程序来说，顺序一致性模型的整体执行顺序是无序的（有很多个不同的线程），单个线程的操作执行顺序整体上是有序的，但是所有线程只能看到一个一致的整体执行顺序。对于jmm来说，不但整体的执行顺序是无序的（有多个线程），而且单线程的执行顺序是无序的，还有所有
三、Java内存模型---重排序和顺序一致性
岁月无痕的博客
06-15 1464
3.2 重排序 重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段。 3.2.1 数据依赖性 如果两个操作访问同一个变量，且这两个操作中有一个为写操作，此时这两个操作之间 就存在数据依赖性。数据依赖分为下列3种类型，如表3-4所示。 上面3种情况，只要重排序两个操作的执行顺序，程序的执行结果就会被改变。 前面提到过，编译器和处理器可能会对操作做重排序。编译
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值