目录
线程概念
什么是线程?
LWP:light weight process 轻量级的进程,本质仍是进程(Linux环境下);
- 进程:各自有独立地址空间,有PCB;
- 线程:没有独立的地址空间(即共享地址空间),有PCB;
- 区别:是否共享地址空间。进程可类比作“独居”而线程类比做“合租”。
Linux内核线程实现原理
类Unix系统中,早期是没有“线程”概念,80年代才引入,借助进程机制实现出线程的概念。因此该类系统中,进程和线程关系很密切。
- 轻量级进程(light-weight process)也有PCB,创建线程使用的底层函数和进程一样,都是clone;
- 从内核里看进程和线程是一样的,都有各自的不同pcb,但PCB中指向内存资源的三级页表是相同的;
- 进程可以蜕变成线程;
- 线程可看做寄存器和栈的集合;栈:局部变量;
- 在linux中,线程是最小的执行单元,进程是最小的分配资源单位;
查看LWP号:ps -Lf pid (查看指定线程的lwp号)
三级映射:进程PCB-->页目录(可看成数组,首地址位于PCB中)-->页表-->物理页面-->内存单元;
对于进程来说,相同的地址(同一个虚拟地址)在不同的进程中,反复使用而不冲突。原因是他们虽虚拟地址一样,但页目录、页表、物理页面各不相同。相同的虚拟地址映射到不同物理页面内存单元,最终访问不同的物理页面。
对于线程来讲,两个线程具有各自独立的PCB,但共享同一个页目录,也就是共享同一个页表和物理页面,所以两个PCB共享一个地址空间。
实际上,无论是创建进程的fork,还是创建线程的pthread_create,底层实现都是调用同一个内核函数clone。
如果复制对方的地址空间,那么就产生一个“进程”;如果共享对方的地址空间,就产生一个“线程”。
因此,linux内核是不区分进程和线程的,只在用户层面上进程区分,所以线程所有操作函数pthread_*是库函数,而非系统调用。
线程共享资源
- 文件描述符表;
- 每种信号的处理方式(尽量不要把信号和线程搅在一起);
- 当前工作目录;
- 用户ID和组ID;
- 内存地址空间(./text/.data/.bss/heap/共享库);
线程非共享资源
- 线程id;
- 处理器现场和栈指针(内核栈);
- 独立的栈空间(用户空间栈)即函数运行所需空间;
- errno变量;
- 信号屏蔽字;
- 调度优先级;
线程优缺点
- 优点:提高程序并发性、开销小(why?相比于进程而言)数据通信、共享数据方便;
- 缺点:库函数而非系统调用,不稳定、调试、编写困难、gdb不支持、对信号不友好;
- 优点相对突出,缺点不是硬伤。linux下由于实现方法导致进程、线程差别不是很大。
线程控制原语
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。
pthread_create函数
用于创建一个新线程,其作用对应进程中fork()函数
int pthread_create(pthread_t *thread, const pthread_attr_t *attr,void *(*start_routine) (void *), void *arg);
//pthread_create(&tid, NULL, tfn, (void *)i);//线程id,线程属性(&attr设置,NULL为默认),回调函数(创建新线程执行该函数),传入参数
//返回值:成功返回0,失败返回错误号
参数:
- pthread_t:当前linux中可理解为:typedef unsigned long int pthread_t;
- thread:传出参数,返回创建线程id;
- attr :通常传NULL,表示使用线程默认属性,若想使用具体属性可修改该参数c;
- start_routine:函数指针,指向线程主函数(线程体),该函数运行结束,则线程结束,新的线程执行该函数(回调函数);
- arg: 线程主函数执行期间所使用的参数;
在一个线程中调用pthread_create()创建新的线程后,当前线程从pthread_create()返回继续往下执行,而新的线程所执行的代码由我们传给pthread_create函数指针start_routine函数接受一个参数,是通过pthread_create的arg参数传递给它,该参数的类型为void*,这个指针 安什么类型解释由调用者自己定义。start_routine的返回值类型也是void*,该指针含义同样有调用者自己定义,start_routine返回时,这个线程就退出了,其他线程可以调用pthread_join得到start_routine的返回值,类似于父进程调用wait(2)得到子进程的退出状态。
pthrea_create成功返回后,新创建的线程id被填写到thread参数所指向的内存单元。进程id的类型是pid_t,每个进程的id在整个系统中 是唯一的,调用getpid(2)可获得当前进程的id,是一个正整数值。线程id类型 是threa_t,它只是当前进程中保证是唯一的,在不同的系统中thread_t类型有不同的实现,它可能是一个整数值,一个结构体或者一个地址,所以不能简单的当成整型用printf打印,调用pthread_self(3)可获得当前线程的id。
【练习】:创建一个新线程,打印线程ID。注意:连接线程库 -lpthread [pthrd_crt.c]
#include<stdio.h>
#include<pthread.h>
#include<unistd.h>
void *tfn(int *arg){
//printf("tid:%lu\n,arg:%d\n",pthread_self(),*arg);
printf("tid:%lu\n",pthread_self());
return NULL;
}
int main(void){
pthread_t tid;
//int *i;//指针变量定义及初始化
//*i =10;
//pthread_create(&tid,NULL,tfn,(void *)i);//段错误
pthread_create(&tid,NULL,tfn,NULL);
printf("pid %d\n",getpid());
return 0;
}
结果
[root@comput3 test]# ./11_pthrd_ctr
pid 84449
tid:140002604414720
tid:140002604414720
这里为什么会两次输出tid?
由于pthrea_create的错误码不保存在errno中,因此不能直接用perror(3)打印错误信息。可先用strerror(3)把错误码转换成错误信息在打印。如果任意一个线程调用了exit或_exit,则整个进程的所有线程都终止,由于从main函数return也相当于调用exit,为了防止新创建的线程还没有得到执行就终止,可在main函数return之前延时1秒,这只是权宜之计,即使主线程等待1秒,内核也不一定会调度创建的线程执行。
【练习】:循环创建多个线程,每个线程打印自己事第几个被创建的线程(类似于进程循环创建子进程)【more_pthrd.c】
collect2: error: ld returned 1 exit status
[root@comput3 test]# gcc 11_more_pthrd_ctr.c -l pthread -o 11_more_pthrd_ctr
11_more_pthrd_ctr.c: In function ‘tfn’:
11_more_pthrd_ctr.c:10:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
i = (int)arg;
^
11_more_pthrd_ctr.c: In function ‘main’:
11_more_pthrd_ctr.c:22:34: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
pthread_create(&tid,NULL,tfn,(void *)i);//(void *)i 传入参数
^
11_more_pthrd_ctr.c:22:5: warning: passing argument 3 of ‘pthread_create’ from incompatible pointer type [enabled by default]
pthread_create(&tid,NULL,tfn,(void *)i);//(void *)i 传入参数
^
In file included from 11_more_pthrd_ctr.c:2:0:
/usr/include/pthread.h:235:12: note: expected ‘void * (*)(void *)’ but argument is of type ‘void * (*)(int *)’
extern int pthread_create (pthread_t *__restrict __newthread,
- 做数据类型转换(指针类型转整型),转换类型不一致: int i; i = (int)(*arg);
- 传入参数为指针变量,(void*)i ---->变为(void *)&i;
- 传入参数为指针函数,tfn ----->(void *)tfn;但是有点奇怪,tfn本身已经是(void *)函数了,为什么在做传入参数时,还需类型转换;
代码修改
#include<stdio.h>
#include<pthread.h>
#include<unistd.h>
#include<stdlib.h>
/*回调函数,创建新线程执行该函数*/
void *tfn(int *arg){
//printf("tid:%lu\n,arg:%d\n",pthread_self(),*arg);
//int i;
//i = *arg;
//sleep(*arg);
printf("I am %d tid:%lu\n",(*arg)+1,pthread_self());
return NULL;
}
int main(int argc,char *argv[]){
pthread_t tid;
int n=5,i;
//int *j;
if(argc == 2){
n = atoi(argv[1]);
}
for(i=0;i<n;i++){
// j =&i;
pthread_create(&tid,NULL,(void *)tfn,(void *)&i);//j=&i 传入参数
}
//pthread_create(&tid,NULL,tfn,NULL);
sleep(1);
printf("tid1 %d\n",pthread_self());
return 0;
}
结果
[root@comput3 test]# gcc 11_more_pthrd_ctr.c -l pthread -o 11_more_pthrd_ctr
[root@comput3 test]# ./11_more_pthrd_ctr
I am 3 tid:140463666452224
I am 4 tid:140463649666816
I am 3 tid:140463658059520
I am 5 tid:140463641274112
I am 6 tid:140463632881408
tid1 1064335168
printf()函数打印传入变量j的值,还未来得及更新值, 线程已经创建完毕?;
拓展思考:将pthread_create函数参4修改为(void*)&i,将线程主函数内改为i=*((int *)arg)是否可以?
可以;指针是指向定义变量的地址,这里直接取变量i的地址,并类型转换为(void *);
可以,但没必要,因为arg本身即为整型的指针变量,取值指针指向内存空间的值即可;
线程与共享
线程间共享全局变量;
【牢记】:线程默认共享数据段、代码段等地址空间,常用的是全局变量。而进程不共享全局变量,只能借助mmap。
【练习】:设计程序,验证线程之间共享全局数据。【glb_var_pthrd.c】
#include<stdio.h>
#include<pthread.h>
#include<unistd.h>
/*全局变量*/
int var =10;
/*回调函数*/
void *tfn(int *arg){
//printf("tid:%lu\n,arg:%d\n",pthread_self(),*arg);
var =200;
printf("tid:%lu,var:%d\n",pthread_self(),var);
return NULL;
}
int main(void){
/*定义线程变量*/
pthread_t tid;
/*创建新的线程*/
pthread_create(&tid,NULL,(void *)tfn,NULL);
sleep(1);
printf("pid %d,var:%d\n",getpid(),var);
return 0;
}
结果
[root@comput3 test]# ./11_gab_var
tid:140458846205696,var:200
pid 131253,var:200
pthread_exit函数
将单个线程退出;
void pthread_exit(void *retval);//参数:retval表示线程退出状态,通常传NULL
思考:使用exit将指定线程退出,可以吗?【pthrd_exit.c】
#include<stdio.h>
#include<pthread.h>
#include<unistd.h>
#include<stdlib.h>
/*回调函数,创建新线程执行该函数*/
void *tfn(int *arg){
printf("I am %d tid:%lu\n",(*arg)+1,pthread_self());
exit(1);
}
int main(int argc,char *argv[]){
pthread_t tid;
int n=5,i;
if(argc == 2){
n = atoi(argv[1]);
}
for(i=0;i<n;i++){
pthread_create(&tid,NULL,(void *)tfn,(void *)&i);//j=&i 传入参数
}
sleep(1);
printf("tid1 %d\n",pthread_self());
return 0;
}
运行结果
[root@comput3 test]# ./11_more_pthrd_ctr
I am 4 tid:139758691211008
I am 3 tid:139758699603712
I am 3 tid:139758699603712
@nxt:exit会使得当前运行程序退出,先判断线程id,然后exit,运行的整个进程会退出,线程自然也会退出;
结论:线程中,禁止使用exit函数,会导致进程内所有线程全部退出。
在不添加sleep控制输出顺序的情况下。pthrea_create在循环中,几乎瞬间创建5个线程,但只有第1线程有机会输出(或者第2个也有,也可能没有,取决于内核调度)如果第3个线程执行了exit,将整个进程退出了,所以全部线程退出。
在多线程环境下,应尽量少用或者不用exit函数,取而代之使用pthread_exit函数,将单个线程退出,任何线程例exit导致进程退出,其他线程未工作结束,主控线程退出不能return或exit。
另外注意:pthread_exit或者return返回的指针所指向的内存单元必须是全局的或者用malloc分配的,不能在线程函数的栈上分配,因为当其它线程得到这个返回指针时线程函数已经退出了。
【练习】:编写多线程程序,总结exit、return、pthread_exit各自退出效果
#include<stdio.h>
#include<pthread.h>
#include<unistd.h>
#include<stdlib.h>
/*回调函数,创建新线程执行该函数*/
void *tfn(int *arg){
if((*arg % 2)){
pthread_exit(NULL);
}
printf("I am %d tid:%lu\n",(*arg)+1,pthread_self());
}
int main(int argc,char *argv[]){
pthread_t tid;
int n=5,i;
//int *j;
if(argc == 2){
n = atoi(argv[1]);
}
for(i=0;i<n;i++){
pthread_create(&tid,NULL,(void *)tfn,(void *)&i);//j=&i 传入参数
}
sleep(1);
printf("tid1 %d\n",pthread_self());
return 0;
}
结果
I am 3 tid:139903474951936
I am 3 tid:139903483344640
I am 5 tid:139903458166528
tid1 -773023936
- return:“返回到调用者那里”
- pthread_exit:将调用该函数的线程;
- exit:将进程退出;
pthrea_join函数
阻塞等待线程退出,获取线程退出状态,其作用,对应进程中waitpid()函数
int pthread_join(pthread_t thread,void **retval);//成功返回0,失败返回错误号
//thread:线程id,retval:存储线程结束状态
对比
- 进程中:main返回值,exit参数-->int类型;等待子进程结束(回收子进程)wait函数参数:int*;
- 线程中:线程主函数返回值,pthread_exit-->void*类型;等待线程结束pthrea_join函数参数-->void **;
【练习】:参数retval非空用法 【pthrd_exit_join.c】
#include<stdio.h>
#include<pthread.h>
#include<unistd.h>
#include<stdlib.h>
typedef struct{
int a;
int b;
}exit_t;
/*回调函数,创建新线程执行该函数*/
void *tfn(void){
exit_t *ret;
ret = (exit_t *)malloc(sizeof(exit_t));
ret->a = 10;
ret->b = 20;
//退出线程
pthread_exit((void *)ret);
}
int main(int argc,char *argv[]){
pthread_t tid;
exit_t *retval;
//创建新的线程
pthread_create(&tid,NULL,(void *)tfn,NULL);
//回收线程,当线程终止后立即回收
pthread_join(tid,(void **)&retval);//参数retval理解
sleep(1);
printf("retval->a:%d,retval->b: %d\n",retval->a,retval->b);
return 0;
}
结果
[root@comput3 test]# gcc 11_pthread_exit_join.c -l pthread -o 11_pthread_exit_join
[root@comput3 test]# ./11_pthread_exit_join
Segmentation fault (core dumped)
[root@comput3 test]# gcc 11_pthread_exit_join.c -l pthread -o 11_pthread_exit_join
[root@comput3 test]# ./11_pthread_exit_join
retval->a:10,retval->b: 20
调用该函数的线程将挂起等待,直到id为thread的线程终止。thread线程以不同方式终止,通过pthrea_join得到的终止状态是不同,总结如下:
- 如果thread线程通过return返回,retval所指向的单元存放的事thread线程函数的返回值;
- 如果thread线程被别的线程调用pthread_cancel异常终止掉,retval所指向的单元里存放的是常数PTHREAD_CANCELED
- 如果thread线程是自己调用pthread_exit终止的, retval所指向的单元存放的事传给pthread_exit的参数。
- 如果对thread线程的终止状态不感兴趣,可以传NULL给retval参数。
【练习】:使用pthread_join函数将循环创建的多个子线程回收
pthread_detach函数
实现线程分离;
int pthread_detach(pthread_t thread);//成功返回:0,失败返回:错误号
线程分离状态:指定该状态,线程主动与主控线程断开关系。线程结束后,其退出不由其他线程获取,而直接自己自动释放。网络、多线程服务器常用。
进程若有该机制,将不会产生僵尸进程。僵尸进程产生原因是进程死后,大部分资源被释放,一点残留资源 仍存于系统中,导致内核认为该进程 仍存在。
也可使用pthread_create函数参2(线程属性)来设置线程分离;
【练习】:使用pthread_detach函数实现线程分离 【pthrd_detach.c】
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <string.h>
#include <pthread.h>
void *tfn(void *arg){
int n =3;
while(n--){
printf("thread count %d\n",n);
sleep(1);
}
return (void *)i;
//pthread_exit((void *)i);
}
int main(void){
pthread_t tid;
void *tret;
int err;
/*条件编译*/
#if 0
pthread_attr_t attr; /*通过线程属性来设置游离态*/
pthread_attr_init(&attr);
pthread_attr_setdetachstate(&attr, PTHREAD_CREATE_DETACHED);
pthread_create(&tid,%attr,tfn,NULL);
#else
pthread_create(&tid,NULL,tfn,NULL); /*创建子线程*/
pthread_detach(tid); /*让线程分离,--自动退出,无系统残留资源*/
#endif
while(1){
err = pthread_join(tid,&tret); /*回收子线程*/
printf("------err = %d\n",err);
if(err != 0)
fprintf(stderr,"thread_join error:%s\n",strerroe(err));
else
fprintf(stderr,"thread exit code:%d\n",(int)tret);
sleep(1);
}
return 0;
}
运行结果
gcc pthrd_detach.c -l pthread -o pthrd_detach
pthrd_detach.c: In function ‘main’:
pthrd_detach.c:46:45: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
fprintf(stderr, "thread exit code %d\n", (int)tret);
^
./pthrd_detach
-------------err= 22
thread count 2
thread_join error: Invalid argument
thread count 1
-------------err= 22
thread_join error: Invalid argument
thread count 0
-------------err= 22
thread_join error: Invalid argument
-------------err= 22
thread_join error: Invalid argument
-------------err= 22
thread_join error: Invalid argument
-------------err= 22
一般情况,线程终止后,其终止状态一直保留到其他线程调用pthread_join获取它的状态为止。但是线程也可以被设置为detach状态,这样的线程一旦终止就立刻回收它占用的所有资源,而不保留终止状态。不能对一个已经处于detach状态的线程调用pthread_join,这样的调用将返回EINVAL错误。即,如果已经对一个线程调用pthread_detach()就不能在调用pthread_join。
pthrea_cancel函数
杀死(取消)线程 其作用,对应进程中kill函数;
int pthread_cancel(pthread_t thread);//成功0;失败:错误号
【注】线程取消不是实时的,而有一定的延时。需要等待线程到达某个取消点(检测点)
类似与玩游戏存档,必须到达指定的场所(存档点,如:客栈、仓库、城里)才能存储进度。杀死线程也不是立刻就能完成,必须要到达取消点。
取消点:是线程检查是否被取消,并按请求进行动作的一个位置,通常是一些系统调用create、open、pause、close、read、write....执行命令man 7 pthreads 可查看具备这些取消点的系统调用列表,使用系统调用才能得到取消点。
被取消点的线程:退出值定义在linux的pthread库中,常数PTHREAD_CANCELED的值是-1,可在头文件pthread.h中找到它的定义:#define PTHREAD_CANCELED((void *)-1)。因此当我们对一个已经被取消的线程使用pthread_join回收时。得到返回值为-1。
【练习】终止线程的三种方式。注意“取消点”的概念【pthrd_endoff3.c】
#include <stdio.h>
#include <unistd.h>
#include <pthread.h>
#include <stdlib.h>
void *tfn1(void *arg){
printf("thread 1 returning\n");
return 0;
}
void *tfn2(void *arg){
printf("thread 2 exiting\n");
pthread_exit((void *)222);
}
void *tfn3(void *arg){
while(1){
printf("thread 3: I am going to die in 3 seconds ...\n");
sleep(1);
pthread_testcancel();//自己添加取消点
}
return (void *)6;
}
int main(void){
pthread_t tid;
void *tret = NULL;
/*创建新的线程1,使用return退出,并回收子线程*/
pthread_create(&tid,NULL,tfn1,NULL);
pthread_join(tid,&tret);
printf("thread 1 exit code = %d\n",(int)tret);
/*创建新的线程2,使用pthread_exit退出,并回收子线程*/
pthread_create(&tid,tfn2,NULL);
pthread_join(tid,&tret);
printf("thread 2 exit code = %d\n",(int)tret);
/*创建新的线程3,使用pthread_cancel杀死线程退出,pthread_join无法回收子线程*/
pthread_create(&tid,NULL,tfn3,NULL);
sleep(3);
pthread_cancel(tid);
pthread_join(tid,&tret);
printf("thread 3 exit code = %d\n",(int)tret);
return 0;
}
运行结果
[root@comput3 test]# ./11_pthrd_endoff3
thread 1 returning
thread 1 exit code = 0
thread 2 exiting
thread 2 exit code = 222
thread 3: I am going to die in 3 seconds ...
thread 3: I am going to die in 3 seconds ...
thread 3: I am going to die in 3 seconds ...
thread 3 exit code = -1
线程回调函数中1 直接return返回,到主函数中调用它的位置继续执行,线程将推出状态保存在哪里,为什么pthread_join回收线程时可以读取线程的退出状态;
线程回调函数中2 使用pthread_exit退出,pthread_join读取线程退出状态,并回收子线程;
线程回调函数中3 设置取消点,使用pthread_cancel杀死线程退出,pthread_join无法回收子线程
终止线程方式
终止某个线程而不终止整个进程,有三种方法:
- 从线程主函数return,该方法对于主控线程不适用,从main函数return相当于调用exit;
- 一个线程可以调用pthread_cancel终止同一进程中的另一个线程;
- 线程可以调用pthread_exit终止自己。
pthread_equal函数
用于比较两个线程ID是否相等;
int pthread_equal(pthread_t t1,pthread_t t2);
有可能linux在未来线程ID pthread_t类型被修改为结构体实现。
控制原语对比
功能 | 进程 | 线程 |
创建 | fork | pthread_create |
退出 | exit | pthread_exit(void *) |
回收 | wait(int *) | pthread_join(,void **) |
杀死 | kill | pthread_cancel() |
获取ID | getpid | pthread_self() |
线程分离 | pthread_detach() |
线程属性
linux下线程属性可根据需要设置,上述讨论采用线程的默认属性。当对程序的性能要求更高,可设置线程属性,如设置线程栈大小来降低内存的使用,增加最大线程个数。
typedef struct{
int etachstate;//线程分离状态
int schedpolicy;//线程调度策略
struct sched_param schedparam;//线程的调度参数
int inheritsched;//线程的继承性
int scope; //线程的作用域
size_t guardsize;//线程栈末尾的警戒缓冲区大小
int stackaddr_set;//线程的栈设置
void* stackaddr; //线程栈位置
size_t stacksize;//线程栈的大小
}pthread_attr_t;
主要结构体成员
- 线程分离状态;
- 线程栈大小(默认平均分配);
- 线程栈警戒区大小(位于栈末尾) 限制线程栈区大小;
属性值不能直接设置,必须使用相关函数进行操作,初始化的函数为pthread_attr_init,这个函数必须在pthread_create函数之前调用。之后须用pthread_attr_destory函数来释放资源。
线程属性主要包括:作用域(scope)、栈尺寸(stack size)、栈地址(stack address)、优先级(priority)、分离的状态(detached state)、调度策略和参数(scheduling policy and parameters)。默认的属性为非绑定、非分离、缺省的堆栈、与父进程同样级别的优先级。
线程属性初始化
应先初始化线程属性,再pthread_create创建线程;
初始化线程属性
int pthread_attr_init(pthread_attr_t *attr);//成功返回0,失败返回错误号
销毁线程属性所占的资源
int pthread_attr_destory(pthread_attr_t *attr);//成功返回0,失败返回错误号
线程分离状态
线程分离状态决定一个线程以什么样的方式来终结自己;
非分离状态:线程的默认属性是非分离状态,这种情况下,原有的线程等待创建的线程结束。只有当pthread_join()函数返回,创建的线程才算终止,才能释放自己占用的系统资源。
分离状态:分离线程没有被其他的线程所等待,自己运行结束,线程也就终止。马上释放系统资源。根据自己的需求,选择适当的分离状态。
线程分离状态函数
设置线程属性,处于分离态或非分离态;
int pthread_attr_setdetachstate(pthread_attr_t *attr, int detachstate);
获取线程属性,分离态或非分离态;
int pthread_attr_getdetachstate(pthread_attr_t *attr, int *detachstate);
参数:attr:已初始化的线程属性
detachstate:PTHREAD_CREATE_DETACHED(分离线程)
PTHREAD_CREATE_JOINNALE(非分离线程)
线程栈地址
POSIX.1定义两个常量 _POSIX_THREAD_ATTR_STACKADDR和_POSIX_THREAD_ATTR_STACKSIZE检测系统是否支持线程属性,可以给sysconf函数传递 _SC_THREAD_ATTR_STACKADDR和 _SC_THREAD_ATTR_STACKSIZE 来检测。
当进程栈地址空间不够用时,指定新建线程使用有malloc分配的空间作为自己的栈空间。通过pthread_attr_setstack和pthread_sttr_getstack两个函数分别设置和获取线程的栈地址。
int pthread_attr_setstack(pthread_attr_t *attr,void *stackaddr,size_t *stacksize);//成功0,失败:错误号
int pthread_attr_getstack(pthread_attr_t *attr,void *stackaddr,size_t *stacksize);
attr:指向一个线程属性的指针;
stackaddr:返回获取的栈指针;
stacksize:返货获取的栈大小;
线程栈大小
当系统中有很多线程时,可减小每个线程栈的默认大小,防止进行的地址空间不够用;当线程调用的函数会分配很大的局部变量或函数调用层次很深时,可能需要增大线程栈的默认大小。
使用函数pthread_attr_getstacksize 和 pthread_attr_setstacksize来设置
int pthread_attr_setstacksize(pthread_attr_t *attr,size_t stacksize);//成功:0,失败:错误号
int pthread_attr_getstacksize(pthread_attr_t *attr,size_t stacksize);//
attr:指向一个线程属性的指针;
stacksize:返回线程的堆栈大小;
线程属性控制例子 【pthrd_attr_change.c】
#include<stdio.h>
#include<pthread.h>
#include<stdlib.h>
#include<string.h>
#define SIZE 0x10000
void *th_fun(void *arg){
while(1);
}
int main(void){
/*1 定义线程相关变量,id,attr,detachstate,stacksize,stackaddr*/
pthread_t tid;
int err,detachstate,i=1;
pthread_attr_t attr;
size_t stacksize; //typedef size_t unsigned int
void *stackaddr;
/*2 初始化线程属性并获取线程状态,地址大小,设置线程属性*/
pthread_attr_init(&attr); //初始化线程属性
pthread_attr_getstack(&attr,&stackaddr,&stacksize); //使用线程对象attr,获取栈地址和大小
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");
/*3 设置线程分离属性*/
pthread_attr_setdetachstate(&attr,PTHREAD_CREATE_DETACHED);
printf("3 OK");
while(1){
/*4 在堆上申请内存,设置栈的起始地址和大小 */
stackaddr = malloc(SIZE);
if(stackaddr == NULL){
perror("malloc");
exit(1);
}
printf("4 OK");
/*5 修改线程属性并创建新线程*/
stacksize = SIZE;
pthread_attr_setstack(&attr,(void *)&stackaddr,stacksize); //借助线程属性修改线程栈空间的大小
err = pthread_create(&tid,&attr,(void *)th_fun,NULL); //创建新的线程
printf("5 OK");
if(err != 0){
printf("%s\n",strerror(err));
exit(1);
}
printf("%d\n",i++);
}
/*6 销毁线程属性所占的资源*/
pthread_attr_destory(&attr);
return 0;
}
运行结果
gcc 11_prhread_attr_change.c -l pthread -o 11_prhread_attr_change
./11_prhread_attr_change
thread join
Segmentation fault (core dumped)
[root@comput3 test]# vim 11_prhread_attr_change.c
错误 core dumped..?
NTPL
- 查看当前pthread库版本 getconf GUN_LIBPTHREAD_VERSION
- NPTL实现机制(POSIX),Native POSIX Thread Library
- 使用线程库是 gcc指定 -lptread
线程使用注意事项
- 主线程退出其他线程不退,主线程应调用pthread_exit;
- 避免僵尸线程 pthread_join()、pthread_detach()、pthread_create()指定分离属性(设置分离态),被join线程可能在join函数返回前就释放自己的所有内存资源,所以不应当返回被回收线程栈中的值;
- malloc和mmap申请的内存可以被其他线程释放;
- 应避免在多线程模型中调用fork除非,马上exec,子进程中调用fork线程存在,其他线程在子进程中均pthread_exit;
- 信号的复杂语义很难和多线程共存,应避免在多线程引入信号机制;
线程同步
所谓同步,即同时起步,协调一致。不同的对象,对“同步”的理解方式略有不同。如设备同步,是指在两个设备之间规定一个共同的时间参考;数据库同步,指让两个或多个数据库内容保持一致,或者按需要部分保持一致;文件同步指让两个或多个文件夹里的文件保持一致,等
编程中、通信中所说的同步与生活中的同步概念略有差异,“同”指协同、协助、相互配合。主旨在协同步调,按预定的先后次序运行。
线程同步指一个线程发出某一功能调用时,在没有得到结果之前,该调用不返回。同时其他线程为保证数据一致性,不能调用该功能。
举例1:银行存款5000.柜台,折:取3000;提款机,卡:取3000。剩余:2000;
举例2:内存中100字节,线程T1欲填入全1,线程欲填入全0,但如果T1执行了50字节失去CPU,T2执行,会将T1写入的数据全部覆盖。当T1再次获得CPU继续,从失去CPU的位置向后写入1,当执行结束,内存中的100字节,既不是全1,也不是全0
产生的现象叫做“与时间有关的错误”(time related)。为了避免这种数据混乱,线程需要同步。
“同步”的目的是为了避免数据混乱,解决与时间有关的错误。实际上,不仅线程间需要同步,进程间、信号间等都需要同步机制。
因此,所有“多个控制流,共同操作作一个共享资源”的情况,都需要同步。
数据混乱原因
- 资源共享(独享资源则不会);
- 调度随机(意味数据访问会出现竞争);
- 线程间缺乏必要的同步机制;
以上3点中,前两点不改变 ,欲提高效率,传递效率,资源必须共享。只要共享资源,就一定会出现竞争。只要存在竞争关系,数据就很容易出现混乱。所以只能从第三点着手解决,使用多线程在访问共享资源的时候,出现互斥。