C类协议搞定!!

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错误报告!!


State-vector 148 byte, depth reached 524, errors: 0
1.23048e+06 states, stored
    1.13091e+06 nominal states (- rv and atomic)
       66709 rvs succeeded
  492784 states, matched
1.72327e+06 transitions (= stored+matched)
       3 atomic steps
hash factor: 3.40866 (best coverage if >100)
(max size 2^22 states)

C1.0 OK!

我的相关日志:

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

ICT第十四天

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

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

明天,应该可以搞定C类的!!!!!

后天,写报告~

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

ICT实习第十三天

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

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

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

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

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

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

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

醒来,泡了杯茶,继续。

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

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

—————————-

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

我就是兔子


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

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

又是周末

无事,吃喝玩乐而已。

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

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

WCG(World Cyber Games)中国赛区决赛在人大举行,上午看了魔兽,下午看了几场反恐~nice!

明天不玩了,实验室见~

ICT第十二天

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

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

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

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

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

Stop!有人催着吃饭了.

 

 

ICT第十二天

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

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

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

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

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

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

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

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

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

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

 

ICT第十一天

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

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.

 

XSpin

Hoho~我也能弄出这样的结果咯~嘿嘿~!

An infinate loop caused by message drop

The course of sending and receiving message in Chart Mode
Message Drop and Resending also demonstrated in this chart