多线程编程指南

互斥锁属性

使用互斥锁(互斥)可以使线程按顺序执行。通常,互斥锁通过确保一次只有一个线程执行代码的临界段来同步多个线程。互斥锁还可以保护单线程代码。

要更改缺省的互斥锁属性,可以对属性对象进行声明和初始化。通常,互斥锁属性会设置在应用程序开头的某个位置,以便可以快速查找和轻松修改。表 4–1 列出了用来处理互斥锁属性的函数。

表 4–1 互斥锁属性例程

操作

相关函数说明

初始化互斥锁属性对象 

pthread_mutexattr_init 语法

销毁互斥锁属性对象 

pthread_mutexattr_destroy 语法

设置互斥锁范围 

pthread_mutexattr_setpshared 语法

获取互斥锁范围 

pthread_mutexattr_getpshared 语法

设置互斥锁的类型属性 

pthread_mutexattr_settype 语法

获取互斥锁的类型属性 

pthread_mutexattr_gettype 语法

设置互斥锁属性的协议 

pthread_mutexattr_setprotocol 语法

获取互斥锁属性的协议 

pthread_mutexattr_getprotocol 语法

设置互斥锁属性的优先级上限 

pthread_mutexattr_setprioceiling 语法

获取互斥锁属性的优先级上限 

pthread_mutexattr_getprioceiling 语法

设置互斥锁的优先级上限 

pthread_mutex_setprioceiling 语法

获取互斥锁的优先级上限 

pthread_mutex_getprioceiling 语法

设置互斥锁的强健属性 

pthread_mutexattr_setrobust_np 语法

获取互斥锁的强健属性 

pthread_mutexattr_getrobust_np 语法

表 4–2 中显示了在定义互斥范围时 Solaris 线程和 POSIX 线程之间的差异。

表 4–2 互斥锁范围比较

Solaris

POSIX

定义

USYNC_PROCESS

PTHREAD_PROCESS_SHARED

用于同步该进程和其他进程中的线程 

USYNC_PROCESS_ROBUST

无 POSIX 等效项 

用于在进程间可靠地同步线程

USYNC_THREAD

PTHREAD_PROCESS_PRIVATE

用于仅同步该进程中的线程 

初始化互斥锁属性对象

使用 pthread_mutexattr_init(3C) 可以将与互斥锁对象相关联的属性初始化为其缺省值。在执行过程中,线程系统会为每个属性对象分配存储空间。

pthread_mutexattr_init 语法

int	pthread_mutexattr_init(pthread_mutexattr_t *mattr);
#include <pthread.h>



pthread_mutexattr_t mattr;

int ret;



/* initialize an attribute to default value */

ret = pthread_mutexattr_init(&mattr); 

调用此函数时,pshared 属性的缺省值为 PTHREAD_PROCESS_PRIVATE。该值表示可以在进程内使用经过初始化的互斥锁。

mattr 的类型为 opaque,其中包含一个由系统分配的属性对象。mattr 范围可能的值为 PTHREAD_PROCESS_PRIVATEPTHREAD_PROCESS_SHAREDPTHREAD_PROCESS_PRIVATE 是缺省值。

对于互斥锁属性对象,必须首先通过调用 pthread_mutexattr_destroy(3C) 将其销毁,才能重新初始化该对象。pthread_mutexattr_init() 调用会导致分配类型为 opaque 的对象。如果未销毁该对象,则会导致内存泄漏。

pthread_mutexattr_init 返回值

pthread_mutexattr_init() 成功完成之后会返回零。其他任何返回值都表示出现了错误。如果出现以下情况,该函数将失败并返回对应的值。


ENOMEM

描述:

内存不足,无法初始化互斥锁属性对象。

销毁互斥锁属性对象

pthread_mutexattr_destroy(3C) 可用来取消分配用于维护 pthread_mutexattr_init() 所创建的属性对象的存储空间。

pthread_mutexattr_destroy 语法

int	pthread_mutexattr_destroy(pthread_mutexattr_t *mattr)
#include <pthread.h>

pthread_mutexattr_t mattr;

int ret;



/* destroy an attribute */

ret = pthread_mutexattr_destroy(&mattr); 

pthread_mutexattr_destroy 返回值

pthread_mutexattr_destroy() 成功完成之后会返回零。其他任何返回值都表示出现了错误。如果出现以下情况,该函数将失败并返回对应的值。


