ss1271's Site

风餐露宿,不可一日无码.

英伦留学流水账(4)──Coursewrok又一周

| Comments

又一周,这次真的是整整一周,基本每天都很晚回去。而且我认为就是这一周,哥吹了10斤起来……天天都是Kebab+Pizza要么就是Pizza+Roll,何况Pizza还是14寸的。 来UK几个月了,还是不理解为啥每次Coursework的时候哥总是要熬夜。这次连续一周的刷夜是为了传说中的PROMELA,据说是米国xx大学(CMU?)的研究成果,说用于通信系统模拟,模拟信息传输之类的。 Promela在Win平台的编译器基本属于反人类,这个xSpin不仅不能用快捷键保存代码,连编译都会自动出错。。。极品。。。 可以说,我们浪费在折腾编译器的错误的时间远远大于编写代码和想算法的时间,实验室的人都很痛恨这个垃圾玩意,但是没法只能咬牙,为了完成Coursework。本次的作业实际上是课程System Validation的,其实是为了验证系统有效性的一个小软件,promela的主要作用就是用代码来实现这个过程。 其实说起来这东西也不难啊,第一阶段目标无非就是一个六字节信息,A传给B,B传给C,C传给A。只是由于PROMELA本身程序执行的顺序是n个线程同时执行,而并不是一般认为的顺序执行。因此在A传给B的同时,B也在传给C,C也在传给A。所以在写其中一个过程的代码时,必须考虑到这个程序实际上是“没有谁最先传谁”这一说的。 长时间不写文章,甭管英文还是中文的写作能力有了明显的退步。这篇blog其实已经迟到了一个月,本来应该在去年的12月初发布的,在此向大家道歉。

Comments