会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Method and system for detecting program deadlock
    • 检测程序死锁的方法和系统
    • US08490095B2
    • 2013-07-16
    • US13082618
    • 2011-04-08
    • Wei LiZhi Da LuoYao Qi
    • Wei LiZhi Da LuoYao Qi
    • G06F9/46
    • G06F9/524
    • A method and/or system for detecting deadlock, comprising: obtaining lock information related to locking operation in a program; generating a first lock graph based on the obtained lock information, wherein each node in the first lock graph comprises a set of locks comprising at least one lock and a set of program locations comprising at least one lock location; extracting a strongly connected sub graph in the first lock graph; unfolding the strongly connected sub graph in the first lock graph to generate a second lock graph, wherein each node in the second lock graph comprises a single lock; and extracting a strongly connected sub graph in the second lock graph, the strongly connected sub graph in the second lock graph indicating a deadlock in the program.
    • 一种用于检测死锁的方法和/或系统,包括:获得与程序中的锁定操作有关的锁定信息; 基于获得的锁定信息生成第一锁定图,其中第一锁定图中的每个节点包括一组锁,其包括至少一个锁和包括至少一个锁定位置的一组程序位置; 在第一个锁图中提取强连接的子图; 在第一锁图中展开强连接子图以产生第二锁图,其中第二锁图中的每个节点包括单个锁; 并且在第二锁图中提取强连接子图,第二锁图中的强连接子图表示程序中的死锁。
    • 2. 发明申请
    • METHOD AND SYSTEM FOR DETECTING PROGRAM DEADLOCK
    • 检测程序死锁的方法和系统
    • US20120096317A1
    • 2012-04-19
    • US13082618
    • 2011-04-08
    • Wei LiZhi Da LuoYao Qi
    • Wei LiZhi Da LuoYao Qi
    • G06F11/00
    • G06F9/524
    • A method and/or system for detecting deadlock, comprising: obtaining lock information related to locking operation in a program; generating a first lock graph based on the obtained lock information, wherein each node in the first lock graph comprises a set of locks comprising at least one lock and a set of program locations comprising at least one lock location; extracting a strongly connected sub graph in the first lock graph; unfolding the strongly connected sub graph in the first lock graph to generate a second lock graph, wherein each node in the second lock graph comprises a single lock; and extracting a strongly connected sub graph in the second lock graph, the strongly connected sub graph in the second lock graph indicating a deadlock in the program.
    • 一种用于检测死锁的方法和/或系统,包括:获得与程序中的锁定操作有关的锁定信息; 基于获得的锁定信息生成第一锁定图,其中第一锁定图中的每个节点包括一组锁,其包括至少一个锁和包括至少一个锁定位置的一组程序位置; 在第一个锁图中提取强连接的子图; 在第一锁图中展开强连接子图以产生第二锁图,其中第二锁图中的每个节点包括单个锁; 并且在第二锁图中提取强连接子图,第二锁图中的强连接子图表示程序中的死锁。