Happens-before order

最新推荐文章于 2023-07-03 12:52:29 发布
最新推荐文章于 2023-07-03 12:52:29 发布
阅读量99 收藏
点赞数
分类专栏： 哲学探索 文章标签： SUN thread HTML

17.4.5 Happens-before Order

Two actions can be ordered by a happens-before relationship. If one action happens-before another, then the first is visible to and ordered before the second.

If we have two actions x and y , we write hb (x , y ) to indicate that x happens-before y .

 

If x and y are actions of the same thread and x comes before y in program order, then hb ( x , y ). There is a happens-before edge from the end of a constructor of an object to the start of a finalizer (§12.6) for that object. If an action x synchronizes-with a following action y , then we also have hb ( x , y ). If hb ( x , y ) and hb ( y , z ), then hb ( x , z ).

It should be noted that the presence of a happens-before relationship between two actions does not necessarily imply that they have to take place in that order in an implementation. If the reordering produces results consistent with a legal execution, it is not illegal.

 

最后是说有happens-before关系的两个action在实现中未必会按照那样发生，因为之前可能还存在合法的变序操作

 

http://java.sun.com/docs/books/jls/third_edition/html/memory.html

bloodnight
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
JMM 最最最核心的概念：Happens-before 原则
AK774S的博客
05-08 420
事实上，从 JMM 设计者的角度来看，可见性和有序性其实是互相矛盾的两点： 一方面，对于程序员来说，我们希望内存模型易于理解、易于编程，为此 JMM 的设计者要为程序员提供足够强的内存可见性保证，专业术语称之为 “强内存模型”。 而另一方面，编译器和处理器则希望内存模型对它们的束缚越少越好，这样它们就可以做尽可能多的优化（比如重排序）来提高性能，因此 JMM 的设计者对编译器和处理器的限制要尽可能地放松，专业术语称之为 “弱内存模型”。 对于这个问题，从 JDK 5 开始，也就是在 JSR-13
php.ini-development
05-08
(excluding headers and cookies) PHP should keep internally before pushing that ; data to the client. If your application's output exceeds this setting, PHP ; will send that data in chunks of roughly ...
数据竞争和先行原则
a55684471的博客
03-21 217
先行原则规定了先行的操作对后续的操作可见，有效解决了数据竞争问题。数据竞争问题发生在当变量被多个线程读时，同时至少有一个线程在对这个变量进行写，那么写入的变量不一定能够及时被其他线程看见，甚至永远也不能被其他线程看见。 从这里就可以看出，“先行”其实规定的是“可见性”问题，它和操作（读、写、方法调用等）发生的时间先后是两个概念，时间上先发生的，对后发生的不一定可见（当然...
【字节一面】解释下什么是 happens-before？
激流丶的博客
07-03 1750
happens-before（先行发生）是Java中一个重要的多线程概念，用于描述不同线程之间操作的执行顺序。它是Java内存模型（Java Memory Model）
happens-before
qq_46153765的博客
11-26 304
为什么要有 happens-before happe-before 是 JMM 最核心的概念，对应 Java 程序员来说，理解 happens-before 是理解 JMM 的关键。 从 JMM 设计者的角度来看，可见性和有序性其实是互相矛盾的两点： 一方面，对于程序员来说，我们希望内存模型易于理解、易于编程，为此 JMM 的设计者要为程序员提供足够强的内存可见性保证，专业术语称之为 “强内存模型”。 而另一方面，编译器和处理器则希望内存模型对它们的束缚越少越好，这样它们就可以做尽可能多的优化（比
Happens-Before规则
米奇罗
11-29 354
1. 前言 从 JDK 5开始，Java 使用新的 JSR-133 内存模型，使用 happens-before 的概念来阐述操作间的可见性。 2. 定义 JSR-133 对Happens-Before 的定义： Happens-Before Relationship Two actions can be ordered by a happens-before relationship. If...
Happens-Before原则深入解读
zhuanzhuantech的博客
07-26 3825
Happens-Before（先行发生）原则是对Java内存模型（JMM）中所规定的可见性的更高级的语言层面的描述。用这个原则解决并发环境下两个操作之间的可见性问题，而不需要陷入Java内存模型苦涩难懂的定义中。...
Happens-Before原则的通俗理解
pscool的博客
08-31 1974
指令重排&happens-before 原则 & 内存屏障:https://www.cnblogs.com/ITPower/p/13580691.html Java内存模型：https://www.cnblogs.com/yuanfy008/p/9252555.html
什么是happens-before原则？
热门推荐
Shockang的博客
06-07 1万+
前言 本文隶属于专栏《100个问题搞定Java虚拟机》，该专栏为笔者原创，引用请注明来源，不足和错误之处请在评论区帮忙指出，谢谢！ 本专栏目录结构和参考文献请见100个问题搞定Java虚拟机 正文 happens-before 关系是用来描述两个操作的内存可见性的。如果操作 X happens-before 操作 Y，那么 X 的结果对于 Y 可见。 Java 内存模型底层是通过内存屏障（memory barrier）来禁止重排序的。 线程内的 happens-before 在同一个线程中，字节码的先
JMM Java内存模型的概念以及happens-before原则
终生学习践行者
04-13 3141
详细介绍了JMM Java内存模型的概念、由来，以及happens-before原则的具体规则。
happens-before的官方解释
xichengxml的博客
10-03 653
直接先把官方的内容粘贴过来，后续有时间翻译整理，参考链接 https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.5 Two actions can be ordered by a happens-before relationship. If one action happens-before another,...
C++多线程编程介绍，技巧及注意要点--Part2.pptx
09-18
三种关系包括：先发生（happens-before）、后发生（happens-after）和无序（unordered）。六种内存顺序则分为从弱到强的六个级别：无序（unordered）、松散（relaxed）、释放（release）、获取（acquire）、获取-...
深入理解Java内存模型??总结
12-22
如果一个操作happens-before另一个操作，那么第一个操作的结果对第二个操作必须是可见的，并且第一个操作的执行顺序在程序逻辑上被认为是在第二个操作之前。通过happens-before原则，JMM保证了线程间的通信行为。 ...
C# Game Programming Cookbook for Unity 3D - 2014
09-10
Acknowledgments xiii Introduction xv 1. Making Games the Modular Way 1 1.1 Important Programming Concepts.....................................2 1.1.1 Manager and Controller Scripts.......................
avif-0.5.0-cp37-cp37m-manylinux2010_i686.whl
07-27
python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！ python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！ python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！ python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！ python库，可以直接安装使用，再也不怕自己pip下载，出现等待超时的现象。欢迎下载使用，使用过程中如有使用问题，请及时与我沟通交流，帮你解决！
[毕设]HTTP代理服务器开发与实现.zip
07-27
[毕设]HTTP代理服务器开发与实现
PyQt5-5.15.11-cp38-abi3-win32.whl
最新发布
07-27
pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。pip install 直接安装，无需再下载，直接用。
jupyterlab_broccoli_turtle-0.4.7-py3-none-any.whl
07-27
基本介绍 名称与起源：Pillow，原名为PIL（Python Imaging Library），但PIL只支持Python 2版本。随着Python 3的普及，Pillow作为PIL的一个分支出现，兼容Python 3并提供更多的功能和改进。 主要功能：Pillow支持多种图像格式的打开、保存、显示以及基本的图像操作和处理，如裁剪、缩放、旋转、翻转、滤镜应用等。 跨平台性：Pillow库可以在不同的操作系统上运行，包括Windows、Linux和MacOS等。 主要功能模块 Pillow库包含多个功能模块，每个模块都提供了特定的图像处理功能。以下是一些常用的模块： Image：用于处理图像文件，提供打开、保存、调整大小、旋转、裁剪、滤镜等功能。 ImageDraw：提供在图像上绘制各种形状（如线条、矩形、圆形）和文本的功能。 ImageFont：用于加载和使用TrueType字体文件，以便在图像上绘制文本时设置字体样式、大小和颜色。 ImageFilter：提供各种滤镜效果，如模糊、锐化、边缘增强等，用于图像增强、特效处理和图像识别等应用。 ImageEnhance：用于调整图像的亮度、对比度、颜色饱和度等参数，使图像更加清晰、明亮或具有特定的调色效果。 高级功能 除了基本的图像处理功能外，Pillow还支持一些高级功能，如色彩空间转换、直方图均衡化等。这些功能可以帮助用户进行更复杂的图像处理和分析。
happens-before原则
09-01
happens-before原则是计算机科学中的一个概念，它用于定义并发系统中事件的顺序关系。根据happens-before原则，如果事件A在时间上先于事件B发生，并且A和B属于不同的线程或进程，那么事件A happens-before事件B。...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值