Method and System for Intermediate Representation of Source Code
    5.
    发明申请
    Method and System for Intermediate Representation of Source Code 有权
    源代码的中间表示方法和系统

    公开(公告)号:US20100023931A1

    公开(公告)日:2010-01-28

    申请号:US12178842

    申请日:2008-07-24

    CPC classification number: G06F8/433

    Abstract: A method to provide effective control and data flow information in an Intermediate Representation (IR) form. A Path Sensitive single Assignment (PSA) IR form with effective and explicit control and data path information supports control flow sensitive optimizations such as path sensitive symbolic substitution, array privatization and speculative multi threading. In the definition of PSA form, besides defining new versioned variables, the gamma functions keep control path information. The gamma function in PSA form keeps the basic attribute of SSA IR form and only one definition exists for each use. Therefore, all existing Single Static Assignment (SSA) IR form based analysis can be applied in PSA form. The gamma function in PSA form keeps all essential control flow information and eliminates unnecessary predicates at the same time.

    Abstract translation: 一种以中间表示(IR)形式提供有效控制和数据流信息的方法。 路径敏感单分配(PSA)具有有效和显式控制和数据路径信息的IR形式支持控制流敏感优化,如路径敏感符号替换,数组私有化和投机多线程。 在PSA形式的定义中,除了定义新的版本变量之外,伽马函数还保留了控制路径信息。 PSA形式的伽玛函数保持SSA IR形式的基本属性,并且每次使用只存在一个定义。 因此,所有现有的单静态分配(SSA)IR形式分析可以以PSA形式应用。 PSA形式的伽玛功能保留所有必要的控制流信息,同时消除不必要的谓词。

    Monitoring Apparatus, Device, Method, and Computer Program and Corresponding System

    公开(公告)号:US20220391248A1

    公开(公告)日:2022-12-08

    申请号:US17819325

    申请日:2022-08-12

    Abstract: Examples relate to a monitoring apparatus, a monitoring device, a monitoring method, and to a corresponding computer program and system. The monitoring apparatus is configured to obtain a first compute kernel to be monitored and to obtain one or more second compute kernels. The monitoring apparatus is configured to provide instructions, using interface circuitry, to control circuitry of a computing device comprising a plurality of execution units, to instruct the control circuitry to execute the first compute kernel using a first slice of the plurality of execution units and to execute the one or more second compute kernels concurrently with the first compute kernel using one or more second slices of the plurality of execution units, and to instruct the control circuitry to provide information on a change of a status of at least one hardware counter associated with the first slice that is caused by the execution of the first compute kernel. The monitoring apparatus is configured to determine information on the execution of the first compute kernel based on the information on the change of the status of the at least one hardware counter.

    Method and apparatus for modeling topology objects
    9.
    发明授权
    Method and apparatus for modeling topology objects 有权
    拓扑对象建模方法和装置

    公开(公告)号:US07363211B1

    公开(公告)日:2008-04-22

    申请号:US10792668

    申请日:2004-03-03

    CPC classification number: H04L41/12 H04L41/0233 H04L41/08

    Abstract: The invention relates to a method for modeling a device in a topology including defining a managed object corresponding to the device, defining a managed resource using the managed object, and creating a node in the topology, wherein creating the node comprises associating the node with the managed resource.

    Abstract translation: 本发明涉及一种用于对拓扑中的设备进行建模的方法,包括定义与设备相对应的被管理对象,使用被管理对象定义被管理资源,以及在该拓扑中创建节点,其中,创建该节点包括将该节点与 管理资源。

Patent Agency Ranking