草庐IT

c# - 半栅栏和全栅栏？

coder 2024-05-25 原文

我一直在阅读Full fences可以防止任何类型的指令在该围栏周围重新排序或缓存(通过memoryBarrier)

然后，我阅读了有关生成“半栅栏”的volatile的信息:

The volatile keyword instructs the compiler to generate an acquire-fence on every read from that field, and a release-fence on every write to that field.



获得栅栏

An acquire-fence prevents other reads/writes from being moved before the fence;



释放栅栏

A release-fence prevents other reads/writes from being moved after the fence.



有人可以用简单的英语给我解释这两个句子吗？

(篱笆在哪里？)

编辑

在这里得到一些答案之后-我已经绘制了一张可以帮助所有人的图纸-我认为。

http://i.stack.imgur.com/A5F7P.jpg

最佳答案

您所指的措辞看起来像我经常使用的措辞。规范虽然这样说:

  • 对volatile字段的读取称为volatile读取。 volatile 读取具有“获取语义”。也就是说，保证在指令序列中发生在对内存的任何引用之前。
  • volatile 字段的写入称为 volatile 写入。 volatile 写入具有“释放语义”。即，保证在指令序列中的写入指令之前的任何存储器引用之后发生。

    • 但是，我通常会使用您在问题中引用的措辞，因为我想将重点放在可以移动指令的事实上。您引用的措辞与规范是等效的。

    我将举几个例子。在这些示例中，我将使用一种特殊的符号，该符号使用↑箭头指示释放围栏，并使用↓箭头指示获取围栏。不允许任何其他指令向下 float 超过↑箭头或向上 float 超过↓箭头。将箭头视为排斥一切。

    考虑下面的代码。
    static int x = 0;
static int y = 0;

static void Main()
{
  x++
  y++;
}

    将其重写以显示各个指令将如下所示。
    static void Main()
{
  read x into register1
  increment register1
  write register1 into x
  read y into register1
  increment register1
  write register1 into y
}

    现在，由于在此示例中没有内存障碍，因此C#编译器，JIT编译器或硬件可以自由地以许多不同的方式对其进行优化，只要执​​行线程感知到的逻辑顺序与物理顺序一致即可。这是一种这样的优化。注意如何交换对x和y的读写。
    static void Main()
{
  read y into register1
  read x into register2
  increment register1
  increment register2
  write register1 into y
  write register2 into x
}

    现在，这次将这些变量更改为volatile。我将使用箭头符号标记内存障碍。注意如何保留对x和y的读写顺序。这是因为指令无法越过我们的障碍(以↓和↑箭头表示)。现在，这很重要。注意，仍然允许x指令的增量和写入向下 float ，而y的读取向上 float 。这仍然是有效的，因为我们使用的是半栅栏。
    static volatile int x = 0;
static volatile int y = 0;

static void Main()
{
  read x into register1
  ↓    // volatile read
  read y into register2
  ↓    // volatile read
  increment register1
  increment register2
  ↑    // volatile write
  write register1 into x
  ↑    // volatile write
  write register2 into y
}

    这是一个非常琐碎的例子。看看我的答案here，了解volatile如何在双重检查模式中有所作为的一个重要例子。我使用了与此处相同的箭头符号，以使可视化变得容易。

    现在，我们还有Thread.MemoryBarrier方法可以使用。它会生成一个完整的围栏。因此，如果我们使用箭头符号，则可以直观地看到它的工作方式。

    考虑这个例子。
    static int x = 0;
static int y = 0;

static void Main
{
  x++;
  Thread.MemoryBarrier();
  y++;
}

    如果我们要像以前一样显示各个说明，则该内容应如下所示。注意，现在完全禁止了指令移动。在不损害指令逻辑顺序的情况下，实际上没有其他方法可以执行此操作。
    static void Main()
{
  read x into register1
  increment register1
  write register1 into x
  ↑    // Thread.MemoryBarrier
  ↓    // Thread.MemoryBarrier
  read y into register1
  increment register1
  write register1 into y
}

    好，再举一个例子。这次让我们使用VB.NET。 VB.NET没有volatile关键字。那么，我们如何模仿VB.NET中的 volatile 读取？我们将使用Thread.MemoryBarrier .1
    Public Function VolatileRead(ByRef address as Integer) as Integer
  Dim local = address
  Thread.MemoryBarrier()
  Return local
