龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：北京邮电大学
摘要：本发明提供一种用于验证并发程序原子性违反的方法、装置及电子设备，其中，该方法包括：探索当前路径，生成所述当前路径对应的当前轨迹；根据所述当前轨迹，编码所述当前轨迹的等价约束，以及编码并发程序的原子性违反约束；根据所述原子性违反约束和所述当前轨迹的等价约束，使用约束求解器进行推理，验证所述当前路径是否违反原子性；其中，所述当前轨迹的等价约束包括以下一种或多种：所述当前轨迹的读写事件的数据有效性约束；所述当前轨迹的路径条件约束；所述当前轨迹的同步约束。从而可以对并发程序中各个路径的原子性是否违反都进行验证，更全面地验证并发程序中的原子性违反。
主权项：1.一种用于验证并发程序原子性违反的方法，其特征在于，包括：探索当前路径，生成所述当前路径对应的当前轨迹；根据所述当前轨迹，编码所述当前轨迹的等价约束，以及编码并发程序的原子性违反约束；根据所述原子性违反约束和所述当前轨迹的等价约束，使用约束求解器进行推理，验证所述当前路径是否违反原子性；其中，所述当前轨迹的等价约束包括以下一种或多种：所述当前轨迹的读写事件的数据有效性约束；所述当前轨迹的路径条件约束；所述当前轨迹的同步约束。
全文数据：
权利要求：
百度查询： 北京邮电大学 用于验证并发程序原子性违反的方法、装置及电子设备
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号