线程前置概念可以看这里:
1.线程控制原语
1.1 pthread_self函数
获取线程ID。其作用对应进程中 getpid() 函数。
pthread_t pthread_self(void);
返回值:成功:0;失败:无!
线程ID:pthread_t类型,本质:在Linux下为无符号整数(%lu),其他系统中可能是结构体实现
线程ID是进程内部,识别标志。(两个进程间,线程ID允许相同)
注意:不应使用全局变量 pthread_t tid,在子线程中通过pthread_create传出参数来获取线程ID,而应使用pthread_self。
1.2 pthread_ceate函数
创建一个新线程。
其作用,对应进程中fork() 函数。
int pthread_create(pthread_t *thread, const pthread_attr_t *attr, void *(*start_routine) (void *), void *arg);
返回值:成功:0;失败:错误号-----Linux环境下,所有线程特点,失败均直接返回错误号。
参数:
pthread_t:当前Linux中可理解为:typedef unsigned long int pthread_t;
参数1:传出参数,保存系统为我们分配好的线程ID
参数2:通常传NULL,表示使用线程默认属性。若想使用具体属性也可以修改该参数。
参数3:函数指针,指向线程主函数(线程体),该函数运行结束,则线程结束。
参数4:线程主函数执行期间所使用的参数。( 要传给参3函数的参数,采用的是值传递,数据类型强转)
编译和链接的时候要引入线程库: -pthread
在一个线程中调用pthread_create()创建新的线程后,当前线程从pthread_create()返回继续往下执行,而新的线程所执行的代码由我们传给pthread_create的函数指针start_routine决定。
start_routine函数接收一个参数,是通过pthread_create的arg参数传递给它的,该参数的类型为void *,这个指针按什么类型解释由调用者自己定义。start_routine的返回值类型也是void *,这个指针的含义同样由调用者自己定义。
start_routine返回时,这个线程就退出了,其它线程可以调用pthread_join得到start_routine的返回值,类似于父进程调用wait(2)得到子进程的退出状态,稍后详细介绍pthread_join。
pthread_create成功返回后,新创建的线程的id被填写到thread参数所指向的内存单元。我们知道进程id的类型是pid_t,每个进程的id在整个系统中是唯一的,调用getpid(2)可以获得当前进程的id,是一个正整数值。线程id的类型是thread_t,它只在当前进程中保证是唯一的,在不同的系统中thread_t这个类型有不同的实现,它可能是一个整数值,也可能是一个结构体,也可能是一个地址,所以不能简单地当成整数用printf打印,调用pthread_self(3)可以获得当前线程的id。
attr参数表示线程属性,本节不深入讨论线程属性,所有代码例子都传NULL给attr参数,表示线程属性取缺省值,感兴趣的读者可以参考APUE。
【练习】:创建一个新线程,打印线程ID。注意:链接线程库 -lpthread
由于pthread_create的错误码不保存在errno中,因此不能直接用perror(3)打印错误信息,可以先用strerror(3)把错误码转换成错误信息再打印。如果任意一个线程调用了exit或_exit,则整个进程的所有线程都终止,由于从main函数return也相当于调用exit,为了防止新创建的线程还没有得到执行就终止,我们在main函数return之前延时1秒,这只是一种权宜之计,即使主线程等待1秒,内核也不一定会调度新创建的线程执行,下一节我们会看到更好的办法。
【练习】:循环创建多个线程,每个线程打印自己是第几个被创建的线程。(类似于进程循环创建子进程) 【more_pthrd.c】
拓展思考:将pthread_create函数参4修改为(void *)&i, 将线程主函数内改为 i=*((int *)arg) 是否可以?
不可以。调用pthread_create创建线程,底层实现需要调用一个内核函数clone,这时候是用户空间借助系统调用函数clone进入内核空间让内核去实现线程的创建以及物理内存借助mmu在实现用户和内核之间来回权级的切换,这个是需要比较长的时间的。(运算是在物理内存上操作的,它没有所谓的用户空间和内核空间,因此是需要借助MMU去实现权级的切换来在虚拟内存上从用户进入内核或是内核进入用户,在根据地址映射在物理内存上操作,消耗的时间长:用户 -- MMU -- 内核 -- MMU -- 用户 --》物理内存上的靠MMU分辨内核和用户)
然后主线程的用户空间继续执行它for循环,每个循环都在创建线程,for循环继续执行不误,这也就可能导致了新的线程还没创建出来之前主线程的语句代码(for循环的 i = 6)已经执行完了
而线程创建出来去,借助地址传参,强转成int* 后解引用这也是要时间的,因此就导致线程中的i可能和预想的读到的主线程的i不一样
线程与共享
线程间共享全局变量!
【牢记】:线程默认共享数据段、代码段等地址空间,常用的是全局变量。而进程不共享全局变量,只能借助mmap。
【练习】:设计程序,验证线程之间共享全局数据。
sleep1秒是防止主线程结束,线程还没创建出来
1.3 pthread_exit函数
将单个线程退出
void pthread_exit(void *retval);
参数:retval表示线程退出状态、退出值(需要时注意要强转),通常传NULL
思考:使用exit将指定线程退出,可以吗?【pthrd_exit.c】
结论:线程中,禁止使用exit函数,会导致进程内所有线程全部退出。
在不添加sleep控制输出顺序的情况下。pthread_create在循环中,几乎瞬间创建5个线程,但只有第1个线程有机会输出(或者第2个也有,也可能没有,取决于内核调度)如果第3个线程执行了exit,将整个进程退出了,所以全部线程退出了。
所以,多线程环境中,应尽量少用,或者不使用exit函数,取而代之使用pthread_exit函数,将单个线程退出。任何线程里exit导致进程退出,其他线程未工作结束,主控线程退出时不能return或exit。
另注意,pthread_exit或者return返回的指针所指向的内存单元必须是全局的或者是用malloc分配的,不能在线程函数的栈上分配,因为当其它线程得到这个返回指针时线程函数已经退出了。
【练习】:编写多线程程序,总结exit、return、pthread_exit各自退出效果。
return:返回到调用者那里去。
pthread_exit():将调用该函数的线程退出
exit: 将进程退出。
void* func(void){
return NULL; //返回调用 -- 原来的线程tfn,并没有退出,是这个函数退出
}
void* tfn(void* arg){
int i = *(int*)arg;
if( i== 2)
{
//可以退出线程:
//return NULL; //返回到调用者(主线程pthread_creat)那去
pthread_exit(NULL); //和返回NULL差不多,不过它能将NULL传给pthread_join的retval参数
//不能退出线程
//exit(0); //退出当前进程
//func();
}
}
//main函数中:
int i;
pthread_t tid; //保存系统分配的进程号
.......fori
pthread_create(&tid, NULL, tfn, (void*)i);
pthread_exit((void*)0); //主线程退出,替换掉return 0
//可以防止因主线程结束进程结束而导致剩下的线程全部退出
1.4 pthread_join函数
阻塞等待线程退出,获取线程退出状态
其作用,对应进程中 waitpid() 函数。
int pthread_join(pthread_t thread, void **retval);
成功:0;失败:错误号
参数:thread:线程ID (【注意】:不是指针);
retval:存储线程结束状态。
ptread_exit回调函数(线程)退出状态retval是void*,要将其收集就得void**
像进程退出是return整形值,wait中的用int* status来接收整型值
对比记忆:
进程中:main返回值、exit参数-->int;等待子进程结束 wait 函数参数-->int *
线程中:线程主函数返回值、pthread_exit-->void *;等待线程结束 pthread_join 函数参数-->void
【练习】:参数 retval 非空用法。
-----感兴趣可以去实现一下
调用该函数的线程将挂起等待,直到id为thread的线程终止。thread线程以不同的方法终止,通过pthread_join得到的终止状态是不同的,总结如下:
1.如果thread线程通过return返回,retval所指向的单元里存放的是thread线程函数的返回值。
2.如果thread线程被别的线程调用pthread_cancel异常终止掉,retval所指向的单元里存放的是常数PTHREAD_CANCELED(-1)。
3.如果thread线程是自己调用pthread_exit终止的,retval所指向的单元存放的是传给pthread_exit的参数。
4.如果对thread线程的终止状态不感兴趣,可以传NULL给retval参数。
【练习】:使用pthread_join函数将循环创建的多个子线程回收。
for循环创建时pthread_creat函数中第一个传出参数pthread_t *thread,可以传入数组保存创建的多个子线程的进程id,循环回收,依次将数组给pthread_join让其回收线程即可
区分
回调函数返回参数(退出状态)void*和pthread_join存储线程返回状态参数void**区分:
上图位扩展版,可以先看下面:
就像:
void* tnf(void *arg){
return (void*) 74; //return
}
void test1(void** retval,void* reg,int *re,(void*) return){
*(retval) = return;
*reg = (void) return;
*re = (int)return
} //传地操作,改变main函数中的参数,只不过多了个强转改变参数类型
main函数:
int* retval;
int reg;
int re;
test1((void **)&retval,(void*)®,&re);
printf的retval为了和返回参数74(void*)类型相同,可以将retval强转成(void*)
要注意的是,回调函数中做返回值的参数不可以是局部变量,一旦线程结束,栈帧清楚,该返回值就返回一个无意义的东西了
1.5 pthread_detach函数
实现线程分离
int pthread_detach(pthread_t thread);
成功:0;失败:错误号
线程分离状态:指定该状态,线程主动与主控线程断开关系。线程结束后,其退出状态不由其他线程获取,而直接自己自动释放。网络、多线程服务器常用。
进程若有该机制,将不会产生僵尸进程。僵尸进程的产生主要由于进程死后,大部分资源被释放,一点残留资源仍存于系统中,导致内核认为该进程仍存在。
也可使用 pthread_create函数参2(线程属性)来设置线程分离。
【练习】:使用pthread_detach函数实现线程分离【pthrd_detach.c】
上面是错误的案例,线程对于错误的打印无法才有perror的方式,perror本身可以自定义上错误的前缀,然后在进程上底层会去访问全局变量error number并将其进行翻译为对应的错误,给它拼接在自定义错误的后面,但在线程没法这样用,得去用char *strerror(int errnum),如下:
一般情况下,线程终止后,其终止状态一直保留到其它线程调用pthread_join获取它的状态为止。但是线程也可以被置为detach状态,这样的线程一旦终止就立刻回收它占用的所有资源,而不保留终止状态。
不能对一个已经处于detach状态的线程调用pthread_join,这样的调用将返回EINVAL错误。也就是说,如果已经对一个线程调用了pthread_detach就不能再调用pthread_join了。
1.6 pthread_cancel函数
杀死(取消)线程
其作用,对应进程中 kill() 函数。
int pthread_cancel(pthread_t thread);
成功:0;失败:错误号
【注意】:线程的取消并不是实时的,而有一定的延时。需要等待线程到达某个取消点(检查点)。
类似于玩游戏存档,必须到达指定的场所(存档点,如:客栈、仓库、城里等)才能存储进度。杀死线程也不是立刻就能完成,必须要到达取消点。
取消点:是线程检查是否被取消,并按请求进行动作的一个位置。通常是一些系统调用creat,open,pause,close,read,write..... 执行命令man 7 pthreads可以查看具备这些取消点的系统调用列表。也可参阅 APUE.12.7 取消选项小节。
可粗略认为一个系统调用(进入内核)即为一个取消点。如线程中没有取消点,可以通过调用pthread_testcancel函数自行设置一个取消点。
被取消的线程,退出值定义在Linux的pthread库中。常数PTHREAD_CANCELED的值是-1。可在头文件pthread.h中找到它的定义:#define PTHREAD_CANCELED ((void *) -1)。因此当我们对一个已经被取消的线程使用pthread_join回收时,得到的返回值为-1。
【练习】:终止线程的三种方法。注意“取消点”的概念。
终止线程方式
终止某个线程而不终止整个进程,有三种方法:
1.从线程主函数return。这种方法对主控线程不适用,从main函数return相当于调用exit。
2.一个线程可以调用pthread_cancel终止同一进程中的另一个线程。
3.线程可以调用pthread_exit终止自己。
1.7 进程和线程控制原语对比
进程 线程
fork pthread_create
exit pthread_exit
wait pthread_join
kill pthread_cancel
getpid pthread_self 命名空间
2.线程属性
pthread_creat函数的第二个参数
本节作为指引性介绍,linux下线程的属性是可以根据实际项目需要,进行设置,之前讨论的线程都是采用线程的默认属性,默认属性已经可以解决绝大多数开发时遇到的问题。如对程序的性能提出更高的要求那么需要设置线程属性,比如可以通过设置线程栈的大小来降低内存的使用,增加最大线程个数。
这是linux2.2版本的,比较老,只能做参考
typedef struct
{
int etachstate; //线程的分离状态
int schedpolicy; //线程调度策略
struct sched_paramschedparam; //线程的调度参数
int inheritsched; //线程的继承性
int scope; //线程的作用域
size_t guardsize; //线程栈末尾的警戒缓冲区大小
intstackaddr_set; //线程的栈设置
void* stackaddr; //线程栈的位置
size_t stacksize; //线程栈的大小
} pthread_attr_t;
主要结构体成员:
1. 线程分离状态
2. 线程栈大小(默认平均分配)
3. 线程栈警戒缓冲区大小(位于栈末尾)
参 APUE.12.3 线程属性
属性值不能直接设置,须使用相关函数进行操作,初始化的函数为pthread_attr_init,这个函数必须在pthread_create函数之前调用。之后须用pthread_attr_destroy函数来释放资源。
线程属性主要包括如下属性:作用域(scope)、栈尺寸(stack size)、栈地址(stack address)、优先级(priority)、分离的状态(detached state)、调度策略和参数(scheduling policy and parameters)。默认的属性为非绑定、非分离、缺省的堆栈、与父进程同样级别的优先级。
2.1 线程属性初始化
注意:应先初始化线程属性,再pthread_create创建线程
初始化线程属性
int pthread_attr_init(pthread_attr_t *attr);
成功:0;失败:错误号
销毁线程属性所占用的资源
int pthread_attr_destroy(pthread_attr_t *attr);
成功:0;失败:错误号
2.2 线程的分离状态
线程的分离状态决定一个线程以什么样的方式来终止自己。
非分离状态:线程的默认属性是非分离状态,这种情况下,原有的线程等待创建的线程结束。只有当pthread_join()函数返回时,创建的线程才算终止,才能释放自己占用的系统资源。
分离状态:分离线程没有被其他的线程所等待,自己运行结束了,线程也就终止了,马上释放系统资源。应该根据自己的需要,选择适当的分离状态。
线程分离状态的函数:
设置线程属性,分离or非分离
int pthread_attr_setdetachstate(pthread_attr_t *attr, int detachstate);
参数:
attr:已初始化的线程属性
detachstate:PTHREAD_CREATE_DETACHED(分离线程)
PTHREAD _CREATE_JOINABLE(非分离线程)
int pthread_attr_getdetachstate(pthread_attr_t *attr,int *detachsatae);
获取线程的分离状态(detachstate属性),复制给传出参数detachstate
这里要注意的一点是,如果设置一个线程为分离线程,而这个线程运行又非常快,它很可能在pthread_create函数返回之前就终止了,它终止以后就可能将线程号和系统资源移交给其他的线程使用,这样调用pthread_create的线程就得到了错误的线程号。要避免这种情况可以采取一定的同步措施,最简单的方法之一是可以在被创建的线程里调用pthread_cond_timedwait函数,让这个线程等待一会儿,留出足够的时间让函数pthread_create返回。设置一段等待时间,是在多线程编程里常用的方法。但是注意不要使用诸如wait()之类的函数,它们是使整个进程睡眠,并不能解决线程同步的问题。
2.3 线程属性控制示例
#include <pthread.h>
#define SIZE 0x100000
void *th_fun(void *arg)
{
while (1)
sleep(1);
}
int main(void)
{
pthread_t tid;
int err;
int detachstate; //线程的分离状态
int i = 1;
pthread_attr_t attr; //线程属性结构体
size_t stacksize; //线程栈的大小
void *stackaddr; //线程栈的位置
pthread_attr_init(&attr); //初始化
pthread_attr_getstack(&attr, &stackaddr, &stacksize); //获取线程栈的大小和位置
pthread_attr_getdetachstate(&attr, &detachstate); //获取线程的状态
if (detachstate == PTHREAD_CREATE_DETACHED)
printf("thread detached\n");
else if (detachstate == PTHREAD_CREATE_JOINABLE)
printf("thread join\n");
else
printf("thread unknown\n");
pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED);
//设置线程属性为分离,该属性会赋值给传出参数线程属性结构体attr当中
while (1) {
stackaddr = malloc(SIZE);
if (stackaddr == NULL) {
perror("malloc");
exit(1);
}
stacksize = SIZE;
pthread_attr_setstack(&attr, stackaddr, stacksize);
//初始化修改完线程的属性 -- 改为分离再去创建线程
//注意第二个参数不是NULL了,而是更改过后的线程属性结构体attr
err = pthread_create(&tid, &attr, th_fun, NULL);
if (err != 0) {
printf("%s\n", strerror(err));
exit(1);
}
printf("%d\n", i++);
}
pthread_attr_destroy(&attr);
return 0;
}
3.线程使用注意事项
1.主线程退出其他线程不退出,主线程应调用pthread_exit
2.避免僵尸线程
- pthread_join
- pthread_detach
- pthread_create指定分离属性
- 被join线程可能在join函数返回前就释放完自己的所有内存资源,所以不应当返回被回收线程栈中的值;
3.malloc和mmap申请的内存可以被其他线程释放
4.应避免在多线程模型中调用fork除非,马上exec,子进程中只有调用fork的线程存在,其他线程在子进程中均pthread_exit
5.信号的复杂语义很难和多线程共存,应避免在多线程引入信号机制