论文部分内容阅读
随着分布式系统的广泛使用,如何设计和实现通信协议软件也变得越来越重要。但由于通信软件的设计条件比较苛刻,例如对其并发性、复杂性和高性能等等都有严格要求,所以迫切需要有一种好的设计方法和工具帮助开发者设计开发协议软件。对于协议软件而言,一个好的设计方法必须满足模块化和渐进性开发。 为此,引入有限状态机的概念。有限状态机是一种概念性机器,它能采取某种操作来响应一个外部事件。具体采取的操作不仅取决于接收到的事件,还取决于各个事件的相对发生顺序。将有限状态机应用到嵌入式Web服务器的设计中,用于控制嵌入式Web服务器的任务响应顺序,使服务器在一个线程中响应多个连接,提高了Web服务器的效率。 本文基于Webit为平台的嵌入式Web服务器,服务器接口采用的是SSI机制,使客户端通过Web服务器访问并控制嵌入式设备。将有限状态机引用到嵌入式Web服务器中,用状态机的状态表示服务器完成HTTP连接所处的各个状态,状态的变迁用状态表形式表示,其中每一列都代表一个状态,每一行都代表一个事件,单元格则代表一个状态/事件组合,并包含了要采取的操作,单元格又决定了机器的下一个状态。通过有限状态机响应客户端的连接,使服务器的任务变的有序和有效。 有限状态机在嵌入式Web服务器中的应用,使Web服务器能创建可靠的应用程序,并可在任何情况下做出确定的响应。用有限状态机实现HTTP协议,便于协议的模块化和渐进性开发,增强了程序的灵活性。