在完成处理程序中修改可变对象

Question

我对来自 Apple 的以下代码示例的线程安全有疑问（来自 GameKit 编程指南）

这是从游戏中心加载成就并保存在本地：

第 1 步）向您的类添加一个可变字典属性以报告成就。该字典存储成就对象的集合。

@property(nonatomic, retain) NSMutableDictionary *achievementsDictionary;

步骤 2) 初始化成就字典。

achievementsDictionary = [[NSMutableDictionary alloc] init];

第 3 步）修改加载成就数据的代码以将成就对象添加到字典中。

{
    [GKAchievement loadAchievementsWithCompletionHandler:^(NSArray *achievements, NSError *error)
        {
            if (error == nil)
            {
                for (GKAchievement* achievement in achievements)
                    [achievementsDictionary setObject: achievement forKey: achievement.identifier];
            }
        }];

我的问题如下-成就字典对象正在完成处理程序中被修改，没有任何排序锁。这是否允许，因为完成处理程序是 iOS 将保证在主线程上作为单元执行的工作块？并且永远不会遇到线程安全问题？

在另一个 Apple 示例代码 (GKTapper) 中，这部分的处理方式不同：

@property (retain) NSMutableDictionary* earnedAchievementCache; // note this is atomic

然后在处理程序中：

[GKAchievement loadAchievementsWithCompletionHandler: ^(NSArray *scores, NSError *error)
        {
            if(error == NULL)
            {
                NSMutableDictionary* tempCache= [NSMutableDictionary dictionaryWithCapacity: [scores count]];
                for (GKAchievement* score in scores)
                {
                    [tempCache setObject: score forKey: score.identifier];
                }
                self.earnedAchievementCache= tempCache;
            }
        }];

那么为什么会有不同的风格，一种方式比另一种更正确？

Answer 1

这是否允许，因为完成处理程序是 iOS 保证在主线程上作为单元执行的工作块？并且永远不会遇到线程安全问题？

这里绝对不是这种情况。 -loadAchievementsWithCompletionHandler: 的文档明确警告说，完成处理程序可能会在您开始加载的线程之外的线程上调用。

Apple 的“线程编程指南”将 NSMutableDictionary 归类为线程不安全的类，但将其限定为：“在大多数情况下，您可以在任何线程中使用这些类，只要您一次只能从一个线程中使用它们。”

因此，如果两个应用程序都设计为在工作任务完成更新之前不会使用成就缓存，则不需要同步。这是我认为第一个示例是安全的唯一方法，而且它是一种脆弱的安全性。

后一个示例看起来是依靠原子属性支持在旧缓存和新缓存之间进行切换。这应该是安全的，前提是对属性的所有访问都是通过其访问器而不是直接 ivar 访问。这是因为访问器相互之间是同步的，因此您不会冒险看到一半设置的值。此外，getter 保留并自动释放返回的值，因此旧版本的代码将能够完成使用它而不会崩溃，因为它是在其工作过程中释放的。非原子 getter 只是直接返回对象，这意味着如果另一个线程为该属性设置了新值，则可以从代码下将其释放。直接 ivar 访问可能会遇到同样的问题。

我会说后一个例子既正确又优雅，虽然可能有点过于微妙而没有注释来解释属性的原子性有多重要。