Boki：具有共享日志的有状态无服务器计算 翻译

Boki：具有共享日志的有状态无服务器计算

Abstract

Boki是一个新的无服务器运行时，它将一个共享的日志API导出到无服务器函数。Boki共享日志使无状态服务器应用程序能够通过持久性、一致性和容错来管理它们的状态。boki共享日志实现高吞吐和低延迟。关键的推动因素是metalog，这是一种允许Boki独立处理排序、一致性和容错的新机制。
以高吞吐量排序共享日志记录，它提供了读一致性，同时允许服务提供商以不同的方式优化共享日志的写和读路径。为了演示共享日志对于无状态服务器应用程序的价值，我们构建了实现容错工作流、持久对象存储和消息队列的Boki支持库。我们的评估表明，共享日志可以使重要的无服务器工作负载速度提高4.7倍。

1 Introduction

无服务器计算在构建可伸缩的云应用程序方面越来越流行。其函数即服务(functional -as-a-service, FaaS)范式支持各种应用，包括视频处理[21,32]、数据分析[39,47]、机器学习[27,51]、分布式编译[31]、事务性工作流[56]和交互式微服务[38]。
当前无服务器范式的一个关键挑战是无服务器函数的无状态特性与用它们构建的有状态应用程序之间的不匹配[36,48,52,59]。无服务器应用程序通常由多个函数组成，其中应用程序状态是共享的。然而，使用当前选项(如云数据库或对象存储)管理共享状态，很难在保持高性能和可伸缩性的同时实现强一致性和容错[50,56]。
我们介绍了Boki(日语的意思是簿记)，它是一个FaaS运行时，它将共享日志API导出到用于存储共享状态的函数中。Boki通过一个LogBook抽象实现了共享日志API，其中每个函数调用都与一个LogBook相关联(§3)。对于Boki应用程序，它的函数共享一个L