并行理论的学习和一些想法

来交大也有一段日子了。说实话，前段时间有些彷徨。总觉得研究生压力比本科时候大很多，重负之下不禁有所解怠。到今天为止，我仍是慢慢在寻找感觉。但是，欲速则不达，心中所想所感，让时间去慢慢证明吧。

这篇文章，我不打算谈什么高深的技术问题，只希望谈谈自己这一个月来学习的感想。所以在写作时我不会参考任何资料，只写写自己的学习心得吧。

如果现在有人问我什么叫并行理论，我可以很负责任的告诉你，我不知道。并不是我没有学，而是我对它的理解还没有到达能给一个定义的程度，老师也没明确告诉我什么叫并行理论。但是，任何理论其实都需要相关的数学模型去描述，并行理论也不例外。并行理论可以说是一门描述进程并发性的学科理论，目前能比较好地描述它的模型有CCS,pi-calculus,这些都可以归结在我现在所学的process algebra（进程代数）里面。

在process algebra里面，我们有一个system（系统）的概念。系统泛指一切能完成独立功能的个体。在系统里面有很多的process（进程）。这里的进程不是指计算机里运行的程序，在系统里我们一般用agent（代理）来描述一个进程。系统的任务功能是通过进程的通信完成。这些通信包括系统内部的通信以及系统与外部的通信。那么，现在我们要做的事，要学习的东西，就是怎样有一套行之有效的方法，来描述一个系统中进程的各种行为，并且这些行为是并发的。

为了能够有效的描述系统里进程的并发行为。我们需要做的事有：

（１）   定义描述系统、进程以及它们之间的转换的各种符号。

（２）   定义符号之间的语法。

（３）   定义上述语法的语义。

（４）   在语法与语义中抽象中各种描述并发行为的理论（如等价，互模拟等）

说到这里，我不打算在谈技术的问题。这是我这一个月对于并行理论学习的一些心得，没有什么具体的技术含量，但却是我自己的一些感想。我们老板当年博士毕业的时候自己建立了一套ＣＨＩ－演算，它事实上是对pi-calculus的更抽象化的描述，也是一套对并行理论比较完整的模型描述理论。还真是比较牛。。

这一个月来，无所谓痛苦，但却确实有些彷徨。有时候很怀念大四时跟freasy他们共事的时光，还有我的师兄以及我的指导老师。不仅是那段共同学习，互相勉励的岁月，更是那种无拘无束，海阔天空的感觉。希望他们一切都好，并能在自己的工作岗位上做出好的成绩来。