在谈进程之前,我们先说一说程序:在Linux下,我们想生成一个C程序,必定要通过预处理,编译,汇编,链接这四步,才能得到一个可执行文件也就是我们的C程序,而对于我们操作系统而言,要运行一个磁盘上保存的二进制可执行文件,要进行哪些操作呢?
根据冯诺依曼体系结构,我们知道我们的CPU其实只跟我们的内存打交道,而在这里我们要让CPU运行我们的二进制可执行文件,就必然要将磁盘上的二进制文件加载到我们的内存当中,而当这份二进制文件被加载到内存当中后,就不仅仅是单纯的二进制可执行文件这么简单,程序在这里就会演变成为我们所说的进程。
而对于进程,除了包含之前的二进制文件中的数据与代码以外,还有一项非常重要的内容,也就是我们的进程控制块PCB(在Linux下PCB就是task_struct的结构体),而在进程控制块当中,则是包含所有描述该进程的信息,所以我们操作系统对于进程的管理主要通过两个方面:
1.内核将磁盘上的二进制可执行文件读入到内存当中,并且为其分配对应的内存空间;
2.内核为这个进程保存所有相关信息,构建PCB(task_struct结构体),并将其与其他进程的PCB以特定的数据结构管理组织管理起来;
这样一来,我们操作系统的调度程序就可以根据对应的PCB找到对应的进程,就可以对其所管辖的进程进行调度执行了。
对于上述的两个方面,首先我们来讨论一下第一个,也就是内核将磁盘上的二进制文件读入到内存当中,这里就会形成对应的内存映像,而对于二进制可执行程序与进程的内存映像的不同之处在于:
1.二进制可执行程序在于硬盘之中,而进程的内存映像在于内存当中;
2.二进制可执行程序并不存在堆栈,只有当其被加载到内存当中后才会被分配堆栈;
3.二进制可执行程序虽然也有未初始化的数据段,但它并不被存储在硬盘中的可执行文件当中;
4.二进制可执行程序是静态的,而我们的进程的内存映像是动态的,随时变化的;
而进程的内存映像的大致布局如下(也就是我们所说的地址空间):
由此我们可以总结出:硬盘上的二进制可执行程序在被加载到内存当中,其中的数据以及代码就保存在这个进程所对应的地址空间当中,而这个地址空间上的所有地址均为虚拟地址,至于它与我们物理内存的关系,则是地址空间上的虚拟地址通过页表以及CPU上的内存管理单元MMU这一硬件将虚拟地址通过映射,将其转化成我们的物理地址。
我们操作系统内核在管理进程主要是通过对每个进程的PCB进行管理,而一个PCB中包含了这个进程的所有信息,而这些信息大致有哪些呢?(我们以Linux的task_struct为例)
在进行剖析task_struct的定义之前,我们先按照我们的理论推一下它的结构:
1、进程状态 ,将纪录进程在等待,运行,或死锁
2、调度信息, 由哪个调度函数调度,怎样调度等
3、进程的通讯状况
4、因为要插入进程树,必须有联系父子兄弟的指针, 当然是task_struct型
5、时间信息, 比如计算好执行的时间, 以便cpu 分配
6、标号 ,决定改进程归属
7、可以读写打开的一些文件信息
8、 进程上下文和内核上下文
9、处理器上下文
10、内存信息
查看task_struct这个结构体定义的源码可以通过/usr/src/kernels/2.6.32-431.el6.i686/include/linux这个路径,去查找其中的sched.h文件,其中大致定义如下:
struct task_struct {
volatile long state; //说明了该进程是否可以执行,还是可中断等信息
unsigned long flags; //Flage 是进程号,在调用fork()时给出
int sigpending; //进程上是否有待处理的信号
mm_segment_t addr_limit; //进程地址空间,区分内核进程与普通进程在内存存放的位置不同
//0-0xBFFFFFFF for user-thead
//0-0xFFFFFFFF for kernel-thread
//调度标志,表示该进程是否需要重新调度,若非0,则当从内核态返回到用户态,会发生调度
volatile long need_resched;
int lock_depth; //锁深度
long nice; //进程的基本时间片
//进程的调度策略,有三种,实时进程:SCHED_FIFO,SCHED_RR, 分时进程:SCHED_OTHER
unsigned long policy;
struct mm_struct *mm; //进程内存管理信息
int processor;
//若进程不在任何CPU上运行, cpus_runnable 的值是0,否则是1 这个值在运行队列被锁时更新
unsigned long cpus_runnable, cpus_allowed;
struct list_head run_list; //指向运行队列的指针
unsigned long sleep_time; //进程的睡眠时间
//用于将系统中所有的进程连成一个双向循环链表, 其根是init_task
struct task_struct *next_task, *prev_task;
struct mm_struct *active_mm;
struct list_head local_pages; //指向本地页面
unsigned int allocation_order, nr_local_pages;
struct linux_binfmt *binfmt; //进程所运行的可执行文件的格式
int exit_code, exit_signal;
int pdeath_signal; //父进程终止是向子进程发送的信号
unsigned long personality;
//Linux可以运行由其他UNIX操作系统生成的符合iBCS2标准的程序
int did_exec:1;
pid_t pid; //进程标识符,用来代表一个进程
pid_t pgrp; //进程组标识,表示进程所属的进程组
pid_t tty_old_pgrp; //进程控制终端所在的组标识
pid_t session; //进程的会话标识
pid_t tgid;
int leader; //表示进程是否为会话主管
struct task_struct *p_opptr,*p_pptr,*p_cptr,*p_ysptr,*p_osptr;
struct list_head thread_group; //线程链表
struct task_struct *pidhash_next; //用于将进程链入HASH表
struct task_struct **pidhash_pprev;
wait_queue_head_t wait_chldexit; //供wait4()使用
struct completion *vfork_done; //供vfork() 使用
unsigned long rt_priority; //实时优先级,用它计算实时进程调度时的weight值
//it_real_value,it_real_incr用于REAL定时器,单位为jiffies, 系统根据it_real_value
//设置定时器的第一个终止时间. 在定时器到期时,向进程发送SIGALRM信号,同时根据
//it_real_incr重置终止时间,it_prof_value,it_prof_incr用于Profile定时器,单位为jiffies。
//当进程运行时,不管在何种状态下,每个tick都使it_prof_value值减一,当减到0时,向进程发送
//信号SIGPROF,并根据it_prof_incr重置时间.
//it_virt_value,it_virt_value用于Virtual定时器,单位为jiffies。当进程运行时,不管在何种
//状态下,每个tick都使it_virt_value值减一当减到0时,向进程发送信号SIGVTALRM,根据
//it_virt_incr重置初值。
unsigned long it_real_value, it_prof_value, it_virt_value;
unsigned long it_real_incr, it_prof_incr, it_virt_value;
struct timer_list real_timer; //指向实时定时器的指针
struct tms times; //记录进程消耗的时间
unsigned long start_time; //进程创建的时间
//记录进程在每个CPU上所消耗的用户态时间和核心态时间
long per_cpu_utime[NR_CPUS], per_cpu_stime[NR_CPUS];
//内存缺页和交换信息:
//min_flt, maj_flt累计进程的次缺页数(Copy on Write页和匿名页)和主缺页数(从映射文件或交换
//设备读入的页面数); nswap记录进程累计换出的页面数,即写到交换设备上的页面数。
//cmin_flt, cmaj_flt, cnswap记录本进程为祖先的所有子孙进程的累计次缺页数,主缺页数和换出页面数。
//在父进程回收终止的子进程时,父进程会将子进程的这些信息累计到自己结构的这些域中
unsigned long min_flt, maj_flt, nswap, cmin_flt, cmaj_flt, cnswap;
int swappable:1; //表示进程的虚拟地址空间是否允许换出
//进程认证信息
//uid,gid为运行该进程的用户的用户标识符和组标识符,通常是进程创建者的uid,gid
//euid,egid为有效uid,gid
//fsuid,fsgid为文件系统uid,gid,这两个ID号通常与有效uid,gid相等,在检查对于文件
//系统的访问权限时使用他们。
//suid,sgid为备份uid,gid
uid_t uid,euid,suid,fsuid;
gid_t gid,egid,sgid,fsgid;
int ngroups; //记录进程在多少个用户组中
gid_t groups[NGROUPS]; //记录进程所在的组
//进程的权能,分别是有效位集合,继承位集合,允许位集合
kernel_cap_t cap_effective, cap_inheritable, cap_permitted;
int keep_capabilities:1;
struct user_struct *user;
struct rlimit rlim[RLIM_NLIMITS]; //与进程相关的资源限制信息
unsigned short used_math; //是否使用FPU
char comm[16]; //进程正在运行的可执行文件名
//文件系统信息
int link_count, total_link_count;
//NULL if no tty 进程所在的控制终端,如果不需要控制终端,则该指针为空
struct tty_struct *tty;
unsigned int locks;
//进程间通信信息
struct sem_undo *semundo; //进程在信号灯上的所有undo操作
struct sem_queue *semsleeping; //当进程因为信号灯操作而挂起时,他在该队列中记录等待的操作
//进程的CPU状态,切换时,要保存到停止进程的task_struct中
struct thread_struct thread;
//文件系统信息
struct fs_struct *fs;
//打开文件信息
struct files_struct *files;
//信号处理函数
spinlock_t sigmask_lock;
struct signal_struct *sig; //信号处理函数
sigset_t blocked; //进程当前要阻塞的信号,每个信号对应一位
struct sigpending pending; //进程上是否有待处理的信号
unsigned long sas_ss_sp;
size_t sas_ss_size;
int (*notifier)(void *priv);
void *notifier_data;
sigset_t *notifier_mask;
u32 parent_exec_id;
u32 self_exec_id;
spinlock_t alloc_lock;
void *journal_info;
};
以上内容我是参考了http://blog.sina.com.cn/s/blog_65403f9b0100gs3a.html这篇博客。
而其中几个重要的成员如下:
标示符 pid: 描述本进程的唯一标示符,用来区别其他进程。(通过系统调用getpid()与getppid()可以分别获取当前进程pid与其父进程pid,这里要注意一点:所有通过命令行进行的进程,其父进程均为shell)
状态 :任务状态,退出代码,退出信号等。
优先级 :相对于其他进程的优先级。
程序计数器:程序中即将被执行的下一条指令的地址。
内存指针:包括程序代码和进程相关数据的指针,还有和其他进程共享的内存块的指针
上下文数据:进程执行时处理器的寄存器中的数据。
I/O状态信息:包括显示的I/O请求,分配给进程的I/O设备和被进程使用的文件列表。
记账信息:可能包括处理器时间总和,使用的时钟数总和,时间限制,记账号等。
还有这里不得不提的一项就是mmstruct这个结构体,在上面的源码中也有相关定义:
struct mm_struct *mm; //进程内存管理信息
其实,mmstruct这个结构体主要描述了Linux视角下管理进程地址空间的信息,它主要通过以对应的start和end两个数据来对地址空间中的每一个区域进行对应的划分其范围。
最后附上一张图: