锁定等待@synchronized

时间:2012-04-15 15:39:52

标签: objective-c ios sqlite

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

除非我完全误解@synchronized,否则我认为这不可能和命令的全部内容。

我有一个主线程和工作线程都需要访问sqlite数据库,因此我将在@synchronized(myDatabase)块中包含访问数据库的代码块。除了db访问之外,这些块中没有其他事情发生。

我也使用FMDatabase框架访问sqlite,我不知道是否重要。

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

1 个答案:

答案 0 :(得分:5)

我知道我迟到了这个派对,但是我发现@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阻塞。死锁。
  4. 看来这个功能是使用@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.");