用于检测多线程程序中潜在竞争的方法和系统

发明专利无效专利

申请号：
CN200510063733.0
IPC分类号：G06F9/46
申请日期：
2005-03-24
申请人：
微软公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	用于检测多线程程序中潜在竞争的方法和系统
申请号	CN200510063733.0	申请日期	2005-03-24
法律状态	权利终止	申报国家	中国
公开/公告日	2005-10-05	公开/公告号	CN1677353
优先权	暂无	优先权号	暂无
主分类号	G06F9/46 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F9/00 程序控制设计，例如，控制单元（用于外部设备的程序控制入G06F13/10）〔1，4，2006.01，2018.01〕 G06F9/06 使用存储的程序，即使用处理设备的内部存储来接收程序或者保留程序〔1，2006.01〕 G06F9/46 多道程序装置〔3〕	IPC分类号	G;0;6;F;9;/;4;6查看分类表>
申请人	微软公司	申请人地址	美国华盛顿州变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	微软技术许可有限责任公司	当前权利人	微软技术许可有限责任公司
发明人	Y·于
代理机构	上海专利商标事务所有限公司	代理人	顾嘉运

摘要

提供了克服先前锁集方法缺点的动态竞争检测系统和方法，所述先前锁集方法会产生许多假阳性，尤其是在线程衍生/连接和异步调用环境中。对于每个共享存储单元，维持有保护该单元的锁集和访问该单元的并行线程分段集。为了维持这些集合，每个线程维持当前持有的锁集和排列在其当前线程分段之前的线程分段集。每个线程也维持有在该线程衍生第二线程时递增的虚拟时钟。线程分段是包含线程标识符和虚拟时钟值的对。当特定共享存储单元的锁集为空且该存储单元的并行线程集的基数大于1时报告数据竞争。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供