[发明专利]一种检测软件定义网络中数据竞争的预测性方法有效
| 申请号： | 202010135830.0 | 申请日： | 2020-03-02 |
| 公开（公告）号： | CN111431737B | 公开（公告）日： | 2022-07-12 |
| 发明（设计）人： | 陆公正 | 申请（专利权）人： | 苏州市职业大学 |
| 主分类号： | H04L41/147 | 分类号： | H04L41/147;H04L41/40;G06F11/36 |
| 代理公司： | 南京众联专利代理有限公司 32206 | 代理人： | 叶涓涓 |
| 地址： | 215000 江苏省*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出了一种检测软件定义网络中数据竞争的预测性方法，首先记录事件迹；其次针对每个事件迹文件，根据各约束的编码规则，构建RC约束、MHB约束、AN约束以及CP约束；随后调用约束求解器SMT检查约束文件的可满足性，针对约束公式求解其是否满足，如果约束文件可满足，则表示迹中的事件存在数据竞争；如果约束文件不满足则采用约束求解器SMT检测分析的事件迹是否存在合理性迹，如果存在，则在满足RC约束、MHB约束和AN约束的前提下重排序分析的事件迹，针对每个合理性迹重复编码和求解是否满足约束公式。本发明方法具有更高的数据竞争检测能力，能够检测到更多的竞争，且具有较好的可扩展性。 | ||
| 搜索关键词： | 一种 检测 软件 定义 网络 数据 竞争 预测 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于苏州市职业大学，未经苏州市职业大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010135830.0/，转载请声明来源钻瓜专利网。
