[发明专利]用于共享存储多核多线程处理器硬件锁的验证方法有效
| 申请号： | 201210151448.4 | 申请日： | 2012-05-16 |
| 公开（公告）号： | CN102708090A | 公开（公告）日： | 2012-10-03 |
| 发明（设计）人： | 廖湘科;李春江;杜云飞;晏小波;隋兵才;邓让钰;王永文;杨灿群;窦强;徐炜遐;卢凯 | 申请（专利权）人： | 中国人民解放军国防科学技术大学 |
| 主分类号： | G06F15/167 | 分类号： | G06F15/167 |
| 代理公司： | 湖南兆弘专利事务所 43008 | 代理人： | 赵洪;谭武艺 |
| 地址： | 410073 湖南省长沙市砚瓦池正*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种用于共享存储多核多线程处理器硬件锁的验证方法，实施步骤如下：1）初始化设置同步线程数目、线程访问存储器的最大访问次数；2）构造用于操作共享存储多核多线程处理器硬件锁的同步操作模块；3）根据所述同步线程数目执行多线程初始化；根据所述最大访问次数为每一个线程随机生成小于所述最大访问次数的线程访存操作序列，每一个线程根据所述线程访存次数进行访存操作；4）根据处理器硬件锁的地址范围随机指定一个用于验证激励的硬件锁地址；通过所述同步操作模块控制各个线程针对所述硬件锁地址的同步操作，并在所有线程完成后向验证环境输出激励执行结果。本发明具有验证效率高、验证速度快、使用方便快捷的优点。 | ||
| 搜索关键词： | 用于 共享 存储 多核 多线程 处理器 硬件 验证 方法 | ||
【主权项】：
一种用于共享存储多核多线程处理器硬件锁的验证方法，其特征在于其实施步骤如下：1）初始化设置同步线程数目、线程访问存储器的最大访问次数；2）构造用于操作共享存储多核多线程处理器硬件锁的同步操作模块；3）根据所述同步线程数目执行多线程初始化；根据所述最大访问次数为每一个线程随机生成小于所述最大访问次数的线程访存操作序列，每一个线程根据所述线程访存次数进行访存操作；4）根据处理器的锁地址范围随机指定一个用于验证激励的硬件锁地址；通过所述同步操作模块控制各个线程针对所述硬件锁地址的操作，并在所有线程完成后向验证环境输出激励执行结果。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科学技术大学，未经中国人民解放军国防科学技术大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210151448.4/，转载请声明来源钻瓜专利网。
