linux一致性模型和内存屏障

最新推荐文章于 2023-06-02 14:40:13 发布
最新推荐文章于 2023-06-02 14:40:13 发布
阅读量691 收藏
点赞数
分类专栏： 分布式理论与实践 文章标签： 一致性 内存屏障 锁机制 同步 共享数据
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/csq_year/article/details/46842739
版权

描述通用linux系统中实现的一致性模型，主要讨论内核所所使用的内存屏障机制。

赤枫01
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
linux内存一致性,Linux内核 文件一致性之主动一致性
weixin_35615010的博客
05-07 554
与内核中很多其他函数一样，该函数是典型的三段式。首先检查参数等信息，然后调用filemap_write_and_wait_range()同步文件脏数据。等文件脏数据写入完成以后，调用具体文件系统的fsync方法，该方法主要是回写文件元数据，即inode信息。在此之前，需要对inode加锁，即mutex_lock。点击(此处)折叠或打开int filemap_write_and_wait_range...
Linux内存管理 —— DMA和一致性缓存
热门推荐
落尘纷扰的专栏
03-06 2万+
1. 出现内存不一致的原因 CPU写内存的时候有两种方式： 1. write through: CPU直接写内存，不经过cache。 2. write back: CPU只写到cache中。cache的硬件使用LRU算法将cache里面的内容替换到内存。通常是这种方式。 DMA可以完成从内存到外设直接进行数据搬移。但DMA不能访问CPU的cache，CPU在读内存的时候，如果cache命中...
Linux内核：内存管理——内存一致性模型
m0_74282605的博客
06-02 230
P3 看到 P2 写 B 后才去读 A, P3 此时读出的 A 必须要是 1 （而不会是0）因为从 P2 看来操作执行次序为 (A=1)->(B=1), 不允许P3在看到操作 B=1 时，没有看到 A=1.的读操作返回的值一定是那个地址的最新值(注意coherence和consistency最大的区别就是是对某一个地址还是全局)，而这个最新值可能是该线程所处的CPU核心刚刚写进去的那个最新值，也可能是另一个CPU核心上的线程刚刚写进去的最新值。的写操作和读操作之前发生,这可以避免 P2 也进入临界区。
【Linux内核】内存管理——缓存一致性问题
Ethan-Code's blog
10-06 1294
CPU访问外设的数据寄存器和状态寄存器时，也是需要将寄存器的值映射到内存上进行读写，外设寄存器的值由硬件修改，也可以由CPU读写，因此外设和CPU对寄存器映射的内存访问也是异步的。在没有写回之前，核心B的cache中的同个数据还没改，当B去访问它时则会与A不一致。因为DMA是直接内存访问，对内存的访问不需要经过CPU，因此如果DMA修改了内存上的CPU访问过的数据，而CPU的cache中并不知道内存已经修改了，CPU读写内存的时候还是cache上的旧数据，造成缓存不一致问题。
Linux驱动中的DMA和Cache一致性问题
03-03
介绍了DMA和cache的关系和内在原理，内核中流式DMA结构的介绍和使用
Linux中解决存储访问一致性问题的方法
向往大海专栏
09-27 845
摘自：http://www.hongxiangbiao.com/inc_books.asp?NewsID=520&classID=17 在Linux中，是用barrier()宏来解决以上存储访问一致性问题的，barrier()的定义如下所示： #define barrier() __asm__ __volatile__("": : :"memory") 另外在barrier()的基础上还衍生
kernel如何保证cache数据一致性
做一个有技术追求的人
08-27 2万+
那么问题就来了，正因为嵌入式处理器软件管理cache，就需要我们代码主动去操作cache，但在内核开发中很少会直接进行cache操作，cache操作到底在哪里进行的，什么时候需要操作cache。 首先想明白一点，为什么要进行cache操作，只能说cache是天使也是魔鬼。cache在提高了系统性能同时却导致了数据的不一致性。嵌入式处理器软件管理cache的初衷就是保证数据一致性。 那什么地方需要保证数据一致性呢？ 对于由CPU完全操作的数据，数据是完全一致的。也就是该数据完全由CPU写读操作，没有对CPU不
Linux-Kernel Memory Model.pdf
07-10
描述linux系统的内存一致性模型，介绍了硬件一致性模型以及linux提供了哪些方法可以用于保证顺序一致性，其中讲述了内存屏障的使用方式和原理。
JVM内存模型-内存结构-内存屏障
08-12
主要为大家讲解JVM内存模型|内存结构|内存屏障，他们的概念，有什么关联以及各种的功能
Linux内存屏障
11-17
Linux内存屏障，CSDN 2015开发者大会上的优秀演讲
Linux内存屏障1
08-03
3. CPU 0 执行 b = 1，它已经在缓存行中有“b”的值了 (换句话说，缓存行已 4. CPU 0 接收到“读”消息，并且发送缓存行中的最新的“b”的值
内存屏障原理解析
04-08
内存屏障分析,内存屏障分析,内存屏障分析,内存屏障分析,内存屏障分析
分布式系统副本复制和一致性
csq_year的专栏
07-09 8147
多副本的存在是提升一个分布式系统可靠性、可用性、性能以及可扩展性的必要手段，有点像“狡兔三窟”，一个出口堵上了，还有其它的备选出口可供逃生。复制可以提高系统的可靠性显而易见，多个副本可以用于分流（如数据库的一主多从结构）也可以用于加快响应时间（如cdn），这使得复制具有增强系统可用性和扩展性的效用。实现数据复制，不仅会涉及到副本的管理（包括副本的存放位置、多副本之间内容的分发），还包括如何保持多个副
mysql数据一致性和副本复制-part1
csq_year的专栏
07-23 1826
以mysql作为实例，讨论一下mysql在数据存储一致性和复制方面的一些实现机制。
mysql数据一致性和副本复制-part3
csq_year的专栏
07-30 618
1.5 加锁机制     MVCC实质上是通过避免读写冲突来提升并发度，由于是通过读取快照数据来“避免”读写冲突，因而其查询结果不能作为update、delete、insert的依据，InnoDB使用锁机制来解决这类问题。InnoDB主要使用行级锁（row lock），其行锁是通过在索引项上加锁而实现的，如果mysql的执行计划没能用到索引，那么行锁就不会生效，这时加锁的粒度就会跃变成表锁，会严重
mysql数据一致性和副本复制-part2
csq_year的专栏
07-30 539
（5） InnoDB通过在UNDO日志中进行查找，最终可以找到每一行记录的创建版本和删除版本（过期版本），从而找到每一行记录的生命周期，作为simple select建立快照的依据。MySQL 5.5.32版本- Read-view数据结构(具体代码可参见 storage/innobase/include/read0read.h、storage/innobase/read/read0read.c::
C#，数值计算，解微分方程的龙格-库塔二阶方法与源代码
最新发布
04-25
C#，数值计算，解微分方程的龙格-库塔二阶方法与源代码 微分方程 含有导数或微分的方程称为微分方程，未知函数为一元函数的微分方程称为常微分方程。 微分方程的阶数 微分方程中导数或微分的最高阶数称为微分方程的阶数。 微分方程的解 使得微分方程成立的函数称为微分方程的解。 微分方程的特解 微分方程的不含任意常数的解称为微分方程的特解。 微分方程的通解 所含相互独立的任意常数的个数与微分方程的阶数相等的微分方程的解称为微分方程的通解。
Linux内核链表 内存屏障,从cache一致性到理解内存屏障
05-25
Linux内核链表是一个非常基础的数据结构，在Linux内核中被广泛使用。Linux内核链表通过指针连接节点，每个节点都包含下一个节点的指针，从而形成链表。 在多核处理器架构下，由于不同核心的缓存可能不一致，当多个核心同时对链表进行修改时，可能会出现数据不一致的情况。为了解决这个问题，Linux内核采用了一种叫做“cache一致性”的技术，即每次修改链表节点时，都需要将该节点所在的缓存行标记为无效，这样其他核心访问该节点时，就会重新从内存中读取数据，保证数据一致性。 而内存屏障则是保证代码执行顺序的关键技术。在多核处理器架构下，由于不同核心的指令可能乱序执行，因此需要内存屏障来确保指令的执行顺序。内存屏障分为读屏障、写屏障和全屏障三种。 读屏障（rmb）用于确保所有先于读屏障的读操作都完成后，才能执行读屏障之后的操作；写屏障（wmb）用于确保所有先于写屏障的写操作都完成后，才能执行写屏障之后的操作；全屏障（mb）则是同时执行读屏障和写屏障的作用。 在Linux内核链表中，内存屏障被广泛应用。例如，在向链表中添加节点时，需要先将新节点的指针指向下一个节点，再将上一个节点的指针指向新节点。此时就需要使用内存屏障来确保指针的修改顺序正确。具体来说，需要在修改新节点指针之后、修改上一个节点指针之前，加入写屏障；在读取新节点指针之前、读取上一个节点指针之后，加入读屏障。这样就可以确保指针的修改顺序正确，从而避免了数据不一致的情况。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值