草庐IT

go - 在没有锁的情况下并发读取函数指针是否安全？

coder 2024-07-09 原文

假设我有这个:

go func() {
    for range time.Tick(1 * time.Millisecond) {
        a, b = b, a
    }
}()

其他地方:

i := a // <-- Is this safe?

对于这个问题，i 相对于原始 a 或 b 的值是什么并不重要。唯一的问题是阅读 a 是否安全。也就是说，a 是否有可能为 nil、部分分配、无效、未定义……除有效值之外的任何值？

I've tried to make it fail但到目前为止它总是成功(在我的 Mac 上)。

我无法在 The Go Memory Model 中找到除此引用之外的任何具体信息文档:

Reads and writes of values larger than a single machine word behave as multiple machine-word-sized operations in an unspecified order.

这是否意味着单个机器字写入实际上是原子的？如果是这样，Go 中的函数指针写入是否是单个机器字操作？

更新:这是a properly synchronized solution

最佳答案

来自多个 goroutine 的不同步、并发访问任何变量，其中至少有一个是写入是未定义的行为 The Go Memory Model .

Undefined 就是它所说的:undefined。您的程序可能会正常运行，也可能会运行不正常。它可能会导致丢失内存和 Go 运行时提供的类型安全性(参见下面的示例)。它甚至可能使您的程序崩溃。或者它甚至可能导致地球爆炸(这种可能性极小，甚至可能小于 1e-40，但仍然......)。

在你的情况下，这 undefined 意味着是的，i 可能是 nil，部分分配，无效，未定义，......任何其他比a 或b。此列表只是所有可能结果的一小部分。

不要再认为某些数据竞争是(或可能是)良性或无害的。如果无人看管，它们可能会成为最糟糕事情的根源。

由于您的代码在一个 goroutine 中写入变量 a 并在另一个 goroutine 中读取它(它试图将其值分配给另一个变量 i)，它是一个数据比赛，因此不安全。在您的测试中它是否“正确”工作并不重要。可以将您的代码作为起点，在其上扩展/构建，并由于您最初的“无害”数据竞争而导致灾难。

相关问题，阅读How safe are Golang maps for concurrent Read/Write operations?和 Incorrect synchronization in go lang .

强烈推荐阅读 Dmitry Vyukov 的博文:Benign data races: what could possibly go wrong?

还有一篇非常有趣的博客文章，其中展示了一个通过故意数据竞争破坏 Go 内存安全的示例:Golang data races to break memory safety

关于go - 在没有锁的情况下并发读取函数指针是否安全？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/52689901/

go在codenoreferrernoopenerconcurrencygoroutine

有关go - 在没有锁的情况下并发读取函数指针是否安全？的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. ruby - 难道Lua没有和Ruby的method_missing相媲美的东西吗？ - 2

    我好像记得Lua有类似Ruby的method_missing的东西。还是我记错了？ 最佳答案 表的metatable的__index和__newindex可以用于与Ruby的method_missing相同的效果。 关于ruby-难道Lua没有和Ruby的method_missing相媲美的东西吗？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.com/questions/7732154/

  3. ruby-on-rails - rails 目前在重启后没有安装 - 2

    我有一个奇怪的问题:我在rvm上安装了ruby​​onrails。一切正常，我可以创建项目。但是在我输入“railsnew”时重新启动后，我有“程序'rails'当前未安装。”。SystemUbuntu12.04ruby-v"1.9.3p194"gemlistactionmailer(3.2.5)actionpack(3.2.5)activemodel(3.2.5)activerecord(3.2.5)activeresource(3.2.5)activesupport(3.2.5)arel(3.0.2)builder(3.0.0)bundler(1.1.4)coffee-rails(

  4. ruby - 默认情况下使选项为 false - 2

    这是在Ruby中设置默认值的常用方法:classQuietByDefaultdefinitialize(opts={})@verbose=opts[:verbose]endend这是一个容易落入的陷阱:classVerboseNoMatterWhatdefinitialize(opts={})@verbose=opts[:verbose]||trueendend正确的做法是:classVerboseByDefaultdefinitialize(opts={})@verbose=opts.include?(:verbose)?opts[:verbose]:trueendend编写Verb

  5. ruby - 检查数组是否在增加 - 2

    这个问题在这里已经有了答案:Checktoseeifanarrayisalreadysorted?(8个答案)关闭9年前。我只是想知道是否有办法检查数组是否在增加？这是我的解决方案，但我正在寻找更漂亮的方法:n=-1@arr.flatten.each{|e|returnfalseife

  6. ruby - 如何使用 Ruby aws/s3 Gem 生成安全 URL 以从 s3 下载文件 - 2

    我正在编写一个小脚本来定位aws存储桶中的特定文件，并创建一个临时验证的url以发送给同事。(理想情况下，这将创建类似于在控制台上右键单击存储桶中的文件并复制链接地址的结果)。我研究过回形针，它似乎不符合这个标准，但我可能只是不知道它的全部功能。我尝试了以下方法:defauthenticated_url(file_name,bucket)AWS::S3::S3Object.url_for(file_name,bucket,:secure=>true,:expires=>20*60)end产生这种类型的结果:...-1.amazonaws.com/file_path/file.zip.A

  7. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

    我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem，所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

  8. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词，但有时效果很好，在某些情况下会出现此错误？这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊，我找到了!gsub!是一个非常奇怪的方法。首先，它替换了字符串，所以它实际上修改了

  9. ruby - 检查字符串是否包含散列中的任何键并返回它包含的键的值 - 2

    我有一个包含多个键的散列和一个字符串，该字符串不包含散列中的任何键或包含一个键。h={"k1"=>"v1","k2"=>"v2","k3"=>"v3"}s="thisisanexamplestringthatmightoccurwithakeysomewhereinthestringk1(withspecialcharacterslike(^&*$#@!^&&*))"检查s是否包含h中的任何键的最佳方法是什么，如果包含，则返回它包含的键的值？例如，对于上面的h和s的例子，输出应该是v1。编辑:只有字符串是用户定义的。哈希将始终相同。 最佳答案

  10. ruby-on-rails - Ruby 检查日期时间是否为 iso8601 并保存 - 2

    我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby​​是否有特定方法，但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗？编辑解释我的环境，并改变问题的范围。因此，我的项目将使用jsapiFullCalendar，这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么，以正确的格式将日期保存在数据库中，或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查

随机推荐