线程的概念

线程(LWP,light weight process)是轻量级的进程,本质仍是进程(在类unix环境下)。进程有独立地址空间,拥有PCB;线程也有PCB,但没有独立的地址空间(共享)。在Linux下,线程是最小的执行单位;进程是最小分配资源单位,可看成是只有一个线程的进程。

1Linux内核线程实现原理

类Unix系统中,早期是没有“线程”概念的,80年代才引入,借助进程机制实现出了线程的概念。因此在这类系统中,进程和线程关系密切。类unix操作系统和Windows操作系统的线程实现原理不一样,类unix操作系统的线程是依赖于进程实现的。

轻量级进程(light-weight process),也有PCB,创建线程使用的底层函数和进程一样,都是clone,即fork和pthread_creat调用的底层函数都是clone。刚fork之后,子进程与父进程的大多数内容都是相同的,遵从读时共享,写时复制的原则,即子进程有开辟属于自己空间的能力,拥有自己独立的进程地址空间;而进程在pthread_creat后,产生的线程却无法从该地址空间中独立出去,它们(同一个进程中的所有线程)共享这一个地址空间,当然它们所属于自己的PCB,PCB是相互独立的。同一个进程的所有线程的PCB都保存有相同的页表,因此线程共享虚拟地址空间。

从内核里看进程和线程是一样的,都有各自不同的PCB,但是PCB中指向内存资源的三级页表是相同的,因此同一个进程中的多个线程在对同一个虚拟地址(线性地址)经过MMU变换为的物理地址都是同样的,则它们共享同一个虚拟地址空间。但是,每个线程又必须有属于自己的任务(指令集合,这些是各自独立的),这些都保存在寄存器和栈中,它们又保存在各自的PCB中。所有的函数占据的地址空间都为栈空间(向下增长),整个栈空间都是由一个个栈帧组成。每一个函数有属于自己的栈帧空间,栈帧空间里面存储了函数的局部变量、函数的形参和临时值。如进程中的某一个线程有属于自己执行的函数:

int main ( )            

{

   myprint( );

   return 0;

}

void myprint( )

{

   func( );

}

则main函数、myprint函数和func函数都位于栈空间(stack),每个函数都占据一个栈帧,如下:

三个栈帧空间连续分配,每个栈帧空间由ebp(头)和esp(尾)共同决定,它们各自存储在一个寄存器中,当main函数调用myprint函数时,此时两个寄存器的值变为第二个栈帧的头和尾,但是需要该函数调用完需要返回到main函数中,因此还需要把main函数的栈帧空间的头尾保存起来,这个就是临时值,保存在main函数的栈帧空间中。myprint函数调用func函数时同理,myprint栈帧空间的头尾作为临时值保存到myprint栈帧空间中。综上线程可以看做是寄存器和栈的集合。

在内核空间也有一个栈空间,称为内核栈,用于保存寄存器的值。如进程或者线程在切换时,需要保存寄存器的值,而这些值都保存在内核的栈空间中,因此每个线程也都有自己独立的内核栈空间。局部变量都存储于栈空间中(用户栈空间),而全局变量存储在寄存器中,切换时保存到了内核栈空间中。

进程可以蜕变成线程。一个进程创建一个线程时,自己本身也蜕变成为了一个线程。

在linux下,线程最是小的执行单位;进程是最小的分配资源单位。

三级映射:进程PCB→页目录(可看成数组,首地址位于PCB中)→页表→物理页面 →内存单元。

实际上,无论是创建进程的fork,还是创建线程的pthread_create,底层实现都是调用同一个内核函数clone。如果复制对方的地址空间,那么就产出一个“进程”;如果共享对方的地址空间,就产生一个“线程”。因此Linux内核是不区分进程和线程的。只在用户层面上进行区分。所以,线程所有操作函数 pthread_* 是库函数,而非系统调用。

2)线程号与线程ID

查看某一个进程对应的所有线程的线程号(LWP号):ps –Lf pid;如下图所示。线程号是Linux内核划分给线程CPU时间轮片的依据。UID为线程所属用户ID;PID为线程对应的进程ID,PPID进程的父进程ID,LWP为线程号,NLWP为该进程中线程的数目(下面3291号进程的线程数为3)。注意区分线程号与线程ID,两者不是一个概念。Linux内核就是根据线程号来划分CPU时间轮片的,而线程的ID用于区分线程。

