【伯克利博士论文】理解和探索无服务器云计算，233页pdf

在过去的几年里，人们对无服务器计算的热情高涨，我们通过分析市场趋势和影响这一运动的潜在技术因素来开始这项工作。我们发现，无服务器计算解决的编程挑战与高级编程语言解决的编程挑战属于同一类，这表明无服务器计算可以被视为分布式系统的高级编程。

接下来，我们将注意力转向无服务器的一个主要缺点:缺乏计算和状态之间的集成。我们开发了FaaSFS，这是一个与POSIX应用程序兼容的分布式文件系统，但使用了一种新颖的一致性模型，具有放松的实时排序约束。我们将此模型称为外部一致顺序一致性(ECSC)，并使用它将现有的单服务器应用程序扩展到10,000个无服务器进程。我们还表明，在合理的假设下，ECSC与线性化是不可区分的，线性化是一种被广泛接受的强一致性形式。

最后，我们将探讨无服务器计算是否会导致服务器硬件的消亡。通过应用阿姆达尔定律和互连成本的缩放规则，我们表明依赖于协调协议的应用程序特别依赖于大型服务器的可扩展性。相比之下，那些使用无协调协议实现的协议可以在小型低成本服务器集合或分解的硬件上很好地运行。这些方法可能会继续共存，这表明即使无服务器抽象蓬勃发展，对底层服务器硬件的需求也将继续存在。

https://www2.eecs.berkeley.edu/Pubs/TechRpts/2022/EECS-2022-273.html