在中科院计算所(ict)智能中心一个月的实习结束了，跟大家交流下我的一些实习体会。

首先聊下我如何联系到实习的，再简单说说我的实习内容和感受，最后结合我获得的信息谈一下实习与保研的问题。

1. 申请

最初我是没有想到要去中科院实习的，因为我想去ppLive。04月22日我就问TmacD如何申请ppLive实习了，他让我联系Lightning师兄。结果，在还没有开始联系Lightning的时候，缘于燕姿的光盘，仰慕到了小N师兄，于是一起到东园吃饭。他以03级第四名的成绩保送到了中科院，聊天时提到ppLive实习和考研，他建议我尝试下申请计算所的暑期实习。

反正email的成本为0分每封，不妨尝试下！回去后百度了下计算所OS相关的老师，最终选定给OS组的A老师发了封Mail，表达了对OS组的的向往之情。由于我只对OS这块感兴趣，所以也就没有采用广撒网的方式。第二天，竟然收到了A老师的回复，他表示智能中心没有接收大三实习生的先例，但若感兴趣，也“可以”过来。这话说的含糊，我也就含糊地当他同意了，立刻回复，两三封邮件过后他看了我的简历，最终同意了我的实习请求，但很明确地说明没有住宿和补助。

大约过了20多天吧，给老师打了个电话，最终确认了一下，于是申请的事情就告一段落了。

从5月7号给老师发出的第一封邮件到6月6号最终确认，正好一个月时间。一切顺利。

后面才是真正麻烦的事情，麻烦得让我几乎打算放弃。原以为北京同学多，住宿很好搞定，结果四处一联系，要么回家，要么实习，没了办法，开始在校内上动用好友的好友，不是好友地变成好友，然而，毫无希望。最后差不多打算放弃了。什么事情都得折腾，折腾得你彻底失望了再给你点曙光。逛校内的时候无意踩到了一个北京同学，本以为他那里是完全不可能有地方的，结果随意一问，竟然说OK！而且他们学校（农大）的离计算所只要30分钟车！So Nice!于是，住宿问题在绝望中解决了。

6班的叶子也去计算所，于是约定同行。他是通过电面去的，在另外一个部门。

2. 实习

期末考试结束后，买了7月10日的票，和叶子一起直奔北京。幸得LY师兄的帮助，很容易就找到了计算所。

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

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

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

首先我用了4天时间来了解熟悉以上方面，最终我选择了3，现在知道，就是做应用于曙光5000中的BCL通信协议的形式化验证工作，使用了一个叫Spin的验证工具。

老师也没有很具体的指导，只是说明了我最后要达到的目标–验证协议，证明正确，或者找出错误并提出改进意见。后面的工作就靠自己一步一步来了。首先花了三四天的时间了解一个叫Magic的软件，后来才知道，此软件纯粹跟目标毫不相关。这几天算是浪费了……后面开始学习Spin的使用，学习Promela语法，学习用Promela语言来描述通信模型，等等。直到实习的第11天，开始正式单战BCL协议了。这个协议下面分了ABC三类，依次变得复杂。A类是起步，花了2天时间，B类花了大约1天，C类又花了一两天。这一块一共用了1周时间。第三周着手写报告，洋洋洒洒近三十页，用画板画了近20张图……当报告写到结果分析的时候，意外出现了：前面的验证结果根本不能说明协议到底有无错误！经过一晚上的加班检查发现问题出在我建立的信道模拟模型上，这个部分带来了大量的状态，造成状态组合爆炸，Spin无法穷尽整个协议状态空间。这时实习到了第17天。跟老师反应了这个问题，他就一句话：“呵呵呵，你想想办法，我也不知道。”经过一天的思考，最终提出了几套简化信道模型的方案。又花了两天时间一一重新验证，终于搞定！在第21天给老师做了ppt报告，一共找到好几个错误，其中有两个致命错，同时还提出了一套进一步提高C类协议执行效率的改进方案。老师对结果基本满意，同时提出意见，让我在结论的理论性，可靠性方面作进一步的思考，完善报告内容。并且还说，那篇报告如果稍加整理，可以发表到一个比较高档的国内杂志上，把我大大惊讶了下–就这玩意儿也能发表？？后面的几天就折腾背后的理论了，Spin相关的paper不知道看了多少，最后基本搞定。有几个点的证明是在太没思路，所以也有搞不定的。唉，水平有限。