线程ID是进程内部识别标志(两个进程间,线程ID允许相同,但是线程号必须不同,因为线程号是CPU时间片划分依据);另外,线程ID明显比线程号和进程ID大得多(可通过ps –Lf pid查看),而线程号和进程ID数量级一样,且线程号和进程ID都不能相同,线程ID在不同进程中可以相同。

[root@localhost 01_pthread_test]# ps -Lf 3291

UID    PID    PPID  LWP   C  NLWP  STIME   TTY     STAT   TIME CMD

gdm    3291   3283   3291    0   3 14:18  ?   Sl    0:00 /usr/libexec/ibus-dconf

gdm    3291   3283   3297    0   3 14:18  ?   Sl    0:00 /usr/libexec/ibus-dconf

gdm    3291   3283   3298    0   3 14:18  ?   Sl    0:00 /usr/libexec/ibus-dconf

3)线程共享资源

1.文件描述符表(共享打开的文件);

2.每种信号的处理方式;

3.当前工作目录;

4.用户ID和组ID;

5.内存地址空间 (.text/.data/.bss/heap(堆)/共享库),即用户空间中除了栈空间stack部分;

6.共享页表。

4)线程非共享资源

1.线程id;

2.处理器现场(寄存器)和栈指针(指向内核栈);

3.独立的栈空间(用户空间栈),即函数运行所需要的空间;

4.errno变量(全局变量),注意虽然位于.data段,但是非共享;

5.信号屏蔽字;

6.调度优先级。

5)线程优缺点

优点:提高程序并发性;开销小;数据通信、共享数据方便。

缺点:库函数,不稳定;调试、编写困难、gdb不支持;对信号支持不好。

优点相对突出,缺点均不是硬伤。Linux下由于实现方法导致进程、线程差别不是很大。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/385305.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

1001. 害死人不偿命的(3n+1)猜想 (15)

卡拉兹(Callatz)猜想: 对任何一个自然数n,如果它是偶数,那么把它砍掉一半;如果它是奇数,那么把(3n1)砍掉一半。这样一直反复砍下去,最后一定在某一步得到n1。卡拉兹在1950年的世界数学家大会上公布了这个猜…

海量数据处理 (一)

现有海量日志数据保存在一个超级大的文件中,该文件无法直接读入内存,要求从中提取某天出访问百度次数最多的那个IP。 从这一天的日志数据中把访问百度的IP取出来,逐个写入到一个大文件中;注意到IP是32位的,最多有2^32个IP。同样可…

线程控制原语之pthread_self和pthread_create函数

注意:使用线程库函数用gcc编译时,要加参数:-lpthread(libpthread.so),因为线程库函数属于第三方c库函数,不是标准库函数(/lib、/usr/lib或者/usr/local/lib)。 &#xf…

1005. 继续(3n+1)猜想 (25)

卡拉兹(Callatz)猜想已经在1001中给出了描述。在这个题目里,情况稍微有些复杂。 当我们验证卡拉兹猜想的时候,为了避免重复计算,可以记录下递推过程中遇到的每一个数。例如对n3进行验证的时候,我们需要计算3、5、8、4、2、1&#…

C指针深度解析

(1)指针的概念 指针是一种数据类型,而内存地址是这种数据类型具体的值(注意区分两者的概念)。先说一下什么是内存地址:假设CPU的寻址方式是以字节寻址的,即每一个字节对应一个地址编号&#xf…

1007. 素数对猜想

让我们定义 dn 为&#xff1a;dn pn1 - pn&#xff0c;其中 pi 是第i个素数。显然有 d11 且对于n>1有 dn 是偶数。“素数对猜想”认为“存在无穷多对相邻且差为2的素数”。 现给定任意正整数N (< 105)&#xff0c;请计算不超过N的满足猜想的素数对的个数。 输入格式&…

线程共享全局变量(.data和.bbs)

线程默认共享数据段、代码段等地址空间&#xff0c;常用的是全局变量。而进程不共享全局变量&#xff0c;只能借助mmap。 //代码示例 #include <string.h> #include <stdio.h> #include <pthread.h> #include <stdlib.h> #include <string.h> …

1008 数组元素循环右移问题 (20)

一个数组A中存有N&#xff08;N&gt0&#xff09;个整数&#xff0c;在不允许使用另外数组的前提下&#xff0c;将每个整数循环向右移M&#xff08;M>0&#xff09;个位置&#xff0c;即将A中的数据由&#xff08;A~0~ A~1~……A~N-1~&#xff09;变换为&#xff08;A~N-…

