操作系统实验五 基于内核栈切换的进程切换(哈工大李治军)(三)

简介: 操作系统实验五 基于内核栈切换的进程切换(哈工大李治军)(三)

修改fork()系统调用


现在需要将新建进程的用户栈、用户程序地址和其内核栈关联在一起,因为TSS没有做这样的关联fork()要求让父子进程共享用户代码、用户数据和用户堆栈虽然现在是使用内核栈完成任务的切换(基于堆栈的进程切换),但是fork()的基本含义不应该发生变化。


综合分析:


修改以后的fork()要使得父子进程共享同一块内存空间、堆栈和数据代码块。


fork() 系统调用的代码放在 system_call.s 汇编文件中,先来看看已经写好的代码:

.align 2
sys_fork:
  call find_empty_process
  testl %eax,%eax
  js 1f
  push %gs
  pushl %esi
  pushl %edi
  pushl %ebp
  pushl %eax
  call copy_process//跳转到copy_process()函数
  addl $20,%esp
1:  ret


可以看到fork()函数的核心就是调用了 copy_process(),接下来去看copy_process()


copy_process()函数定义在kernel/fork.c中,代码和分析见注释:

int copy_process(int nr,long ebp,long edi,long esi,long gs,long none,
  long ebx,long ecx,long edx,
  long fs,long es,long ds,
  long eip,long cs,long eflags,long esp,long ss)
{
  struct task_struct *p;
  int i;
  struct file *f;
  p = (struct task_struct *) get_free_page();//用来完成申请一页内存空间作为子进程的PCB
  ...
  /** 很容易看出来下面的部分就是基于tss进程切换机制时的代码,所以将此片段要注释掉
  p->tss.back_link = 0;
  p->tss.esp0 = PAGE_SIZE + (long) p;
  p->tss.ss0 = 0x10;
  ...
  */
  /** 然后这里要加上基于堆栈切换的代码(对frok的修改其实就是对子进程内核栈的初始化 */
  long *krnstack;
     krnstack = (long)(PAGE_SIZE +(long)p);//p指针加上页面大小就是子进程的内核栈位置,所以这句话就是krnstack指针指向子进程的内核栈
  //初始化内核栈(krnstack)中的内容:
  //下面的五句话可以完成对书上那个图(4.22)所示的关联效果(父子进程共有同一内存、堆栈和数据代码块)
  /*
  而且很容易可以看到,ss,esp,elags,cs,eip这些参数来自调用该函数的进程的内核栈中,
  也就是父进程的内核栈,所以下面的指令就是将父进程内核栈的前五个内容拷贝到了子进程的内核栈中
  */
  *(--krnstack) = ss & 0xffff;
  *(--krnstack) = esp;
  *(--krnstack) = eflags;
  *(--krnstack) = cs & 0xffff;
  *(--krnstack) = eip;
    *(--krnstack) = ds & 0xffff;
    *(--krnstack) = es & 0xffff;
    *(--krnstack) = fs & 0xffff;
    *(--krnstack) = gs & 0xffff;
    *(--krnstack) = esi;
    *(--krnstack) = edi;
    *(--krnstack) = edx;
  *(--krnstack) = (long) first_return_kernel;//处理switch_to返回的位置
  *(--krnstack) = ebp;
  *(--krnstack) = ecx;
  *(--krnstack) = ebx;
  *(--krnstack) = 0;
  //把switch_to中要的东西存进去
  p->kernelstack = krnstack;
  ...


kernel/fork.c 文件


注释tss进程切换片段



添加代码

long *krnstack;
    krnstack = (long)(PAGE_SIZE +(long)p);
  *(--krnstack) = ss & 0xffff;
  *(--krnstack) = esp;
  *(--krnstack) = eflags;
  *(--krnstack) = cs & 0xffff;
  *(--krnstack) = eip;
  *(--krnstack) = ds & 0xffff;
    *(--krnstack) = es & 0xffff;
    *(--krnstack) = fs & 0xffff;
    *(--krnstack) = gs & 0xffff;
    *(--krnstack) = esi;
    *(--krnstack) = edi;
    *(--krnstack) = edx;
  *(--krnstack) = (long) first_return_kernel;
  *(--krnstack) = ebp;
  *(--krnstack) = ecx;
  *(--krnstack) = ebx;
  *(--krnstack) = 0;
  p->kernelstack = krnstack;


上面的first_return_kernel(系统调用)的工作:

"内核级线程切换五段论"中的最后一段切换,即完成用户栈和用户代码的切换,依靠的核心指令就是iret,当然在切换之前应该恢复一下执行现场,主要就是eax,ebx,ecx,edx,esi,gs,fs,es,ds这些寄存器的恢复,


要将first_return_kernel(属于系统调用,而且是一段汇编代码)写在kernel/system_call.s头文件里面:


首先需要将first_return_kernel设置在全局可见:

.globl switch_to,first_return_kernel


将具体的函数实现放在system_call.s头文件里面:

.align 2
first_return_kernel:
 popl %edx
 popl %edi
 popl %esi
 pop %gs
 pop %fs
 pop %es
 pop %ds
 iret


最后要记得是在 kernel/fork.c 文件里使用了 first_return_kernel 函数,所以要在该文件里添加外部函数声明

extern void first_return_kernel(void);


编译运行



天道酬勤


有些人不会写文章就不要发,参考的几篇全有错误,最后居然还能有运行成功的截图,你们编译怎么通过的?真牛!虽然我文章都是看的别人的,但我至少保证自己独立运行一遍,能保证运行通过。幸好最后碰到一位博主,看了他的文章自惭形秽。写的特别简洁但重点突出,有自己的理解。反观自己废话连篇,文章东拼西凑。

目录
相关文章
|
3月前
|
算法
数据结构实验之操作系统打印机管理器问题
本实验旨在通过实现操作系统中的打印机管理器问题,掌握队列的基本操作如入队、出队等,利用队列的先进先出特性解决先申请先打印的问题。实验包括队列的初始化、入队、出队、打印队列内容等功能,并通过菜单式界面进行交互。实验结果显示基本功能可正常执行,但在连续操作时存在执行失败的情况,需进一步优化。
64 4
|
3月前
|
算法 调度
探索操作系统的心脏:内核与进程管理
【10月更文挑战第25天】在数字世界的复杂迷宫中,操作系统扮演着关键角色,如同人体中的心脏,维持着整个系统的生命力。本文将深入浅出地剖析操作系统的核心组件——内核,以及它如何通过进程管理来协调资源的分配和使用。我们将从内核的概念出发,探讨它在操作系统中的地位和作用,进而深入了解进程管理的机制,包括进程调度、状态转换和同步。此外,文章还将展示一些简单的代码示例,帮助读者更好地理解这些抽象概念。让我们一起跟随这篇文章,揭开操作系统神秘的面纱,理解它如何支撑起我们日常的数字生活。
|
5月前
|
存储 消息中间件 资源调度
「offer来了」进程线程有啥关系?10个知识点带你巩固操作系统基础知识
该文章总结了操作系统基础知识中的十个关键知识点,涵盖了进程与线程的概念及区别、进程间通信方式、线程同步机制、死锁现象及其预防方法、进程状态等内容,并通过具体实例帮助理解这些概念。
「offer来了」进程线程有啥关系?10个知识点带你巩固操作系统基础知识
|
5月前
|
算法 调度 Python
探索操作系统的内核——一个简单的进程调度示例
【9月更文挑战第17天】在这篇文章中,我们将深入探讨操作系统的核心组件之一——进程调度。通过一个简化版的代码示例,我们将了解进程调度的基本概念、目的和实现方式。无论你是初学者还是有一定基础的学习者,这篇文章都将帮助你更好地理解操作系统中进程调度的原理和实践。
|
6月前
|
调度 虚拟化 容器
探索操作系统的心脏:内核与进程管理
【8月更文挑战第28天】在数字世界的复杂迷宫中,操作系统扮演着关键角色。它如同一座桥梁,连接硬件与软件,确保一切顺畅运行。本文将深入剖析操作系统的核心——内核和进程管理,揭示它们如何协同工作,保障系统的稳定与高效。通过简化的比喻,我们将一探究竟,了解操作系统背后的神秘面纱。
|
6月前
|
算法 安全 调度
揭秘操作系统的心脏:内核与进程管理
【8月更文挑战第27天】在数字世界的庞大机器中,操作系统扮演着至关重要的角色。本文将深入探讨操作系统的核心组件之一——内核,以及它是如何高效地管理和调度进程的。通过浅显易懂的语言和生动的比喻,我们将一起探索这一技术领域的奥秘,并了解其对整个计算生态的影响。无论你是技术新手还是资深爱好者,这篇文章都将为你打开一扇了解操作系统深层工作机制的大门。
|
6月前
|
存储 算法 调度
操作系统的心脏:内核与进程管理
【8月更文挑战第22天】本文将带你深入探索操作系统的核心——内核,以及它如何通过进程管理来维护系统的稳定运行。我们将从内核的基本概念出发,逐步揭示它在操作系统中的角色和功能,并探讨进程管理的重要性及其对系统性能的影响。文章将用通俗易懂的语言,深入浅出地分析内核与进程管理的相互作用,为你呈现一个清晰、条理化的操作系统内部世界。
|
6月前
|
算法 调度 UED
操作系统的心脏:内核与进程管理
在数字世界的宏伟建筑中,操作系统是那支撑起一切软件运行的基石。本文将深入浅出地探讨操作系统的核心—内核,以及它如何通过进程管理来协调计算机资源的使用。我们将从内核的定义和功能出发,逐步深入到进程的生命周期,以及调度算法的重要性,最终揭示这些机制如何影响我们日常使用的电子设备性能。
62 2
|
6月前
|
算法 数据处理 调度
操作系统的心脏:内核与进程管理
【8月更文挑战第21天】 本文以浅显的语言和生动的比喻,探索操作系统内核的奥秘和进程管理的机制。我们将从内核的角色出发,了解它如何协调计算机硬件与软件的交互,并深入进程的世界,揭示它们是如何被创建、调度和同步的。文章通过日常生活中的比喻帮助读者构建对这一复杂主题的直观理解,同时提供实用的知识,让每位用户都能更好地理解自己的电脑是如何运作的。
54 0
|
6月前
|
安全 调度 数据安全/隐私保护
探索操作系统的心脏:内核与进程管理
在数字世界的宏伟建筑中,操作系统扮演着基石的角色,而内核则是这座建筑的核心。本文将深入浅出地介绍操作系统内核的概念、功能及其在进程管理中的关键作用。我们将从内核的职责出发,逐步揭示它是如何协调和管理计算机系统中的资源,保证多任务环境下的高效运行。通过本文,你将了解内核的神秘面纱,并掌握进程管理的基本知识,为深入理解操作系统打下坚实的基础。
58 0

热门文章

最新文章