为什么在Peterson算法中需要内存栅栏
在Peterson算法中需要内存栅栏的原因是确保多个线程之间的同步和可见性。
Peterson算法是一种用于解决临界区竞争条件的经典算法，其中包括两个线程竞争一个共享资源。为了保证共享资源的正确访问，算法中使用了两个bool型的变量来表示线程的进入意愿，并使用turn变量来指示当前允许进入临界区的线程。
在算法的实现过程中，通过交替执行进入区和退出区的操作，线程可以安全地访问共享资源。然而，由于现代处理器在执行指令时可能会进行指令重排序和缓存优化，这可能导致线程之间的操作乱序执行，从而违反了算法的正确性。
为了解决这个问题，需要使用内存栅栏（Memory Barrier）来确保线程间的同步和可见性。内存栅栏是一种同步原语，用于阻止指令重排序和缓存优化，以确保线程的操作按照预期顺序执行。
在Peterson算法中，内存栅栏可以放置在两个线程的进入区和退出区之间，以确保线程的操作顺序和可见性。通过在适当的位置使用内存栅栏，可以有效地防止指令重排序和缓存优化导致的错误结果。
总结起来，Peterson算法中使用内存栅栏是为了确保多个线程之间的同步和可见性，防止指令重排序和缓存优化导致的错误结果。使用内存栅栏可以保证算法的正确性和可靠性。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云计算：https://cloud.tencent.com/product
- 云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 云数据库MySQL：https://cloud.tencent.com/product/cdb-for-mysql
- 弹性MapReduce：https://cloud.tencent.com/product/emr
- 人工智能开发平台：https://cloud.tencent.com/product/ai
- 物联网套件：https://cloud.tencent.com/product/iot-suite
- 腾讯云存储（COS）：https://cloud.tencent.com/product/cos
- 腾讯云区块链服务：https://cloud.tencent.com/product/tbc
- 腾讯云游戏引擎（GSE）：https://cloud.tencent.com/product/gse
相关·内容
while(in_critical[other] && (turn == other)) ; in_critical[me] = false;
} 上面是peterson算法的一个简单实现。在不同的在线资源中，它指出为了防止来自out-of-order execution的问题，在while(..)之前需要一个内存栅栏。所以S1 and S2的顺序不会被交换。内存栅栏</
浏览 18提问于2020-07-10得票数 2
回答已采纳
1回答
互斥算法是否需要原子负载和存储？
、、、、
我理解用于互斥的算法，例如Dekker的算法和Peterson的算法，需要一个潜在的顺序一致的内存模型才能工作(或者使用内存屏障)，但我不清楚它们是否需要原子负载和存储。在 for Peterson的算法中，它说：
该算法满足了求解临界截面问题的三个基本准则，只要变量的变化立即和原子地传播到变量转、标志和标志。我不清楚上面引用的位，以及这是否意味着该算法
浏览 1提问于2016-11-15得票数 1
1回答
仅仅是原子操作就足以在x86中实现互斥。我是问这与无序执行有关。除了指定互斥锁或未锁定的整数的原子访问外，是否还有其他必须执行的操作?为什么？
浏览 6提问于2016-02-16得票数 2
回答已采纳
与栅栏相反，这种内存顺序只影响它所操作的原子。想必，通过使用几个这样的atomics，您可以构建一个并发算法，其中其他内存的排序是不重要的。所以我有两个问题：
能给我举一个算法/情况的例子，它可以从单个原子变量的排序中获益，而不需要栅栏?现代处理器支持这种行为的？也就是说，编译器将不只是将特定的顺序转换为普通的栅栏。
浏览 3提问于2011-04-06得票数 4
回答已采纳
以下是回复：
1.需要对flag0和flag1变量执行获取/释放操作，以确保它充当锁:解锁中的释放存储与下一个锁中的获取-加载同步，以确保在持有锁时修改的数据现在对第二个线程可见。我的理解是，在x86/64上，' store‘具有释放语义，而' load’具有获取语义(根本原因是在x86/64上只有存储加载重新排序)，而'lock.flagid= false‘是'store'，'lock.flag1
浏览 1提问于2017-04-17得票数 2
1回答
mutex和Peterson's Algorithm?的测试和set实现之间的区别是什么
它们中的哪一个实际上在实际系统中使用？
浏览 4提问于2014-09-28得票数 6
以下是在x86/x86_64中实现顺序一致性的四种方法：
Load Seq_Cst: LOCK然后我们可以重写这段代码
浏览 7提问于2013-09-27得票数 16
1回答
经典的无争用复杂度是4(因为它对共享寄存器内存执行4次读/写操作)是否存在某种版本的Peterson-2算法，它需要更少的访问共享寄存器内存？
浏览 1提问于2011-11-28得票数 0
1回答
修正Peterson算法
、、、、
1)交换了进程P0中的语句标志=真和标志=假，并对进程P1进行了类似的更改。这也会给我-互斥、进步和有限度的等待吗？-我觉得互不相让是不会得到这种支持的。有人能给我提供更多这方面的信息吗？2) Peterson解决方案中的语句while (flag1 && turn = 1)改为while (flag1或匝=1)，并在process P1中进行类似的更改。结果系统违反了临界段的哪些属性，为什么？-这仍然是互斥的，但我对进步和有界等待表示怀疑。有人能给我提供更多这方面的信息吗？
耽误您时间，
浏览 1提问于2014-03-08得票数 1
在2个进程的Peterson算法中，我们有一个数组A= {bool a，bool b}和一个转向变量。在该算法中，首先设置布尔值，然后将turn变量设置为另一个。如果我们修改算法，将turn变量设置为自身，而不是其他进程，为什么算法不起作用？
浏览 24提问于2021-02-04得票数 0
它需要一个内存顺序参数来调整栅栏的“强度”。
因此，所有这些(获取、释放和acq_rel栅栏)的有用性是显而易见的:它们允许使用比acq/rel弱的原子操作的线程正确地同步。但我不明白为什么</em
浏览 2提问于2019-12-13得票数 6
1回答
在x86/x64上，非时态存储指令(如MOVNTI和MOVNTPS )比“常规”存储提供更弱的内存排序保证。我知道，当共享内存时，栅栏(例如SFENCE)是必要的，它将被写入线程间的非临时内存中。然而，对于线程本地内存来说，栅栏指令是否是必需的？如果我通过MOVNTPS写入到某个位置，是否保证在没有任何栅栏指令的情况下，在同一线程中的后续指令中可以看到该
浏览 0提问于2016-03-01得票数 1
回答已采纳
3回答
在某个地方，有一次我读到关于记忆障碍(障碍)的文章。据说，内存栅栏会导致多个CPU核之间的缓存同步。
操作系统(或CPU本身)如何知道哪些核心需要同步？如果(2)的答案是“是”，并且假设同步操作不便宜，那么使用内存栅栏是否会减慢我的应用程序不使用的核心？上面的问题是完全无知的和栅栏的工作方式完全不同吗？
浏览 1提问于2014-09-13得票数 13
回答已采纳
我在谷歌上搜索了Peterson算法证明，并注意到大多数网站都不会费心去证明进度要求，这是为什么？有人能解释一下吗？
浏览 0提问于2013-10-15得票数 0
在数据自动化系统中，何谓barrier(CLK_GLOBAL_MEM_FENCE) (OpenCL)？做__syncthreads()就足够了，还是__threadfence()对于全局内存围栏是必要的，还是两者都需要？
浏览 0提问于2018-08-16得票数 0
回答已采纳
不同线程中的内存屏障之间的相互作用是什么？ 更具体地说，线程中的内存围栏是否只阻止线程内指令的重新排序，或者线程之间是否存在同步，就像一个线程等待到另一个线程中的相应围栏为止？如果多个线程具有相同类型的栅栏，并且多个线程具有成对的栅栏，会发生什么情况？哪种类型的栅栏需要在线程之间配对，以及如何使用它们？如果使用内存屏障的代码以单线程方式运行，会有什么影响？
浏览 24提问于2020-12-08得票数 0
1回答
这些记忆屏障是必要的吗？
、、、
据我所知，内存障碍的目的是防止在两个不同变量之间重新排序内存操作。2存储操作进行重新排序，并在Thread 1中重新排序2 load操作。# Thread 1acquire_fencex = 42;f = 1;在我看来，这些情况之间的主要区别在于，在经典示例中，我们使用内存屏障，因为我们处
浏览 9提问于2022-03-28得票数 4
2回答
是否需要一组获取/释放屏障，或者线程是否通过使用互斥来隐式同步？如果我不使用互斥锁(但要确保独占访问)怎么办？还有:栅栏是否真的在没有交错/后续原子操作的情况下执行任何操作(例如，在atomic_bool中存储标志，发出“就绪”信号等)？
浏览 1提问于2015-11-16得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
云直播活动推荐
腾讯云开发者
