本文介绍如何使用状态机和数据库模型构建高效的软件，使用转换表存储每个转换，保证完整性和排序。使用Statesman库实现目标，提供指南实现小型库。介绍使用机器API和数据库索引高效查找状态。

本文介绍了如何将状态机与数据库模型结合，构建安全高效的并发软件。Statesman库提供了一个由转换表驱动的状态机。通过使用数据库来执行转换，可以避免并发进程之间的冲突。