课后练习

课后练习和实验练习中的题目难度表示:

    • 容易
  • ** 有一定工作量
  • *** 有难度

编程题

    • 在你日常使用的操作系统环境中安装并配置好实验环境。简要说明你碰到的问题 / 困难和解决方法。
    • 在 Linux 环境下编写一个会产生异常的应用程序,并简要解释操作系统的处理结果。

例如,对于这样一段 C 程序,其中包含一个除以零的操作:

#include <stdio.h>

int main() {
    printf("1 / 0 = %d", 1 / 0);
    return 0;
}

在基于 x86-64 Linux 的环境下编译运行结果如下:

$ gcc divzero
$ ./divzero
Floating point exception (core dumped)

程序接收到了一个“浮点数异常”而异常终止。使用 strace 可以看到更详细的信号信息:

$ strace ./divzero
[... 此处省略系统调用跟踪输出]
--- SIGFPE {si_signo=SIGFPE, si_code=FPE_INTDIV, si_addr=0x401131} ---
+++ killed by SIGFPE (core dumped) +++

用 gdb 的 disassemble 命令可以看到发生异常的指令

$ gdb divzero
Reading symbols from divzero...
(gdb) r
Starting program: [...]/divzero

Program received signal SIGFPE, Arithmetic exception.
0x0000000000401131 in main ()
(gdb) disassemble
Dump of assembler code for function main:
   0x0000000000401122 <+0>:     push   %rbp
   0x0000000000401123 <+1>:     mov    %rsp,%rbp
   0x0000000000401126 <+4>:     mov    $0x1,%eax
   0x000000000040112b <+9>:     mov    $0x0,%ecx
   0x0000000000401130 <+14>:    cltd
=> 0x0000000000401131 <+15>:    idiv   %ecx
   0x0000000000401133 <+17>:    mov    %eax,%esi
   0x0000000000401135 <+19>:    mov    $0x402004,%edi
   0x000000000040113a <+24>:    mov    $0x0,%eax
   0x000000000040113f <+29>:    call   0x401030 <printf@plt>
   0x0000000000401144 <+34>:    mov    $0x0,%eax
   0x0000000000401149 <+39>:    pop    %rbp
   0x000000000040114a <+40>:    ret

可以看出,应用程序在执行 idiv 指令(有符号除法指令)时发生了除以零异常,跳转至操作系统处理。操作系统把它转换为一个信号 SIGFPE,使用信号处理机制处理这个异常。该程序收到 SIGFPE 时应发生的行为是异常终止,于是操作系统将其终止,并将异常退出的信息报告给 shell 进程。

需要注意的是,异常的处理和与信号的对应是与架构相关的。例如,RISC-V 架构下除以零不是异常,而是有个确定的结果。此外,不同架构下具体异常和信号的对应关系也是不同的,甚至有些混乱(例如,这里明明是整数除以零错误,却报告了“浮点数”异常)。

  1. ** 在 Linux 环境下编写一个可以睡眠 5 秒后打印出一个字符串,并把字符串内容存入一个文件中的应用程序 A。(基于 C 或 Rust 语言)
 cargo new codequiz_3  
    Created binary (application) `codequiz_3` package  
 cd codequiz_3  
 vim src/main.rs  
 cargo run  
  Compiling codequiz_3 v0.1.0 (/home/senjl/MyLearning/computer_science/operating_system/thu-rcore-2023  
/practice/0-OS-overview/codequiz_3)  
   Finished dev [unoptimized + debuginfo] target(s) in 0.48s  
    Running `target/debug/codequiz_3`  
Hello, rCore!  
字符串已写入文件 output.txt 中。  
 tree .  
