ios - GCD为什么在读取共享资源时要使用dispatch_sync

Question

当我读取共享资源时，我对使用 dispatch_sync 有一些疑问。 我在 Stack Overflow 上搜索了几个问题(例如: GCD dispatch_barrier or dispatch_sync? )，但没有找到确切的答案。

我不明白为什么要使用

- (void)addPhoto:(Photo *)photo
{
     if (photo) { // 1
        dispatch_barrier_async(self.concurrentPhotoQueue, ^{ // 2 
            [_photosArray addObject:photo]; // 3
            dispatch_async(dispatch_get_main_queue(), ^{ // 4
                [self postContentAddedNotification]; 
            });
        });
     }
}

- (NSArray *)photos
{
    __block NSArray *array; // 1
    dispatch_sync(self.concurrentPhotoQueue, ^{ // 2
        array = [NSArray arrayWithArray:_photosArray];
    });
    return array;
}

我知道为什么要使用dispatch_barrier_async，但是我不知道为什么在读取_photosArray时要使用dispatch_sync，我猜测是_photosArray<的写操作 在 self.concurrentPhotoQueue 中，所以 _photosArray 的读取操作也需要在 self.concurrentPhotoQueue 中，否则使用 dispatch_sync是为了实现多读？

如果我在进行读操作时不使用dispatch_sync会发生什么？如:

- (NSArray *)photos
{
    __block NSArray *array;
    array = [NSArray arrayWithArray:_photosArray];
    return array;
}

非常感谢!

Answer 1

可能concurrentPhotoQueue是一个串行队列。主要原因concurrentPhotoQueue就是同步访问photos数组。

由于它是串行的，因此来自该队列的所有访问都会被序列化，并且如果应用程序中没有来自其他队列/线程的访问，则不会发生竞争条件。

写访问可能是异步的，因为写者通常不需要写操作的结果。但读取必须同步完成，因为调用者必须等待结果。如果您photos方法将使用 dispatch_async它将结果写入 array 在photos之后方法已返回。因此，photos总是会返回nil .

您的 photos 的未同步版本可能会产生竞争条件:_photosArray可以在复制其内容时进行修改，使得复制的项目数和数组的长度不同。这可能会导致 arrayWithArray: 内部崩溃.