原文:http://preshing.com/20120515/memory-reordering-caught-in-the-act/ 编写lock-free的C/C++程序时,在保证memory ordering正确性上要非常小心,否则,奇怪的事就来了. Intel在<x86/64 Architecture Specification>Volume 3, §8.2.3一节中列出了一些可能发生的“奇怪的事”. 来看一个小例子:X,Y两个变量均被初始化为0, 编写如下汇编代码,由两个处理器(p…

今天,我们来学习另一个重要的概念. CPU内存指令重排序(Memory Reordering) 什么叫重排序? 重排序的背景 我们知道现代CPU的主频越来越高,与cache的交互次数也越来越多.当CPU的计算速度远远超过访问cache时,会产生cache wait,过多的cache wait就会造成性能瓶颈. 针对这种情况,多数架构(包括X86)采用了一种将cache分片的解决方案,即将一块cache划分成互不关联地多个 slots (逻辑存储单元,又名 Memory Bank 或 Cache…

From:   http://preshing.com/20120710/memory-barriers-are-like-source-control-operations/ If you use source control, you’re on your way towards understanding memory ordering, an important consideration when writing lock-free code in C, C++ and other l…

本文简单介绍volatile关键字的使用,进而引出编译期间内存乱序的问题,并介绍了有效防止编译器内存乱序所带来的问题的解决方法,文中简单提了下CPU指令乱序的现象,但并没有深入讨论. 以下是我搭建的博客地址: http://itblogs.ga/blog/20150329150706/    欢迎到这里阅读文章. volatile关键字 volatile关键字用来修饰一个变量,提示编译器这个变量的值随时会改变.通常会在多线程.信号处理.中断处理.读取硬件寄存器等场合使用. 程序在执行时,通常将数…

JVM系列笔记目录 虚拟机的基础概念 class文件结构 class文件加载过程 jvm内存模型 JVM常用指令 GC与调优 硬件层数据一致性 - 存储器层次结构 从L6-L0 空间由大变小,速度由慢到快. -缓存一致性算法 CPU实现缓存一致性的协议很多,其中intel 使用的MESI(Modified Exclusive Shared Or Invalid)协议.具体可以参考:[MESI--CPU缓存一致性协议](https://www.cnblogs.com/z00377750/p/918…

Linux has supported a large number of SMP systems based on a variety of CPUs since the 2.0 kernel. Linux has done an excellent job of abstracting away differences among these CPUs, even in kernel code. One important difference is how CPUs allow memor…

最近看C++11 atomic发现对memory_order很是不理解,memory_order_relaxed/memory_order_consume/memory_order_acquire/memory_order_release/memory_order_acq_rel/ memory_order_seq_cst.这些都是跟memory model有关 关于memory model,对于线程来说,其实是跟编译器相关的.因为我们的编译器在把C++语言翻译成机器代码的时候,会进行各种优化.…

目前的计算机系统中,都是shared memory结构,提供统一的控制接口给软件, shared memory结构中,为了memory correctness,可以将问题分为:memory consistency,和memory coherency. 为了memory consistency的正确性,是需要program的编写者的操作,主要描述对一块memory的不同的load,store之间的顺序. 而memory coherency,则对software是完全透明的,主要为了多cache在系…

Memory ordering - Wikipedia https://en.wikipedia.org/wiki/Memory_ordering https://zh.wikipedia.org/wiki/内存排序 内存排序是指CPU访问主存时的顺序.可以是编译器在编译时产生,也可以是CPU在运行时产生.反映了内存操作重排序,乱序执行,从而充分利用不同内存的总线带宽. 现代处理器大都是乱序执行.因此需要内存屏障以确保多线程的同步. 目录 1编译时内存排序 1.1编译时内存屏障 2运行时内存排序…

一.不得不提的volatile volatile是个很老的关键字,几乎伴随着JDK的诞生而诞生,我们都知道这个关键字,但又不太清楚什么时候会使用它:我们在JDK及开源框架中随处可见这个关键字,但并发专家又往往建议我们远离它.比如Thread这个很基础的类,其中很重要的线程状态字段,就是用volatile来修饰,见代码 /* Java thread status for tools, * initialized to indicate thread 'not yet started' */   p…