线程的概念

线程(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,一经查实,立即删除!

相关文章

C指针深度解析

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

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

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

【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() {…

STL源码剖析面试问题

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

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

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

Bloom Filter算法

一、概念 Bloom Filter的中文翻译叫做布隆过滤器&#xff0c;是1970年由布隆提出的。它实际上是一个很长的二进制向量和一系列随机映射函数。布隆过滤器可以用于检索一个元素是否在一个集合中。它的优点是空间效率和查询时间都远远超过一般的算法&#xff0c;缺点是有一定的误…

【C++ Primer | 16】std::move和std::forward、完美转发

右值引用应该是C11引入的一个非常重要的技术&#xff0c;因为它是移动语义&#xff08;Move semantics&#xff09;与完美转发&#xff08;Perfect forwarding&#xff09;的基石&#xff1a; 移动语义&#xff1a;将内存的所有权从一个对象转移到另外一个对象&#xff0c;高效…

循环引用

1. 测试代码 #include <iostream> #include <memory> using namespace std;class B; class A { public:shared_ptr<B> pb;~A() { cout << "kill A\n";} };class B { public:shared_ptr<A> pa;~B() { cout << "kill B\n&q…

fork、vfork、clone

1. 概念 写时复制技术最初产生于Unix系统&#xff0c;用于实现一种傻瓜式的进程创建&#xff1a;当发出fork( )系统调用时&#xff0c;内核原样复制父进程的整个地址空间并把复制的那一份分配给子进程。这种行为是非常耗时的&#xff0c;因为它需要&#xff1a; 为子进程的页…

Linux02进程内存管理

1.进程地址空间 1.1程序的结构与进程的结构 [rootlocalhost demo]# size testtext data bss dec hex filename 1193 492 16 1701 6a5 test 一个可执行程序包含三个部分&#xff1a; 代码段&#xff1a;主要存放指令&#xff0c;操作以及只读的常量数据例…

网络层

1. 简单解释一些ARP协议的工作过程

1018 锤子剪刀布 (20 分)

大家应该都会玩“锤子剪刀布”的游戏&#xff1a;两人同时给出手势&#xff0c;胜负规则如图所示&#xff1a; 现给出两人的交锋记录&#xff0c;请统计双方的胜、平、负次数&#xff0c;并且给出双方分别出什么手势的胜算最大。 输入格式&#xff1a; 输入第 1 行给出正整数 N…

【C++基础】常见面试问题(二)

1. 指针和引用的区别 指针保存的是所指对象的地址&#xff0c;引用是所指对象的别名&#xff0c;指针需要通过解引用间接访问&#xff0c;而引用是直接访问指针可以改变地址&#xff0c;从而改变所指的对象&#xff0c;而引用必须从一而终&#xff1b;引用在定义的时候必须初始…

static关键字用法

static修饰局部变量 静态局部变量存储在全局静态区生存期为整个程序生命周期&#xff0c;但是其作用域仍与自动变量相同&#xff0c;只能在定义该变量的函数内使用该变量。退出该函数后&#xff0c;尽管该变量还继续存在&#xff0c;但不能使用它。静态局部变量若在声明时未赋以…

1039 到底买不买 (20 分)

小红想买些珠子做一串自己喜欢的珠串。卖珠子的摊主有很多串五颜六色的珠串&#xff0c;但是不肯把任何一串拆散了卖。于是小红要你帮忙判断一下&#xff0c;某串珠子里是否包含了全部自己想要的珠子&#xff1f;如果是&#xff0c;那么告诉她有多少多余的珠子&#xff1b;如果…

存储

一、多重继承&#xff08;无虚函数覆盖&#xff09; 下面&#xff0c;再让我们来看看多重继承中的情况&#xff0c;假设有下面这样一个类的继承关系。注意&#xff1a;子类并没有覆盖父类的函数。 class Base1 { public: virtual void f() { cout << "Base1::f&quo…

BTree和B+Tree详解

B 树是为了磁盘或其它存储设备而设计的一种多叉&#xff08;下面你会看到&#xff0c;相对于二叉&#xff0c;B树每个内结点有多个分支&#xff0c;即多叉&#xff09;平衡查找树。 B 树又叫平衡多路查找树。一棵m阶的B 树 (m叉树)的特性如下&#xff1a; 树中每个结点最多含…

【1】MySQL的四种事务隔离级别

二、事务的并发问题 1、脏读&#xff1a;事务A读取了事务B更新的数据&#xff0c;然后B回滚操作&#xff0c;那么A读取到的数据是脏数据 2、不可重复读&#xff1a;事务 A 多次读取同一数据&#xff0c;事务 B 在事务A多次读取的过程中&#xff0c;对数据作了更新并提交&#x…

eventfd(一)

函数原型&#xff1a; 创建的时候可以传入一个计数器的初始值initval。 第二个参数flags在linux 2.6.26之前的版本是没有使用的&#xff0c;必须初始化为0&#xff0c;在2.6.27之后的版本flag才被使用。 #include <sys/eventfd.h> int eventfd(unsigned int initval, in…