用于接收器将无线介质访问到有限状态机的伪代码

Question

此伪代码适用于尝试访问无线介质以从传感器发送和接收数据的接收器。

1. set pc = 0.01
2. 发送轮询数据包
3. 如果没有传感器响应轮询数据包，则设置 pc = min (pc + 0.01, 1.0)
4. 如果成功接收到来自传感器的数据包传感器，将 pc 保持在当前值
5. 如果两个或多个传感器之间存在冲突（如数据包损坏所示），则设置 pc = pc / 2
6. 重复步骤 2

我已读过如何阅读 FSM 图 的链接，它确实对我有帮助传感器部分。但我仍然对尝试将上述伪代码转换为 FSM 感到困惑。

任何人都可以推荐一个链接或电子书，对将伪代码转换为 FSM 进行清晰的解释吗？

Answer 1

我不确定你真正在这里寻找什么；简单地编码会非常简单，而且这个问题看起来并不值得全面解决对我来说，FSM 表驱动方法。

这是一些类似 C 的伪代码：

double pc = 0.01;
int sensorsfd;

void loop(void) {
    for (;;) {
        fd_set readfds, writefds, exceptfds;
        FD_ZERO(&readfds);
        FD_ZERO(&writefds);
        FD_ZERO(&exceptfds);
        FD_SET(sensorsfd, &readfds);

        struct timeval tv;
        tv.tv_sec = 0;
        tv.tv_usec = 1; /* 0.001 seconds */

        int r;

        send_polling_packet();

        r = select(sensorsfd+1, &readfds, &writefds, &exceptfds, &tv);

        if (r == -1 && errno == EINTR) {
            continue;
        } else if (r == -1) {
            perror("select() failed");
            exit(1);
        } else if (r == 0) {
        /* timeout expired */
            pc = min (pc + 0.01, 1.0);
        } else if (r == 1) {
        /* sensorsfd won't block when reading it */
            packet_t p = read_packet(sensorsfd);
        /* should also handle _no packet_ if the sensors
           socket returns EOF */
            if (packet_corrupted(p)) {
                pc /= 2;
            } else {
                handle_packet(p);
            }
        } else {
            /* error in program logic */
        }
    }
}

伪代码是指我刚刚编写的代码，并且没有测试机制
它。如果你的程序变得比这复杂得多，你可能会
想要将所有 select(2) 设置封装到它自己的函数中，并且
可能是处理来自传感器套接字的数据包的所有细节。