0

这是我之前的问题( pthread mutex (un)locking over different threads )的后续问题。我对如何处理这里的问题和答案感到困惑,所以我再试一次:o)

我正在尝试通过进程和线程处理互斥锁,并使用互斥锁属性 PTHREAD_PROCESS_SHARED 来安排它。我添加了一个小示例(基于我之前帖子中的 Paolo 示例),它展示了我的问题:

#include <stddef.h>
#include <pthread.h>
#include <stdio.h>
#include <string.h>
#include <semaphore.h>

pthread_mutex_t m;
sem_t s1, s2;

void print(const char *s, int err)
{
    printf("%s %d %s\n", s, err, strerror(err));
}

void *start_t1(void *arg)
{
    sem_wait(&s1); // <-t2
    print("t1: unlock ", pthread_mutex_unlock(&m));
    sem_post(&s2); //->t2
}

void *start_t2(void *arg)
{
    sem_wait(&s2); // <-main
    print("t2: lock ", pthread_mutex_lock(&m));
    sem_post(&s1); // ->t1

    sem_wait(&s2); // <-t1
    sem_post(&s1); // ->main
}

void main(void)
{
    pthread_mutexattr_t mattr;
    pthread_mutexattr_init(&mattr);
    pthread_mutexattr_settype(&mattr, PTHREAD_MUTEX_ERRORCHECK_NP);
    pthread_mutexattr_setpshared(&mattr, PTHREAD_PROCESS_SHARED);

    sem_init(&s1, 0, 0);
    sem_init(&s2, 0, 0);

    print("main init", pthread_mutex_init(&m, &mattr));

    pthread_t t2, t1;
    pthread_create(&t1, NULL, start_t1, NULL);
    pthread_create(&t2, NULL, start_t2, NULL);

    sem_post(&s2); // ->t2
    sem_wait(&s1); // <-t2

    pthread_join(t1, NULL);
    pthread_join(t2, NULL);
}

输出是:

main init 0 Success
t2: lock  0 Success
t1: unlock  1 Operation not permitted

不允许 T1 解锁在 main 中初始化并由 T2 锁定的互斥锁。这不是我所期望的!由于 type ,应该允许 T1 解锁互斥锁PTHREAD_PROCESS_SHARED。我错了吗 ?

如果互斥锁初始化更改为使用默认属性 ( pthread_mutex_init(&m, **NULL**)),则它正在工作。

main init 0 Success
t2: lock  0 Success
t1: unlock  0 Success

似乎是某种颠倒的逻辑!

4

1 回答 1

4

决不允许线程解锁它没有锁定的 pthreads 互斥锁。对于错误检查互斥体的情况,在这种情况下会返回错误;在默认和普通互斥体的情况下,行为是未定义的。

的目的PTHREAD_PROCESS_SHARED是允许使用互斥锁来同步不同进程中的线程。

于 2013-07-23T14:02:15.347 回答