草庐IT

arrays - 如果数组是值类型并因此被复制,那么它们为什么不是线程安全的?

coder 2023-07-16 原文

阅读 this我了解到:

Instances of value types are not shared: every thread gets its own copy.* That means that every thread can read and write to its instance without having to worry about what other threads are doing.

然后我被带到this答案及其评论

并被告知:

an array, which is not, itself, thread-safe, is being accessed from multiple threads, so all interactions must be synchronized.

关于每个线程都有自己的副本有人告诉我

if one thread is updating an array (presumably so you can see that edit from another queue), that simply doesn't apply

那根本不适用 <-->

我最初认为所有这一切都是因为数组,即值类型被包装到一个类中,但令我惊讶的是我被告知不是真的!所以我又回到了 Swift 101 :D

最佳答案

根本问题是“每个线程都有自己的副本”的解释。

是的,我们经常使用值类型来确保线程安全,方法是为每个线程提供其自己的对象副本(例如数组)。但这与声称值类型保证每个线程都将获得自己的副本不是一回事。

具体来说,使用闭包,多个线程可以尝试改变相同的值类型对象。下面的代码示例显示了一些与 Swift Array 值类型交互的非线程安全代码:

let queue = DispatchQueue.global()

var employees = ["Bill", "Bob", "Joe"]

queue.async {
    let count = employees.count
    for index in 0 ..< count {
        print("\(employees[index])")
        Thread.sleep(forTimeInterval: 1)
    }
}

queue.async { 
    Thread.sleep(forTimeInterval: 0.5)
    employees.remove(at: 0)
}

(您通常不会添加 sleep 调用;我只是将它们添加到显性竞争条件中,否则很难重现。您也不应该像这样从多个线程中改变一个对象同步,但我这样做是为了说明问题。)

在这些 async 调用中,您仍然指的是之前定义的相同 employees 数组。所以,在这个特定的例子中,我们会看到它输出“Bill”,它会跳过“Bob”(即使它被删除的是“Bill”),它会输出“Joe”(现在是第二个项目),并且然后它会崩溃尝试访问数组中的第三个项目,现在只剩下两个项目。

现在,我在上面说明的所有内容是,单个值类型可以在被另一个线程使用时被一个线程改变,从而违反了线程安全。当编写非线程安全的代码时,实际上会出现一系列更基本的问题,但以上只是一个稍微做作的例子。

但是,您可以通过向第一个 async 调用添加“捕获列表”来表明您想要使用原始 employees 数组的副本:

queue.async { [employees] in
    ...
}

或者,如果您将此值类型作为参数传递给另一个方法,您将自动获得此行为:

doSomethingAsynchronous(with: employees) { result in
    ...
}

在这两种情况中的任何一种情况下,您都会享受值语义并看到原始数组的副本(或写时复制),尽管原始数组可能已在其他地方发生了变化。

归根结底,我的观点只是值类型不能保证每个线程都有自己的副本。 Array 类型不是(许多其他可变值类型也是)线程安全的。但是,与所有值类型一样,Swift 提供了简单的机制(其中一些是完全自动和透明的),可以为每个线程提供自己的副本,从而更容易编写线程安全的代码。


这是另一个值类型的示例,它使问题更加明显。这是一个示例,其中未能编写线程安全代码会返回语义上无效的对象:

let queue = DispatchQueue.global()

struct Person {
    var firstName: String
    var lastName: String
}

var person = Person(firstName: "Rob", lastName: "Ryan")

queue.async {
    Thread.sleep(forTimeInterval: 0.5)
    print("1: \(person)")
}

queue.async { 
    person.firstName = "Rachel"
    Thread.sleep(forTimeInterval: 1)
    person.lastName = "Moore"
    print("2: \(person)")
}

在这个例子中,第一个打印语句实际上是“Rachel Ryan”,它既不是“Rob Ryan”也不是“Rachel Moore”。简而言之,我们正在检查处于内部不一致状态的 Person

但是,同样,我们可以使用捕获列表来享受值语义:

queue.async { [person] in
    Thread.sleep(forTimeInterval: 0.5)
    print("1: \(person)")
}

在这种情况下,它会说“Rob Ryan”,而没有注意到原来的 Person 可能正处于被另一个线程变异的过程中。 (显然,仅通过在第一个 async 调用中使用值语义并不能解决真正的问题,而是要同步第二个 async 调用和/或在那里使用值语义。 )

关于arrays - 如果数组是值类型并因此被复制,那么它们为什么不是线程安全的?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41350772/

有关arrays - 如果数组是值类型并因此被复制,那么它们为什么不是线程安全的?的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby - 在 Ruby 中实现 `call_user_func_array` - 2

    我怎样才能完成http://php.net/manual/en/function.call-user-func-array.php在ruby中?所以我可以这样做:classAppdeffoo(a,b)putsa+benddefbarargs=[1,2]App.send(:foo,args)#doesn'tworkApp.send(:foo,args[0],args[1])#doeswork,butdoesnotscaleendend 最佳答案 尝试分解数组App.send(:foo,*args)

  3. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

  4. ruby-on-rails - 在 Ruby 中循环遍历多个数组 - 2

    我有多个ActiveRecord子类Item的实例数组,我需要根据最早的事件循环打印。在这种情况下,我需要打印付款和维护日期,如下所示:ItemAmaintenancerequiredin5daysItemBpaymentrequiredin6daysItemApaymentrequiredin7daysItemBmaintenancerequiredin8days我目前有两个查询,用于查找maintenance和payment项目(非排他性查询),并输出如下内容:paymentrequiredin...maintenancerequiredin...有什么方法可以改善上述(丑陋的)代

  5. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们? - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  6. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  7. ruby - 多次弹出/移动 ruby​​ 数组 - 2

    我的代码目前看起来像这样numbers=[1,2,3,4,5]defpop_threepop=[]3.times{pop有没有办法在一行中完成pop_three方法中的内容?我基本上想做类似numbers.slice(0,3)的事情,但要删除切片中的数组项。嗯...嗯,我想我刚刚意识到我可以试试slice! 最佳答案 是numbers.pop(3)或者numbers.shift(3)如果你想要另一边。 关于ruby-多次弹出/移动ruby​​数组,我们在StackOverflow上找到一

  8. ruby - 将数组的内容转换为 int - 2

    我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值,但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗?ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案 只需将数组映射为整数:@land边注如果你想得到一条线的平均值,你可以这样做:values=@input[x]

  9. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  10. ruby-on-rails - 如果为空或不验证数值,则使属性默认为 0 - 2

    我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初,我将所有3列的:default=>0放在表格中,但我不想要这样,因为它已经填充了字段,我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val

随机推荐