同济大学网络系统团队在ACM SIGCOMM’2022发表研究成果

近日,全球网络通信领域会议ACM SIGCOMM’2022公布了录用论文,同济大学电子与信息工程学院SNLAB实验室撰写的《Flash:针对大规模网络快速、一致的数据平面验证系统》(Flash:Fast,Consistent Data Plane Verification for Large-Scale Network Settings)论文被录用。论文针对大规模网络中可能出现的数据平面更新风暴和长尾更新,引入了一种称为快速逆模型变换(Fast IMT)的新方法,可以将大量数据平面更新快速转换为验证模型。Flash还引入了一致、高效的错误提前检测机制(CE2D),避免了长尾更新导致的错误发现迟滞。实验表明,在美国Facebook公司实际大规模网络下,Flash的验证效率相比现有最新研究提升了近4个数量级。