一种时序验证方法、验证装置、电子设备及存储介质-k66凯时

申请/专利权人：北京金山云网络技术有限公司;北京金山云科技有限公司

申请日：2019-11-22

公开（公告）日：2024-03-08

公开（公告）号：cn112835686b

主分类号：g06f9/46

分类号：g06f9/46;g06f9/48;g06f9/50

优先权：

专利状态码：有效-授权

法律状态：2024.03.08#授权;2021.06.11#实质审查的生效;2021.05.25#公开

摘要：本发明实施例提供了一种时序验证方法、验证装置、电子设备及存储介质，其中方法包括：针对并发线程中的各个线程，确定该线程中的各原子操作以及各原子操作的执行顺序；对并发线程的所有原子操作进行排序，得到多个不同的原子操作顺序，其中，任一个所述原子操作顺序是按照所述并发线程中各线程的原子操作的执行顺序确定的；获取并发线程在按照各原子操作顺序执行外部执行参数后得到的执行结果；基于执行结果对并发线程的时序进行验证。本发明实施例相比于现有的tla 验证方法更加简单，有效降低了时序验证的难度。

主权项：1.一种时序验证方法，其特征在于，所述方法包括：针对并发线程中的各个线程，确定该线程中的各原子操作以及各原子操作的执行顺序；按照预设的排序规则，对所述并发线程的所有所述原子操作进行排序，得到多个不同原子操作顺序，其中，任一个所述原子操作顺序是按照所述并发线程中各线程的原子操作的执行顺序确定的，所述排序规则为：属于同一个线程的各原子操作间的排列顺序与该线程中各原子操作的执行顺序一致，属于不同线程的原子操作间的排列顺序随机排列；获取所述并发线程在按照各原子操作顺序执行外部执行参数后得到的执行结果；基于所述执行结果对所述并发线程的时序进行验证。

全文数据：

权利要求：

百度查询：

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。