日志生成时间 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以及所有六级尚未成功的朋友们：六级顺利~！

Try{
       LifeWithDestination();
}catch(e){
       What()? Hmm()?
}finally{
       Wakeup();
       StartNewInstance(newParams);
}

Mistake?

看到燕姿的经历以后，似乎懂得了一点燕姿的风格~

她的在歌声中摇滚生活，怀念过去，憧憬未来，却很少谈及有着甜蜜爱情的现在，如果和梁静茹的歌比较，这点就反映的特别明显咯。如果要期待燕姿的新风格，看来得期待她生活的改变啦~Hoho~

子路问成人。子曰：“若臧武仲之知，公绰之不欲，卞庄子之勇，冉求之艺，文之以礼乐，亦可以为成人矣。”
曰：“今之成人者何必然；见利思义，见危授命，久要不忘平生之言，亦可以为成人矣。”

这几天于厕便读南怀谨《论语别裁》，饶有趣味。

关于做人的准则，在这个浮躁的世界里，我们在悄然将它淡忘，似乎我们这个年代的要务就是为着自己，大点，为着自己的一个小圈子而奋斗。

但是，我们是不是真的能够这样理直气壮地如此“奋斗”下去呢？从历史的角度看，我们的行为是不是会遭到唾弃呢？

“见利思义，见危授命，久要不忘平生之言”不时看看这等言论，也许能让我偶尔会想起人生的责任，为人的准则，做人的志气。

知、不欲，温文尔雅。
勇，阳刚之气。
艺、乐，高雅之士也。

我们学工的，能做到多少呢？欲成人，不可偏废也！醒！

遭不良习惯报应了，双肩发麻、脖子发酸 🙁

看书，耍电脑，上课，都不能久了……

13栋下面的网球场上，够艺术！

 看那背后的云~真美！