嵌入式面试专题—进程线程

（1）子进程继承父进程：
① 用户号和用户组号 ② 环境 ③ 堆栈 ④ 共享内存 ⑤ 打开文件的描述符 ⑥ 执行时关闭（Close-on-exec）标志 ⑦ 信号（Signal）控制设定 ⑧ 进程组号 ⑨ 当前工作目录 ⑩ 根目录、文件方式创建屏蔽字、资源限制和控制终端

（2）子进程独有的（区别）：

① 进程号ID ② 不同的父进程号ID ③ 自己的文件描述符和目录流的拷贝 ④ 子进程不继承父进程的进程正文（text），数据和其他锁定内存（memory locks） ⑤ 不继承异步输入和输出

1.1.9什么是进程上下文、中断上下文⭐⭐

进程空间分为内核空间和用户空间，在内核空间执行的通常是驱动程序，中断相关程序，内核调度程序，内存管理及其操作程序。而我们编写的应用程序运行在用户空间。其中内核运行在最高权限级别的内核态，这个级别有最高权限可以进行所有操作，而应用程序运行在较低级别的用户态，内核态和用户态有自己的内存映射，即自己的地址空间。

当我们创建一个进程（例如main函数）控制一个外设时（比如控制一个LED灯亮），我们编写的在用户空间的代码将通过“系统调用”（操作系统提供给用户空间的接口函数）进入内核空间，由内核继续代表这个进程运行于内核空间，这时候就涉及上下文的切换。用户空间和内核空间具有不同的地址映射，通用或专用的寄存器组，而用户空间的进程要传递很多变量、参数给内核，内核也要保存用户进程的一些寄存器、变量等，以便系统调用结束后回到用户空间继续执行。

（1）进程上文：其实指进程由用户态切换到内核态时，需要保存用户态时cpu寄存器中的值，进程状态以及堆栈上的内容。

进程下文：其是指切换到内核态后执行的程序，即进程运行在内核空间的部分。

同理，当由硬件通过触发信号，导致内核调用中断处理程序，进入内核空间。这个过程中，硬件的一些变量和参数也要传递给内核，内核通过这些参数进行中断处理：

（2）中断上文：可以看作就是硬件传递过来的这些参数和内核需要保存的一些其他环境（主要是当前被中断的进程环境。

中断下文：执行在内核空间的中断服务程序。

（3）那么运行在中断上下文的代码时，有什么不能做的事？

① 睡眠或者放弃CPU。这样做的后果是灾难性的，因为内核在进入中断之前会关闭进程调度，一旦睡眠或者放弃CPU，这时内核无法调度别的进程来执行，系统就会死掉

② 尝试获得信号量。如果获得信号量，可能会导致睡眠，会产生和上面相同的情况

③ 执行耗时的任务。中断处理应该尽可能快，因为内核要响应大量服务和请求，中断上下文占用CPU时间太长会严重影响系统功能。

④ 访问用户空间的虚拟地址。因为中断上下文是和特定进程无关的，它是内核代表硬件运行在内核空间，所以在中断上下文无法访问用户空间的虚拟地址。

1.2 并发（同步，互斥），异步，阻塞，非阻塞的理解

1.2.1并发，同步，互斥，异步，阻塞，非阻塞的理解⭐⭐⭐⭐⭐

并发：在操作系统中，是指一个时间段中有几个程序都处于已启动运行到运行完毕之间，且这几个程序都是在同一个处理机上运行。其中两种并发关系分别是同步和互斥。

① 互斥：是指某一资源同时只允许一个访问者对其进行访问，具有唯一性和排它性。但互斥无法限制访问者对资源的访问顺序，即访问是无序的。

② 同步：是指在互斥的基础上（大多数情况），通过其它机制实现访问者对资源的有序访问，协同完成某件事。指一个进程在执行某个请求的时候，若该请求需要一段时间才能返回信息，那么这个进程将会一直等待下去，直到收到返回信息才继续执行下去;同步是一种更为复杂的互斥，而互斥是一种特殊的同步。

异步：指进程不需要一直等下去，而是继续执行下面的操作，不管其他进程的状态。当有消息返回时系统会通知进程进行处理，这样可以提高执行的效率。

阻塞与非阻塞：阻塞与非阻塞是当进程在访问数据时，根据IO操作的就绪状态不同而采取的不同处理方式。比如主程序调用一个函数要读取一个文件的内容，阻塞方式下：主程序会等到函数读取完再继续往下执行。非阻塞方式：读取函数会立刻返回一个状态值给主程序，主程序不等待文件读取完就继续往下执行。一般来说可以分为同步阻塞（常用）、同步非阻塞、异步阻塞与异步非阻塞（常用）。

