无服务器函数调度中可达性属性的复杂性

函数即服务（FaaS）是一种无服务器云范式，其中平台管理函数的执行调度（例如，资源分配、运行时环境）。最近的发展表明，使用基于域的特定语言来表达每个函数的调度策略（例如，通过近 proximity 和 connection pooling 来强制函数在具有低数据访问延迟的节点上分配）具有优势。我们提出了 aAPP，这是一种针对亲和性感知的平台无关函数调度语言的扩展。我们形式化了其调度语义，然后研究了静态检查可达性属性的复杂性（例如，对于验证受信任函数和不可信函数是否不能共同位置非常有用）。通过分析 aAPP 的不同片段，我们显示，检查无亲和性策略的可达性具有线性复杂性，而亲和性会导致问题变为 PSpace。