PERFORMANCE OPTIMIZATION BASED ON DATA ACCESSES DURING CRITICAL SECTIONS
    2.
    发明申请
    PERFORMANCE OPTIMIZATION BASED ON DATA ACCESSES DURING CRITICAL SECTIONS 失效
    基于关键部分数据访问的性能优化

    公开(公告)号:US20110252408A1

    公开(公告)日:2011-10-13

    申请号:US12755440

    申请日:2010-04-07

    CPC classification number: G06F11/3471 G06F11/3409 G06F2201/865

    Abstract: Detecting optimization opportunities is enabled by utilizing a trace of a target concurrent computer program and determining a relation between data objects accessed during the tracked execution. The relation may be stored in a Temporal Relation Graph (TRG), in an extended-TRG or another data structure. The relation may be affected by temporally-adjacent accesses to data objects. The relation may further be affected by accesses to data objects performed during critical sections of the target program.

    Abstract translation: 通过利用目标并发计算机程序的跟踪并确定在跟踪执行期间访问的数据对象之间的关系,可以实现检测优化机会。 关系可以存储在时间关系图(TRG)中,在扩展TRG或其他数据结构中。 关系可能受时间上相邻的数据对象访问的影响。 该关系可能进一步受到对在目标程序的关键部分期间执行的对数据对象的访问的影响。

    METHOD AND APPARATUS FOR PACKING DATA
    3.
    发明申请
    METHOD AND APPARATUS FOR PACKING DATA 失效
    包装数据的方法和装置

    公开(公告)号:US20110093682A1

    公开(公告)日:2011-04-21

    申请号:US12975807

    申请日:2010-12-22

    Abstract: An apparatus includes an instruction decoder, first and second source registers and a circuit coupled to the decoder to receive packed data from the source registers and to pack the packed data responsive to a pack instruction received by the decoder. A first packed data element and a second packed data element are received from the first source register. A third packed data element and a fourth packed data element are received from the second source register. The circuit packs packing a portion of each of the packed data elements into a destination register resulting with the portion from second packed data element adjacent to the portion from the first packed data element, and the portion from the fourth packed data element adjacent to the portion from the third packed data element.

    Abstract translation: 一种装置包括指令解码器,第一和第二源寄存器和耦合到解码器的电路,用于从源寄存器接收压缩数据,并响应于解码器接收到的包指令对压缩数据进行打包。 从第一源寄存器接收第一打包数据元素和第二打包数据元素。 从第二源寄存器接收第三打包数据元素和第四打包数据元素。 所述电路包装将每个打包数据元素的一部分包装到目的地寄存器中,其结果是来自与来自第一打包数据元素的部分相邻的第二打包数据元素的部分,以及来自与该部分相邻的第四打包数据元素的部分 从第三个打包的数据元素。

    Method and system for detecting runtime defects in a program by comparing correct and incorrect runs
    4.
    发明授权
    Method and system for detecting runtime defects in a program by comparing correct and incorrect runs 失效
    通过比较正确和不正确的运行来检测程序中的运行时缺陷的方法和系统

    公开(公告)号:US07530056B1

    公开(公告)日:2009-05-05

    申请号:US12060238

    申请日:2008-03-31

    CPC classification number: G06F11/3604 G06F11/3644 G06F11/366

    Abstract: The invention provides an improved method and method for locating the origin of runtime defect in software programs. A differential debugging technique may be implemented to locate the diversion point where two programs start to behave differently. In one approach, the method generally involves running the two programs and generating respective control flow diagrams via a static code analyzer or the like. Tracer and supervisor modules may be used to replace addresses in registers with symbols and/or position-independent offsets, and to locate where differences in the register states occur.

    Abstract translation: 本发明提供了一种用于在软件程序中定位运行时缺陷的来源的改进方法和方法。 可以实现差分调试技术来定位两个程序开始行为不同的转移点。 在一种方法中,该方法通常涉及运行两个程序并通过静态代码分析器等产生相应的控制流程图。 跟踪器和管理器模块可以用于用符号和/或与位置无关的偏移来替换寄存器中的地址,并且定位发生寄存器状态的差异。

    Method for validation of binary code transformations
    6.
    发明授权
    Method for validation of binary code transformations 失效
    二进制代码转换验证方法

    公开(公告)号:US07430733B1

    公开(公告)日:2008-09-30

    申请号:US11940750

    申请日:2007-11-15

    Applicant: Yaakov Yaari

    Inventor: Yaakov Yaari

    CPC classification number: G06F8/443 G06F8/75

    Abstract: A method of validating binary code transformation in one aspect includes analyzing original program and transform program. Control flow graphs are generated for both programs. The two graphs are traversed to create respective linear invariant representations. The linear representations are compared to identify incorrect transformations.

    Abstract translation: 一方面验证二进制码变换的方法包括分析原始程序和变换程序。 生成两个程序的控制流程图。 遍历两个图形以创建相应的线性不变量表示。 比较线性表示以识别不正确的变换。

    Processor performing packed data multiplication
    9.
    发明授权
    Processor performing packed data multiplication 失效
    处理器执行打包数据乘法

    公开(公告)号:US5675526A

    公开(公告)日:1997-10-07

    申请号:US756708

    申请日:1996-11-26

    Abstract: A processor. The processor includes a decoder being coupled to receive a control signal. The control signal has a first source address, a second source address, a destination address, and an operation field. The first source address corresponds to a first location. The second source address corresponds to a second location. The destination address corresponds to a third location. The operation field indicates that a type of packed data multiply operation is to be performed. The processor further includes a circuit being coupled to the decoder. The circuit is for multiplying a first packed data being stored at the first location with a second packed data being stored at the second location. The circuit is further for communicating a corresponding result packed data to the third location.

    Abstract translation: 处理器 处理器包括被耦合以接收控制信号的解码器。 控制信号具有第一源地址,第二源地址,目的地地址和操作字段。 第一个源地址对应于第一个位置。 第二源地址对应于第二位置。 目的地址对应于第三个位置。 操作字段指示要执行一种打包数据乘法运算。 处理器还包括耦合到解码器的电路。 该电路用于将在第一位置处存储的第一打包数据与存储在第二位置处的第二打包数据相乘。 电路还用于将相应的结果打包数据传送到第三位置。

    Test selection
    10.
    发明授权
    Test selection 有权
    测试选择

    公开(公告)号:US08850270B2

    公开(公告)日:2014-09-30

    申请号:US13552665

    申请日:2012-07-19

    CPC classification number: G06F11/3676

    Abstract: Computer-implemented method, computerized apparatus and a computer program product for test selection. The computer-implemented method comprising: obtaining a test suite comprising a plurality of tests for a Software Under Test (SUT); and selecting a subset of the test suite, wherein the subset provides coverage of the SUT that correlates to a coverage by a workload of the SUT, wherein the workload defines a set of input events to the SUT thereby defining portions of the SUT that are to be invoked during execution.

    Abstract translation: 计算机实现的方法,计算机化设备和用于测试选择的计算机程序产品。 该计算机实现的方法包括:获得包括用于被测软件(SUT)的多个测试的测试套件; 以及选择所述测试套件的子集,其中所述子集提供与所述SUT的工作负载相关联的所述SUT的覆盖,其中所述工作负载定义到所述SUT的一组输入事件,从而定义所述SUT的部分, 在执行期间被调用。

Patent Agency Ranking