08:30 – 08:50 看博客，校内，白云
08:50 – 09:00 Tea Time
09:00 – 10:00 通过Sequence Chart跟踪分析模拟程序中的错误，反复修改测试，修正了大约6个BUG
10:00 – 10:30 开着机器让他进行局部行为测试，慢！经历大约5次序号回转。俺一边喝着茶，一边实时Trace&Observe。观察结果：模拟行为和预期完全一致。Nice！
10:30 – 10:40 生产全局测试程序，用gcc编译，执行。0错误报告！！

C1.0 OK！

2007-07-28 | ICT第十二天
2007-07-26 | ICT第十二天
2007-07-29 | ICT实习第十三天

我在和C类协议作斗争。不说细节了，我要打败它！等我捷报！

今天淋雨了，透湿。回到寝室，全身淌着水……

明天，应该可以搞定C类的！！！！！

后天，写报告~

我现在开始做好员工了，每天加班到九点，还恋恋不舍……ORZ…

昨夜看《变形金刚》睡的晚了，10点多才爬起来。磨蹭了一小会儿直接去了所里。

check mail，收到了动物园的全部直立行走智能动物的照片，另包括田鼠数只。

下午先整理了下版本注释和文档，已经完成的协议包括A类全部，B类v1~v3。

然后实现了B4–接受端到发送端的阻塞模型，发现几个BUG，调试发现是B3中遗留下的逻辑错误 =.=|| Spin真聪明~~~ 

B类协议到此基本告一段落了，剩下些优化问题后面再说，这属于非主干问题。 

接着阅读C类协议文档，写得不是十分清晰，很多疑问，跟上次一样，还是没人问。等周一吧，师兄肯定会过来。

自己琢磨着协议，乱，乱得不禁困了，倒在椅子上睡着了。 

醒来，泡了杯茶，继续。

吃过晚饭，和叶子去打了一个小时的乒乓球，然后继续分析C类协议，在纸上列举了些零碎地理解，尝试列出一个方案，直到刚才，在寝室，彻底觉得C类无法继承B类的思路来做了：（

明天再读一次文档，看看是否真的要否定原有思路。如果是，那必当又要大大折腾一次咯~来吧~我现在不怕折腾！哼哼~

—————————-

如果十分顺利，下周末可以完成一切任务。嗯~wish！

为了测试美国, 香港, 中国大陆三地警察的实力, 联合国将三只兔子放在三个森林中, 看
三地警察谁先找出兔子. 
第一个森林前是美国警察, 他们先花整整半天时间开会制定作战计划, 严格分工, 然后派
特种部队快速进入森林进行地毯式搜索, 结果开会耽搁了时间, 兔子跑了, 任务失败! 

然后轮到香港警察, 他们派了一百多号人和几十辆警车在森林外一字排开, 由带头人用喇
叭喊话:"兔子,兔子,你已经被包围了, 快出来投降......" 半天过去了, 没动静. 飞虎队
进入森林, 搜索一遍, 没结果, 任务失败! 
最后是中国警察, 只有四个, 先打了一天麻将, 黄昏时一人拿一警棍进入森林,没五分钟,
 听到森林里传来一阵动物的惨叫, 中国警察一人抽着一根烟有说有笑的出来, 后面拖着一
 只鼻青脸肿的熊, 熊奄奄一息的说到:"不要再打了, 我就是兔子......." 

无事，吃喝玩乐而已。

请北京的同学吃了顿，还是湘菜，聊表心意吧，感谢大家一直以来的帮助啦~

我又喝了两小杯啤酒，青岛，不上头。

WCG（World Cyber Games）中国赛区决赛在人大举行，上午看了魔兽，下午看了几场反恐~nice！

明天不玩了，实验室见~

晚上重看《爱情呼叫转移》，看到结尾带着耳机睡着了，睡神来了，什么也不管了，日记便也耽误了。现在补偿起来吧。

昨天是个更nice的day，一切简直太顺利了。用一整上午的时间，实现了初级的B类协议，跟A类差不多，还缺少阻塞环境的模拟。感觉实现阻塞的模拟是刻不容缓了，下午便开始向阻塞模拟开刀，也是顺利实现!
文档中有好几个地方都是很不明确的，不知道是没有考虑到呢，还是略去不写了。正好，张师兄来实验室了，便把存在的几个疑问一一请教，打通了思路。而且，在请教讨论过程中，还spark出了一个解决乱续模拟的方案！

