码迷,mamicode.com
首页 > 系统相关 > 详细

第一次作业:基于Linux进程模型分析

时间:2018-04-28 22:27:37      阅读:314      评论:0      收藏:0      [点我收藏+]

标签:基于   内存   http   二进制   cti   过程   style   宏定义   标准   

1. 前言

本文主要基于 Linux 0.12 的源代码,分析该 Linux 内核版本的进程模型及其调度器的算法。

Linux 0.12 源代码下载地址: http://oldlinux.org/Linux.old/kernel/0.1x/linux-0.12.tar.gz

2. 进程

2.1 什么是进程

  • 操作系统最核心的概念就是进程。进程简单来说就是在操作系统中运行的程序,它是操作系统资源管理的最小单位。
  • 进程是一个动态的实体,它是程序的一次执行过程。
  • 进程是一个具有一定独立功能的程序的一次运行活动,同时也是资源分配的最小单元。

2.2 进程的特征

  • 动态性:进程的实质是程序在多道程序系统中的一次执行过程,进程是动态产生,动态消亡的。
  • 并发性:任何进程都可以同其他进程一起并发执行。
  • 独立性:进程是一个能独立运行的基本单位,同时也是系统分配资源和调度的独立单位。
  • 异步性:由于进程间的相互制约,使进程具有执行的间断性,即进程按各自独立的、不可预知的速度向前推进。
  • 结构特征:进程由程序、数据和进程控制块三部分组成。

3. 进程的组织

3.1 进程控制块

在Linux内核中,通过一个被称为进程描述符的task_struct结构体来管理进程,这个结构体包含了一个进程所需的所有信息。它定义在此文件中(如下):

linux-2.6.38.8/include/linux/sched.h

task_struct 包含了这些内容:

①标示符 : 描述本进程的唯一标识符,用来区别其他进程。 

②状态 :任务状态,退出代码,退出信号等。 

③优先级 :相对于其他进程的优先级。 

④程序计数器:程序中即将被执行的下一条指令的地址。 

⑤内存指针:包括程序代码和进程相关数据的指针,还有和其他进程共享的内存块的指针。

⑥上下文数据:进程执行时处理器的寄存器中的数据。 

⑦ I/O状态信息:包括显示的I/O请求,分配给进程的I/O设备和被进程使用的文件列表。 

⑧记账信息:可能包括处理器时间总和,使用的时钟数总和,时间限制,记账号等。 

3.1.1 进程的标识符(PID)

每个进程在系统中都有唯一的一个ID标识它,这个ID就是进程标识符(PID)。

在Linux 0.12中这样定义:

long pid;

3.1.2 进程的状态

① 进程的状态分析

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

state成员的取值如下:

#define TASK_RUNNING 0

#define TASK_INTERRUPTIBLE 1

#define TASK_UNINTERRUPTIBLE 2

#define TASK_ZOMBIE 3

#define TASK_STOPPED 4

进程状态的分析:

  • TASK_RUNNING(运行状态)他是运行态和就绪态的合并,表示进程正在运行或准备运行。
  • TASK_INTERRUPTIBLE(可中断睡眠状态)进程正在睡眠(被阻塞),等待资源到来是唤醒,也可以通过其他进程信号或时钟中断唤醒,进入运行队列。
  • TASK_UNINTERRUPTIBLE(不可中断睡眠状态)其和浅度睡眠基本类似,但有一点就是不可其他进程信号或时钟中断唤醒。
  • TASK_STOPPED(暂停状态)进程暂停执行接受某种处理。
  • TASK_ZOMBIE(僵死状态)进程已经结束但未释放PCB,则称该进程处于僵死状态。

② 进程状态的转换

  • 运行状态 ===> 阻塞状态:例如正在运行的进程提出I/O请求,由运行状态转化为阻塞状态
  •  阻塞状态 ===> 就绪状态:例如I/O操作完成之后,由阻塞状态转化为就绪状态
  • 就绪状态 ===> 运行状态:例如就绪状态的进程被进程调度程序选中,分配到CPU中运行,由就绪状态转化为运行状态
  • 运行状态 ===> 就绪状态:处于运行状态的进程的时间片用完,不得不让出uCPU,由运行状态转化为就绪状态

③ 进程状态转换图

技术分享图片

3.2 程序段

程序段就是能被进程调度程序调度到CPU执行的程序代码段。注意,程序可以被多个进程共享,就是说多个进程可以运行同一个程序。

3.3 数据段

一个进程的数据段,可以是进程对应的程序加工处理的原始数据,也可以是程序执行时产生的中间或最终结果。

4. 进程的调度

