操作系统接口 – 阅读 xv6-riscv-book

Xv6的时钟周期:定时器芯片两次中断之间的时间

xv6作为一个简单的操作系统,利用一个“内核kernel”向其他运行中的程序提供服务的特殊程序,这个内核相当于连接了硬件和运行程序。

每一个正在运行的程序可以称为进程,都拥有子集的包含指令、数据、栈的内存空间。

指令实现程序的运算,数据是用于运算过程的变量,栈则管理程序的过程调用

内核对于一台计算机来说是唯一的。

进程会通过system call指令来调用一个内核服务。本质上是对操作系统上的接口调用。系统调用会进入内核,让内核执行服务然后返回。所以进程会在用户控件(软件层)和内核空间(操作系统层)交替运行。

System call指令由kernel提供。

内核会为每个进程关联一个PID。

进程和内存

如何创建一个进程

使用system call指令fork可以创建一个子进程。其内存内容与调用的进程完全相同,原进程称为父进程。

父进程中 fork返回子进程的PID

子进程中 fork返回0

创建一个简单的程序

在user文件夹下创建c文件,然后再Makefile文件中,UPROGS添加程序名称,然后直接在qemu中调用即可。

比如书中的fork程序



修改Makefile文件



在qemu中调用

exec系统调用指令

使用从文件系统中存储的文件所加载的新内存映像替换调用进程的内存,操作系统会从第一个参数的文件中加载指令到当前进程中,并且替换当前进程的内存。然后开始执行这些新加载的指令

exec有两个参数:可执行的文件名和字符串参数数组

#include "kernel/types.h"
#include "user/user.h" int main()
{
//system call exe
//echo
char* argv[] = {"echo","this","is","echo",0};
exec("echo",argv);
printf("exec error\n");
exit(0);
}

使用fork或者exec等系统调用指令,xv6系统都会分配内存。

fork依靠父进程创建子进程,需要分配足够拷贝父进程内存空间的内存

exec是切换进程,需要分配足够的内存空间供新进程使用。

I/O和文件描述符

文件描述符用于表示进程可以读取或写入的由内核管理的对象。

文件描述符所指的对象称为“文件”。通过文件描述符提供的接口可以将文件、管道和设备之间的差异抽象出来。

xv6内核使用文件描述符作为每个进程表的索引,每个进程都有一个从零开始的文件描述空间。

一个进程会从文件描述符0开始读取。将输出写入文件描述符1,将错误消息写入文件描述符2。

read 和 write system_call

  1. read

    read(fd,buf,n) 该system_call指令表明从文件描述符fd读取最多n字节,然后复制到buf中。文件的每个文件描述符都有一个与之关联的偏移量。每次read读取都是从当前文件偏移量开始读取数据,然后移动偏移量。没有字节可供读取会返回0
  2. write

    write(fd,buf,n) 将buf中的n字节写入文件描述符中,并返回写入的字节数,如果发生错误会写入小于n字节的数据,同样会存在一个文件偏移量

close system_call

用于释放一个文件描述符。新分配的文件描述符总是当前进程中编号最小的未使用描述符

I/O重定向

文件描述符和fork相互作用。

fork()会复制父进程的文件描述符表及其内存,使得子进程会具有和父进程完全相同的打开文件。

exec()会替换当前进程的内存,但会保留其文件描述符表。

所以当我们fork()后,可以在子进程中重新打开文件描述符,然后使用exec()来运行新程序。子进程修改的文件描述符不会影响到父进程。

这就是fork()和exec()两个sys_call相互分离的好处,在fork()后可以对子进程操作文件描述符而不会影响父进程。

但文件偏移量确实唯一的,即子进程修改了文件,那么偏移量发生了改变,父进程中的偏移量同样发生了改变。

dup sys_call

dup()接受一个文件描述符的参数,会返回这个文件描述符的引用,它们属于同一个I/O底层。这个实参和dup返回值共用一个文件偏移量。

管道

管道的两端一端用于写入,一端用于读取。为进程提供了一种通信方式。

管道具有阻塞机制,即管道的read会在没有输入时一直等待。

文件系统

