中科院实习（3）_中科院陈莉

依然8:00到达实验室，依然是马老师早早到了，和他聊了几句，关于我住哪里的问题，另外还送了我几颗荔枝.....

在草稿纸上粗略写了今天的计划

• CPP+XSpin+ABP测试
• MIPS汇编
• Get An Overview of the Refactored Linux  Code and Get the General Idea.

今天要确定下后面到底做什么，也就是要在“操作系统底层代码重构”和“通信协议正确性证明”中选择一个，所以有些事情不能再拖了。

上午先没跟老师交流，怕交流的时候说到什么都是不明白，就自己先了解了下MIPS汇编以及MIPS计算机一般的体系结构。11点左右找到苗老师了解 了这个系统的项目背景和大致目标，才知道，这个系统不是MIPS的，而是AMD Operon X86-64,大汗……2个小时的MIPS付诸东流咯~

从苗老师那里拷贝了一份他做的文档，做的十分规范详细，值得学习！只是，我发现，Linux代码我根本就没熟悉到那种程度，成功重构基本是不可能！我拼了命看了3到四个小时，越发地没了信心，越发地后悔当初没有更加踏实地学习Linux原理和代码……

中间，硬哥也到ICT了，我下楼去跟他交代了下就留他在那里等老师来接了。他老师真不厚道，竟然让他等通知！中午我们三个华工的在一起吃了顿饭（pzy，wsy，yh）。

撑到了下午3点左右，跟马老师聊了下我的想法，觉得那个项目难度太大，短期内不可能完成，做的话肯定是虎头蛇尾。马老师当初就很理解，所以也就是笑了笑。我说打算做协议证明，问他最终希望我能做到一个什么程度，于是他给我仔细讲解了他拍脑袋设计出的通信协议，我要做的就是多考察几个工具，找出最适合证明协议正确性的软件，写出一个报告来。

他看我是来实习的，就反复笑着跟我说，你做吧，不管什么样，只要最终交个报告我，签个字不就OK了么。

我就说我努力吧，尽量做出点有价值的东西出来。

无论出于什么目的，我肯定是要做出有价值的东西来的，否则，浪费的是我的时间和情感啊！hoho~

同时马老师还说“如果这个你做的很快，你还是可以考虑下Linux代码重构那个的，从操作系统角度来看，那个可以学习到不少东西。反正你先做吧，做着看。”

我的最终结论：先做证明，做好、做透，拿出一个完整的报告出来。如果有时间，再参与到其他工作中。

然后，看MAGIC-- 一种验证代码和需求一致性的软件，看FSP-- %￥#%……&（）

照常，六点半走人。

明天周末，休息。找Buou、TM他们玩去~

下周，开始踏实做事咯~~今天看到了这学期的分数，某几门还对得起人，很Happy~把昨天的悲哀冲淡了很多，至少，是暂时掩盖了吧。Anyway！