4.1 什么是进程调度 

       现代的操作系统都是多任务的操作系统,尽管随着科技的发展,硬件的处理器核心越来越多,但是仍然不能保证一个进程对应一个核心,这就势必需要一个管理单元,负责调度进程,由管理单元来决定下一刻应该由谁使用CPU,这里充当管理单元的就是进程调度器。

进程调度器的任务:1、分配时间给进程     2、上下文切换

4.2 调度器的演变

 

字段版本
O(n)的始调度算法 linux-0.11~2.4
O(1)调度器 linux-2.5
CFS调度器 linux-2.6~至今

4.3 了解主调度器函数

  • 内核调度程序的初始化子程序 
void sched_init(void)  
{  
    int i;  
    struct desc_struct * p;     // 描述符表结构指针  
  
// Linux系统开发之初,内核不成熟.内核代码会被经常修改.Linus怕无意中修改了这些关键性的数据结构,造成与POSIX标准的不兼容.这里加入下面这个判断  
// 语句并无必要,纯粹是为了提醒自己以及其他修改内核代码的人.          
    if (sizeof(struct sigaction) != 16)     // sigaction是存放有关信号状态的结构.  
        panic("Struct sigaction MUST be 16 bytes");  
// 在全局描述符表中设置初始任务(任务0)的任务状态段描述符和局部数据表描述符.  
// FIRST_TSS_ENTRY和FIRST_LDT_ENTRY的值分别是4和5,定义在include/linux/sched.h中.gdt是一个描述符表数组(include/linux/head.h),  
// 实际上对应程序head.s中的他已描述符表基址(gdt).因此gdt+FIRST_TSS_ENTRY即为gdt[FIRST_TSS_ENTRY](即是gdt[4]),即gdt数组第4项的地址  
// 参见include/asm/system.h          
    set_tss_desc(gdt+FIRST_TSS_ENTRY,&(init_task.task.tss));  
    set_ldt_desc(gdt+FIRST_LDT_ENTRY,&(init_task.task.ldt));  
// 清任务数组和描述符表项(注意i=1开始,所以初始任务的描述符还在).描述符项结构定义在文件include/linux/head.h中.          
    p = gdt+2+FIRST_TSS_ENTRY;  
    for(i=1;i<NR_TASKS;i++) {  
        task[i] = NULL;  
        p->a=p->b=0;  
        p++;  
        p->a=p->b=0;  
        p++;  
    }          
/* Clear NT, so that we won‘t have troubles with that later on */  
/* 清除标志寄存器中的位NT,这样以后就不会有麻烦 */  
// EFLAGS中的NT标志位用于控制任务的嵌套调用.当NT位置位时,那么当前中断任务执行IRET指令时就会引起任务切换.NT指出TSS中的back_link字段是否有效.  
// NT=0时无效.          
    __asm__("pushfl ; andl $0xffffbfff,(%esp) ; popfl");  
// 将任务0的TSS段选择符加载到任务寄存器tr.将局部描述符表段选择符加载到局部描述符表寄存器ldtr中.注意!!是将GDT中相应LDT描述符的选择符加载到ldtr.  
// 只明确加这一次,以后新任务LDT的加载,是CPU根据TSS中的LDT项自动加载.  
    ltr(0);     // 定义在include/linux/sched.h  
    lldt(0);    // 其中参数(0)是任务号.     
// 下面代码用于初始化8253定时器.通道0,选择工作方式3,二进制计数方式.通道0的输出引脚接在中断控制主芯片的IRQ0上,它每10毫秒发出一个IRQ0请求.  
// LATCH是初始定时计数值.          
    outb_p(0x36,0x43);      /* binary, mode 3, LSB/MSB, ch 0 */  
    outb_p(LATCH & 0xff , 0x40);    /* LSB */   // 定时值低字节  
    outb(LATCH >> 8 , 0x40);  /* MSB */   // 定时值高字节  
// 设置时钟中断处理程序句柄(设置时钟中断门).修改中断控制器屏蔽码,允许时钟中断.  
// 然后设置系统调用中断门.这两个设置中断描述衔表IDT中描述符的宏定义在文件include/asm/system.h中.两者的区别参见system.h文件开始处的说明.          
    set_intr_gate(0x20,&timer_interrupt);  
    outb(inb_p(0x21)&~0x01,0x21);  
    set_system_gate(0x80,&system_call);          
}  
  • schedule()就是主调度器的函数, 在内核中的许多地方, 如果要将CPU分配给与当前活动进程不同的另一个进程, 都会直接调用主调度器函数schedule()
