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

热门行业
装修建材
家居生活
餐饮食品
母婴教育
电脑办公
服装首饰
汽车工具
家电数码
机械化工
休闲美容

热门行业

教育培训
板材
地板
涂料
家纺
集成吊顶
美缝剂
木门
硅藻泥
管材
指纹锁
橱柜
衣柜
床垫
电热水器
集成灶
暖气片
净水器
酒店
卫浴

返回上一页

专利状态

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

有效

专利申请进度

申请

2019-11-22

申请公布

2021-05-25

授权

2024-03-08

预估到期

2039-11-22

专利基础信息

申请号	CN201911158307.3	申请日	2019-11-22
申请公布号	CN112835686A	申请公布日	2021-05-25
授权公布号	CN112835686B	授权公告日	2024-03-08
分类号	G06F9/46;G06F9/48;G06F9/50
分类	计算；推算；计数;
申请人名称	北京金山云网络技术有限公司
申请人地址	北京市海淀区小营西路33号3F02室

专利法律状态

2024-03-08

授权

状态信息

授权
2021-06-11

实质审查的生效

状态信息

实质审查的生效；IPC(主分类):G06F9/46；申请日:20191122
2021-05-25

公布

状态信息

公布

摘要

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

更多专利

全国服务热线：

在线客服

1211389656 咨询

商务合作

85926368 咨询

媒体合作

921888730 咨询

在线客服
客服微信号

品牌网官方客服微信

打开微信扫一扫

客服微信
商务合作微信

商务合作详谈

打开微信扫一扫

商务合作
回到顶部

在线客服

商务合作

媒体合作

客服微信号

商务合作微信