1.2.2什么是线程同步和互斥⭐⭐⭐⭐⭐

与进程的同步和互斥基本一致

线程同步：指线程之间的一种制约关系（多个线程相互协作时，存在的依赖关系），一个线程的执行依赖另一个线程的消息，当它没有得到另一个线程的消息时应等待，直至消息到达时才被唤醒。

线程互斥：指对于共享的进程系统资源，各个线程访问时具有排它性。当若干个线程都要使用某一共享资源时，任何时刻最多只允许一个线程使用，其它线程必须等待，直到占用资源者释放该资源。线程互斥是一种特殊的线程同步。

1.2.3线程同步与阻塞的关系？同步一定阻塞吗？阻塞一定同步吗？⭐⭐⭐

阻塞，非阻塞是使用同步机制的结果之一。同步是个过程，阻塞是进程的一个状态。当多个线程访问同一个资源时，规定同一时间只有一个线程可以进行访问，所以后访问的线程将阻塞，等待前访问的线程访问完成。

注意：线程同步不一定发生阻塞！线程同步的时候，需要协调推进速度，只有当访问同一资源出现互相等待和互相唤醒才会发生阻塞。

1.3 孤儿进程、僵尸进程、守护进程的概念

1.3.1 基本概念 ⭐⭐

孤儿进程：一个父进程退出，而它的一个或多个子进程还在运行，那么这些子进程将成为孤儿进程。孤儿进程将被init进程(进程号为1)所收养，并由init进程对它们完成状态收集工作。

僵尸进程：一个进程使用fork()创建子进程，如果子进程退出，而父进程没有通过调用wait()（或其变体 waitpid()、waitid()等）函数回收子进程资源/状态信息并归还给系统，那么此时子进程的进程描述符仍然保存在系统中，这种子进程则称为僵尸进程；

守护进程：是运行在后台、不与任何终端关联（不受终端控制）的一种特殊进程，它独立于控制终端并且周期性地执行某种任务或等待处理某些事情的发生。通常在系统启动时就在运行，以root用户或特殊用户运行（apache和postfix），能处理一些系统级的任务。

1.3.2 如何创建守护进程：⭐⭐

① 调用fork()，创建新的子进程，并调用exit()终止父进程，（创建孤儿进程）同时保证子进程不是进程组长（子进程虽然继承父进程的进程组ID，但有独立的进程ID）。

② 子进程调用setsid()创建新的会话区。

③ 将当前目录改为根目录（当前目录不能被卸载，它是作为守护进程的工作目录）

④ 重设文件权限掩码umask。（把文件权限掩码设置为 0，确保子进程有最大操作权限、增强守护进程的灵活性）

⑤ 关闭不再需要的文件描述符。（使得守护进程不再持有从其父进程继承过来的任何文件描述符，防止消耗系统资源）

⑥ 将标准输入、标准输出、标准错误重定向到 /dev/null。（使得守护进程的输出无处显示、

也无处从交互式用户那里接收输入。）

1.3.3 正确处理孤儿进程、僵尸进程的方法⭐⭐⭐⭐⭐

（1）僵尸进程的处理方法：

① 通过信号机制解决：子进程退出时向父进程发送SIGCHILD信号，父进程处理SIGCHILD信号。在信号处理函数中调用wait()处理僵尸进程。

② fork两次：可以避免子进程成为僵尸进程，父进程人为fork一个子进程，然后继续工作，子进程fork一个孙进程后退出，那么孙进程被init进程接管，孙进程结束后，init会回收。不过子进程的回收还要自己做。两次fork的原理是将孙进程成为孤儿进程，从而被转交给Init进程托管，孤儿进程的“父进程”变为init进程，当孙进程退出的时候，init就会回收孙进程的资源，通过init进程可以处理僵尸进程。

③ kill -9 杀死僵尸进程的父进程。若父进程是1号进程init进程，则挂起僵尸进程。

（2）孤儿进程的处理方法：

① 收养：任何孤儿进程产生时都会立即被系统进程（init）自动接收为子进程（init会周期性的调用wait函数）。

注：在此需注意，虽然事实上该进程已有init作为其父进程，但由于创建该进程的进程已不存在，所以仍应称之为“孤儿进程”

② 进程组：引入进程组，在父进程终止后，用户的Shell会将父进程所在的进程组标为“孤儿进程组”，并向所有子进程发出SIGHUP信号，以试图结束其运行。

