Serverless 架构中的无状态性指的是什么?

发表于 3年以前 | 总阅读数：443 次

每个接触过 Serverless 的人应该都听过这样一句话：“Serverless 是无状态的。”顾名思义，无状态就是没有状态，我们无法使用它来保存状态，用完即销毁。那么，在 Serverless 架构下（这里特指 FaaS 平台），函数的前一次运行和这一次运行，是不是有联系呢？前一次运行的结果会不会影响这一次呢？

1 函数的无状态探索

首先，需要明确的是 Serverless 的关键特征：运行成本更低、自动扩缩容、事件驱动、无状态性。其中，无状态性是说开发者可以直接将服务业务逻辑代码部署，运行在第三方提供的无状态计算容器中。

那么，前一次运行情况是否会影响这一次呢？准确来说，只有在容器没有被复用的情况下是这样的。但是在实际的项目中，为了降低冷启动率，提高瞬时产生的高并发应对能力，往往会采用容器复用，而这可能会让“无状态性“变得比较复杂。

我们以腾讯云的 SCF 为例，在控制台创建一个函数，使用以下的代码测试一下具体情况：

# -*- coding: utf8 -*-
import json
def main_handler(event, context):
    print("Test")
    return("Hello World")

我们可以看到，通过点击测试按钮，输出了日志：Test，接下来，多次点击：

可以看到，随着我们点击测试按钮，每次都在日志准确输出了Test。接下来，我们变换一下代码：

# -*- coding: utf8 -*-
import json
print("Not in main_handler")
def main_handler(event, context):
    print("Test")
    return("Hello World")

同样的方法，连续点击三次测试，并且记录结果：

通过这一组测试，我们发现，这三个结果有点不太一样：只有第一次请求的时候，执行了这条语句：

print("Not in main_handler")

为什么后几次都没有执行这条语句呢？是没执行到这里？还是因为容器复用的原因，在接下来的几次跳过了这个步骤？为什么会跳过这个步骤？为了搞清楚具体情况，我们再来做个测试：

# -*- coding: utf8 -*-
import json
print("此处给 tempNumber 赋值")
tempNumber = 100
def main_handler(event, context):
    print("temp number: ", tempNumber)
    return("Hello World")

可以看到，在第一次测试的时候，这个程序先执行了：

print("此处给 tempNumber 赋值")
tempNumber = 100

执行完成之后，tempNumber这个变量就会存在，在接下来的几次调用中，都直接取了这个值。

也就是说，函数在复用容器的情况下被执行（或者说是被触发），实际上可以认为是已经有一个进程被启动，每次触发是通过这个进程来调用入口方法，所以在方法之外的各种操作，实际上是冷启动的时候，在启动进程时会被执行。

因此，函数的无状态性并不是前一次操作对后一次被触发没有影响。那么，所谓的无状态到底指的是什么呢？

在 CNCF 发布的 Serverlss 白皮书中，是这样描述的：Serverless 架构通常是无状态、不可变和短暂的。每个函数都以指定的角色和明确定义有限的资源访问权限运行。什么样的程序或者服务适合 Serverless 架构？白皮书中是这样表述的：无状态，短暂的，对瞬间冷启动时间没有过多需求的程序适合使用 Serverless 架构。

所以，函数的无状态实际上可以认为是：函数是运行在第三方提供的无状态计算容器中的，并且在容器无复用、存在冷启动的情况下，函数可以认为是无状态；由于各个厂商的容器降低冷启动方案是不同的，容器复用方案也都是未公开的，所以什么时候可能会复用容器，怎么复用也是未知的，这就要求我们函数的功能本身要保证是无状态的。例如，在函数中，保存某些数据到缓存中，下次触发的时候从缓存中获得对应内容就是容易产生异常的操作，因为云厂商无法保证这次请求是否复用了已有容器，以及复用的已有容器是否就是上次进行缓存的容器。