task_struct结构体详解

最新推荐文章于 2024-09-19 21:18:26 发布

JavaScripe2013

最新推荐文章于 2024-09-19 21:18:26 发布

阅读量595

点赞数

本文链接：https://blog.csdn.net/qq_36345632/article/details/55519268

版权

本文深入探讨了Linux进程的表示——task_struct结构体，包括进程的状态、标识符、内核栈的分配与释放，以及进程间的亲属关系。重点解析了进程状态的可能取值，PID与TID的区别，并介绍了内核栈的大小与分配方式。

摘要由CSDN通过智能技术生成

1、引言

进程是处于执行期的程序以及它所管理的资源（如打开的文件、挂起的信号、进程状态、地址空间等等）的总称。
注意，程序并不是进程，实际上两个或多个进程不仅有可能执行同一程序，而且还有可能共享地址空间等资源。
在进程执行时，都可以被表征为一下元素：
- 标识符：与进程相关的唯一标识符，用来区别正在执行的进程和其他进程。
- 状态：描述进程的状态，因为进程有挂起，阻塞，运行等好几个状态，所以都有个标识符来记录进程的执行状态。
- 优先级：如果有好几个进程正在执行，就涉及到进程被执行的先后顺序的问题，这和进程优先级这个标识符有关。
- 程序计数器：程序中即将被执行的下一条指令的地址。
- 内存指针：程序代码和进程相关数据的指针。
- 上下文数据：进程执行时处理器的寄存器中的数据。
- I/O状态信息：包括显示的I/O请求，分配给进程的I/O设备和被进程使用的文件列表等。

2、tast_struct成员及代码解析

进程状态

volatile long state;/* -1 unrunnable, 0 runnable, >0 stopped */

进程状态可能的取值

 /*
  * Task state bitmask. NOTE! These bits are also
  * encoded in fs/proc/array.c: get_task_state().
  *
  * We have two separate sets of flags: task->state
  * is about runnability, while task->exit_state are
  * about the task exiting. Confusing, but this way
  * modifying one set can't modify the other one by
  * mistake.
  */
 #define TASK_RUNNING            0
 #define TASK_INTERRUPTIBLE      1
 #define TASK_UNINTERRUPTIBLE    2
 #define TASK_STOPPED            4
 #define TASK_TRACED             8

/* in tsk->exit_state */
 #define EXIT_DEAD               16
 #define EXIT_ZOMBIE             32
 #define EXIT_TRACE              (EXIT_ZOMBIE | EXIT_DEAD)

/* in tsk->state again */
 #define TASK_DEAD               64
 #define TASK_WAKEKILL           128    /** wake on signals that are deadly