近日，中国电信—上海交通大学云计算联合实验室合作完成的论文《Efficient Strict Serializability for Stateful Serverless Workflows via Workflow Reconciliation》被计算机系统领域国际顶级会议ACM SIGOPS Annual Technical Conference（ATC 2026）接收。该研究针对有状态Serverless工作流中强一致性保障开销大、并发冲突导致重复执行等关键问题，提出基于工作流协调的事务执行框架FaaSRep，在保障严格可串行化的同时，显著提升系统吞吐量与请求处理效率。

本研究工作由上海交通大学云计算联合实验室与中国电信云计算研究院等单位共同完成。研究团队由上海交通大学计算机学院陈全教授、李子俊博后及敖晟昊博士等，与中国电信首席科学家、云计算研究院院长吴杰教授，云计算研究院全硕、杨亚南研究员，以及天翼云科技有限公司祝美祺、王玉君共同组建，各方发挥各自在无服务器计算、分布式系统和云计算平台方面的优势，合作完成了本项研究。

随着Serverless计算向复杂业务工作流拓展，订单处理、账户转账、资源预订等应用需要多个函数协同访问共享数据，既要保证操作整体成功或撤销，也要确保并发执行符合业务逻辑与实际时间顺序。然而，现有方案通常依赖加锁或执行后校验保障严格可串行化，并在发生冲突后重新执行整个工作流。高并发下，重试请求仍会争用相同数据，容易陷入“冲突—中止—重试”循环，产生大量重复计算与调度开销，制约有状态Serverless应用性能。

FaaSRep架构

针对上述问题，研究团队提出工作流协调机制，利用首次执行发现的冲突构建函数级依赖关系，使冲突函数有序重试、无冲突函数保持并行。FaaSRep在校验阶段构建依赖关系，避免执行路径上的额外协调通信；结合乐观与悲观执行保障业务中止时的事务正确性，并通过函数级细粒度重执行复用有效结果、容器间直接通信降低重试开销。在8节点集群的账户转账、社交媒体和旅行预订应用测试中，FaaSRep在保障严格可串行化的前提下，平均吞吐量达到Concord的1.44—2.73倍、Beldi的3.81—9.01倍，并有效缓解高负载下的尾延迟增长。

ATC是中国计算机学会（CCF）推荐的A类国际顶级学术会议，长期汇聚操作系统、分布式系统、云计算等方向的前沿研究成果，是计算机系统领域最具国际影响力的重要学术会议之一。本届会议共收到973篇投稿，最终接收135篇，录用率仅约13.9%，竞争十分激烈。本次论文入选，体现了研究团队在无服务器计算与事务处理领域的研究成果获得国际学术界认可，也是中国电信与上海交通大学云计算联合实验室深化产学研合作的一项重要进展。未来，团队将持续围绕新一代云计算系统的运行效率开展研究，推动前沿技术探索与产业应用需求相结合。