今天不写了，明天再叙。我还是去实验室罢~ 老师很有诚意，我也要加油！

叶子告诉我，今天周四了！My God！我抢过手机仔细确认，真的周四了！我还以为今天才周三。ORZ…

看来时间已经进入加速阶段了，就像每学期的五六七周那时候一样。老师后天就出去了，所以明天必须把没交流透彻的问题解决了，然后下面的一周到两周的时间就是独立时间了（其实一直都是独立时间=.=)，等他回来，就要检查我的成果了。

今天，开始研究Spin，这是一个与正题十分相关的内容。经历了MAGIC的磨难，这Spin看起来简直就是太完美了！虽然各自作用的领域不同，但是Spin具备完备性，有很强的问题描述能力；而现在回头看MAGIC，有点像个小玩具，真的用起来会发现到处存在不便。

Spin是一个十分成熟的工具，已经经历了20多年的发展，文档丰富，并且还有相关专题书籍出版。MAGIC相比起来就稚嫩的多了— 一个优秀的软件，需要用时间来沉淀！

进入正题了，充满了动力！然而，对于北京，却有了几分倦意,尽管这里万里无云。后天就周末了~找TM玩去~~~

刚刚接到硬哥短信：老师先让他到实验室做着。言语之间充满了兴奋。竟然有了机会，就好好珍惜吧，干点样子出来！加油~~明天中午一起吃饭  

今天是到北京的第八天。
昨夜，风雨大作。今天傍晚，蓝天白云，西边万里祥光，东边泛着青色辉泽。真可谓天朗气清。

这清爽的日子里，走出大楼，心情就会无比的轻松。这样的日子，怎能如此浪费呢？周末啊~我在呼唤！
生活，需要工作，更需要休息和自在；工作，是为了自由！

上午深入学习MAGIC原理，老实说，那些理论证明实在不能完全看明白，只能估计个大概。
下午，把报告文档完成了。Word的功能真是AMAZING！金山还有很长的路要走。
ICT的文档格式也要求十分严格，只是，一切都规范化了，你需要的是只是遵守，毫不费力地遵守。不免想起了当初教学评估时的痛苦。

Let’s make life simpler and joyful, though it is sometimes lonely and helpless.
Sometimes….

显然，我不笨！
MAGIC文档十分之不丰富，很多东西都考自己摸索。
上午，灵感迸发，连续总结、领悟出两个要点，纠正了前两天的错误猜测，更新了ppt文档。
兴奋之余，打了两个响指*_*,哇咔咔~

既然不笨，下午就开始看MAGIC的原理性ACM文档了，里面讲得比较详细，一面向下看，一面印证着我以前的一些猜测，行云流水的感觉！

技术细节就不在这里写啦，等到明天，写到阶段总结的技术文档里面。
唉，不由担心起实习日志了，学校竟然很死板地要人手写！到今天为止，我所有的东西都还写在电脑里面……

给lvyi学长发了mail询问MAGIC相关的问题，结果他告诉我，他向马老师推荐的不是MAGIC那个软件，而是那个页面里的ToolList。同时很热心的向我推荐了另外两个验证工具。改天试试 🙂

一个叫做BPS的工具无法下载，给国外那个站长发邮件了，不知道明天能有回复不。等吧，不行就算了。
不像国内，一个好软件，百度一下一大把，国外很尊重知识产权，通常工具的下载点只有一到两个，其他都是指向这两个原始下载页面的链接。不过国内这样倒是有一个好：原始站挂了，还有千千万万的“热心”网站帮你站岗！

晚上吃饭前，马老师给我下任务了：写一个电梯调度的模拟器。
问题背景：ict大楼两边都各自有三个电梯，同学们上下楼总抱怨电梯太傻B。
问题：你能想出一个更好的调度方式吗？请写出一个可视化电梯仿真器，来实现你所设计的模型。

这个题目马老师让他现在的学生做过，但都没有让他满意。给我做这个，目的就是考察下我到底怎么样……很有挑战！
这两天坐车的时候想想吧，设计个模型出来，由简入繁，一步一步往上爬 ….
联想到下午马老师还问过我是否有外推资格，问题比较严重了。咳！咳！他是个牛人，大学某年加权96的牛人。_MJ_ORZ__

今天周日，本准备继续休息，发出去的短信却一直没有回应，于是休息计划取消，背上电脑去了计算所。

