Git中还有很多实用并且常用的小技巧，适当的使用可以提高我们的工作效率。但因为这些Tips比较琐碎，没法将它们归档到特定的主题下，于是我便整理到这里了—— git commit 选项 git commit -a指令可以自动把所有已经跟踪

stash命令 假设我们正在分支dev上工作，干着干着突然被要求在master分支上解决一个问题。但是此时我们在dev上的工作还没完成，没法commit到本地版本库，如果所以我们现在应该怎么做呢？ 这就需要stash出场了——stash可以

>>> 指导书链接 >>> 答辩PPT链接 任务简介 Lab4的挑战性任务要求我们对MOS中以进程为单位的调度方式进行修改，实现线程相关机制，将作业调度的粒度缩小到线程，提高MOS的并发能力。此外，同一进

实验思考题 Thinking 6.1 Q： 示例代码中，父进程操作管道的写端，子进程操作管道的读端。如果现在想让父进程作为“读者”，代码应当如何修改？ A： 只需要调换父子进程操作的内容即可—— int main() { //...

前言 在学习这一单元之前，我们仅仅是将UML当作一种"画图工具"，仅仅知道它能帮助我们画出各种各样的类图、顺序图、状态图等等。但是，这样我们只是看到了UML的表象，却没有深刻理解其“统一建模语言”的本质。既然UML是一种语言，那它就应该既有

实验思考题 Thinking 5.1 Q： 查阅资料，了解 Linux/Unix 的 /proc 文件系统是什么？有什么作用？ Windows 操作系统又是如何实现这些功能的？proc 文件系统这样的设计有什么好处和可以改进的地方？ A：

前言 第三单元的主题是“规格化设计”，要求我们学会理解JML规格语言，并能基于规格进行代码实现。总的来说，本单元的三次作业都比较简单，只需要根据课程组提供给的规格进行编程即可。但是，规格仅仅是一种契约，针对一种特定的规格可能会有很多实现方法

IDE磁盘镜像 在这一部分，我们主要依赖fsformat.c文件创建磁盘镜像文件 gxemul/fs.img，这个磁盘镜像可以模拟与真实的磁盘文件设备之间的交互。 fs/fsformat.c 函数之间的调用关系如下所示—— reverse

实验思考题 Thinking 4.1 Q： 思考并回答下面的问题： 内核在保存现场的时候是如何避免破坏通用寄存器的？ 系统陷入内核调用后可以直接从当时的$a0-$a3参数寄存器中得到用户调用msyscall留下的信息吗？ 我们是怎么做到让

Lab3 实验报告 实验思考题 Thinking 3.1 Q： 思考envid2env 函数:为什么envid2env中需要判断e->env_id != envid 的情况？如果没有这步判断会发生什么情况？ A： 通过阅读该函数的代码