void schedule(void)  
{  
    int i,next,c;  
    struct task_struct ** p;    // 任务结构指针的指针.  
  
/* check alarm, wake up any interruptible tasks that have got a signal */  
/* 检测alarm(进程的报警定时值),唤醒任何已得到信号的可中断任务 */          
  
// 从任务数组中最后一个任务开始循环检测alarm.在循环时跳过空指针项.  
    for(p = &LAST_TASK ; p > &FIRST_TASK ; --p)  
        if (*p) {  
// 如果设置过任务超时定时timeout,并且已经超时,则复位超时定时值,并且如果任务处于可中断睡眠状态TASK_INTERRUPTIBLE下,将其置为就绪  
// 状态(TASK_RUNNING).  
            if ((*p)->timeout && (*p)->timeout < jiffies) {  
                (*p)->timeout = 0;  
                if ((*p)->state == TASK_INTERRUPTIBLE)  
                    (*p)->state = TASK_RUNNING;  
            }  
// 如果设置过任务的定时值alarm,并且已经过期(alarm<jiffies),则在信号位图中置SIGALRM信号,即向任务发送SIGALARM信号.然后清alarm.  
// 该信号的默认操作是终止进程.jiffies是系统从开机开始算起的滴答数(10ms/滴答).定义在sched.h中.                          
            if ((*p)->alarm && (*p)->alarm < jiffies) {  
                (*p)->signal |= (1<<(SIGALRM-1));  
                (*p)->alarm = 0;  
            }  
// 如果信号位图中除被阻塞的信号外还有其他信号,并且任务处于可中断状态,则置任务为就绪状态.  
// 其中‘~(_BLOCKABLE & (*p)->blocked)‘用于忽略被阻塞的信号,但SIGKILL和SIGSTOP不能被阻塞.                          
            if (((*p)->signal & ~(_BLOCKABLE & (*p)->blocked)) &&  
            (*p)->state==TASK_INTERRUPTIBLE)  
                (*p)->state=TASK_RUNNING;  
        }  
  
/* this is the scheduler proper: */  
/* 这里是调度程序的主要部分 */  
  
    while (1) {  
        c = -1;  
        next = 0;  
        i = NR_TASKS;  
        p = &task[NR_TASKS];  
// 这段代码是从任务数组的最后一个任务开始循环处理,并跳过不含任务的数组糟.比较每个就绪状态任务的counter(任务运行时间的递减滴答计数)值,  
// 哪一个值大,运行时间还不长,next就指向哪个的任务号.                   
        while (--i) {  
            if (!*--p)  
                continue;  
            if ((*p)->state == TASK_RUNNING && (*p)->counter > c)  
                c = (*p)->counter, next = i;  
        }  
// 如果比较得出有counter值不等于0的结果,或者後方中没有一个可运行的任务存在(此时c仍然为-1,next=0),则退出开始的循环,执行161行上的任务切换  
// 操作.否则就根据每个任务的优先权值,更新每一个任务的counter值,然后回到125行重新比较.counter值的计算方式为counter = counter /2 +priority.  
// 注意,这里计算过程不考虑进程的状态.                  
        if (c) break;  
        for(p = &LAST_TASK ; p > &FIRST_TASK ; --p)  
            if (*p)  
                (*p)->counter = ((*p)->counter >> 1) +  
                        (*p)->priority;  
    }  
// 用下面的宏(定义在sched.h中)把当前任务指针current指向任务号为next的任务,并切换到该任务中运行.在146行上next被初始化为0.因此若系统中没有任何  
// 其他任务可运行时,则next始终为0.因此调度函数会在系统空闲时去执行任务0.此时任务0权执行pause()          
    switch_to(next);        // 切换到任务号为next的任务,并运行之.          
}  

4.4 O(n)调度算法

  • 需要遍历可运行队列
  • O(n)存在的问题:调度器选择进程时需要遍历整个Runqueue,因此该算法的执行时间与进程数成正比。另外每次重新计算Counter所花费的时间也会随着系统中进程数的增加而线性增长。

5. 对操作系统进程模型的看法

         进程是指在系统中正在运行的一个应用程序,程序一旦运行就是进程(进程是指程序执行时的一个实例)。从内核的观点看,进程的目的就是担当分配系统资源(CPU时间、内存等)的基本单位。在计算机中,CPU是最宝贵的资源,为了提高CPU的利用率,所以进程的调度是很重要的。从Linux进程调度的演变来看,从O(n)到O(1),再到 都取得了很大的成功,但随着科技的快速发展,Linux的进程调度也更要精益求精。

6. 参考资料

https://blog.csdn.net/npy_lp/article/details/7292563

http://blog.chinaunix.net/uid-26126915-id-2948970.html

https://blog.csdn.net/wsrspirit/article/details/45850565

 

第一次作业:基于Linux进程模型分析

标签:基于   内存   http   二进制   cti   过程   style   宏定义   标准   

原文地址:https://www.cnblogs.com/caidali/p/8968820.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!