17、SIGNAL语言在系统设计中的应用与设计模式

SIGNAL语言在系统设计中的应用与设计模式

1. GALS系统设计与代码生成

在分布式异步嵌入式系统的设计中，SIGNAL语言有着独特的应用。代码生成通常以集群的形式实现，在SIGNAL里，集群指的是依赖于同一输入数据子集的一组语句。这种代码生成方式能让每个处理器高效执行，对应的代码可以用C、C++或Java生成。

下面是一些练习题，用于探讨不同进程的确定性和内同步性：
1.

(| s2:= s1-2
| s3:= s2 $ 1 init 0
|)

(| s2:= s1*3
| s3:= s2-4 when s2 >=0
| s4:= s3 when s3>0
|)

(| s2:= s1 $ 1 init 0
| s1:= s3 default s2-1
| s3 ^= when s2>0
|)

(| s1:= s2 default s3 |)