Block是Ruby中比较重要的概念，也算是一块比较难啃的骨头。笔者在学Ruby基础的时候，碰到了很多关于块的“神奇操作“，但是在google上搜了很久也没有找到满意的答案（毕竟Ruby相对小众一点）。本想先跳过，在学完rails之后再补习

前言 当笔者第一次看到===时，便想当然的认为这与JavaScript中===的用法相同，即“同时比较数据类型和数值”。为了验证这个猜想，我在irb中做了以下测试 1.0是浮点类型，而1是整数类型，但是1===1.0的结果却是true。很

Shell中有一系列诸如 ${ },$[ ],$( ),[[ ]]这样的特殊符号，它们长相相似但用法却大相径庭，非常容易混淆。笔者在写Shell脚本时也经常将它们的用法弄混，因此特地整理在此，以便日后查阅。 $ 的用法 在写Shell脚本时

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规格语言，并能基于规格进行代码实现。总的来说，本单元的三次作业都比较简单，只需要根据课程组提供给的规格进行编程即可。但是，规格仅仅是一种契约，针对一种特定的规格可能会有很多实现方法