③ 远程调用：客户端发起请求后突然崩溃，服务器端进程会成为孤儿进程。此时可以：1）终止机制：强制杀死孤儿进程。2）再生机制：服务器在指定时间内查找调用的客户端，若找不到则直接杀死孤儿进程；3）超时机制：给每个进程指定一个确定的运行时间，若超时仍未完成则强制终止之。若有需要，亦可让进程在指定时间耗尽之前申请延时。

补充：

1、防止线程之间相互竞争资源的方法。

同步机制：指的是在一定的时间内只允许某一个线程访问某个资源，在互斥的基础上，通过其它机制实现访问者对资源的有序访问。具体可以使用一下四种方式实现：

（1）互斥锁：同时运行的多个线程任务可能都需要使用同一进程资源，一个线程在使用共享内存时，会把门锁住，来控制对共享资源的访问，等空间被释放，才能再进去用这个空间。互斥锁只有两种状态,即上锁( lock )和解锁( unlock ) 。同时互斥锁的作用域仅仅在于线程

互斥锁特点：

① 原子性：这意味着操作系统（或pthread函数库）保证了如果一个线程锁定了一个互斥量，没有其他线程可以在同一时间可以成功锁定这个互斥量；

② 唯一性：一个线程锁定一个互斥量，在它解除锁定之前，其他线程无法锁定这个互斥量；

③ 非繁忙等待：一个线程锁定一个互斥量，第二个线程试图去锁定这个互斥量时，则第二个线程将被挂起（不占用任何cpu资源），直到第一个线程解除对这个互斥量的锁定为止，第二个线程则被唤醒并继续执行，同时锁定这个互斥量。

（2）条件变量：当线程在等待某些满足条件时使线程进入睡眠状态，即阻塞一个线程，一旦条件满足就唤醒，这样不会占用宝贵的互斥锁，不需要频繁查询锁的状态，实现高效。

（3）自旋锁：当一个线程要访问某个共享资源的时候首先要先获取相应的锁，锁只能被一个线程持有，只要此线程不释放持有的锁，那么其他的线程就不能获取此锁，处于忙循环-旋转-等待状态。

缺点：等待自旋锁的线程会一直处于自旋状态，这样会浪费处理器时间，降低系统性能。所以自旋锁适用于短时期的轻量级加锁。

（4）读写（自旋）锁：适用于对数据结构的读操作次数多于写操作次数的场合。（理解为一个共享信息表，可以并发读取，但是不可以修改时读取）

① 读写锁处于写锁定的状态：则在解锁之前，所有试图加锁的线程都会阻塞；

② 读写锁处于读锁定的状态：则所有试图以读模式加锁的线程都可得到访问权，但是以写模式加锁的线程则会阻塞；

③ 读写锁处于读模式的锁（未加锁）状态时：有另外的线程试图以写模式加锁，则读写锁会阻塞读模式加锁的请求，这样避免了读模式锁长期占用，导致的写模式锁长期阻塞的情况；

（5）信号量：信号量常常用于控制对共享资源的访问数（信号量值）。例如：一个房子有 10 把钥匙，这 10 把钥匙就相当于信号量值为10。信号量可以使等待资源线程进入休眠状态（而不是一直自旋），因此信号量不能用于中断，中断不能休眠。同时适用于那些占用资源比较久的场合。

缺点：信号量的开销要比自旋锁大，因为信号量使线程进入休眠状态以后会切换线程，切换线程就会有开销。

注：信号量中存在一个进程等待队列，未获取锁的进程将挂到该队列中，然后主动调用schedule()切换进程，让出cpu。

（6）互斥体：信号量值设置为1即为互斥体（mutex）。互斥访问表示一次只有一个线程可以访问共享资源，不能递归申请互斥体。

注意：1、mutex 可以导致休眠，因此不能在中断中使用 mutex，同时不能递归上锁和解锁。

2、管道和命名管道的区别

（1）管道：把一个进程连接到另一个进程的数据流称为管道，实现数据以数据流的方式在进程间流动。其特点：

① 管道是半双工的，数据只能向一个方向流动；需要双方通信时，需要建立起两个管道；

② 只能用于父子进程或者兄弟进程之间（具有亲缘关系的进程）；

③ 单独构成一种独立的文件系统：管道对于管道两端的进程而言，就是一个文件，但它不是普通的文件，它不属于某种文件系统，而是自立门户，单独构成一种文件系统，并且只存在于内存中。