大楼里竟然是空空荡荡，没有开灯，零星听见敲击键盘的声音，保洁工在整理清洁。组里的人都没来，难得自由清净。这样的环境让我觉得没有压力，可以随意地做着事情，不用跟时间赛跑，感觉真好！

放假了，桶里的水也连带没有了。摇啊摇，却摇不出一滴泪，faint……

既然清闲，那就做些清闲的事吧。前天Magic还没有安装成功，说是缺少Cygwin下的一个dll。东摸摸，西敲敲，终于把Cygwin安装好了，配配环境，Magic也终于可以跑起来了，哦耶~

Magic这个东西算是有点失败，安装令人颇费周折，我就干脆写个安装文档吧，详叙安装要点。嘿嘿，正好昨天和某敏和某Bu聊天的时候学习到了“大纲视图”这个来自火星的排版方法，今日且待我实验下！

果然，这火星来客十分可人，用起来让文档条理清晰，层次分明，少了很多排版周折~ 伸长脖子鸣谢二位中  

11点叶子来电话邀我去办公交卡，正好我图文并茂的文档完工了，Go！

在叶子清华学数学的同学帮助下顺利拿到公交卡，从此坐公交就四折啦  

叶子没去过清华，于是我们回头又到了清华园，这次慢慢悠悠地溜达着，感觉还行，虽不比北大武大  ，毕竟比HUST还是要强很多滴 >.<

到清华寝室坐了很久，很不错，特别是他们两个寝室之间还共用一个小客厅，可以看电视。而且大部分寝室都有空调，唉，想到了武汉……

晚上叶子的朋友请客。浙江人比较讲求吃，这点我是相信了，三个人点了好多菜，味道都忒好，特别是羊肉+薯片（漂亮名字不记得了），真是好吃啊，继续口水中~~~~~~~~~~~

饭中，聊到了清华的保研，80%的面试资格啊~~不免想到了老陈，清华要求什么前三名，shit！给他发了条感慨型短信，他回复：“现在，保清华的概率=0”，sigh~~

早知道这样，不如高考多考几分！nnd！

也给硬哥一条短信，口怜的娃啊~~露学在清华……ict的某位导师，真不厚道！人家大老远来了，你居然……
Any way，算是一种人生经历吧，也许能有写另类的收获。不过幸运的是叶子那边还有空地方住，至少不用路宿街头。那里还是要有自己人好。

明天，正式推进我的任务了，有一种莫名的兴奋，宅男 >.<

另外，貌似Buou明天回家吧？不能送了，Sorry啊~ 

周末，也不知道组里放假不，反正不管了，我要休息！

计划和老霄敏子一起逛天安门和景山的，敏子接到上级短信有事要忙，于是就剩下我和老霄溜达了。逛了几乎一整天。

睡到八点半，佘已经上新东方去了，剩下我啃了几个沙琪玛作早餐。9：40乘车到达人大，10：30我和老霄从人大西门出发，南辕北辙一次然后再南辕北辙一次到达地铁站，乘地铁到达天安门东，不小心见到了传说中的天安门，还有人民大会堂、人民英雄纪念碑、毛主席纪念堂etc，广场还好，其他一般般~

故宫没打算游的，走到午门就出来了，乘车到达景山。

果然如当初某人所言，景山太不错了！相当不错！虽然门票半价只要一元钱！

老霄果然老了，爬上山顶就气喘吁吁汗的不行，不由回忆其小时候的玩劲了，别说一道山，就是N+1道，那也是毫无感觉滴。

不过山顶有凉风，片刻便恢复了体力。小亭子上人很多，语种也很多>.< 外语中却没发现英语，全部都是@#*&语。

景山之上俯看故宫

故宫规模之大，是要在景山上才感觉的出来的。我不善于写景，就不瞎说了。到北京的朋友，你可以不去颐和园，却不能错过景山！

我们在山下坐了好久，听音乐，扯淡，嗯，nice~ right？

回人大，三个人一起吃饭，回学校，回blog扯淡，喝茶~ STOP.

依然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！

网络和编译都是错了大题的,没有办法的事情.系统结也错了大题,但林老师rp太好…

加权:87.954 不知道算错没^^

前几学期的加权: http://raywill.blog.sohu.com/43805972.html
预计大学三年的加权为84.1~84.4之间.没什么戏了!

