linux 进程管理与调度（一）

进程结构

  进程在内核的源代码中以结构体表示，篇幅很长，在此列举一小段关键代码，可以发现是个双向链表，具体的可以在内核目录下找一个叫“sched.h”的头文件。

struct task_struct {
      struct task_struct *real_parent; /* real parent process */
      struct task_struct *parent; /* recipient of SIGCHLD, wait4() reports */
      /*
       * children/sibling forms the list of my natural children
       */
      struct list_head children;      /* list of my children */
      struct list_head sibling;       /* linkage in my parent's children list */
      struct task_struct *group_leader;       /* threadgroup leader */ 

      ……
};

  进程被存放在叫做任务链表（tasklist）的双向循环链表中，linux通过slab分配器分配task_struct结构，这样能达到对象复用和缓存着色（cache coloring）的目的。

  结构体中主要由四部分组成

  1.进程控制块：进程标志

  2.进程程序块：可与其他程序共享

  3.进程数据块：进程专属空间，用于存放各种私有数据以及堆栈空间

  4.独立的空间：线程

进程状态

#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_ZOMBIE             16
#define EXIT_DEAD               32
/* in tsk->state again */
#define TASK_DEAD               64
#define TASK_WAKEKILL           128
#define TASK_WAKING             256

 

 

进程的状态一共有五种。

1.TASK_RUNNING（运行）--------进程正在执行，或者在队列中等待执行。这是进程在用户空间中唯一可能的状态，也可以应用到内核空间中正在执行的进程。

2.TASK_INTERRUPTIBLE(可中断)--------进程正在睡眠（也就是他被阻塞）等待某些条件达成。一旦这些条件达成，内核就会把进程状态设置为运行，处于此状态的进程也会因为收到信号而提前被唤醒并投入运行。

3.TASK_UNINTERRUPTIBALE(不可中断)--------除了会因为接收到信号而被唤醒从而投入运行外，这个状态与可打断状态相同。这个状态通常在进程必须等待时不受干扰或事件很快就会发生时出现。由于处于此状态的任务对信号不作响应，所以较之可中断状态，用的较少。

4.TASK_ZOMBIE(僵死)-------该进程已经结束了，但父进程还没有调用wait()系统调用。一旦父进程调用了wait()，进程描述符就会被释放。

5.TASK_STOPPED（停止）---------进程停止执行，进程没有投入运行也不能投入运行。

 

 

 

 

进程的创建

 

  在linux系统中，所有进程都是PID为1的init进程的后代。内核在系统启动的最后阶段启动init进程。该进程读取系统的初始化脚本，并执行其他的相关程序，最终完成系统启动的整个进程。

 

 

 

 

  进程是系统中基本的执行单位（线程是最小的调度单位），可以利用fork函数创建一个新的进程；

pid_t fork( void )

  fork() 函数不需要参数，但返回两次，返回值有三种情况：

（1）对于父进程，fork函数返回新的子进程的ID。

（2）对于子进程，fork函数返回0。

（3）如果出错，fork函数返回-1。

 

   fork函数创建一个新的进程，并从内核中为此进程得到一个新的可用进程ID，之后为这个新进程分配进程空间，并将父进程的进程空间中的内容复制到子进程的进程空间中，包括父进程的数据段+堆栈段，并与父进程共享代码段。

 

fork函数之后，子进程从等待fork返回开始执行，而不是从头开始。