objective-c - 锁定等待@synchronized

我有这种(罕见的)奇怪的情况，我的 Objective-c iOS 程序被锁定了。当我闯入调试器时，有两个线程并且它们都卡在 @synchronized() 上。

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

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

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

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

最佳答案

我知道我迟到了，但我发现了 @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 进入 -printEight 并获取锁。

线程 2 输入 -printSomethingElse 并尝试获取锁。该锁由线程 1 持有，因此它会排队等待，直到该锁可用并阻塞。

线程 1 输入 -getNumberEight 并尝试获取锁。锁已经被持有，其他人在队列中等待下一个获取它，所以线程 1 阻塞。僵局。

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

下次在代码中遇到死锁时，请检查每个线程上的调用堆栈，以查看是否有一个死锁线程已经持有锁。在上面的示例代码中，通过在 A、B 和 C 点添加长时间休眠，可以以几乎 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.");

关于objective-c - 锁定等待@synchronized，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/10163456/

Synchronized

objective-c - 锁定等待@synchronized