无论如何,这学期的分数是大学三年中最高的了.算是一个好的结局吧;)
继续在ict努力,任务完成后准备回家考研!~咔咔~

看到了些不该看到的东西

日志生成时间 20:19  2007-7-11

实习单位：中国科学院计算技术研究所智能中心操作系统组
导师：马老师

上午8:00到达ict大楼，开始了实习的第一天。

我被分配到马老师旁边的位子上，这下我就可以随时和他交流了,Hoho~
稍后，我们到会议室聊了会儿，主要是确认了我的实习时间，然后仔细介绍了他当前想做或正在做的几个项目：

·龙芯原型机的初始化代码重构
·SMP机虚拟多操作系统，多种操作系统底层代码重构
·多处理机通信协议正确性的形式化证明
·Google文件系统研究

我一五一十地跟他说了我的实习计划：看分数！能保研，就长些，不能，我就要早些回去准备考研了。很直接，不过这样也好，先说明了，免得以后要走却不好开口。
关于选题，现在看来我犯了一个毛病，而且是一个老毛病：我略加思考就决定选第一个。
我有个不大好的习惯：遇到一个问题时总趋向于立即找到一个基本解决思路—实际上我们现在遇到的很多问题是不可能马上能够得出大体解决方案的。最终方案的得出需要很多基础知识做支撑，这些知识是需要时间去学习的。

关于第一个题目，里面涉及到了大量的知识产权相关的内容，很多内容都不能写入实习报告，这给实习报告的撰写可能会带来很大的困难。束缚太多！马老师让我先熟悉下再做决定，要做也可以，最终报告让他审阅下就行。这一周熟悉课题，下周选择一个深入学习。

然后，他给我分配了一个帐号，让我看了两份介绍软硬件环境的说明。

计算所里现在都是用桌面终端方式来使用计算机资源，每个人桌上只要一个终端和一台显示器就可以了，通过网络连接到资源服务器上。
这种方式有利于权限和信息的管理，并且降低了软硬件成本。唯一缺点就是网络负载大，终端上的刷新操作有些延迟。

上午，我开始为选题做准备，从形式化证明开始，搜集了很多软件测试，协议测试方面的资料了解，以期获得一个大致概念。其中比较有参考价值的是清华的一篇毕业论文《PPP协议测试》，他们利用清华的PITS系统对PPP协议实现进行了一致性测试。不过现在我感觉，这个跟形式化证明还不是一个概念。

中午，和叶子一起在中科院楼下的餐厅吃饭。真贵！

中间只有一小时的时间。1点回到实验室，实在熬不住，趴了……13:50醒来一看，咦，原来大家都趴了*^_^*。原来，所谓一点要到实验室指的是“来”，而不是来工作。我还以为北京的民工都不午休……

下午继续看形式化内容，稍微有点小感觉了，心也沉下去了。把马老师博士毕业论文中提到的一个叫Spin的测试工具下了一个，看了两个例子，没有文档，自己摸索着编了两个测试程序，还挺有意思。这个软件可以模拟多道程序并行执行，每次执行的结果可以都不一样。论文中还用到了一种叫做PROMELA的形式化描述语言，用来描述论文中设计的通信协议。没文档，好复杂，尽管沉着心，最终还是晕塌了%&#￥……@

下午同时关注了下龙芯方面的东西，网上资料少，没深入。

下午六点的时候整层实验室人都基本走完了，马老师还在，看了下我的工作进度，我也问了他一些问题。
当我问到他的论文中PROMELA和Spin之间的关系的时候他笑着十分坦白地告诉我那是当初为了凑字数，硬凑上去的，后来答辩的时候导师问他是如何利用Spin来证明协议正确性的，他也傻眼了。呵呵，这个老师真可爱！

他又把我介绍给了另外一个老师，说了下给我的备选课题。那个老师否认了第一课题，说那个已经没有什么价值，对于第二个他予以了充分的肯定，觉得那个的确需要重构。不过他担心我时间不够，可能刚刚进入角色就要走人了。的确，我更担心……马老师说没关系，至少可以写个分析报告出来，作为实习成果。呵呵，真是好老师，处处还是为着学生想的。我要努力，能走多远，尽量走多远。

PS：有周末，hoho~可以溜达溜达咯
PS2: 有高温假，7-23 ~ 8-2 ，我可以自由选择。由于我可能要回来复习考研，那段日子我故要就得在所里单干了。Fighting~