JMM对数据竞争的定义

JMM数据竞争的定义

Java内存模型规范对数据竞争的定义如下
在一个线程中一个变量,在另一个线程同一个变量,而且写和读没有通过同步来排序
如果一个多线程程序能正确同步,这个程序将是一个没有数据竞争的程序。
当程序正确同步时,就可能会存在数据竞争。当代码中包含数据竞争时,程序的执行往往产生违反直觉的结果(就是算错了,这里说的委婉了)。

-----------------------------------------------------------------------------摘自 书名:Java并发编程的艺术 作者:方腾飞;魏鹏;程晓明

相关推荐
荣码2 分钟前
Function Calling:比Agent更靠谱的工具调用,我踩了4个坑
java·python
多弗朗皮卡丘4 分钟前
C语言梦开始的地方16:结构体
c语言·开发语言·windows
x8626 分钟前
Go 1.27 正式发布:泛型方法、encoding/json/v2、后量子签名 ML-DSA 与 SIMD
开发语言·golang
杨丰玮41840 分钟前
暑假Java知识点回顾:类与对象知识总结
java·开发语言
盐焗鹌鹑蛋41 分钟前
【Linux】ELF与库加载
java·linux·服务器
WarPigs1 小时前
Unity未激活的物体无法响应事件?
java·unity·游戏引擎
Patrick在香港1 小时前
Python asyncio vs 多线程 vs 多进程——同一份 HKOpenDataClient 实测 5/30/100 endpoint,谁是真的银弹
开发语言·python
十五喵源码网1 小时前
基于SpringBoot2+vue2的公寓报修管理系统
java·毕业设计·springboot·论文笔记
Nontee1 小时前
Excel 导出组件改造实录:从 Full GC 到声明式导出
jvm·excel
牛油果子哥q1 小时前
C++异常处理万字详解:try-throw-catch机制、栈展开、标准异常体系、自定义异常、工程规范、内存泄漏避坑
开发语言·jvm·c++