⑴ 剖析linux内核源码，task_struct结构体详解
在Linux内核中，进程与线程的统一数据结构是task_struct，它作为进程存在的唯一实体，通过双向循环链表连接所有task_struct。每个任务拥有唯一标识pid和线程组IDtgid，其中group_leader指向进程主线程。有了tgid，我们可以区分task_struct代表进程还是线程。Linux kernel通过成员变量表示进程的亲缘关系，包括进程状态和权限控制。进程权限涉及进程访问文件、访问其他进程及执行操作的能力。操作权限由cred和real_cred成员表示，描述了当前进程和试图操作的进程之间的权限关系。进程运行统计信息记录了用户态和内核态上消耗的时间以及上下文切换次数，反映了进程的运行情况。信号处理包括被阻塞、等待处理和正在处理的信号，信号处理函数可以忽略或结束进程，处理栈用于信号处理。进程的虚拟地址空间分为用户虚拟地址空间和内核虚拟地址空间，每个进程有独立的用户虚拟地址空间，内核线程无用户地址空间。进程拥有文件系统数据结构和打开文件数据结构，涉及Linux文件系统操作。每个task都有内核栈，用于在调用系统调用时从用户态切换到内核态。内核栈包含thread_info和pt_regs数据结构，其中thread_info由体系结构定义，pt_regs用于保存系统调用时的CPU上下文。在系统调用返回时，可以从进程的原来位置继续运行。综上所述，task_struct结构体在Linux内核中扮演着关键角色，它管理着进程和线程的生命周期，从状态管理、权限控制、运行统计、信号处理到内存管理与文件系统交互，以及系统调用的上下文切换，都是通过task_struct的成员变量和结构体实现的。这些特性使得Linux内核能够高效、灵活地管理多任务环境。
⑵ 剖析Linux内核源码解读之《实现fork研究(二)》
Linux内核源码中fork实现的核心过程，特别是在_process函数中的解析如下：
fork的核心过程与task_struct：
在Linux系统中，应用层通过fork调用创建子进程或子线程。内核并不区分进程和线程，它们共享相同的task_struct结构来描述其状态和资源。task_struct包含了进程或线程的所有关键数据结构，如内存描述符、文件描述符、信号处理等，是内核调度程序识别和管理进程的重要依据。
_process函数的作用：
_process是fork实现的关键函数，负责初始化新的task_struct结构。它为新进程分配PID，并将其加入到运行队列中。
内核栈初始化与fork的两次返回值：
在_process函数中，内核栈的初始化导致fork调用在父进程和子进程中返回不同的值。这与_thread函数有关，该函数负责将父进程的内核栈复制到子进程，并清零子进程的寄存器值。因此，子进程在首次执行时返回0，表示成功创建；而父进程则继续执行_thread后续操作，最后返回子进程的PID。
线程资源的管理：
对于线程，其独有资源通常包括线程特定的数据结构和状态。共享资源则涉及父进程与线程间的共享内存、文件描述符和信号处理等。这些资源的管理对于多线程程序的正确运行至关重要，需确保线程间资源的互斥访问和安全共享，以避免数据竞争和死锁等问题。
