BUAA-OS课程的挑战性任务，完成一个功能更加完善的shell。
MOS Volca Shell实现的功能有要求中的常规功能，以及三个附加功能。
相对路径，环境变量，Tab自动补全。
本文聚焦于讲解具体的实现思路。
代码开源在github上，欢迎大家交流。

unit3_logPre 第三单元的主题是规格化设计，需要我们学会理解与使用JML语言对于java程序进行建模，从而实现对于需求的形式化。 形式化有许多好处： 逻辑明确，没有二义性，具有可靠性。 能够形式化的东西一定能够自动化，所以有利于自

BUAA-OS lab6实验报告，关于mos系统的管道通信的实现，shell的实现。

BUAA-OS lab5实验报告，关于mos系统的外设的管理，文件系统的实现。

BUAA-OS lab4实验报告，关于mos系统的系统调用的实现，与ipc的实现，写时复制fork的实现。

BUAA-OS lab3实验报告，关于mos系统的进程模式的实现以及进程时间片调度的实现。

北航面向对象与程序设计第二单元课程作业，电梯调度器ElevatorDispatcher 3.0。
为2.0的迭代，新增需求：

1. 限制同楼层服务电梯。
2. 电梯可达楼层属性限制。

BUAA-OS lab2实验报告，关于mos系统的内存管理机制的实现，内存初始化，二级页表，TLB重填等内容。

北航面向对象与程序设计第二单元课程作业，电梯调度器ElevatorDispatcher 2.0。
为1.0的迭代，新增需求：

1. 动态增加自定义电梯。
2. 电梯日常维护请求。

北航面向对象与程序设计第二单元课程作业，电梯调度器ElevatorDispatcher 1.0。
主要涉及多线程程序设计，设计模式的使用。