End Function

    这就是我们用箭头表示的样子。
    Public Function VolatileRead(ByRef address as Integer) as Integer
  read address into register1
  ↑    // Thread.MemoryBarrier
  ↓    // Thread.MemoryBarrier
  return register1
End Function

    重要的是要注意，由于我们要模仿 volatile 读取，因此必须在实际读取之后放置对Thread.MemoryBarrier的调用。不要陷入这样的陷阱: volatile 读意味着“新读”，而 volatile 写意味着“已提交”。这不是它的工作方式，当然也不是该规范描述的内容。

    更新:

    引用图片。

    wait! I am verifing that all the Writes are finished!



    和

    wait! I am verifying that all the consumers have got the current value!



    这就是我在说的陷阱。这些陈述并不完全准确。是的，在硬件级别实现的内存屏障可以使高速缓存一致性行同步，结果，上面的陈述对于发生的情况可能有些准确。但是，volatile只不过限制了指令的移动。规范说没有关于从内存加载值或将其存储到内存屏障所在位置的。

    1当然已经有内置的Thread.VolatileRead了。您会注意到它的实现与我在此处所做的完全相同。

    关于c# - 半栅栏和全栅栏？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/10589654/

    栅栏c#coderegistervolatile.netmultithreading

    有关c# - 半栅栏和全栅栏？的更多相关文章

    1. c# - 如何在 ruby​​ 中调用 C# dll？ - 2

      如何在ruby​​中调用C#dll？ 最佳答案 我能想到几种可能性:为您的DLL编写(或找人编写)一个COM包装器，如果它还没有，则使用Ruby的WIN32OLE库来调用它；看看RubyCLR,其中一位作者是JohnLam，他继续在Microsoft从事IronRuby方面的工作。(估计不会再维护了，可能不支持.Net2.0以上的版本)；正如其他地方已经提到的，看看使用IronRuby，如果这是您的技术选择。有一个主题是here.请注意，最后一篇文章实际上来自JohnLam(看起来像是2009年3月)，他似乎很自在地断言RubyCL

    2. C# 到 Ruby sha1 base64 编码 - 2

      我正在尝试在Ruby中复制Convert.ToBase64String()行为。这是我的C#代码:varsha1=newSHA1CryptoServiceProvider();varpasswordBytes=Encoding.UTF8.GetBytes("password");varpasswordHash=sha1.ComputeHash(passwordBytes);returnConvert.ToBase64String(passwordHash);//returns"W6ph5Mm5Pz8GgiULbPgzG37mj9g="当我在Ruby中尝试同样的事情时，我得到了相同sha

    3. 基于C#实现简易绘图工具【100010177】 - 2

      C#实现简易绘图工具一.引言实验目的:通过制作窗体应用程序(C#画图软件),熟悉基本的窗体设计过程以及控件设计,事件处理等,熟悉使用C#的winform窗体进行绘图的基本步骤,对于面向对象编程有更加深刻的体会.Tutorial任务设计一个具有基本功能的画图软件**·包括简单的新建文件,保存,重新绘图等功能**·实现一些基本图形的绘制,包括铅笔和基本形状等,学习橡皮工具的创建**·设计一个合理舒适的UI界面**注明:你可能需要先了解一些关于winform窗体应用程序绘图的基本知识,以及关于GDI+类和结构的知识二.实验环境Windows系统下的visualstudio2017C#窗体应用程序三.

    4. c# - C# 中的 Flatten Ruby 方法 - 2

      我如何做Ruby方法"Flatten"RubyMethod在C#中。此方法将锯齿状数组展平为一维数组。例如:s=[1,2,3]#=>[1,2,3]t=[4,5,6,[7,8]]#=>[4,5,6,[7,8]]a=[s,t,9,10]#=>[[1,2,3],[4,5,6,[7,8]],9,10]a.flatten#=>[1,2,3,4,5,6,7,8,9,10 最佳答案 递归解决方案:IEnumerableFlatten(IEnumerablearray){foreach(variteminarray){if(itemisIEnume

    5. ruby - 可以像在 C# 中使用#region 一样在 Ruby 中使用 begin/end 吗？ - 2

      我最近从C#转向了Ruby，我发现自己无法制作可折叠的标记代码区域。我只是想到做这种事情应该没问题:classExamplebegin#agroupofmethodsdefmethod1..enddefmethod2..endenddefmethod3..endend...但是这样做真的可以吗？method1和method2最终与method3是同一种东西吗？还是有一些我还没有见过的用于执行此操作的Ruby惯用语？ 最佳答案 正如其他人所说，这不会改变方法定义。但是，如果要标记方法组，为什么不使用Ruby语义来标记它们呢？您可以使用

    6. c# - Ruby 等效于 C# Linq 聚合方法 - 2

      什么是Linq聚合方法的ruby​​等价物。它的工作原理是这样的varfactorial=new[]{1,2,3,4,5}.Aggregate((acc,i)=>acc*i);每次将数组序列中的值传递给lambda时，变量acc都会累积。 最佳答案 这在数学以及几乎所有编程语言中通常称为折叠。它是更普遍的变形概念的一个实例。Ruby从Smalltalk中继承了这个特性的名称，它被称为inject:into:(像aCollectioninject:aStartValueinto:aBlock一样使用。)所以，在Ruby中，它称为inj

    7. c# - 先学什么？ - 2

      关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题？更新问题，以便editingthispost可以用事实和引用来回答它.关闭8年前。Improvethisquestion几年前我去学校学习编程，毕业后我找到了一份系统管理方面的工作，这就是我职业生涯的方向。我想重新开始某种开发，并且一直在“玩”C#和ASP.NET，但我已经听到很多关于其他"new"语言的讨论(新的意思是它们是新的)我)喜欢Ruby和F#。我想我想知道我是否在浪费时间学习主要的MS语言，而不是成为一名通才。很长一段时间没有离开开发社区(如果我曾经离开过的话)让我在潮流中挣扎，我不想落在时代的

    8. c# - 在 C# 中重现 Ruby OpenSSL private_encrypt 输出 - 2

      我有一个简单的Ruby脚本，我用它在某些HTTPheader上执行private_encrypt以签署要发送到ruby​​RESTAPI的Web请求，该API会根据Base64编码字符串测试Base64编码字符串生成而不是解码Base64和解密数据然后测试原始字符串。我使用的脚本是require"openssl"require"base64"path_to_cert=ARGV[0].dupplain_text=Base64.decode64(ARGV[1].dup)private_key=OpenSSL::PKey::RSA.new(File.read(path_to_cert))pu

    9. C# 的 LINQ 用于在 ruby​​ 中等效的集合操作 - 2

      我是ruby​​开发的新手，我目前正在使用rails2.3.11在ruby​​1.8.7中开发一个项目，我想知道这种语言是否有与C#的linq等效的集合操作，例如where子句。谢谢。 最佳答案 Ruby中Linq的where等价于find_all检查documentationfortheEnumerableModule用于其他功能。 关于C#的LINQ用于在ruby​​中等效的集合操作，我们在StackOverflow上找到一个类似的问题： https://

    10. c# - 将 Ruby 的时间转换为 C# - 2

      我正在尝试转换Ruby的time到C#，但我现在卡住了。这是我的尝试:publicstaticclassExtensions{publicstaticvoidTimes(thisInt32times,WhatGoesHere?){for(inti=0;i我是C#的新手，也许这个应该很简单，而且我知道我想使用Extensionmethods。但由于函数在C#中不是“第一类”，我现在被卡住了。那么，我应该为WhatGoesHere使用什么参数类型？ 最佳答案 您可以使用Action输入:publicstaticclassExtensio

    随机推荐