锁定等待@synchronized

Question

我有这个(罕见的)奇怪的情况,我的Objective-c iOS程序正在锁定.当我进入调试器时,有两个线程,它们都被卡在@synchronized().

除非我完全误解@synchronized,否则我认为这不可能和命令的全部要点.

我有一个主线程和工作线程都需要访问SQLite数据库,所以我换的代码正在访问的@synchronized(MYDATABASE)块DB中的块.除了db访问之外,这些块中没有其他事情发生.

我也使用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]是可以的,不会导致死锁.我发现的是该规则的例外.以下一系列事件将导致死锁,并且极难追查.

1. 线程1进入-printEight并获取锁定.
2. 线程2进入-printSomethingElse并尝试获取锁定.锁由线程1保持,因此它被排队等待锁可用并阻塞.
3. 线程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.");