objective-c - 锁定等待@synchronized

Question

我有一个(罕见的)奇怪的情况，我的 objective-c iOS 程序被锁定。当我进入调试器时，有两个线程，它们都卡在 @synchronized() 上。

除非我完全误解了@synchronized，否则我不认为这是可能的以及命令的全部意义。

我有一个主线程和工作线程都需要访问 sqlite 数据库，所以我将访问数据库的代码块包装在 @synchronized(myDatabase) block 中。除了数据库访问之外，这些 block 中没有发生太多其他事情。

我也在使用 FMDatabase 框架来访问 sqlite，我不知道这是否重要。

myDatabase 是一个包含 FMDatabase 对象的全局变量。它在程序开始时创建一次。

Answer 1

我知道我来晚了，但我发现 @synchronized 处理不当的奇怪情况组合可能是您的问题的原因。除了更改代码以消除原因之外，我没有解决方案，一旦你知道它是什么。

我将在下面使用这段代码进行演示。

- (int)getNumberEight {
    @synchronized(_lockObject) {
        // Point A
        return 8;
    }
}

- (void)printEight {
    @synchronized(_lockObject) {
        // Point B
        NSLog(@"%d", [self getNumberEight]);
    }
}

- (void)printSomethingElse {
    @synchronized(_lockObject) {
        // Point C
        NSLog(@"Something Else.");
    }
}

通常，@synchronized 是递归安全锁。因此，调用 [self printEight] 是可以的，不会导致死锁。我发现的是该规则的一个异常(exception)。下面这一系列事件会造成死锁，极难追查。

1. 线程1进入-printEight并获取锁。
2. 线程 2 进入 -printSomethingElse 并尝试获取锁。锁由线程 1 持有，因此它排入队列等待锁可用并阻塞。
3. 线程 1 输入 -getNumberEight 并尝试获取锁。锁已经被持有，其他人在队列中等待下一个，所以线程 1 阻塞了。死锁。

看来此功能是使用 @synchronized 时希望限制饥饿的意外结果。锁只有在没有其他线程等待时才是递归安全的。

下次您在代码中遇到死锁时，请检查每个线程上的调用堆栈，看看是否有任何一个死锁线程已经持有锁。在上面的示例代码中，通过在 A、B 和 C 点添加长 sleep ，可以以几乎 100% 的一致性重新创建死锁。

编辑:

我无法再证明之前的问题，但有一个相关的情况仍然会导致问题。它与 dispatch_sync 的动态行为有关。

在这段代码中，有两次尝试递归地获取锁。第一个调用从主队列进入后台队列。第二次调用从后台队列进入主队列。

导致行为差异的是调度队列和线程之间的区别。第一个示例调用不同的队列，但从不更改线程，因此获取了递归互斥体。第二个在更改队列时更改线程，因此无法获取递归互斥锁。

要强调的是，此功能是设计使然，但对于一些不太了解 GCD 的人来说，它的行为可能出乎意料。

dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0);
NSObject *lock = [[NSObject alloc] init];
NSTimeInterval delay = 5;

NSLog(@"Example 1:");
dispatch_async(queue, ^{
    NSLog(@"Starting %d seconds of runloop for example 1.", (int)delay);
    [[NSRunLoop currentRunLoop] runUntilDate:[NSDate dateWithTimeIntervalSinceNow:delay]];
    NSLog(@"Finished executing runloop for example 1.");
});
NSLog(@"Acquiring initial Lock.");
@synchronized(lock) {
    NSLog(@"Acquiring recursive Lock.");
    dispatch_sync(queue, ^{
        NSLog(@"Deadlock?");
        @synchronized(lock) {
            NSLog(@"No Deadlock!");
        }
    });
}

NSLog(@"\n\nSleeping to clean up.\n\n");
sleep(delay);

NSLog(@"Example 2:");
dispatch_async(queue, ^{
    NSLog(@"Acquiring initial Lock.");
    @synchronized(lock) {
        NSLog(@"Acquiring recursive Lock.");
        dispatch_sync(dispatch_get_main_queue(), ^{
            NSLog(@"Deadlock?");
            @synchronized(lock) {
                NSLog(@"Deadlock!");
            }
        });
    }
});

NSLog(@"Starting %d seconds of runloop for example 2.", (int)delay);
[[NSRunLoop currentRunLoop] runUntilDate:[NSDate dateWithTimeIntervalSinceNow:delay]];
NSLog(@"Finished executing runloop for example 2.");