2021-2022-1 20212813《Linux内核原理与分析》第三周作业

一、实验要求

完成一个简单的时间片轮转多道程序内核代码

二、实验过程

首先，使用以下命令

cd ~/LinuxKernel/linux-3.9.4
rm -rf mykernel
patch -p1 < ../mykernel_for_linux3.9.4sc.patch
make allnoconfig
make
qemu -kernel arch/x86/boot/bzImage

执行实验楼中的mykernel内核（仅含时钟中断）结果如下图所示
根据实验要求，修改了mymain.c和myinterrupt.c，并添加了mypcb.h文件，增加了使用时间片轮转的多道程序调度功能，重新编译后运行结果如下图所示：

三、实验分析

1. 进程控制块

进程是计算机中的程序关于某数据集合上的一次运行活动，是系统进行资源分配和调度的基本单位。
通过引入进程，可以有效管理和调度运行的程序。	

mypcb.h头文件中定义了进程控制块PCB的数据结构，包含了进程的ID（pid）、进程状态（state）、进程堆栈（stack）以及进程入口（task_entry）等内容，具备了一个简单进程所需要的状态。

//mypcb.h
#define MAX_TASK_NUM        4
#define KERNEL_STACK_SIZE   1024*8

struct Thread {
    unsigned long		ip;	//EIP
    unsigned long		sp;	//ESP
};
//进程控制块
typedef struct PCB{
    int pid;			//进程ID
    volatile long state;	/*进程状态 -1 unrunnable, 0 runnable, >0 stopped */
    char stack[KERNEL_STACK_SIZE];	//进程堆栈
    
    struct Thread thread;
    unsigned long	task_entry;	//进程入口
    struct PCB *next;
}tPCB;

void my_schedule(void);	//调度函数

2. 0号进程

mymain.c文件中增加了0号进程和其他更多进程的创建，具体内容如下：

//mymain.c
#include ……
#include "mypcb.h"

tPCB task[MAX_TASK_NUM];				//PCB数组
tPCB * my_current_task = NULL;	//当前
volatile int my_need_sched = 0;	//标志：是否需要调度

void my_process(void);					

void __init my_start_kernel(void)	//mykernel内核代码的入口
{
    int pid = 0;
    int i;
    //初始化0号进程
    task[pid].pid = pid;	//初始化0号进程ID为0
    task[pid].state = 0; 	//初始化0号进程状态为可执行
    task[pid].task_entry = task[pid].thread.ip = (unsigned long)my_process;	//初始化0号进程的入口地址
    task[pid].thread.sp = (unsigned long)&task[pid].stack[KERNEL_STACK_SIZE-1]; //初始化0号进程的堆栈指针
    task[pid].next = &task[pid];		//next指向自己
    //产生更多进程
    for(i=1;i<MAX_TASK_NUM;i++)
    {
        memcpy(&task[i],&task[0],sizeof(tPCB));	//将0号进程的状态复制给新进程
        task[i].pid = i;			//初始化ID
        task[i].state = -1;		//初始化进程状态为不可执行
        task[i].thread.sp = (unsigned long)&task[i].stack[KERNEL_STACK_SIZE-1];	//初始化进程堆栈指针
        task[i].next = task[i-1].next;	
        task[i-1].next = &task[i];			
    }
    //运行0号进程
    pid = 0;
    my_current_task = &task[pid];
	asm volatile(
    	"movl %1,%%esp\n\t" 	   /* set task[pid].thread.sp to esp */
    	"pushl %1\n\t" 	        /* push ebp */
    	"pushl %0\n\t" 	        /* push task[pid].thread.ip */
    	"ret\n\t" 	              /* pop task[pid].thread.ip to eip */
    	"popl %%ebp\n\t"
    	: 
    	: "c" (task[pid].thread.ip),"d" (task[pid].thread.sp)	/* input c or d mean %ecx/%edx*/
	);
}

每个生成的进程均执行以下内容：

void my_process(void)
{
    int i = 0;
    while(1)
    {
        i++;
        if(i%10000000 == 0)
        {
            printk(KERN_NOTICE "this is process %d -\n",my_current_task->pid);
            if(my_need_sched == 1)	//若调度标志为1
            {
                my_need_sched = 0;	//则重置调度标志为0
        	       my_schedule();			//进程调度
        		 }
        	printk(KERN_NOTICE "this is process %d +\n",my_current_task->pid);
        }     
    }
}

正在执行的进程每循环10000000次则可能产生一次调度，产生调度的条件是当my_need_sched ==1时，这里与myinterrupt.c中的时钟中断相互呼应。

3. 中断

//myinterrupt.c
#include ……
#include "mypcb.h"

extern tPCB task[MAX_TASK_NUM];
extern tPCB * my_current_task;
extern volatile int my_need_sched;
volatile int time_count = 0;

//时钟中断
void my_timer_handler(void)
{
#if 1
    if(time_count%1000 == 0 && my_need_sched != 1)
    {
        printk(KERN_NOTICE ">>>my_timer_handler here<<<\n");
        my_need_sched = 1;
    } 
    time_count ++ ;  
#endif
    return;  	
}

时钟中断中，time每增加1000次且当前不需要调度时（有程序正在执行时，my_need_sched==0），将my_need_sched置为1，与mymain.c中的if(my_need_sched == 1)相呼应，使得下一次程序进入if条件中，发起主动进程调度，实现简单的时间片轮转多道程序。进程调度过程代码如下：

//进程调度
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");
    //进程调度
    next = my_current_task->next;
    prev = my_current_task;
    if(next->state == 0)	//若下一个进程可运行（曾经执行过）
    {
    	my_current_task = next; 
    	printk(KERN_NOTICE ">>>switch %d to %d<<<\n",prev->pid,next->pid);  
    	/* switch to next process */
    	asm volatile(	
        	"pushl %%ebp\n\t" 	    //保存当前的ebp到堆栈中
        	"movl %%esp,%0\n\t" 	  //将当前的esp保存到当前的进程中
        	"movl %2,%%esp\n\t"     //将下一个进程的堆栈栈顶放到esp中
        	"movl $1f,%1\n\t"       //保存当前进程的eip，下次恢复进程后在标号1开始执行
        	"pushl %3\n\t" 				//将下一个进程的下一条执行指令地址压栈
        	"ret\n\t" 	            //将下一个进程的下一条执行指令地址出栈到eip
        	"1:\t"                  
        	"popl %%ebp\n\t"				//恢复ebp的值
        	: "=m" (prev->thread.sp),"=m" (prev->thread.ip)
        	: "m" (next->thread.sp),"m" (next->thread.ip)
    	); 
    }
    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 */
        	"movl %2,%%esp\n\t"     /* restore  esp */
        	"movl %2,%%ebp\n\t"     //程序第一次执行需要设置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;	
}

进程调度函数中，if—else—分别对应被调度进程执行过和第一次执行，相比执行过的进程，第一次执行的进程多了 "movl %2,%%ebp\n\t"，少了"popl %%ebp\n\t"，将esp和ebp指向同一位置。

四、实验总结

操作系统是如何工作的，
通过本次操作系统内核实验，自己在代码层面更加细致地了解了操作系统的的运行过程。正如之前视频中所说，存储程序计算机、函数调用堆栈机制和中断是计算机的3个法宝，而在本次实验中，最重要的部分是进行进程切换所涉及到的上下文环境切换，这与函数调用堆栈机制密不可分，需要自己更深入的了解与实践。