- r - 以节省内存的方式增长 data.frame
- ruby-on-rails - ruby/ruby on rails 内存泄漏检测
- android - 无法解析导入android.support.v7.app
- UNIX 域套接字与共享内存(映射文件)
阅读 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/
在 C 中: int a[10]; printf("%p\n", a); printf("%p\n", &a[0]); 产量: 0x7fff5606c600 0x7fff5606c600 这是我所期望
我一直在尝试运行此循环来更改基于数组的元素的位置,但出现以下错误。不太确定哪里出了问题。任何想法或想法!谢谢。 var population = [[98, 8, 45, 34, 56], [9, 1
我正在尝试获取一个 Ruby 数组数组并将其分组以计算其值。 数组有一个月份和一个 bool 值: array = [["June", false], ["June", false], ["June"
所以我们的目标是在遇到某个元素时将数组分割成子数组下面的示例 array.split("stop here") ["haii", "keep", "these in the same array bu
在this问题已经回答了两个表达式是相等的,但在这种情况下它们会产生不同的结果。对于给定的 int[] 分数,为什么会这样: Arrays.stream(scores) .forEac
我认为我需要的是哈希数组的数组,但我不知道如何制作它。 Perl 能做到吗? 如果是这样,代码会是什么样子? 最佳答案 perldoc perldsc是了解 Perl 数据结构的好文档。 关于arra
我遇到了这个问题,从 API 中我得到一个扩展 JSON,其中包含一个名为坐标的对象,该对象是一个包含数组 o 数组的数组。 为了更清楚地看这个例子: "coordinates": [
postgres 中有(v 9.5,如果重要的话): create table json_test( id varchar NOT NULL, data jsonb NOT NULL, PRIM
我用 echo "${array[@]}" 和 echo "${array[*]}" 得到了相同的结果。 如果我这样做: mkdir 假音乐; touch fakemusic/{Beatles,Sto
我正在尝试创建 typealias 对象的数组数组 - 但我收到“表达式类型不明确,没有更多上下文”编译错误。这是我的代码: typealias TestClosure = ((message: St
如果您在 Python 中创建一维数组,使用 NumPy 包有什么好处吗? 最佳答案 这完全取决于您打算如何处理数组。如果您所做的只是创建简单数据类型的数组并进行 I/O,array模块就可以了。 另
当我将数组推送到只有一个数组作为其唯一元素的数组数组时,为什么会得到这种数据结构? use v6; my @d = ( [ 1 .. 3 ] ); @d.push( [ 4 .. 6 ] ); @d.
在 Julia 中,我想将定义为二维数组向量的数据转换为二维矩阵数组。 如下例所述,我想把数据s转换成数据t,但是至今没有成功。 我该如何处理这个案子? julia> s = [[1 2 3], [4
C 没有elementsof 关键字来获取数组的元素数。所以这通常由计算 sizeof(Array)/sizeof(Array[0]) 代替但这需要重复数组变量名。1[&Array] 是指向数组后第一
所以,假设我有一个像这样的(愚蠢的)函数: function doSomething(input: number|string): boolean { if (input === 42 || in
我有以下数组: a = [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16] 我将它用于一些像这样的视觉内容: 1 2 3 4 5 6 7 8 9 10
我想知道数组中的 .toList 与 .to[List] 之间有什么区别。我在spark-shell中做了这个测试,结果没有区别,但我不知道用什么更好。任何意见? scala> val l = Arr
我很难获得完全相同对象的多个元素的当前元素索引: $b = "A","D","B","D","C","E","D","F" $b | ? { $_ -contains "D" } 替代版本: $b =
我正在尝试使用来自我的 API 的 v-select 执行 options,我将数据放在数组数组中。 Array which I got from API 它应该是一个带有搜索的 select,因为它
这个问题在这里已经有了答案: String literals: pointer vs. char array (1 个回答) 4 个月前关闭。 当我执行下一个代码时 int main() {
我是一名优秀的程序员,十分优秀!