EINVAL

描述:

mattr 指定的值无效。

设置互斥锁的范围

pthread_mutexattr_setpshared(3C) 可用来设置互斥锁变量的作用域。

pthread_mutexattr_setpshared 语法

int	pthread_mutexattr_setpshared(pthread_mutexattr_t *mattr,

    int pshared);
#include <pthread.h>



pthread_mutexattr_t mattr;

int ret;



ret = pthread_mutexattr_init(&mattr);

/*

 * resetting to its default value: private

 */

ret = pthread_mutexattr_setpshared(&mattr,

     PTHREAD_PROCESS_PRIVATE);

互斥锁变量可以是进程专用的(进程内)变量,也可以是系统范围内的(进程间)变量。要在多个进程中的线程之间共享互斥锁,可以在共享内存中创建互斥锁,并将 pshared 属性设置为 PTHREAD_PROCESS_SHARED。 此行为与最初的 Solaris 线程实现中 mutex_init() 中的 USYNC_PROCESS 标志等效。

如果互斥锁的 pshared 属性设置为 PTHREAD_PROCESS_PRIVATE,则仅有那些由同一个进程创建的线程才能够处理该互斥锁。

pthread_mutexattr_setpshared 返回值

pthread_mutexattr_setpshared() 成功完成之后会返回零。其他任何返回值都表示出现了错误。如果出现以下情况,该函数将失败并返回对应的值。


EINVAL

描述:

mattr 指定的值无效。

获取互斥锁的范围

pthread_mutexattr_getpshared(3C) 可用来返回由 pthread_mutexattr_setpshared() 定义的互斥锁变量的范围。

pthread_mutexattr_getpshared 语法

int	pthread_mutexattr_getpshared(pthread_mutexattr_t *mattr,

    int *pshared);
#include <pthread.h>



pthread_mutexattr_t mattr;

int pshared, ret;



/* get pshared of mutex */

ret = pthread_mutexattr_getpshared(&mattr, &pshared); 

此函数可为属性对象 mattr 获取 pshared 的当前值。该值为 PTHREAD_PROCESS_SHAREDPTHREAD_PROCESS_PRIVATE

pthread_mutexattr_getpshared 返回值

pthread_mutexattr_getpshared() 成功完成之后会返回零。其他任何返回值都表示出现了错误。如果出现以下情况,该函数将失败并返回对应的值。


EINVAL

描述:

mattr 指定的值无效。

设置互斥锁类型的属性

pthread_mutexattr_settype(3C) 可用来设置互斥锁的 type 属性。

pthread_mutexattr_settype 语法

#include <pthread.h>



int pthread_mutexattr_settype(pthread_mutexattr_t  *attr , int type);

类型属性的缺省值为 PTHREAD_MUTEX_DEFAULT

type 参数指定互斥锁的类型。以下列出了有效的互斥锁类型:


PTHREAD_MUTEX_NORMAL

描述:

此类型的互斥锁不会检测死锁。如果线程在不首先解除互斥锁的情况下尝试重新锁定该互斥锁,则会产生死锁。尝试解除由其他线程锁定的互斥锁会产生不确定的行为。如果尝试解除锁定的互斥锁未锁定,则会产生不确定的行为。


PTHREAD_MUTEX_ERRORCHECK

描述:

此类型的互斥锁可提供错误检查。如果线程在不首先解除锁定互斥锁的情况下尝试重新锁定该互斥锁,则会返回错误。如果线程尝试解除锁定的互斥锁已经由其他线程锁定,则会返回错误。如果线程尝试解除锁定的互斥锁未锁定,则会返回错误。


PTHREAD_MUTEX_RECURSIVE

描述:

如果线程在不首先解除锁定互斥锁的情况下尝试重新锁定该互斥锁,则可成功锁定该互斥锁。 与 PTHREAD_MUTEX_NORMAL 类型的互斥锁不同,对此类型互斥锁进行重新锁定时不会产生死锁情况。多次锁定互斥锁需要进行相同次数的解除锁定才可以释放该锁,然后其他线程才能获取该互斥锁。如果线程尝试解除锁定的互斥锁已经由其他线程锁定,则会返回错误。 如果线程尝试解除锁定的互斥锁未锁定,则会返回错误。


PTHREAD_MUTEX_DEFAULT

描述:

