【设计技巧】LabVIEW程序设计模式(二)—基本状态机模式

labview

状态机是一种最为经典的程序设计模式，在labview 7.1（含）之前它几乎包揽了大部分的LabVIEW主程序。最基本的状态机结构如图 1所示。状态是状态机运行的经脉，在开始使用状态机模式撰写程序时需要将应用分为若干个状态。下面以图中的应用为例说明基本状态机的使用。

[示例一]

前面板具有3个按钮（Control）和1个波形显示控件Chart（Indicator），功能分别是：

1) 开始采集：Label是start，单击后开始进行模拟数据采集程序（这里使用随机数代替）。

2) 关于：Label是dialog，单击后弹出对话框以说明这个程序的版权、帮助等信息。

3) 停止：Label是stop，单击后停止程序的运行。

4) Chart：用于显示获取的随机数。

这是一个非常简单的应用，但是具有一定的代表性。根据要求，该应用至少包含以下5种状态结构。

1) Initial：初始化状态；

2) Idle：空闲状态，用于响应各种用户界面操作；

3) acquire：采集状态，用于持续模拟采集数据；

4) about：用于弹出关于和帮助对话框；

5) stop：停止状态，退出循环并中止程序。

(a)

背面板

(b) 前面板

图 1 基本的状态机结构背面板

仔细分析图中的基本状态机，可以看出状态始终贯穿整个应用程序，并由移位寄存器进行值的寄存和传递。当前状态分支的结果将决定下一个状态，如图中的Idle状态。在这个状态中，程序将自动检测前面板的三个按钮是否被按下。如果start被按下，则进入acquire状态；如果dialog被按下，则进入about状态；如果stop被按下，则进入stop状态；否则如果没有任何按钮被按下，则仍然进入当前的Idle状态继续检测。

在acquire状态中，为了保证程序的重复采集使得下一个状态仍然为acquire，但是这样会导致程序无法停止（中断采集）。于是需要在acquire状态分支中加入stop的探测，如果stop被按下，则不再进入acquire状态而直接进入stop状态。

从应用1可以看出，基本状态机模式大体上能够满足主程序结构的需要。该模式能够很好地使得应用程序的各个功能以状态的方式有顺序地执行，并且保证了程序的可读性（以状态图的方式显示清晰明了）和扩展性（日后只需要扩展状态即可扩展相应的功能）。

事例中使用的是“string”型结构来标记状态，事实上也可以使用其它的数据类型替换，如ring、numeric或enum。从严格意义而言，ring并不属于一种数据类型，它只是一种特殊的numeric性，其性质与numeric基本上一样。尽管ring与enum控件从外观上看是一样的，如图2所示，但是它们实质上是不同的。主要体现为以下7点。

图2 Enum型和Ring型控件

(1) enum型代表的值只能够为U8、U16和U32型，而ring型代表的值允许为I8、I16、I32、I64、U8、U16、U32、U64、EXT、SGL、DBL和FXP型；

(2) ring型实质上是一种numeric型，而enum型是一种包含于numeric之外的数据类型；

(3) 当把ring或enum型控件分别连接到case时，对ring型而言，case结构的选择端子只能够显示数值；而对enum型而言，case结构的选择端子能够显示具体的枚举值；

(4) ring的strings[]属性可以在程序运行时被修改，而enum的strings[]属性在程序运行时却无法被修改；

(5) 当把ring型和enum型控件分别制作成自定义类型控件（Type Def.）时，ring的控件实例可以任意设置其strings[]属性的值，而enum的控件实例却无法设置strings[]属性的值，如图3所示；

(6) 当把ring型和enum型控件分别制作成自定义类型控件（Type Def.）时，改变ring的Type Def中控件的strings[]属性的值，但是其对应的实例的strings[]属性却不会改变；而改变enum的TypeDef中控件的strings[]属性的值，其对应的实例的strings[]属性会随之发生变化。

(7) ring型控件对应的各个状态可以表示任何值（在控件的property>>Edit Items对话框中），而enum控件对应的各个状态只能够从0开始顺序表示（在控件的property>>Edit Items对话框中）。

由于应用程序的各个状态在设计时就是相对固定的，不会在应用程序中进行修改。对比以上ring型和enum型的区别，可以看出在基本状态机中，enum更适合来标记状态。首先当把enum直接与case相连时，case的选择端会立刻显示enum的各个状态值，有利于程序的理解和维护；其次，当把enum制作成一个TypeDef型自定义控件时，日后如果需要增加新的状态则只需要修改Type Def型的strings[]属性，此时其各个实例的strings[]属性会随之改变。

图3 Enum型和Ring型控件对比

反观我们在本章开头提到的10个问题，使用LabVIEW状态机模式是否能够回答上述问题呢？也就是说基本状态机模式有什么样的缺点呢？

(1) 状态的分类不清晰。试想，如果有几十个状态，那么case结构的选择端会显得没有条理。事实上，我们是可以对状态进行分类的，如数据采集、数据分析状态可以均属于对数据的操作。其实并没有统一的规定如何对状态进行分类，其目的在于使程序能够清晰明了。

(2) 缺乏数据共享和错误处理机制。例如在数据采集之后还需要增加一个数据分析的状态，那么如何将采集得到的数据提供给数据分析模块呢（使用局域变量、全局变量、共享变量或其它）？这一点并不能称为基本状态机的缺点，只是在上面的例程中没有实现，所以单独列出。

(3) 每一个状态分支只能够决定后面的一个状态，而无法决定一个状态序列（多个状态）。假如状态机有三个状态A、B、C，前面板上有三个按钮依次为B1、B2和B3。如果单击B1时需要使得三个状态按照A→B→C的顺序执行，当单击B2时需要使得三个状态按照B→A→C的顺序执行，当单击B3时需要使得三个状态按照C→A→B的顺序执行。这种情况是无法使用基本状态机模式解决的。