FSP
文章平均质量分 82
AutumnHAO
这个作者很懒,什么都没留下…
展开
-
FSP 最重要基层 语法/用途总结 (FSP (1))
Finite state machines(FSP),主要用于对于软件的建模。本文主要介绍的实现FSP的系统为:LTS(labelled transition system)。所有的FSP流程都有一个期对应的LTS模型。其主要目的为给并行程序建模,给建模好的并行程序检测死锁等问题。可以为程序员发现那些不容易直接通过肉眼直接辨别的问题。LTS:与现实不同,LTS模拟的系统不会强调这个信号灯的timing,它只会展示这个信号灯被允许的运行。我们需要从系统中抽象出这样的顺序。原创 2024-04-12 13:58:12 · 1716 阅读 · 0 评论 -
FSP 基础语法介绍 (FSP(2))
用于在一个流程中创建一个可选项,即这个process可以同时选择这个‘|’左边的atomic action或者右边的atomic action。注意LTS会展现出这个FSP的全部可能发生流程,所以这个选择不会像java等语言中只会选择其中之一,而是在展现时同时展现着两种可能行为。你会发现在这个情况下,因为多了一个button的可选项,所以图中同时有了两个可能的运行路线。只要发生一个action(eg green ->) 只要这个行为之前没有发生过,他就会创建一个新的状态(state)。原创 2024-04-12 14:46:59 · 420 阅读 · 1 评论 -
FSP的并行计算 (FSP(3))
当两个进程P,Q需要并行计算时,使用 P | | Q来表现这两个进程是并行的。为了创建一个并行程序,需要重新创建一个进程,但是这个进程前面要加入||来表现这是一个存在并行的并行程序。如果P为并行程序,||P为其书写方式。在并行时,FSP会让两个进程交错进行。为3个actions的交叉排列组合。但是注意:行为的顺序必须与原进程中一致,比如:在CONVERSE进程中有:think->talk->STOP这样的action执行顺序。所以在并行计算中绝对不能出现talk在think之前的情况。原创 2024-04-13 13:03:51 · 1786 阅读 · 1 评论