本文介绍了如何将状态机与数据库模型结合，构建安全高效的并发软件。Statesman库提供了一个由转换表驱动的状态机。通过使用数据库来执行转换，可以避免并发进程之间的冲突。
完成下面两步后，将自动完成登录并继续当前操作。