如果尝试以递归方式锁定此类型的互斥锁,则会产生不确定的行为。对于不是由调用线程锁定的此类型互斥锁,如果尝试对它解除锁定,则会产生不确定的行为。对于尚未锁定的此类型互斥锁,如果尝试对它解除锁定,也会产生不确定的行为。允许在实现中将该互斥锁映射到其他互斥锁类型之一。对于 Solaris 线程,PTHREAD_PROCESS_DEFAULT 会映射到 PTHREAD_PROCESS_NORMAL

pthread_mutexattr_settype 返回值

如果运行成功,pthread_mutexattr_settype 函数会返回零。否则,将返回用于指明错误的错误号。


EINVAL

描述:

值为 type 无效。


EINVAL

描述:

attr 指定的值无效。

获取互斥锁的类型属性

pthread_mutexattr_gettype(3C) 可用来获取由 pthread_mutexattr_settype() 设置的互斥锁的 type 属性。

pthread_mutexattr_gettype 语法

#include <pthread.h>



int pthread_mutexattr_gettype(pthread_mutexattr_t  *attr , int  *type);

类型属性的缺省值为 PTHREAD_MUTEX_DEFAULT

type 参数指定互斥锁的类型。有效的互斥锁类型包括:

有关每种类型的说明,请参见pthread_mutexattr_settype 语法

pthread_mutexattr_gettype 返回值

如果成功完成,pthread_mutexattr_gettype() 会返回 0。其他任何返回值都表示出现了错误。

设置互斥锁属性的协议

pthread_mutexattr_setprotocol(3C) 可用来设置互斥锁属性对象的协议属性。

pthread_mutexattr_setprotocol 语法

#include <pthread.h>



int pthread_mutexattr_setprotocol(pthread_mutexattr_t *attr, int protocol);

attr 指示以前调用 pthread_mutexattr_init() 时创建的互斥锁属性对象。

protocol 可定义应用于互斥锁属性对象的协议。

pthread.h 中定义的 protocol 可以是以下值之一:PTHREAD_PRIO_NONEPTHREAD_PRIO_INHERITPTHREAD_PRIO_PROTECT

如果某个线程调用 sched_setparam() 来更改初始优先级,则调度程序不会采用新优先级将该线程移到调度队列末尾。

一个线程可以同时拥有多个混合使用 PTHREAD_PRIO_INHERITPTHREAD_PRIO_PROTECT 初始化的互斥锁。在这种情况下,该线程将以通过其中任一协议获取的最高优先级执行。

pthread_mutexattr_setprotocol 返回值

如果成功完成,pthread_mutexattr_setprotocol() 会返回 0。其他任何返回值都表示出现了错误。

如果出现以下任一情况,pthread_mutexattr_setprotocol() 将失败并返回对应的值。


ENOSYS

描述:

选项 _POSIX_THREAD_PRIO_INHERIT_POSIX_THREAD_PRIO_PROTECT 均未定义并且该实现不支持此函数。


ENOTSUP

描述:

protocol 指定的值不受支持。

如果出现以下任一情况,pthread_mutexattr_setprotocol() 可能会失败并返回对应的值。


EINVAL

描述:

attrprotocol 指定的值无效。


EPERM

描述:

调用方无权执行该操作。

获取互斥锁属性的协议

pthread_mutexattr_getprotocol(3C) 可用来获取互斥锁属性对象的协议属性。

pthread_mutexattr_getprotocol 语法

#include <pthread.h>



int pthread_mutexattr_getprotocol(const pthread_mutexattr_t *attr, 

											int *protocol);

attr 指示以前调用 pthread_mutexattr_init() 时创建的互斥锁属性对象。

protocol 包含以下协议属性之一:PTHREAD_PRIO_NONEPTHREAD_PRIO_INHERITPTHREAD_PRIO_PROTECT

pthread_mutexattr_getprotocol 返回值

如果成功完成,pthread_mutexattr_getprotocol() 会返回 0。其他任何返回值都表示出现了错误。

如果出现以下情况,pthread_mutexattr_getprotocol() 将失败并返回对应的值。


ENOSYS

描述:

_POSIX_THREAD_PRIO_INHERIT 选项和 _POSIX_THREAD_PRIO_PROTECT 选项均未定义并且该实现不支持此函数。

如果出现以下任一情况,pthread_mutexattr_getprotocol() 可能会失败并返回对应的值。


EINVAL

描述:

attr 指定的值无效。


EPERM