用了大约2个小时的时间完成了基本的阻塞模拟代码，一些小bug，不多久便都调过了。后面又用了2个小时结合自动生成的Chart Sequence做微调，以保证下午拍脑袋拍出的代码是可用的。阻塞模块是个基础设施，整个ABC三类协议中都是需要的，所以要尽可能保证它不出错。

不知不觉摸到了很久，一看表, =.=|| ,竟然8点了，还没吃饭咧！赶紧地，写了点总结记录，打扫桌面战场，收工！8:20下楼，吃了俩馅饼，一碗绿豆粥，好吃！

来北京有段日子了，对于北京的物价已经习惯，5块钱的饭，貌似是十分节约了，Orz.

Stop！有人催着吃饭了.

Nice day！昨日的郁积随着一行行优美的代码和漂亮的图形而散发。

上午将A类协议的框架搭好了，基本可用，但尚未模拟出流水发送。

下午，通过观察XSpin生成的图形，发现了问题的所在，在原始代码中加入了流水发送的处理，便很好地实现了流水（Pipeline）。一些小Bug，花了点心思，也都一一解决了。

今天一共开发了4个版本，分别为A3,A4,A5,A6，特别地，在A6中加入了对传输介质的模拟，这样，整个模型由4部分组成：发送方进程，介质到接收方进程，接收方进程，介质到发送方进程。这种模型为后面A7的开发提供了极大的便利。

在A6中还有一个东西没有模拟出来：乱序发送。而利用两个介质进程可以很方便地模拟这一切！

明天下午实现这个吧，上午先把B类协议的v1做出来。

总之，今天很顺利。晚上，心情很high，突然想好好走走。

城市的喧哗，有一半来自于这无穷无尽的车流。就让我暂时告别这些吧，我想好好走走，好好感受下这天天擦肩而过的中关村。

发了一封短信，开始出发，不紧不慢。很自然地走着看着想着唱着–走着这繁华的大街，看着这想着车来人往霓虹灯光，想着某个人某些事，唱着燕姿的小曲。这样的闲暇，让人远离尘嚣。却不知，尘嚣之外，还有很多迷惘很多烦恼。

因为从ict到ruc只有一个拐角，所以不会迷路，全程45分钟。

昨天，今天，我确认我处在一个灰色地带。

QQ签名修改为：Milestone: Mechanism A Verified.Proofed Correct!

现在看来，简直就是扯淡！Milestone实为Scratch.

昨天的工作仅仅是叫开个头，表示：现在开始着手做验证了。

现在发现，用Spin建模并没有想象中简单，看过的一些例子那都是很简单的模型，所以感觉不难。用Spin表达一个实用的模型，还是特别耗脑子的。

心中存了几个疑问，等了一上午也没看到研究生gg来，只能靠自己猜想，这是很难受的！天知道我那些所谓猜想错成了什么样子。

下午午睡醒来，发现马老师又来了，于是直接请教他算啦~这个协议是他一手拍脑袋设计的，第一作者，对问题的理解自然是最到位的了。

在他的讲解下，对协议中的流水线发送方式有了比较清晰的理解，可是，理解过后带来的是莫大的痛苦–建模难度大多了！！！

下午在纸上拍脑袋拍了好几个方案，但都过于复杂（或曰杂乱），一一否决。还有一些方案，Spin直接报错：解空间过大，内存溢出，无法完成搜索……

心中很乱，以致晚上和TaoTeng吃饭的时候心里还是十分不舒服，总感觉有什么堵着在，尽管TT那么有意思的表演 =.= 这个东西怎么就那么烦人呢？中邪了……

明天继续，现在脑袋中装这一个似乎可行的方案，回来的路上冒出来的。但愿可行！

周五前如果不能把这个搞定，这个周末我就哪里也不去了，不信你个邪！

喝了点点啤酒，晕了*&#$￥*%￥@#@*&*

———————————————

Just one glance, that’s everything I could wish for.