文件与文件描述符 =========================================== 文件简介 ------------------------------------------- 文件可代表很多种不同类型的I/O 资源，但是在进程看来，所有文件的访问都可以通过一个简洁统一的抽象接口 ``File`` 进行： .. code-block:: rust // os/src/fs/mod.rs pub trait File : Send + Sync { fn readable(&self) -> bool; fn writable(&self) -> bool; fn read(&self, buf: UserBuffer) -> usize; fn write(&self, buf: UserBuffer) -> usize; } 这个接口在内存和I/O资源之间建立了数据交换的通道。其中 ``UserBuffer`` 是我们在 ``mm`` 子模块中定义的应用地址空间中的一段缓冲区，我们可以将它看成一个 ``&[u8]`` 切片。 ``read`` 指的是从文件（即I/O资源）中读取数据放到缓冲区中，最多将缓冲区填满（即读取缓冲区的长度那么多字节），并返回实际读取的字节数；而 ``write`` 指的是将缓冲区中的数据写入文件，最多将缓冲区中的数据全部写入，并返回直接写入的字节数。 回过头来再看一下用户缓冲区的抽象 ``UserBuffer`` ，它的声明如下： .. code-block:: rust // os/src/mm/page_table.rs pub fn translated_byte_buffer( token: usize, ptr: *const u8, len: usize ) -> Vec<&'static mut [u8]>; pub struct UserBuffer { pub buffers: Vec<&'static mut [u8]>, } impl UserBuffer { pub fn new(buffers: Vec<&'static mut [u8]>) -> Self { Self { buffers } } pub fn len(&self) -> usize { let mut total: usize = 0; for b in self.buffers.iter() { total += b.len(); } total } } 它只是将我们调用 ``translated_byte_buffer`` 获得的包含多个切片的 ``Vec`` 进一步包装起来，通过 ``len`` 方法可以得到缓冲区的长度。此外，我们还让它作为一个迭代器可以逐字节进行读写。有兴趣的读者可以参考类型 ``UserBufferIterator`` 还有 ``IntoIterator`` 和 ``Iterator`` 两个 Trait 的使用方法。 标准输入和标准输出 -------------------------------------------- 其实我们在第二章就对应用程序引入了基于 **文件** 的标准输出接口 ``sys_write`` ，在第五章引入标准输入接口 ``sys_read`` 。我们提前把标准输出设备在文件描述符表中的文件描述符的值规定为 ``1`` ，用 ``Stdout`` 表示；把标准输入设备文件描述符规定为 ``0``，用 ``Stdin`` 表示 。现在，我们重写这些系统调用，先为标准输入和标准输出实现 ``File`` Trait： .. code-block:: rust :linenos: // os/src/fs/stdio.rs pub struct Stdin; pub struct Stdout; impl File for Stdin { fn readable(&self) -> bool { true } fn writable(&self) -> bool { false } fn read(&self, mut user_buf: UserBuffer) -> usize { assert_eq!(user_buf.len(), 1); // busy loop let mut c: usize; loop { c = console_getchar(); if c == 0 { suspend_current_and_run_next(); continue; } else { break; } } let ch = c as u8; unsafe { user_buf.buffers[0].as_mut_ptr().write_volatile(ch); } 1 } fn write(&self, _user_buf: UserBuffer) -> usize { panic!("Cannot write to stdin!"); } } impl File for Stdout { fn readable(&self) -> bool { false } fn writable(&self) -> bool { true } fn read(&self, _user_buf: UserBuffer) -> usize{ panic!("Cannot read from stdout!"); } fn write(&self, user_buf: UserBuffer) -> usize { for buffer in user_buf.buffers.iter() { print!("{}", core::str::from_utf8(*buffer).unwrap()); } user_buf.len() } } 可以看到，标准输入文件 ``Stdin`` 是只读文件，只允许进程通过 ``read`` 从里面读入，目前每次仅支持读入一个字符，其实现与之前的 ``sys_read`` 基本相同，只是需要通过 ``UserBuffer`` 来获取具体将字节写入的位置。相反，标准输出文件 ``Stdout`` 是只写文件，只允许进程通过 ``write`` 写入到里面，实现方法是遍历每个切片，将其转化为字符串通过 ``print!`` 宏来输出。 文件描述符与文件描述符表 -------------------------------------------- 为简化操作系统设计实现，可以让每个进程都带有一个线性的 **文件描述符表** ，记录所有它请求内核打开并可以读写的那些文件集合。而 **文件描述符** (File Descriptor) 则是一个非负整数，表示文件描述符表中一个打开的 **文件描述符** 所处的位置（可理解为数组下标）。进程通过文件描述符，可以在自身的文件描述符表中找到对应的文件记录信息，从而也就找到了对应的文件，并对文件进行读写。当打开（ ``open`` ）或创建（ ``create`` ） 一个文件的时候，如果顺利，内核会返回给应用刚刚打开或创建的文件对应的文件描述符；而当应用想关闭（ ``close`` ）一个文件的时候，也需要向内核提供对应的文件描述符。 文件I/O操作 ------------------------------------------- 在进程控制块中加入文件描述符表的相应字段： .. code-block:: rust :linenos: :emphasize-lines: 12 // os/src/task/task.rs pub struct TaskControlBlockInner { pub trap_cx_ppn: PhysPageNum, pub base_size: usize, pub task_cx: TaskContext, pub task_status: TaskStatus, pub memory_set: MemorySet, pub parent: Option>, pub children: Vec>, pub exit_code: i32, pub fd_table: Vec>>, } 可以看到 ``fd_table`` 的类型包含多层嵌套，我们从外到里分别说明： - ``Vec`` 的动态长度特性使得我们无需设置一个固定的文件描述符数量上限； - ``Option`` 使得我们可以区分一个文件描述符当前是否空闲，当它是 ``None`` 的时候是空闲的，而 ``Some`` 则代表它已被占用； - ``Arc`` 首先提供了共享引用能力。后面我们会提到，可能会有多个进程共享同一个文件对它进行读写。此外被它包裹的内容会被放到内核堆而不是栈上，于是它便不需要在编译期有着确定的大小； - ``dyn`` 关键字表明 ``Arc`` 里面的类型实现了 ``File/Send/Sync`` 三个 Trait ，但是编译期无法知道它具体是哪个类型（可能是任何实现了 ``File`` Trait 的类型如 ``Stdin/Stdout`` ，故而它所占的空间大小自然也无法确定），需要等到运行时才能知道它的具体类型。 .. note:: **Rust 语法卡片：Rust 中的多态** 在编程语言中， **多态** (Polymorphism) 指的是在同一段代码中可以隐含多种不同类型的特征。在 Rust 中主要通过泛型和 Trait 来实现多态。 泛型是一种 **编译期多态** (Static Polymorphism)，在编译一个泛型函数的时候，编译器会对于所有可能用到的类型进行实例化并对应生成一个版本的汇编代码，在编译期就能知道选取哪个版本并确定函数地址，这可能会导致生成的二进制文件体积较大；而 Trait 对象（也即上面提到的 ``dyn`` 语法）是一种 **运行时多态** (Dynamic Polymorphism)，需要在运行时查一种类似于 C++ 中的 **虚表** (Virtual Table) 才能找到实际类型对于抽象接口实现的函数地址并进行调用，这样会带来一定的运行时开销，但是更为灵活。 当新建一个进程的时候，我们需要按照先前的说明为进程打开标准输入文件和标准输出文件： .. code-block:: rust :linenos: :emphasize-lines: 19-26 // os/src/task/task.rs impl TaskControlBlock { pub fn new(elf_data: &[u8]) -> Self { ... let task_control_block = Self { pid: pid_handle, kernel_stack, inner: unsafe { UPSafeCell::new(TaskControlBlockInner { trap_cx_ppn, base_size: user_sp, task_cx: TaskContext::goto_trap_return(kernel_stack_top), task_status: TaskStatus::Ready, memory_set, parent: None, children: Vec::new(), exit_code: 0, fd_table: vec![ // 0 -> stdin Some(Arc::new(Stdin)), // 1 -> stdout Some(Arc::new(Stdout)), // 2 -> stderr Some(Arc::new(Stdout)), ], }) }, }; ... } } 此外，在 fork 时，子进程需要完全继承父进程的文件描述符表来和父进程共享所有文件。这样，即使我们仅手动为初始进程 ``initproc`` 打开了标准输入输出，所有进程也都可以访问它们。 文件读写系统调用 --------------------------------------------------- 基于文件抽象接口和文件描述符表，我们终于可以让文件读写系统调用 ``sys_read/write`` 变得更加具有普适性，不仅仅局限于之前特定的标准输入输出： .. code-block:: rust // os/src/syscall/fs.rs pub fn sys_write(fd: usize, buf: *const u8, len: usize) -> isize { let token = current_user_token(); let task = current_task().unwrap(); let inner = task.acquire_inner_lock(); if fd >= inner.fd_table.len() { return -1; } if let Some(file) = &inner.fd_table[fd] { let file = file.clone(); // release Task lock manually to avoid deadlock drop(inner); file.write( UserBuffer::new(translated_byte_buffer(token, buf, len)) ) as isize } else { -1 } } pub fn sys_read(fd: usize, buf: *const u8, len: usize) -> isize { let token = current_user_token(); let task = current_task().unwrap(); let inner = task.acquire_inner_lock(); if fd >= inner.fd_table.len() { return -1; } if let Some(file) = &inner.fd_table[fd] { let file = file.clone(); // release Task lock manually to avoid deadlock drop(inner); file.read( UserBuffer::new(translated_byte_buffer(token, buf, len)) ) as isize } else { -1 } } 我们都是在当前进程的文件描述符表中通过文件描述符找到某个文件，无需关心文件具体的类型，只要知道它一定实现了 ``File`` Trait 的 ``read/write`` 方法即可。Trait 对象提供的运行时多态能力会在运行的时候帮助我们定位到 ``read/write`` 的符合实际类型的实现。