描述:

调用方无权执行该操作。

设置互斥锁属性的优先级上限

pthread_mutexattr_setprioceiling(3C) 可用来设置互斥锁属性对象的优先级上限属性。

pthread_mutexattr_setprioceiling 语法

#include <pthread.h>



int pthread_mutexattr_setprioceiling(pthread_mutexatt_t *attr, 

				int prioceiling, int *oldceiling);

attr 指示以前调用 pthread_mutexattr_init() 时创建的互斥锁属性对象。

prioceiling 指定已初始化互斥锁的优先级上限。优先级上限定义执行互斥锁保护的临界段时的最低优先级。prioceiling 位于 SCHED_FIFO 所定义的优先级的最大范围内。要避免优先级倒置,请将 prioceiling 设置为高于或等于可能会锁定特定互斥锁的所有线程的最高优先级。

oldceiling 包含以前的优先级上限值。

pthread_mutexattr_setprioceiling 返回值

如果成功完成,pthread_mutexattr_setprioceiling() 会返回 0。其他任何返回值都表示出现了错误。

如果出现以下任一情况,pthread_mutexattr_setprioceiling() 将失败并返回对应的值。


ENOSYS

描述:

选项 _POSIX_THREAD_PRIO_PROTECT 未定义并且该实现不支持此函数。

如果出现以下任一情况,pthread_mutexattr_setprioceiling() 可能会失败并返回对应的值。


EINVAL

描述:

attrprioceiling 指定的值无效。


EPERM

描述:

调用方无权执行该操作。

获取互斥锁属性的优先级上限

pthread_mutexattr_getprioceiling(3C) 可用来获取互斥锁属性对象的优先级上限属性。

pthread_mutexattr_getprioceiling 语法

#include <pthread.h>



int pthread_mutexattr_getprioceiling(const pthread_mutexatt_t *attr, 

						int *prioceiling);

attr 指定以前调用 pthread_mutexattr_init() 时创建的属性对象。


注 –

仅当定义了 _POSIX_THREAD_PRIO_PROTECT 符号时,attr 互斥锁属性对象才会包括优先级上限属性。


pthread_mutexattr_getprioceiling() 返回 prioceiling 中已初始化互斥锁的优先级上限。优先级上限定义执行互斥锁保护的临界段时的最低优先级。prioceiling 位于 SCHED_FIFO 所定义的优先级的最大范围内。要避免优先级倒置,请将 prioceiling 设置为高于或等于可能会锁定特定互斥锁的所有线程的最高优先级。

pthread_mutexattr_getprioceiling 返回值

如果成功完成,pthread_mutexattr_getprioceiling() 会返回 0。其他任何返回值都表示出现了错误。

如果出现以下任一情况,pthread_mutexattr_getprioceiling() 将失败并返回对应的值。


ENOSYS

描述:

_POSIX_THREAD_PRIO_PROTECT 选项未定义并且该实现不支持此函数。

如果出现以下任一情况,pthread_mutexattr_getprioceiling() 可能会失败并返回对应的值。


EINVAL

描述:

attr 指定的值无效。


EPERM

描述:

调用方无权执行该操作。

设置互斥锁的优先级上限

pthread_mutexattr_setprioceiling(3C) 可用来设置互斥锁的优先级上限。

pthread_mutex_setprioceiling 语法

#include <pthread.h>



int pthread_mutex_setprioceiling(pthread_mutex_t *mutex, 

					int prioceiling, int *old_ceiling);

pthread_mutex_setprioceiling() 可更改互斥锁 mutex 的优先级上限 prioceilingpthread_mutex_setprioceiling() 可锁定互斥锁(如果未锁定的话),或者一直处于阻塞状态,直到 pthread_mutex_setprioceiling() 成功锁定该互斥锁,更改该互斥锁的优先级上限并将该互斥锁释放为止。锁定互斥锁的过程无需遵循优先级保护协议。

如果 pthread_mutex_setprioceiling() 成功,则将在 old_ceiling 中返回以前的优先级上限值。如果 pthread_mutex_setprioceiling() 失败,则互斥锁的优先级上限保持不变。

pthread_mutex_setprioceiling 返回值

如果成功完成,pthread_mutex_setprioceiling() 会返回 0。其他任何返回值都表示出现了错误。

如果出现以下情况,pthread_mutexatt_setprioceiling() 将失败并返回对应的值。