④数据的读出和写入：一个进程向管道中写的内容被管道另一端的进程读出。写入的内容每次都添加在管道缓冲区的末尾，并且每次都是从缓冲区的头部读出数据

（2）命名管道：命名管道（named pipe）也称为FIFO（遵循先进先出），它是一种文件类型，创建一个FIFO文件类似于创建一个普通文件。FIFO解决了只有具有亲缘关系的进程间才能通信的问题，它提供一个路径名与之关联，以FIFO的文件形式存放于文件系统中。只要可以访问该路径，就能够彼此通过FIFO相互通信，因此，通过FIFO不相关的进程也能交换数据。命名管道区别于管道主要是以下两点：

① 命名管道可以用于任何两个进程间的通信，而并不限制这两个进程同源，因此命名管道的使用比管道的使用要方便灵活。

② 命名管道作为一种特殊的文件存放于文件系统中，而不是像管道一样存放于内存（管道使用完毕后消失）。当进程对命名管道的使用结束后，命名管道依然存在于文件系统中，除非对其进行删除操作，否则该命名管道不会消失。

3、I/O多路复用

I/O 多路复用（IO multiplexing）本质是通过一种机制，让单个进程可以监视多个文件描述符，一旦发现某个文件描述符（也就是某个文件）可以执行 I/O 操作时，能够通知应用程序进行相应的读写操作。

① select，poll，epoll 都是 I/O多路复用的机制。

select，poll，epoll 都是同步 IO。所谓同步 IO，是读写是阻塞的，需要在读写事件就绪后进行读写操作。

Select/poll：调用 select/poll会一直阻塞，直到某一个或多个文件描述符成为就绪态（可以读或写），用于查询文件描述符上是否可以执行 I/O 操作。管理多个描述符也是进行轮询，会无差异轮询所有流，找出能读/写数据的流进行操作。但poll无最大文件描述符数量的限制。

epoll： epoll模型修改主动轮询为被动通知，当有事件发生时，被动接收通知。所以epoll模型注册套接字后，主程序可做其他事情，当事件发生时，接收到通知后再去处理。所以epoll是事件驱动

异步 IO （信号驱动IO）：IO多路复用的机制，进程会先执行任何其它的任务，直到文件描述符可以执行 I/O 操作时，内核会发送一个信号给进程，执行预先注册好的信号处理函数。

4、Fork函数

（1）内部实现原理

fork()系统调用通过复制一个现有进程来创建一个全新的进程。进程被存放在一个叫做任务队列的双向循环链表当中，链表当中的每一项都是类型为task_struct称为进程描述符的结构。当进程调用fork后，当控制转移到内核中的fork代码后，内核会做4件事情:

1、分配新的内存块和内核数据结构给子进程

2、将父进程部分数据结构内容拷贝至子进程

3、添加子进程到系统进程列表当中

4、fork返回，开始调度器调度

（2）fork函数为什么是一次调用，却返回了两次呢？

答：由于在复制时复制了父进程的堆栈段，所以两个进程都停留在fork函数中，等待返回。因此fork函数会返回两次，一次是在父进程中返回，另一次是在子进程中返回，这两次的返回值是不一样的。可能有三种不同的返回值：

① 在父进程中，fork返回新创建子进程的进程ID；

② 在子进程中，fork返回0；

③ 如果出现错误，fork返回一个负值。

（3）进程创建函数fork和vfork的区别？

fork()：①父子进程的执行次序不确定。②子进程拷贝父进程的地址空间，子进程是父进程的一个复制品。

vfork()：①保证子进程先运行,在它调用 exec（进程替换）或 exit（退出进程）之后父进程才可能被调度运行。②子进程共享父进程的地址空间（准确来说，在调用 exec（进程替换）或 exit（退出进程）之前与父进程数据是共享的）。

_Ａｇｏｎｉ

关注

0
点赞
踩
2

收藏

觉得还不错? 一键收藏
0
评论
嵌入式面试专题—进程线程

父进程人为fork一个子进程，然后继续工作，子进程fork一个孙进程后退出，那么孙进程被init进程接管，孙进程结束后，init会回收。两次fork的原理是将孙进程成为孤儿进程，从而被转交给Init进程托管，孤儿进程的“父进程”变为init进程，当孙进程退出的时候，init就会回收孙进程的资源，通过init进程可以处理僵尸进程。：当一个线程要访问某个共享资源的时候首先要先获取相应的锁，锁只能被一个线程持有，只要此线程不释放持有的锁，那么其他的线程就不能获取此锁，处于忙循环-旋转-等待状态。
复制链接

扫一扫