pthread_mutex_trylock 的 return 和 pthread_mutex_lock 的 return 有什么区别

Question

我阅读了pthread_mutex_lock 的 Linux 手册页和 OpenGroup 并得到以下信息：

如果成功，pthread_mutex_lock() 和 pthread_mutex_unlock() 函数应返回零，否则，错误号应为 返回以指示错误。

如果获得了对 mutex 引用的 mutex 对象的锁定，则 pthread_mutex_trylock() 函数应返回零。否则， 返回一个错误号来指示错误。

1. 我被这两行搞糊涂了。如果成功时都返回零，错误时返回非零，他们在哪里写了两行？
2. 我知道互斥锁可以锁定和解锁，但是获得互斥锁是什么意思？

Answer 1

在这种情况下获得互斥锁意味着当时没有线程持有锁。如果互斥锁是递归的，则对pthread_mutex_trylock() 的调用将成功，除非它已被递归锁定太多次。

您可以将pthread_mutex_trylock() 视为一个非阻塞调用，如果它被阻塞，它会返回一个错误而不是。如果它返回成功，则意味着您拥有锁，就像pthred_mutex_lock() 成功返回一样。如果它以EBUSY 失败，则意味着其他人正在持有锁。如果以EOWNERDEAD 失败，则锁被另一个线程持有，但该线程已经死亡（实际上获得锁成功，但当前数据状态可能不一致）。如果它以EAGAIN 失败，则它被递归锁定太多次。还有其他失败原因，但在这些情况下，尚未获得锁。

int error = pthread_mutex_trylock(&lock);
if (error == 0) {
    /*... have the lock */
    pthread_mutex_unlock(&lock);
} else if (error == EBUSY) {
    /*... failed to get the lock because another thread holds lock */
} else if (error == EOWNERDEAD) {
    /*... got the lock, but the critical section state may not be consistent */
    if (make_state_consistent_succeeds()) {
        pthread_mutex_consistent(&lock);
        /*... things are good now */
        pthread_mutex_unlock(&lock);
    } else {
        /*... abort()? */
    }
} else {
    switch (error) {
    case EAGAIN: /*... recursively locked too many times */
    case EINVAL: /*... thread priority higher than mutex priority ceiling */
    case ENOTRECOVERABLE:
                 /*... mutex suffered EOWNERDEAD, and is no longer consistent */
    default:
        /*...some other as yet undocumented failure reason */
    }
}

EAGAIN、EINVAL、ENOTRECOVERABLE 和 EOWNERDEAD 也与 pthread_mutex_lock() 一起出现。如需更多信息，请咨询documentation 和man page。