ENOSYS

描述:

选项_POSIX_THREAD_PRIO_PROTECT 未定义并且该实现不支持此函数。

如果出现以下任一情况,pthread_mutex_setprioceiling() 可能会失败并返回对应的值。


EINVAL

描述:

prioceiling 所请求的优先级超出了范围。


EINVAL

描述:

mutex 指定的值不会引用当前存在的互斥锁。


ENOSYS

描述:

该实现不支持互斥锁的优先级上限协议。


EPERM

描述:

调用方无权执行该操作。

获取互斥锁的优先级上限

pthread_mutexattr_getprioceiling(3C) 可用来获取互斥锁的优先级上限。

pthread_mutex_getprioceiling 语法

#include <pthread.h>



int pthread_mutex_getprioceiling(const pthread_mutex_t *mutex, 

                    int *prioceiling);

pthread_mutex_getprioceiling() 会返回 mutex 的优先级上限 prioceiling

pthread_mutex_getprioceiling 返回值

如果成功完成,pthread_mutex_getprioceiling() 会返回 0。其他任何返回值都表示出现了错误。

如果出现以下任一情况,pthread_mutexatt_getprioceiling() 将失败并返回对应的值。


ENOSYS

描述:

_POSIX_THREAD_PRIO_PROTECT 选项未定义并且该实现不支持此函数。

如果出现以下任一情况,pthread_mutex_getprioceiling() 可能会失败并返回对应的值。


EINVAL

描述:

mutex 指定的值不会引用当前存在的互斥锁。


ENOSYS

描述:

该实现不支持互斥锁的优先级上限协议。


EPERM

描述:

调用方无权执行该操作。

设置互斥锁的强健属性

pthread_mutexattr_setrobust_np(3C) 可用来设置互斥锁属性对象的强健属性。

pthread_mutexattr_setrobust_np 语法

#include <pthread.h>



int pthread_mutexattr_setrobust_np(pthread_mutexattr_t *attr, 

												int *robustness);

注 –

仅当定义了符号 _POSIX_THREAD_PRIO_INHERIT 时,pthread_mutexattr_setrobust_np() 才适用。


attr 指示以前通过调用 pthread_mutexattr_init() 创建的互斥锁属性对象。

robustness 定义在互斥锁的属主失败时的行为。pthread.h 中定义的 robustness 的值为 PTHREAD_MUTEX_ROBUST_NPPTHREAD_MUTEX_STALLED_NP。缺省值为 PTHREAD_MUTEX_STALLED_NP

pthread_mutexattr_setrobust_np 返回值

如果成功完成,pthread_mutexattr_setrobust_np() 会返回 0。其他任何返回值都表示出现了错误。

如果出现以下任一情况,pthread_mutexattr_setrobust_np() 将失败并返回对应的值。


ENOSYS

描述:

选项 _POSIX_THREAD_PRIO__INHERIT 未定义,或者该实现不支持 pthread_mutexattr_setrobust_np()


ENOTSUP

描述:

robustness 指定的值不受支持。

pthread_mutexattr_setrobust_np() 可能会在出现以下情况时失败:


EINVAL

描述:

attrrobustness 指定的值无效。

获取互斥锁的强健属性

pthread_mutexattr_getrobust_np(3C) 可用来获取互斥锁属性对象的强健属性。

pthread_mutexattr_getrobust_np 语法

#include <pthread.h>



int pthread_mutexattr_getrobust_np(const pthread_mutexattr_t *attr, 

												int *robustness);

注 –

仅当定义了符号 _POSIX_THREAD_PRIO_INHERIT 时,pthread_mutexattr_getrobust_np() 才适用。


attr 指示以前通过调用 pthread_mutexattr_init() 创建的互斥锁属性对象。

robustness 是互斥锁属性对象的强健属性值。

pthread_mutexattr_getrobust_np 返回值

如果成功完成,pthread_mutexattr_getrobust_np() 会返回 0。其他任何返回值都表示出现了错误。

如果出现以下任一情况,pthread_mutexattr_getrobust_np() 将失败并返回对应的值。


ENOSYS

描述:

选项 _POSIX_THREAD_PRIO__INHERIT 未定义,或者该实现不支持 pthread_mutexattr_getrobust_np()

pthread_mutexattr_getrobust_np() 可能会在出现以下情况时失败:


EINVAL

描述:

attrrobustness 指定的值无效。