[发明专利]用于检测多线程程序中潜在竞争的方法和系统有效
| 申请号: | 200510063733.0 | 申请日: | 2005-03-24 |
| 公开(公告)号: | CN1677353A | 公开(公告)日: | 2005-10-05 |
| 发明(设计)人: | Y·于 | 申请(专利权)人: | 微软公司 |
| 主分类号: | G06F9/46 | 分类号: | G06F9/46 |
| 代理公司: | 上海专利商标事务所有限公司 | 代理人: | 沈昭坤 |
| 地址: | 美国华*** | 国省代码: | 美国;US |
| 权利要求书: | 查看更多 | 说明书: | 查看更多 |
| 摘要: | 提供了克服先前锁集方法缺点的动态竞争检测系统和方法,所述先前锁集方法会产生许多假阳性,尤其是在线程衍生/连接和异步调用环境中。对于每个共享存储单元,维持有保护该单元的锁集和访问该单元的并行线程分段集。为了维持这些集合,每个线程维持当前持有的锁集和排列在其当前线程分段之前的线程分段集。每个线程也维持有在该线程衍生第二线程时递增的虚拟时钟。线程分段是包含线程标识符和虚拟时钟值的对。当特定共享存储单元的锁集为空且该存储单元的并行线程集的基数大于1时报告数据竞争。 | ||
| 搜索关键词: | 用于 检测 多线程 程序 潜在 竞争 方法 系统 | ||
【主权项】:
1.一种在程序中用于动态检测潜在竞争条件的系统,所述程序具有多个线程和一个或多个共享存储单元,其特征在于,所述系统包括:对于每个共享存储单元,(i)用于维持访问所述单元的并行线程分段集的机制,以及(ii)用于维持与所述单元相关联的第一锁集的机制;对于每个线程,(i)用于维持排列在所述线程当前线程分段之前的线程分段集的机制;以及(ii)用于维持由所述线程获取和释放的第二锁集的机制;以及用于在检测到潜在竞争条件时,报告警告的机制。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于微软公司,未经微软公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/200510063733.0/,转载请声明来源钻瓜专利网。
- 上一篇:改良型下水阀及开闭方法
- 下一篇:一种不锈钢粉末复合材料及其温压方法