C++设计模式之策略模式(Strategy)

Strategy策略模式作用&#xff1a;定义了算法家族&#xff0c;分别封装起来&#xff0c;让他们之间可以互相替换&#xff0c;此模式让算法的变化&#xff0c;不会影响到使用算法的客户。 UML图&#xff1a; 代码实现 #include <iostream> using namespace std;class St…

pthread_exit函数

void pthread_exit(void *retval); 参数&#xff1a;retval表示线程退出状态&#xff0c;通常传NULL。 作用&#xff1a;将单个线程退出。 注意几点&#xff1a; return的作用是返回到函数的调用点&#xff0c;如果是main函数中的return&#xff0c;则代表该进程结束&#x…

C++面试常见问题

背景色yellow 1 1. c如何防止一个类被其他类继承 >- 如果是仅仅为了达到这个目的可以直接把这个类的构造函数设置成私有的&#xff0c;这样就杜绝了其他类的继承。也相当于毁掉了这个类&#xff08;无法再创造出自己的对象&#xff09;。 那么怎么样既要保证这个类的完整性…

pthread_join函数

int pthread_join(pthread_t thread, void **retval); 作用&#xff1a;阻塞等待线程退出&#xff0c;获取线程退出状态。其作用对应进程中 waitpid() 函数。 成功&#xff1a;0&#xff1b;失败&#xff1a;错误号 strerror函数 参数&#xff1a;thread&#xff1a;线程I…

【C++ Priemr | 15】派生类向基类转换的可访问性

1. 只有当D公有继承B时&#xff0c;用户代码才能使用派生类向基类的转换&#xff1b;如果D私有继承B的方式是受保护的或者私有的&#xff0c;则用户代码不能使用该转换。 class A {}&#xff1b; class B : public A {}void function(const A&) {}int main() {B b;functio…

pthread_detach函数

int pthread_detach(pthread_t thread); 成功&#xff1a;0&#xff1b;失败&#xff1a;错误号 作用&#xff1a;从状态上实现线程分离&#xff0c;注意不是指该线程独自占用地址空间。 线程分离状态&#xff1a;指定该状态&#xff0c;线程主动与主控线程断开关系。线程…

【C++ Primer | 15】面试问题

在成员函数中调用虚函数 #include <iostream> using namespace std; class CBase { public:void func1(){func2();}virtual void func2() {cout << "CBase::func2()" << endl;} }; class CDerived:public CBase { public:virtual void func2() {…

pthread_cancel、pthread_equal函数

&#xff08;1&#xff09;pthread_cancel函数 int pthread_cancel(pthread_t thread); 成功&#xff1a;0&#xff1b;失败&#xff1a;错误号 作用&#xff1a;杀死(取消)线程&#xff0c;其作用对应进程中 kill() 函数。 注意&#xff1a;线程的取消并不是实时的&…

STL源码剖析面试问题

当vector的内存用完了&#xff0c;它是如何动态扩展内存的&#xff1f;它是怎么释放内存的&#xff1f;用clear可以释放掉内存吗&#xff1f;是不是线程安全的&#xff1f; vector内存用完了&#xff0c;会以当前size大小重新申请2* size的内存&#xff0c;然后把原来的元素复制…

线程与进程的控制原语对比

线程与进程的控制原语对比 fork pthead_create exit( int ) pthead_exit(void *); wait(int *) pthread_join&#xff08; ,void **&#xff09; 阻塞 ;分离 22 &#xff1b;cancel -1 kill() pthread_cancel(); 取消点(检查点)&#xff1a;系统调用 getpid() pthrea…

ptmalloc堆内存管理机制(主要讨论Linux x86下32位系统)

bin&#xff08;chunk容器&#xff09; ptmalloc将相似大小的 chunk 用双向链表链接起来&#xff0c;这样的一个链表被称为一个 bin。 Ptmalloc 一共维护了 128 个 bin&#xff0c;并使用一个数组来存储这些 bin&#xff0c;这个数组被成为bin数组。 bin数组结构如下&#xf…

线程属性的修改

&#xff08;1&#xff09;线程属性 Linux下线程的属性是可以根据实际项目需要&#xff0c;进行设置&#xff0c;之前我们讨论的线程都是采用线程的默认属性&#xff0c;默认属性已经可以解决绝大多数开发时遇到的问题。如我们对程序的性能提出更高的要求那么需要设置线程属性…