.  
├── Cargo.lock  
├── Cargo.toml  
├── output.txt  
├── src  
│   └── main.rs  
└── target  
   ├── CACHEDIR.TAG  
   └── debug  
       ├── build  
       ├── codequiz_3  
       ├── codequiz_3.d  
       ├── deps  
       │   ├── codequiz_3-a812f2dab40f5ac3  
       │   └── codequiz_3-a812f2dab40f5ac3.d  
       ├── examples  
       └── incremental  
           └── codequiz_3-2sso7tvhe66uy  
               ├── s-got0uhkt85-10oknx4.lock  
               └── s-got0uhkt85-10oknx4-uo39hi7ufjn3  
                   ├── 106ugw828sc9mjlo.o  
                   ├── 16g4m2yq5qn83zb8.o  
                   ├── 1jtth1d97viticks.o  
                   ├── 1msngkgqmkyp2hqv.o  
                   ├── 1vlxnagfwutl73pd.o  
                   ├── 2a8ir0y65ll82o7f.o  
                   ├── 2jdh0nk9fsqkq2e.o  
                   ├── 2oazud4oz8bj2fgl.o  
                   ├── 2v8pxbxipx6onl8k.o  
                   ├── 3gczdpwh246wmvyr.o  
                   ├── 3tnkveyfdmc7zza2.o  
                   ├── 3ywfsf8o5iwo948a.o  
                   ├── 49ypht22pb7yeaax.o  
                   ├── 4fz4gs01qepy9b37.o  
                   ├── 4g1u4m2p2cj8qm7v.o  
                   ├── 4h8tss5f48uh2ip4.o  
                   ├── 4o2kxft0an4w1ep5.o  
                   ├── 4tn6tc3bcsk1pign.o  
                   ├── 4v6eho9bfsu5lhna.o  
                   ├── dep-graph.bin  
                   ├── gam1jc4fs45mii1.o  
                   ├── j922u05sg5spprr.o  
                   ├── query-cache.bin  
                   └── work-products.bin  
  
10 directories, 34 files  
 cat output.txt  
Hello, rCore!%
use std::fs::File;
use std::io::Write;
use std::thread::sleep;
use std::time::Duration;
 
fn main() {
    // 等待 5 秒
    let sleep_duration = Duration::from_secs(5);
    sleep(sleep_duration);
 
    // 要打印的字符串
    let message = "Hello, rCore!";
 
    // 打印字符串到终端
    println!("{}", message);
 
    // 将字符串写入文件
    let filename = "output.txt";
    if let Ok(mut file) = File::create(filename) {
        if let Err(e) = write!(file, "{}", message) {
            eprintln!("写入文件时出错:{}", e);
        } else {
            println!("字符串已写入文件 {} 中。", filename);
        }
    } else {
        eprintln!("创建文件 {} 时出错。", filename);
    }
}
 
  1. *** 在 Linux 环境下编写一个应用程序 B,简要说明此程序能够体现操作系统的并发性、异步性、共享性和持久性。(基于 C 或 Rust 语言)

注: 在类 Linux 环境下编写尝试用 GDB 等调试工具调试应用程序 A,能够设置断点,单步执行,显示变量信息。

问答题

    • 什么是操作系统?操作系统的主要目标是什么?
    • 面向服务器的操作系统与面向手机的操作系统在功能上有何异同?
    • 对于目前的手机或桌面操作系统而言,操作系统是否应该包括网络浏览器?请说明理由。
    • 操作系统的核心抽象有哪些?它们应对的对象是啥
    • 进程/线程 – CPU 时间
    • 地址空间 – 内存
    • 执行环境 – CPU 上复杂的环境(有中断异常等),和操作系统提供的功能(如系统调用)
    • 文件和文件描述符 – 存储和输入输出设备
    • 操作系统与应用程序之间通过什么来进行互操作和数据交换?
    • 互操作的方式:
      • 应用程序调用系统调用主动让操作系统进行操作
      • 操作系统在中断异常发生时强制暂停应用程序进行相关操作
    • 数据交换的方式:
      • 系统调用时根据 ABI 规定在(比如)寄存器中传递参数
      • 复制数据:在内核占用的空间和用户占用的空间之间互相复制数据,如读写文件的时候从应用程序给出的缓冲区复制写的数据,或者复制读的数据到缓冲区
      • (共享内存空间:如 io_uring)
    • 操作系统的特征是什么?请结合你日常使用的操作系统的具体运行情况来进一步说明操作系统的特征。

