Linux操作系统进程模型分析

Linux操作系统简介

Linux拥有现代操作系统的功能，如真正的抢先式多任务处理，支持多用户内存，保护虚拟内存，支持SMP、UP，符合POSIX 标准联网、图形用户接口和桌面环境具有快速性、稳定性等特点。本文通过分析Linux内核源代码，说明了Linux作为操作系统内核是如何对进程组织，转换，调度的。

进程的组织

进程在内核中是以PCB的形式存在的，一个操作系统有很多进程，即就是很多PCB同时存在，如何有效的管理进程的组织方式，显然是一个很重要的问题，为了遍历内核中所有的进程，内核将这些PCB直接用双向链表链起来，task_struct 结构中的tasks字段就是用来连接所有进程描述符的。在这个链中，链表头是init_task描述符，它是所谓的0进程或者swapper进程的描述符，init_task.tasks.prev字段指向链表中最后插入的进程描述符的tasks字段。

struct task_struct {
struct list_head run_list;
struct list_head tasks;
struct task_struct *real_parent; /*real parent process (when being debugged) */
struct task_struct *parent; /* parent process */
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 */
/* PID/PID hash table linkage. */
struct pid_link pids[PIDTYPE_MAX];
struct list_head thread_group;
｝；

从以上源代码中的字段可知Linux是如何组织进程的。

字段run_list：
在内核中有一个队列是可运行队列，即就是保存了进程状态为：TASK_RUNNING的进程PCB，这个队列就是run_list字段，内核为每个优先级都设置了一个可运行队列，即如果一个进程的优先级为k（取值范围是0到139），那么内核就将此进程链入到优先权为k的可运行队列中，这样CPU可以从高优先级可可运行队列去选择要运行的进程，这样提高了效率，但为此却要把所有可运行的进程队列拆分成140个不同的队列。这些队列有一个单独的数据结构prio_array_t数据结构来实现，定义如下（摘自linux2.6.11）：

typedef struct prio_array prio_array_t;
struct prio_array {unsigned int nr_active;unsigned long bitmap[BITMAP_SIZE];struct list_head queue[MAX_PRIO];
};

字段 children、 sibling和thread_group：
这三个字段分别是进程的子进程链表、兄弟链表和线程组链表。可以根据children和sibling字段找到一个进程家族的进程。进程在创建后必须处于某一个组中，通过thread_group来形成一个进程组。

进程的转换

Linux中进程切换过程与函数调用堆栈基本类似

void my_schedule(void)
{tPCB * next;tPCB * prev;if(my_current_task == NULL || my_current_task->next == NULL){return;}printk(KERN_NOTICE ">>>my_schedule<<<\n");/* schedule */next = my_current_task->next;prev = my_current_task;/*进程上下文的切换，与函数调用堆栈类似*/if(next->state == 0)/* -1 unrunnable, 0 runnable, >0 stopped */{/* switch to next process */asm volatile(/*保存当前进程的ebp esp*/  "pushl %%ebp\n\t"       /* save ebp */"movl %%esp,%0\n\t"     /* save esp *//*构建下一个进程的esp*/"movl %2,%%esp\n\t"     /* restore  esp *//*$1f是指下面标号为1的位置，就是下一个进程启动的位置*/"movl $1f,%1\n\t"       /* save eip */ /*下一个进程eip压栈*/"pushl %3\n\t" /*恢复现场:eip指向下下个进程的地址ebp恢复为第一条指令压栈保存的ebp*/"ret\n\t"               /* restore  eip */"1:\t"                  /* next process start here */"popl %%ebp\n\t": "=m" (prev->thread.sp),"=m" (prev->thread.ip): "m" (next->thread.sp),"m" (next->thread.ip)); my_current_task = next; printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);      }else{next->state = 0;//新的进程设置为正在运行状态my_current_task = next;printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);/* switch to new process */asm volatile(   "pushl %%ebp\n\t"       /* save ebp */"movl %%esp,%0\n\t"     /* save esp *//*新的进程从来没有执行过，所以栈为空esp与ebp指向同一位置*/"movl %2,%%esp\n\t"     /* restore  esp */"movl %2,%%ebp\n\t"     /* restore  ebp */"movl $1f,%1\n\t"       /* save eip */ "pushl %3\n\t" "ret\n\t"               /* restore  eip */: "=m" (prev->thread.sp),"=m" (prev->thread.ip): "m" (next->thread.sp),"m" (next->thread.ip));          }   return;
}

切换过程：

1.保存当前进程的堆栈环境(esp,eip,ebp)，首先将当前进程的ebp压栈，并将esp和eip保存在当前进程的结构体中

2.构建下一进程的堆栈环境。然后下一条进程的thread.sp读出，赋给esp;thread.ip读出赋给eip。若下一条进程是新的进程，处于未运行状态，则新进程堆栈为空，esp与ebp指向同一地址，这种情况与函数调用堆栈更加类似。若下一条进程处于运行态，那么ebp与当前进程的ebp指向同一地址。

3.恢复堆栈环境，为下下个进程做准备。恢复eip,即把执行完成的进程的thread.ip(下一进程的指令地址)赋给eip，上例中所有进程的thread.ip设为my_process。

如图所示：

进程的调度

Linux系统进程提供了两种优先级，一种是普通的进程优先级，第二个是实时优先级。前者适用SCHED_NORMAL调度策略，后者可选SCHED_FIFO或SCHED_RR调度策略。任何时候，实时进程的优先级都高于普通进程，实时进程只会被更高级的实时进程抢占，同级实时进程之间是按照FIFO（一次机会做完）或者RR（多次轮转）规则调度的。

Linux进程状态机：

个人看法

在日常使用手机或者电脑的时候，经常在将应用关闭或退出后，仍然还有许多进程在后台运行，促使我对进程的存在产生了好奇心。现在明白，不仅仅在应用运行时会产生进程，计算机系统本身在运行过程中也会产生许多进程，就是这些进程使得计算机可以调用许多功能，与人进行交互。而通过对Linux操作系统进程的探索，使我对进程有了更进一步的了解，懂得了为什么计算机可以同时运行那么多程序，好的进程的组织，转换和调用模式可以极大地提升计算机的性能，帮助我们更好地完成任务。

转载于:https://www.cnblogs.com/zhengzhihuang/p/8966846.html