转移到人大的朋友这边来了，又是一个新环境，早上自然又醒的很早了。这里没有农大凉快，不过比起武汉的温度，我已经很感恩了！

昨天跟HeY，TM，逛过一下午动物园之后双脚是完全不行了，到了哪里都只有一个念头：坐一下吧……但她们两位却仿佛没有什么事儿一样 >.< 昨天晚上吹了一晚上的电扇，这貌似也是在北京第一次吹电扇了，早上出门的时候感觉有些微微的酸了。今天要注意。

7：40就到所里了，大约是十多天来最早的一次。疯了2整天，上午不是很收心，效率不高。中午某敏来信邀去K歌，虽然是工作日，但考虑到老师放假了，也没给我很严格的限制，同时晚上我打算返回实验室把下午的工作补回来，机会难得，欣然答应，还拉上了叶子。他很搞笑地告诉我说他请假的时候，他的组长竟然愣了一下，然后才勉强答应。

下午，Mer，叶子，TM，HeY，我一起到“13 Miles”唱歌，点心饮料免费供应，K了三个半小时，嗓子都有些哑了。很荣幸地欣赏了传说中的某人的“两只田鼠”，Hoho~
K歌才发现，燕姿的很多歌是好听不好唱的 🙁 哼起来简单，正儿八经地唱，却很有难度！

吃过晚饭，TM送HeY回武汉，我和叶子会ICT，Mer和我们同路，回北航。周末Crazy之尾声版结束。

回到实验室，我着实吓了一条：导师竟然来了！没有放假么？？？？

因为我现在心态比较放得开了，竟然能很自然地带着惊讶的语气问：“马老师，您不是不在北京啦么？”他也笑着回答：“我什么时候告诉你我不在北京啦?我来查岗咧~”然后我告诉了他上午有人打电话找他，就开始看文档了。

有件事情比较奇怪：那几本文档的顺序变了！《通信子系统》那本本应该在最上面的，结果现在放到了《文件系统》下面……　Ｏｒｚ

为了补偿下午的时间，晚上看的很投入，有了一些进度。预计三天之内可以把验证工作搞好。

马老师真够厉害，９：３０了还在实验室！作为组长，压力肯定很大吧？一方面要搞管理，一方面还要搞科研。十分佩服这样的人的～

－－－－－－－－－－－－－－

专业部分：

通信子系统的可靠性协议分为Ａ、Ｂ、Ｃ三类，各自有着各自的用途。

为了实现可靠性传输，都需要利用超时重传机制，同时附带还可能引入流量控制问题，重传方法选择问题等。

通信子系统包含了软件和硬件两个方面，单纯从协议验证角度看，只需要较好的了解软件部分即可，但若要有一个清晰的全局认识，则硬件部分同等重要。

由软件带动硬件，这是我当前的学习路线。

－－－－－－－－－－－－－－

如ｆｄｘ刚才感叹的，出门在外，还是小心点好。嗯，有理！

Brief for Today: Eat,Wait,Walk in the Zoo,and Eat Aagin.

Moved from CAU to RUC temporaly.

昨天，XSpin的错误轨迹跟踪方法掌握，开始接触到曙光5000通信子系统协议。和马老师讨论了关于电梯问题的求解模块问题，很受启发。

今天，玩的很High！

上午，8点起床。左边在纸上比划着电梯的算法问题，右边在想是不是还是去实验室溜达呢？今天肯定没人，那里清净。九点左右，电梯调度算法竟然被我比划得有点样子了！突然接到LD的短信，问今天去不去？一下有点懵，去哪？是下午的聚会么？问了才知道，原来是上次约的TM，HeY，YH，LD一起去吃新疆菜……全然……HOHO，什么也不用想了，向交大进军！

在一个N深N深的巷子里面，终于看到了传说了很多年的新疆菜馆。那么深，竟然还宾客如云！真是应了那句老话：酒香不怕巷子深！新疆菜的确很有特色，我猜测，这里的羊肉一定是极品吧，只可惜我对羊肉的味道不感冒。肉串的味道不算膻，吃了两根，但是羊肉，唉，我是在吃不动。传说TM很能吃肉，怎么也表现不佳了呢？后来还是绿色食品好啊，后来被干得干干净净！三个女生扬言每人5根肉串，结果……浪费人民的劳动果实呀！

吃完饭，和YD,ZY,SYL,Mer等人会和，原准备去K歌，结果YD建议去看电影~也是个不错的建议，话说某人我还没到“现代”电影院看过电影的说。

电影《男儿本色》，比较标准的警匪片，如果在电脑上看，也就一般般的感觉，在影院里，音响效果太好了！看着还是很过瘾的。难怪大家愿意花几十块钱去电影院咯。

晚上，接着吃！ 湘菜，太棒了！下次我还要吃~~~~~~

Reset Day，Rest Day，Nice Day，Day By Day~

 

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

叶子告诉我，今天周四了！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！