会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Convergence analysis in multithreaded programs
    • 多线程程序中的收敛分析
    • US09134979B2
    • 2015-09-15
    • US13760946
    • 2013-02-06
    • NVIDIA CORPORATION
    • Manjunath Kudlur
    • G06F9/45
    • G06F8/45G06F8/4451G06F8/456
    • A basic block within a thread program is characterized for convergence based on mapping the basic block to an indicator subnet within a corresponding Petri net generated to model the thread program. Each block within the thread program may be similarly characterized. Each corresponding Petri net is enumerated to generate a corresponding state space graph. If the state space graph includes an exit node with an odd execution count attribute, such as by Petri net coloring, then the corresponding basic block is divergent. The corresponding basic block is convergent otherwise. Using this characterization technique, a thread program compiler may advantageously identify all convergent blocks within a thread program and apply appropriate optimizations to the convergent blocks.
    • 线程程序中的基本块的特征在于基于将基本块映射到生成以对线程程序建模的相应Petri网内的指示符子网进行收敛。 线程序中的每个块可以类似地表征。 枚举每个相应的Petri网以产生相应的状态空间图。 如果状态空间图包括具有奇数执行计数属性的退出节点,例如通过Petri网着色,则对应的基本块是不同的。 否则相应的基本块是收敛的。 使用该表征技术,线程程序编译器可以有利地识别线程程序内的所有收敛块,并对收敛块应用适当的优化。
    • 5. 发明申请
    • METHOD AND SYSTEM FOR HETEROGENEOUS FILTERING FRAMEWORK FOR SHARED MEMORY DATA ACCESS HAZARD REPORTS
    • 用于共享存储器数据访问危害报告的异构过滤框架的方法和系统
    • US20130305252A1
    • 2013-11-14
    • US13728968
    • 2012-12-27
    • NVIDIA CORPORATION
    • Vyas VenkataramanManjunath KudlurVinod Grover
    • G06F3/06
    • G06F3/0653G06F9/4881G06F9/4887G06F11/0715G06F11/0751
    • A system and method for detecting, filtering, prioritizing and reporting shared memory hazards are disclosed. The method includes, for a unit of hardware operating on a block of threads, mapping a plurality of shared memory locations assigned to the unit to a tracking table. The tracking table comprises initialization information for each shared memory location. The method also includes, for an instruction of a program within a barrier region, identifying a potential conflict by identifying a second access to a location in shared memory within a block of threads executed by the hardware unit. First information associated with a first access and second information associated with the second access to the location is determined. Filter criteria is applied to the first and second information to determine whether the instruction causes a reportable hazard. The instruction is reported when it causes the reportable hazard.
    • 公开了一种用于检测,过滤,优先排序和报告共享内存危害的系统和方法。 该方法包括对于在线程块上操作的硬件单元,将分配给该单元的多个共享存储器位置映射到跟踪表。 跟踪表包括每个共享存储器位置的初始化信息。 该方法还包括对于屏障区域内的程序的指令,通过识别由硬件单元执行的线程块内的共享存储器中的位置的第二访问来识别潜在的冲突。 确定与第一访问相关联的第一信息和与对该位置的第二访问相关联的第二信息。 过滤标准被应用于第一和第二信息以确定该指令是否导致可报告的危险。 当导致可报告的危险时,报告该指令。
    • 7. 发明授权
    • Method and system for heterogeneous filtering framework for shared memory data access hazard reports
    • 用于共享内存数据访问危害报告的异构过滤框架的方法和系统
    • US09038080B2
    • 2015-05-19
    • US13728968
    • 2012-12-27
    • NVIDIA Corporation
    • Vyas VenkataramanManjunath KudlurVinod Grover
    • G06F9/46G06F3/06G06F9/48G06F11/07
    • G06F3/0653G06F9/4881G06F9/4887G06F11/0715G06F11/0751
    • A system and method for detecting, filtering, prioritizing and reporting shared memory hazards are disclosed. The method includes, for a unit of hardware operating on a block of threads, mapping a plurality of shared memory locations assigned to the unit to a tracking table. The tracking table comprises initialization information for each shared memory location. The method also includes, for an instruction of a program within a barrier region, identifying a potential conflict by identifying a second access to a location in shared memory within a block of threads executed by the hardware unit. First information associated with a first access and second information associated with the second access to the location is determined. Filter criteria is applied to the first and second information to determine whether the instruction causes a reportable hazard. The instruction is reported when it causes the reportable hazard.
    • 公开了一种用于检测,过滤,优先排序和报告共享内存危害的系统和方法。 该方法包括对于在线程块上操作的硬件单元,将分配给该单元的多个共享存储器位置映射到跟踪表。 跟踪表包括每个共享存储器位置的初始化信息。 该方法还包括对于屏障区域内的程序的指令,通过识别由硬件单元执行的线程块内的共享存储器中的位置的第二访问来识别潜在的冲突。 确定与第一访问相关联的第一信息和与对该位置的第二访问相关联的第二信息。 过滤标准被应用于第一和第二信息以确定该指令是否导致可报告的危险。 当导致可报告的危险时,报告该指令。
    • 8. 发明申请
    • CONVERGENCE ANALYSIS IN MULTITHREADED PROGRAMS
    • 多元化程序的综合分析
    • US20140223420A1
    • 2014-08-07
    • US13760946
    • 2013-02-06
    • NVIDIA CORPORATION
    • Manjunath Kudlur
    • G06F9/45
    • G06F8/45G06F8/4451G06F8/456
    • A basic block within a thread program is characterized for convergence based on mapping the basic block to an indicator subnet within a corresponding Petri net generated to model the thread program. Each block within the thread program may be similarly characterized. Each corresponding Petri net is enumerated to generate a corresponding state space graph. If the state space graph includes an exit node with an odd execution count attribute, such as by Petri net coloring, then the corresponding basic block is divergent. The corresponding basic block is convergent otherwise. Using this characterization technique, a thread program compiler may advantageously identify all convergent blocks within a thread program and apply appropriate optimizations to the convergent blocks.
    • 线程程序内的一个基本块的特征在于基于将基本块映射到生成以对线程程序建模的相应Petri网内的指示符子网进行收敛。 线程序中的每个块可以类似地表征。 枚举每个相应的Petri网以产生相应的状态空间图。 如果状态空间图包括具有奇数执行计数属性的退出节点,例如通过Petri网着色,则对应的基本块是不同的。 否则相应的基本块是收敛的。 使用该表征技术,线程程序编译器可以有利地识别线程程序内的所有收敛块,并对收敛块应用适当的优化。
    • 9. 发明申请
    • METHOD AND SYSTEM FOR RUN TIME DETECTION OF SHARED MEMORY DATA ACCESS HAZARDS
    • 用于运行时间检测共享存储器数据访问危险的方法和系统
    • US20130304996A1
    • 2013-11-14
    • US13728990
    • 2012-12-27
    • NVIDIA CORPORATION
    • Vyas VenkataramanJaydeep MaratheManjunath KudlurVinod GroverGeoffrey GerfinAlban DouilletMayank Kaushik
    • G06F3/06
    • G06F3/067G06F11/0715G06F11/073G06F11/0751
    • A system and method for detecting shared memory hazards are disclosed. The method includes, for a unit of hardware operating on a block of threads, mapping a plurality of shared memory locations assigned to the unit to a tracking table. The tracking table comprises an initialization bit as well as access type information, collectively called the state tracking bits for each shared memory location. The method also includes, for an instruction of a program within a barrier region, identifying a second access to a location in shared memory within a block of threads executed by the hardware unit. The second access is identified based on a status of the state tracking bits. The method also includes determining a hazard based on a first type of access and a second type of access to the shared memory location. Information related to the first access is provided in the table.
    • 公开了一种用于检测共享内存危害的系统和方法。 该方法包括对于在线程块上操作的硬件单元,将分配给该单元的多个共享存储器位置映射到跟踪表。 跟踪表包括初始化位以及访问类型信息,统称为用于每个共享存储器位置的状态跟踪位。 该方法还包括对于屏障区域内的程序的指令,识别由硬件单元执行的线程块内的共享存储器中的位置的第二访问。 基于状态跟踪位的状态来识别第二访问。 该方法还包括基于第一类型的访问确定危险,以及对共享存储器位置进行第二类型的访问。 与第一次访问相关的信息在表中提供。