1. 创建线程
int pthread_create (pthread_t* thread, pthread_attr_t* attr, void* (*start_routine)(void*), void* arg);
thread:线程句柄,用于标示一个线程;
attr(线程属性结构):
1.__detachstate(同步状态):
PTHREAD_CREATE_JOINABLE:结合的状态,在主线程退出之前,应该等待子线程完成;
PTHREAD_CREATE_DETACH:分离的状态,和主线程分离,自己运行结束后并释放资源;
2.__schedpolicy(调度策略):
SCHED_OTHER:正常、非实时,默认状态
SCHED_RR:实时、轮转法
SCHED_FIFO:实时、先入先出
3.__schedparam:目前只有一个sched_priority(调度优先级)属性
4.__inheritsched:
PTHREAD_EXPLICIT_SCHED:显式指定调度策略和调度参数;
PTHREAD_INHERIT_SCHED:继承调用线程的参数;
5.__scope:
PTHREAD_SCOPE_SYSTEM:与系统中所有线程一起竞争CPU时间,默认值;
PTHREAD_SCOPE_PROCESS:与同进程中的线程竞争CPU;
start_routine:线程启动函数;
arg: 线程启动的时候,传递给启动函数的参数,如果没有就传入0;
设置属性的一些api:
pthread_attr_init(pthread_attr_t*)
pthread_attr_destroy(pthread_attr_t*)
pthread_attr_set-/get- 一系列函数
2. 线程的取消
一个线程可以向另一个线程发送取消请求,来终止另一个线程的执行,不过另一个线程可以设置是否忽略取消请求,如果在不忽略的情况下,根据线程的设置,可能是执行到下一个取消点(Cancelation-point)才被终止执行,也可能是立即终止执行。
线程的取消点:
pthread_join()、pthread_testcancel()、pthread_cond_wait()、pthread_cond_timedwait()、sem_wait()、sigwait()等函数以及read()、write()会引起系统阻塞的函数都是取消点。
对于没有取消点的执行线程,我们可以在需要被取消执行的地方调用pthread_testcancel(),当一个线程接受到取消请求并没有忽略的情况下,一旦执行到pthread_testcancel()就会终止执行。
API:
int pthread_cancel(pthread_t); 向一个线程发送取消请求,成功返回0,否则返回非0,成功发送不代表已经完成取消;
int pthread_setcancelstate(int state, int *oldstate); 设置取消状态,有PTHREAD_CANCEL_ENABLE(缺省)和PTHREAD_CANCEL_DISABLE两种,第一种是接受取消请求,第二种是忽略取消请求。oldstate如果不为0,用于存入之前的取消状态,以便将来可以恢复。
int pthread_setcanceltype(int type, int *oldtype); 设置取消动作的时机,有PTHREAD_CANCEL_DEFFERED和PTHREAD_CANCEL_ASYCHRONOUS两种,第一种是执行到下一个取消点终止,第二种是立即终止执行。oldtype如果不为0,用于存入之前的值,以便将来可以恢复。
注:在unix环境下测试,两种情况都是运行到下一个取消点或者有pthread_testcancel()的位置才终止,不清楚具体原因。
3. 互斥锁
由于线程具有抢占式和共享资源的特点,因此需要用一种互斥机制来保证线程之间的同步,最常用的就是互斥锁。
创建互斥锁:
静态方式:pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
动态方式:int pthread_mutex_init(pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr); mutexattr缺省值为0;
销毁互斥锁:
int pthread_mutex_destroy(pthread_mutex_t *mutex); 销毁锁占用的资源,如果锁定状态则返回EBUSY;
锁类型,在pthread_mutexattr_t(属性)中指定:
PTHREAD_MUTEX_TIMED_NP:普通锁(缺省值)。当一个线程加锁以后,其余请求锁的线程将形成一个等待队列,并在解锁后按优先级获得锁;
PTHREAD_MUTEX_RECURSIVE_NP:嵌套锁。允许同一个线程对同一个锁成功获得多次,并通过多次unlock解锁。如果是不同线程请求,则在加锁线程解锁时重新竞争;
PTHREAD_MUTEX_ERRORCHECK_NP:检错锁。如果同一个线程请求同一个锁,则返回EDEADLK,否则与PTHREAD_MUTEX_TIMED_NP类型动作相同。这样就保证当不允许多次加锁时不会出现最简单情况下的死锁;
PTHREAD_MUTEX_ADAPTIVE_NP:适应锁。动作最简单的锁类型,仅等待解锁后重新竞争;
锁操作:
无论是什么类型的锁,都只能被一个线程获取,不可能出现被两个线程同时获取到锁的情况。
普通锁和适应锁,解锁者可以是任何线程;
检错锁则必须由加锁者解锁才有效,否则返回EPERM;
嵌套锁,文档和实现要求必须由加锁者解锁;
int pthread_mutex_lock(pthread_mutex_t *mutex); 请求上锁,如果没有获取到锁,线程会被阻塞;
int pthread_mutex_unlock(pthread_mutex_t *mutex); 解锁;
int pthread_mutex_trylock(pthread_mutex_t *mutex); 请求上锁,如果成功获得一个锁,返回0,否则返回非0,该函数立即返回,不会阻塞;
锁机制并不是线程安全的,如果在线程上锁之后,解锁之前,被取消,就可能出现死锁的情况。这种情况需要使用线程退出回调函数来解锁。
4. 条件变量
线程上锁之后,应该尽可能快的解锁,好让其他线程可以快速获取锁,以便提高程序性能。但无论如何,相关线程都会频繁的循环检测锁状态以便获取锁,例如可能在某种情况下,某个线程会在大部分时间上锁失败,这样不仅消耗了cpu周期,而且也是无意义的检测。因此,条件变量很好的改善了这种情况。
条件变量是一种线程间的同步机制。主要利用了一个共享的条件变量来进行同步,一个线程等待条件变量进行挂起,而一个线程在条件成立的时候,唤醒阻塞的线程。为了防止竞争和对资源的保护,条件变量总是和互斥锁一起使用。
创建条件变量:
静态方式:pthread_cond_t cond=PTHREAD_COND_INITIALIZER;
动态方式:int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr);
int pthread_cond_destroy(pthread_cond_t *cond);
销毁条件变量,如果条件变量在被等待,返回EBUSY;
使用条件变量:
int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex);
首先对mutex解锁(因此在调用pthread_cond_wait前,mutex必须处于锁定状态),然后等待cond的唤醒,此时该函数并不会立即返回而是被阻塞,直到cond被唤醒,然后对mutex上锁,该函数返回。
int pthread_cond_timedwait(pthread_cond_t *cond, pthread_mutex_t *mutex, const struct timespec *abstime);
和pthread_cond_wait类似,只是最有一个参数表明在规定时刻前条件没有成立,返回ETIMEOUT,并结束等待。
int pthread_cond_signal(pthread_cond_t*);
唤醒队列中第一个线程;
int pthread_cond_broadcast();
唤醒所有等待条件变量的线程;
由于wait操作也是一个取消点,因此在wait操作结束之后,如果线程执行了取消操作,那么mutex会被一直锁定,造成死锁。这情情况需要使用退出回调函数来解锁。
5. 终止线程
正常终止:函数调用return和执行pthread_exit(pthread_t),这种是代码可以控制的终止情况;
异常终止:被其他线程取消,或者线程执行发生异常;
异常终止可能会导致资源不能被正常释放,其中包括锁,如果锁资源被解锁前,线程就异常终止了,那么其他线程将永远无法再获得该锁。
线程终止的清理:
使用pthread提供的清理函数(由于清理函数是宏定义,必须在同一层作用域成对出现,才能编译通过):
void pthread_cleanup_push(void (*routine) (void *), void *arg);
入栈一个清理函数和需要清理的对象;
void pthread_cleanup_pop(int execute);
在线程退出的时候,执行栈中的清理函数;
清理函数会在自动释放资源,出现在函数对中的代码段的任何终止动作,都将执行清理函数。
如果需要在线程终止时,自动释放锁资源,可以使用:
pthread_cleanup_push(pthread_mutex_unlock, (void *) &mut);
pthread_mutex_lock(&mut);
......
pthread_mutex_unlock(&mut);
pthread_cleanup_pop(0);
线程的终止:
void pthread_exit(void *retval);
线程终止自己的执行,并清理资源。
int pthread_join(pthread_t th, void **thread_return);
合并线程,如果是joinable的子线程,通常在主线程结束之前,必须调用该函数等待子线程的执行完成,然和合并到主线程。thread_return如果不为0,保存线程的返回值。
int pthread_detach(pthread_t th);
分离线程,如果是detachable的子线程,它会在自己执行完成后,自动清理资源,主线程不需要等待它完成;
5. 线程私有数据(TSD)
int pthread_key_create(pthread_key_t *key, void (*destr_function) (void *));
该函数从TSD池中分配一项,将其值赋给key供以后访问使用。如果destr_function不为空,在线程退出(pthread_exit())时将以key所关联的数据为参数调用destr_function(),以释放分配的缓冲区。
不论哪个线程调用pthread_key_create(),所创建的key都是所有线程可访问的,但各个线程可根据自己的需要往key中填入不同的值,这就相当于提供了一个同名而不同值的全局变量。
TSD池用一个结构数组表示:
static struct pthread_key_struct pthread_keys[PTHREAD_KEYS_MAX] = { { 0, NULL } };
创建一个TSD就相当于将结构数组中的某一项设置为"in_use",并将其索引返回给*key,然后设置destructor函数为destr_function。
int pthread_key_delete(pthread_key_t key);
这个函数并不检查当前是否有线程正使用该TSD,也不会调用清理函数(destr_function),而只是将TSD释放以供下一次调用pthread_key_create()使用。在LinuxThreads中,它还会将与之相关的线程数据项设为NULL(见"访问")。
int pthread_setspecific(pthread_key_t key, const void *pointer);
void * pthread_getspecific(pthread_key_t key);
写入(pthread_setspecific())时,将pointer的值(不是所指的内容)与key相关联,而相应的读出函数则将与key相关联的数据读出来。数据类型都设为void *,因此可以指向任何类型的数据。
实例:
// // main.c // threads // // Created by avl-showell on 16/7/13. // Copyright © 2016年 avl-showell. All rights reserved. // #include <stdio.h> #include <unistd.h> #include "pthread.h" pthread_t thread_1, thread_2, thread_3; pthread_cond_t cond; pthread_mutex_t mutex; pthread_key_t key; void* thread_1_func (void* arg) { static int i = 0; const char* data = "tread1"; pthread_setspecific(key, data); pthread_setcancelstate(PTHREAD_CANCEL_ENABLE, 0); pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, 0); pthread_cleanup_push(pthread_mutex_unlock, &mutex); while (1) { printf("thread 1 wait %s ", pthread_getspecific(key)); //pthread_cond_wait(&cond, &mutex); int state = pthread_mutex_trylock(&mutex); if (state == 0) { printf("thread 1 start "); //sleep(1); pthread_testcancel(); i++; printf("thread 1 end %d ", i); pthread_mutex_unlock(&mutex); } else { printf("thread 1 get lock failed... "); } } pthread_cleanup_pop(0); return 0; } void* thread_2_func (void* arg) { static int i = 0; const char* data = "tread2"; pthread_setspecific(key, data); while (1) { pthread_mutex_lock(&mutex); printf("thread 2 wait %s ", pthread_getspecific(key)); pthread_cond_wait(&cond, &mutex); printf("thread 2 start "); //sleep(1); if (i == 0) { pthread_cancel(thread_1); } if (i == 8) { pthread_mutex_unlock(&mutex); pthread_exit(0); } i++; printf("thread 2 end %d ", i); pthread_mutex_unlock(&mutex); } return 0; } void* thread_3_func (void* arg) { static int i = 1; while (1) { printf("thread 3 start "); sleep(1); pthread_cond_signal(&cond); if (i == 20) break; i++; printf("thread 3 end "); } return 0; } void destroy (void* arg) { printf("pthread destroy key "); } int main(int argc, const char * argv[]) { pthread_cond_init(&cond, 0); pthread_mutex_init(&mutex, 0); pthread_key_create(&key, destroy); if (pthread_create(&thread_1, 0, thread_1_func, 0)) { printf("thread 1 create failed... "); } if (pthread_create(&thread_2, 0, thread_2_func, 0)) { printf("thread 2 create failed... "); } if (pthread_create(&thread_3, 0, thread_3_func, 0)) { printf("thread 3 create failed... "); } //sleep(5); pthread_join(thread_1, 0); pthread_join(thread_2, 0); pthread_join(thread_3, 0); pthread_cond_destroy(&cond); pthread_mutex_destroy(&mutex); pthread_key_delete(key); printf("exit "); return 0; }