发明公开
摘要:
本发明提出基于意图的运行时P4程序自动更新方法,包括获取用户更新意图和初始交换机程序,对用户更新意图进行解析,得到用户意图语义分析结果;根据用户意图语义分析结果,修改初始交换机程序的转发逻辑,得到更新交换机程序以及注释代码;获取用户的安全规范;引入保护变量,根据保护变量将注释代码编译为控制草图,将安全规范与控制草图融合为安全控制草图,将安全控制草图转换为控制流图,根据控制流图迭代得到求解器验证条件;根据求解器验证条件,综合求解得到运行时交换机配置更新的目标交换机程序和转换序列计划,根据目标交换机程序和转换序列计划进行运行时P4程序的自动更新。本发明能根据用户输入意图进行P4程序自动更新且减少错误。