Book-Riscv-XV6-Chap1的更多相关文章

  1. MIT6.828准备:MacOS下搭建xv6和risc-v环境

    本文介绍在MacOS下搭建Mit6.828/6.S081 fall2019实验环境的详细过程,包括riscv工具链.qemu和xv6,对于Linux系统同样可以参考. 介绍 只有了解底层原理才能写好上 ...

  2. MIT 6.S081 xv6调试不完全指北

    前言 今晚在实验室摸鱼做6.S081的Lab3 Allocator,并立下flag,改掉一个bug就拍死一只在身边飞的蚊子.在击杀8只蚊子拿到Legendary后仍然没能通过usertest,人已原地 ...

  3. XV6学习(8)中断和设备驱动

    驱动是操作系统中用于管理特定设备的代码:驱动控制设备硬件,通知硬件执行操作,处理中断,与等待该设备IO的进程进行交互. 当设备需要与操作系统进行交互时,就会产生中断(陷阱的一种),之后内核的陷阱处理代 ...

  4. XV6学习(10)锁

    在包括XV6的绝大部分操作系统都是多个任务交错执行的.交错的一个原因是多核硬件:多核计算机的多个CPU核心独立执行计算,如XV6的RISC-V处理器.多个CPU核心共享物理内存,XV6利用这种共享来维 ...

  5. xv6的作业翻译——作业1 - shell和系统调用

    Xv6的lecture LEC 1 Operating systems   L1: O/S overview L1:O/S概述   * 6.828 goals 6.828的目标   Understan ...

  6. xv6课本翻译之——第0章 操作系统接口

    Chapter 0 第0章 Operating system interfaces 操作系统接口 The job of an operating system is to share a comput ...

  7. xv6课本翻译之——附录A Pc的硬件

    Appendix A 附录A PC hardware Pc的硬件 This appendix describes personal computer (PC) hardware, the platfo ...

  8. xv6的课本翻译之——附录B 系统启动器

    Appendix B 附录 B Figure B-1 The relationship between logical, linear, and physical addresses. 图B-1:逻辑 ...

  9. ubuntu编译运行xv6

    最近想找个简单的类Unix系统学习下, xv6不错的, 所有代码加起来不到一万行,首先把代码跑起来还是很重要的. # 下载xv6源码并编译 git clone git://pdos.csail.mit ...

  10. xv6实验环境搭建

    安装bochs 因为要运行的是xv6,所以不能直接使用 apt-get 直接获取软件.apt-get获取到的软件不支持SMP (Symmetric Multi-Processing).因此,需要下载源 ...

随机推荐

  1. Laravel入坑指南(9)——数据迁移与填充

    当我们开发完成一个(小)项目,发布到线上时,我们需要将本地数据库迁移到服务器上,并且填充初始化数据.而Laravel框架规定了一套完善的数据迁移与填充机制. 在官网中分别介绍了以下四个命令: php ...

  2. 使用 CMake 编写 Windows 静态库

    最近有一个多个 .h .cc .cpp 编译成静态库的需求,故记录下过程 静态库不同于动态库,它不需要 main 入口,只要各个源文件与头文件能对应,也就是源文件和头文件引用的头文件能够找到函数的符号 ...

  3. 多线程系列(七) -ThreadLocal 用法及内存泄露分析

    一.简介 在 Java web 项目中,想必很多的同学对ThreadLocal这个类并不陌生,它最常用的应用场景就是用来做对象的跨层传递,避免多次传递,打破层次之间的约束. 比如下面这个HttpSer ...

  4. zlib开发笔记(一):zlib库介绍、编译和工程模板

    前言   Qt使用一些压缩解压功能,介绍过libzip库编译,本篇说明zlib库.   zlib库   zlib被设计为一个免费的,通用的,法律上不受限制的-即不受任何专利保护的无损数据压缩库,几乎可 ...

  5. VUE 腾讯云 web端上传视频SDK 上传进度无法显示

    上传视频官方文档:https://cloud.tencent.com/document/product/266/9239 错误信息 在本地调试可以显示视频上传进度,也可以打印到浏览器控制台.但是,发布 ...

  6. 【LeetCode二叉树#09】路径总和I+II,以及求根节点到叶节点数字之和(回溯回溯,还是™的回溯)

    路径总和 力扣题目链接(opens new window) 给定一个二叉树和一个目标和,判断该树中是否存在根节点到叶子节点的路径,这条路径上所有节点值相加等于目标和. 说明: 叶子节点是指没有子节点的 ...

  7. 2-Django之三板斧

    HttpResponse 返回字符串类型的数据 HttpResponse: 这是 Django 自带的类,用于构建基本的 HTTP 响应 我的app名称是demo,我们先按照正常的流程,在views中 ...

  8. 05、etcd 读请求执行流程

    本篇内容主要来源于自己学习的视频,如有侵权,请联系删除,谢谢. 1.etcd读请求概览 etcd是典型的读多写少存储,在我们实际业务场景中,读一般占据2/3以上的请求.一个读 请求从client通过R ...

  9. 【Azure 媒体服务】AMS的Manifest文件中SmoothStreamingMedia片段中<c t="6161940" d="749970" r="2" n="0" />, c, t, d, r, n 的解析

    问题描述 在Azure媒体服务(AMS: Azure Media Service)中,不管是点播,直播都需要下载manifest文件.而文件中有一段[<c t="6161940&quo ...

  10. [前端] html和原生js实现鼠标拖动和触摸拖动以及点击后跟随鼠标移动

    <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8&quo ...