从7-11到8-10，正好30天，除去每个极度happy的weekend，工作了大约二十三四天，正好！

实习的过程中，有一个博士哥哥负责给我就协议方面释疑，有时候有不懂的也可以直接问老师。大家都很nice，交流起来没有距离，如同朋友。这种氛围，很好！

实习是按照计划一步一步来的，最有盼头的就是周末了。到了周末可以和高中同学们聚餐、K歌、看电影、游玩、打球，等等，爽就一个字！

某个周一，本是上班时间，同学突然打电话来邀去K歌。考虑到所里正处于高温假时期，老师都不在，我便欣然应往，还拉上了叶子。晚上回到实验室的时候令我傻眼的一幕发生了：老师正坐在他的桌前……当时紧张的犯傻，竟然开口问老师：“A老师，你不是不在北京么？” 后面的对话就不说了，总之，两个字：犯傻！

上面的只是一个大概，如果你感兴趣的话可以在 http://raywill.blog.sohu.com/entry/4514868/#entry 看到我每天的实习日志。

3. 经验

到了ict才发现，他们那里有很多实习生。主要是来自中科大，也有其他学校的。不同部门有各自的实习生计划，如果你感兴趣，可以用email询问。像叶子所在的实验室，实际上特别缺人，如果你抓住了这个信息，进去问题应该不会大。这次，华科到ict的据我所知有4个，三个cs的，一个生物的。希望大家大胆地申请，明年一定可以更多。

在ict实习，你唯一需要解决的就是住宿问题！这个问题如果你解决了，告知老师，没有很特殊的情况，他会让你来：在实验室腾一个位置出来很容易。

有人担心自己的水平问题，实际上这个完全不用担心，我认识到的两个科大的，感觉真的一般般。记住：来这里实习，没人指望你顶下半边天。只要你在实习中展示出良好的态度，努力去做了，一定能够得到老师的认可。

ict更看重学生的动手能力。如果你分数够保研，能力很好，老师是不会很在意你的名次的。原因很简单：他是要人来帮忙干活，不是要人来帮忙考试。如何展示你的能力？我想最好莫过于实习这种方式了。

通过跟老师的几次聊天知道，他们最看重的是能力，因为，ict并没有太多时间去重新培养你的能力：研一全部上课，研二上一半上课一半工作，下学期可以完全工作，研三上开始写论文，三下找工作，答辩。所以，实际为他可用时间为一年不到。这么短的时间，让他如何培养起。也正因为这个原因，他们特欢迎硕博连读，这样以来他们的培养时间就好安排了。如果你喜欢做研究，愿意硕博连读，无论保考，肯定更受欢迎。

这边的研究氛围给我的印象很好。也有人QQ，也有人校内，也有人看电影，但那主要在中午和晚饭后，正式工作的时候大家都在做事。讨论气氛也不错，很随意，但很深入。

关于导师，我愿意把他们分为两种：一种是坐在办公室里，一种是和同学们一样，坐在隔间里。前者职位高，后者低，前者我很少见到，后者我天天见面，有了问题可以和他们像朋友一样讨论。

有的实习部门有大约300每月的补贴，有的没有。不过我相信，如果你要去ict实习，目的绝对不在于此吧？呵呵~

另外，北京物价相对于武汉可能会让你有些短暂的不适应，不过吃过几顿饭后，对于7块8块就习以为常了。倒是回到武汉后觉得武汉的东西真是便宜啊！！（公交除外，嘿嘿嘿！）

******

实习的时间也不长，以上愚见，不当之处还望见谅。不详之处也许在blog（http://raywill.blog.sohu.com/entry/4514868/#entry）上说的比较明白，欢迎访问。

特别鸣谢：小N，Miller，白云众神！