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

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

睡到八点半，佘已经上新东方去了，剩下我啃了几个沙琪玛作早餐。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~

今天视察中科院计算所了，相当nice！就是考也要考到这里~

顺利半票到达北京西站，正好小布和丸子一起到西站买回家的车票，正好是午饭时间，嘿嘿，于是直接把Buou给宰了……
终于见到了传说中的丸子，也是个很nice的小女生耶~

中午在人大吃过饭，聊聊天到两点，Buou、叶子和我坐26路到保佛寺下，通过wy师兄找到了计算所。大楼气派而朴实。本打算让叶子和wy师兄去找导师，我先去农大的，不过貌似Buou有点想溜进ict大楼看看，于是我们四人一起进去了，以实习的名义*_*

叶子找到了导师，我和Buou则绕着5楼转了一圈。几乎整层楼就是一个大厅，没有墙，只有无数的隔板把位子分成一格一格的，跟HUST实验室差不多，只是规模大得多。还有，Buou还发现，ict里面女生比预想中多得多！hoho~

我们溜达完先出来了，过一会叶子和他导师也出来了，哇，好年轻的一个女老师！她特别特别热情，仔细给我们讲解要注意的地方，特别是上班时间问题，乘车问题等：朝九晚五，一小时提前量，打卡。叶子的房子是她花了很大力气才找到的，用了很多心，竟然还有空调！So　Ｎｉｃｅ！

从大楼下来，叶子和老师去看房，ｂｕｏｕ回学校，我去了农大。

很困，吃过饭就昏昏睡了。８点多，ＬＤ到农大了，下楼，找到一个可以坐的餐厅，开始帮她看动车的设计。

１０：００，继续《一公升的眼泪》 ^_^

我明天在去见我的导师，会是怎样呢？有些期待呢～

按照惯例，每学期、每年的末尾都要在博客上写写总结的。暂时是没时间了，不过，主题已经有了：

这是我大学中最糟糕的一学期！

Each Step is Important to You And There is no Easy Way.

    天下有没有傻瓜？有的，但却不是被别人称做“傻瓜”的人，而是认为别人是傻瓜的人，这样的人自己才是天下最大的傻瓜。
    我先把我的结论提到前面明确地摆出来，然后再条分缕析地加以论证。这有点违反胡适之先生的“科学方法”。他认为，这样做是西方古希腊亚里士多德首倡的演绎法，是不科学的。科学的做法是他和他老师杜威的归纳法，先不立公理或者结论，而是根据事实，用“小心的求征”的办法，去搜求证据，然后才提出结论。
    我在这里实际上并没有违反“归纳法”。我是经过了几十年的观察与体会，阅尽了芸芸众生的种种相，去粗取精，去伪存真以后，才提出了这样的结论的。为了凸现它的重要性，所以提到前面来说。
    闲言少叙。书归正传。有一些人往往以为自己最聪明。他们争名于朝，争利于世，锱铢必较，斤两必争。如果用正面手段，表面上的手段达不到目的的话，则也会用些负面的手段，暗藏的手段，来蒙骗别人，以达到损人利己的目的。结果怎样呢？结果是：有的人真能暂时得逞，“春风得意马蹄疾，一日看遍长安花”。大大地辉煌了一阵，然后被人识破，由座上客一变而为阶下囚。有的人当时就能丢人现眼。《红楼梦》中有两句话说：“机关算尽太聪明，反误了卿卿性命。”这话真说得又生动，又真实。我绝不是说，世界上人人都是这样子，但是，从中国到外国，从古代到现代，这样的例子还算少吗？
    原因何在？原因就在于：这些人都把别人当成了傻瓜。
    我们中国有几句尽人皆知的俗话：“善有善报，恶有恶报；不是不报，时候未到；时候一到，一切皆报。”这真是见道之言。把别人当傻瓜的人，归根结底，会自食其果。古代的统治者对这个道理似懂非懂。他们高叫：“民可使由之，不可使知之。”是想把老百姓当傻瓜，但又很不放心，于是派人到民间去采风，采来了不少政治讽刺歌谣。杨震是聪明人，对向他行贿者讲出了“四知”。他知道得很清楚：除了天知、地知、你知、我知之外，不久就会有一个第五知：人知。他是不把别人当作傻瓜的。还是老百姓最聪明。他们中的聪明人说：“若要人不知，除非己莫为。”他们不把别人当傻瓜。
    可惜把别人当傻瓜的现象，自古亦然，于今尤烈。救之之道只有一条：不自作聪明，不把别人当傻瓜，从而自己也就不是傻瓜。哪一个时代，哪一个社会，只要能做到这一步，全社会就都是聪明人，没有傻瓜，全社会也就会安定团结。

小李子，鹤儿，教授，Light Blue以及所有六级尚未成功的朋友们：六级顺利~！