DBOS Cloud 发布：为 TypeScript 开发者打造的服务器事务平台

DBOS 的开发者最近推出了 DBOS Cloud，这是一个专为 TypeScript 开发者设计的事务性无服务器应用平台。该平台将所有状态信息存储在高可用的数据库管理系统（DBMS）中，确保了事务性无服务器计算的可靠性，并提供了所谓的“时间旅行”功能。

DBOS：数据库驱动的操作系统

DBOS（DataBase oriented Operating System）被称为“全球首个云原生操作系统”和“Kubernetes 的数据库替代方案”。它通过 SQL 实现操作系统服务，并运行在一个高性能、分布式、事务性、分区容错的数据库上。Michael Stonebraker，计算机科学家和图灵奖得主，提出了 DBOS 的核心理念：

DBOS 的想法源于三年前，当时我意识到操作系统需要维护的状态（文件、进程、线程、消息等）自 1973 年在 PDP-11/40 上使用 Unix 以来，增加了大约 6 个数量级。因此，存储操作系统状态是一个数据库问题。此外，Linux 目前是遗留代码，难以向前推进。例如，Linux 没有多节点版本，需要人们运行像 Kubernetes 这样的编排器。

DBOS Cloud 的核心功能

DBOS Cloud 自动记录应用程序的每一步操作以及其在数据库中的每次更改。其两大核心功能是可靠执行和时间旅行：

1. 可靠执行：如果 DBOS 程序运行的代码被中断，它会从中断点自动恢复，而无需重新执行任何已完成的工作。
2. 时间旅行：开发者可以逐步查看过去的执行过程，重现罕见的错误，甚至可以在历史状态下运行新代码。

此外，DBOS Cloud 提供了一个“时间旅行调试器”，开发者可以在本地笔记本电脑上重放任何 DBOS Cloud 的跟踪记录，观察过去的应用程序状态，并测试代码更改。未来，团队计划发布用于灾难恢复的时间旅行功能，使开发者能够将应用程序及其数据回滚到任何先前状态。

行业专家的看法

Jeremy Daly，Ampt 的 CEO 和创始人，认为 DBOS 的创始人背景使其项目更具吸引力：

这个项目之所以非常有趣，是因为它是由 Michael Stonebraker 博士（他创建了 Ingress、PostgreSQL 和 VoltDB）和 Apache Spark 的创建者 Matei Zaharia 共同创立的。

Peter Zaitsev，Percona 的创始人和开源倡导者，对此表示赞同，但也指出：

Michael Stonebraker 近年来似乎并不热衷于为他所创立的公司开源。

DBOS 的开源策略

虽然团队发布了开源的 DBOS TypeScript SDK，但与 Ingress、PostgreSQL、VoltDB 或 Apache Spark 不同，DBOS 本身并不是开源的。Peter Kraft，DBOS 的联合创始人，在 Hacker News 的讨论中解释了这一点：

在我们的云平台（主要是 Go + SQL）的背后，我们基于学术项目的理念构建了新功能，如可靠执行/时间旅行，但就像一个好的操作系统一样，我们希望向用户隐藏这些复杂性。

免费层和编程指南

DBOS Cloud 提供了一个免费层，涵盖了在无服务器计算平台上实现幂等性和工作流执行的编程指南。免费层为每个应用程序提供固定资源（一个 Firecracker 微虚拟机，512 MB 内存和 1 个 vCPU），并在不使用时缩放到零。

总结

DBOS Cloud 是一个创新的无服务器平台，特别适合 TypeScript 开发者，提供了事务性计算和时间旅行等独特功能。尽管 DBOS 本身未开源，但其开源 SDK 和免费层为开发者提供了探索该平台的机会。