根据官方doc(强调我的):
PTHREAD_MUTEX_ROBUST
如果进程包含拥有的线程 一个强大的互斥锁终止,同时持有互斥锁,下一个 获取互斥锁 的线程将被通知终止 来自锁定函数的返回值[EOWNERDEAD]。如果 拥有一个强大的互斥锁的线程终止,同时持有互斥锁 锁定,下一个获取互斥锁 的线程会被通知 返回值[EOWNERDEAD]终止......
该文档似乎特别区分了进程外和进程内线程终止的情况,并选择了 和 可能 仔细。这是否意味着在进程外情况下强制性是强制性的,但在进程内情况下是可选的(这可能会导致死锁)?