以在普通的桌面机上运行基于 Linux 的平台上做操作系统实验时可能发生的事情为例:

  • 虚拟性:如果物理内存相对不足,Linux 的 swap 机制会将不常用的内存内容转存到硬盘上,优先保证活跃的进程可以高速访问物理内存。
  • 并发性:正在运行的程序数量(包括并发运行的 gcc 或 rustc,和其它程序)可以超过 CPU 核心数,由操作系统来调度分配使用 CPU 时间。
  • 异步性:并行运行的编译器太多,可能会影响写代码用的文本编辑器性能,因为操作系统安排了更多时间运行编译器而不是文本编辑器进程。
  • 共享性:写代码和编译可以共享同一个文件系统,在同一块硬盘上读写,操作系统的文件系统相关模块(VFS)会调用文件系统实现和硬盘驱动安排这些读写操作。
  • 持久性:操作系统实验用的文件保存在文件系统中,晚上宿舍断电关机,明天早上起来可以从昨天保存的文件的状态继续工作。
    • 请说明基于 C 语言应用的执行环境与基于 Java 语言应用的执行环境的异同。
  1. ** 请简要列举操作系统的系统调用的作用,以及简要说明与程序执行、内存分配、文件读写相关的 Linux 系统调用的大致接口和含义。

    • 系统调用的作用:
      • 将操作系统实现和用户程序调用方式分开,作为一个抽象层方便开发和使用
      • 在让用户程序没法直接访问别的用户程序的地址空间和操作系统地址空间的情况下,作为一个统一的应用程序请求操作系统服务的入口,方便安全检查和审计。
      • 让用户程序能有限访问其不能直接访问的计算机资源和操作系统对象
    • 在 Linux 中:
      • clone (曾用的有 fork)创建进程;execve 传入文件路径、命令行参数、环境变量,加载新的程序替换当前进程。
      • brk 修改或获取当前的堆顶的位置,增加堆顶地址分配空间,减小堆底地址释放空间;mmap 用于映射地址空间,也可以分配物理内存(MAP_ANONYMOUS),munmap 释放对应的地址空间和对应的内存。
      • 文件读写相关有 openat (曾用的有 open)打开文件,read 读文件,write 写文件等。
  2. ** 以你编写的可以睡眠 5 秒后打印出一个字符串的应用程序 A 为例,说明什么是控制流?什么是异常控制流?什么是进程、地址空间和文件?并简要描述操作系统是如何支持这个应用程序完成其工作并结束的。

应用程序 A 中体现的操作系统相关概念:

  • 控制流: main 函数内一行一行往下执行,是一个顺序控制流;其中调用的标准库函数,是函数调用的控制流。
  • 异常控制流: 在 sleep 的时候,执行系统调用 clock_nanosleep,此时控制流跳出了该程序,进入了操作系统的系统调用实现代码,之后操作系统将应用程序A进入睡眠状态,转而运行别的进程,这里体现了异常控制流。在执行其它系统调用的时候也会有类似的情况。
  • 进程:整个应用程序A是在一个新的进程中运行的,与启动它的 shell。
  • 地址空间:字符串 hello_string 所在的地址,是在这个进程自己的地址空间内有效的,和别的进程无关。
  • 文件:应用程序A打开文件名为 output.txt 的文件,向其中写入了一个字符串。此外,printf 是向标准输出写入,标准输出在此时是一个对应当前终端的文件。

操作系统支持应用程序A运行的流程

  • 操作系统加载程序和 C 语言标准库到内存中
  • 操作系统设置一些初始的虚拟内存配置和一些数据,然后切换到用户态跳转到程序的入口点开始运行。
  • 应用程序调用 C 语言标准库,库再进行系统调用,进入内核,内核处理相关的系统调用然后恢复应用程序运行,具体来说:
    • 对于 sleep 来说,操作系统在 5 秒时间内切换到别的任务,不运行应用程序A,5 秒过后再继续运行
    • 对于文件来说,操作系统在文件系统内找到对应的文件写入,或者找到对应的终端将写入的内容发送过去
  • 最后 C 语言标准库会调用 exit_group 系统调用退出进程。操作系统接收这个系统调用后,不再回到应用程序,释放该进程相关资源。
    • 请简要描述支持单个应用的 OS、批处理 OS、多道程序 OS、分时共享 OS 的特点。