公开(公告)号：US20180189086A1

公开(公告)日：2018-07-05

申请号：US15740192

申请日：2016-06-28

申请人： COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES AL TERNATIVES

发明人： Caroline QUEVA ,  Damien COUROUSSE ,  Yves LHUILLIER

IPC分类号： G06F9/455 ,  G06F8/41 ,  G06F9/448

CPC分类号： G06F9/45516 ,  G06F8/4441 ,  G06F8/49 ,  G06F9/449

摘要： A method for executing a program includes: storing, in a table associated with each address of a specialized code of a parameterized function, a value of each of specialized parameters for generating the specialized code, and each time the address of a specialized code must be modified, deleted from, or added to the table, a microprocessor generates and records in a memory a search routine written in machine language of the microprocessor, this search routine containing, coded as constants, each address and each specialized parameter value stored in the table, such that the search routine does not include any reading operation of the value of a specialized parameter or of the address of a specialized code outside the continuous address range in which this search routine is recorded, and the microprocessor runs this recorded search routine directly.

公开(公告)号：US09977786B2

公开(公告)日：2018-05-22

申请号：US14998079

申请日：2015-12-23

申请人： GitHub, Inc.

发明人： Patrick Reynolds ,  Michael R. Haggerty ,  Jeffrey King

IPC分类号： G06F17/30 ,  G06F9/44 ,  G06F9/45 ,  G06F9/445

CPC分类号： G06F17/30171 ,  G06F8/36 ,  G06F8/49 ,  G06F8/65 ,  G06F8/71 ,  G06F17/30174

摘要： A system for a distributed repository includes an input interface and a processor. The input interface is to receive a request to change a portion of code. The processor is to determine a change reference and an existing reference, indicate to lock one or more repositories, determine whether swapping references is approved by a vote, and in the event that swapping references is approved by a vote, swap the references and indicate to unlock the one or more repositories.

公开(公告)号：US20160188305A1

公开(公告)日：2016-06-30

申请号：US14583657

申请日：2014-12-27

申请人： Hongbo Rong ,  Peng Tu ,  Tatiana Shpeisman ,  Hai Liu ,  Todd A. Anderson ,  Youfeng Wu ,  Arthur N. Glew ,  Paul M. PetersEn ,  Victor W. Lee ,  P.G. Lowney ,  Arch D. Robinson ,  Cheng Wang

发明人： Hongbo Rong ,  Peng Tu ,  Tatiana Shpeisman ,  Hai Liu ,  Todd A. Anderson ,  Youfeng Wu ,  Arthur N. Glew ,  Paul M. PetersEn ,  Victor W. Lee ,  P.G. Lowney ,  Arch D. Robinson ,  Cheng Wang

IPC分类号： G06F9/45 ,  G06F9/44

CPC分类号： G06F8/43 ,  G06F8/31 ,  G06F8/443 ,  G06F8/4441 ,  G06F8/453 ,  G06F8/49 ,  G06F8/54

摘要： Technologies for generating composable library functions include a first computing device that includes a library compiler configured to compile a composable library and second computing device that includes an application compiler configured to compose library functions of the composable library based on a plurality of abstractions written at different levels of abstractions. For example, the abstractions may include an algorithm abstraction at a high level, a blocked-algorithm abstraction at medium level, and a region-based code abstraction at a low level. Other embodiments are described and claimed herein.

摘要翻译： 用于生成可组合库函数的技术包括：第一计算设备，其包括被配置为编译可组合库的库编译器和第二计算设备，所述第二计算设备包括应用编译器，所述应用编译器被配置为基于以不同级别写入的多个抽象来组合所述可组合库的库函数 的抽象。 例如，抽象可以包括高级别的算法抽象，中等级别的阻塞算法抽象，以及低级别的基于区域的代码抽象。 在此描述和要求保护的其它实施例。

公开(公告)号：US20160147513A1

公开(公告)日：2016-05-26

申请号：US15010936

申请日：2016-01-29

申请人： Michal Strehovsky ,  David Charles Wrighton ,  Atsushi Kanamori ,  Mircea Trofin ,  Rudi Martin

发明人： Michal Strehovsky ,  David Charles Wrighton ,  Atsushi Kanamori ,  Mircea Trofin ,  Rudi Martin

IPC分类号： G06F9/45

CPC分类号： G06F8/4434 ,  G06F8/4441 ,  G06F8/458 ,  G06F8/49

摘要： Support for dynamic behavior is provided during static compilation while reducing reliance on JIT compilation and large runtimes. A mapping is created between metadata and native code runtime artifacts, such as between type definition metadata and a runtime type description, or between method definition metadata, a runtime type description, and a native code method location, or field definition metadata, a runtime type description, and a field location. A mapping between runtime artifacts may also be created. Some compilation results include trampoline code to support a reflection invocation of an artifact in the reduced runtime support environment, for virtual method calls, call-time bounds checking, calling convention conversion, or compiler-intrinsic methods. Some results support runtime diagnostics by including certain metadata even when full dynamic behavior is not supported.

公开(公告)号：US20150161028A1

公开(公告)日：2015-06-11

申请号：US14100409

申请日：2013-12-09

申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION

发明人： Philip S.P. Chan ,  Laurence A. Hey ,  William J. Izard ,  Matthew J. Ponsford

IPC分类号： G06F11/36 ,  G06F9/44

CPC分类号： G06F11/3676 ,  G06F8/40 ,  G06F8/433 ,  G06F8/49 ,  G06F8/63 ,  G06F8/70 ,  G06F9/44521 ,  G06F11/3688

摘要： A computer-implemented method, computer program product, and system is provided for determining test coverage. In an implementation, a method may include identifying at least one change in source code. The method may also include instrumenting object code of at least one class file associated with a source file of the source code associated with the identified at least one change. The method may further include testing the instrumented object code with at least one test case. The method may further include generating a coverage report associated with the instrumented object code, wherein the coverage report includes a proportion of the at least one change in the source code covered by the at least one test case.

公开(公告)号：US20130031537A1

公开(公告)日：2013-01-31

申请号：US13192484

申请日：2011-07-28

申请人： Omer Yehuda Boehm ,  Gad Haber ,  Yousef Shajrawi

发明人： Omer Yehuda Boehm ,  Gad Haber ,  Yousef Shajrawi

IPC分类号： G06F9/45

CPC分类号： G06F8/443 ,  G06F8/49

摘要： Systems, methods and products for code optimization are provided. In one embodiment, the method comprises dividing a target code into basic blocks; analyzing traversed execution paths between the basic blocks during multiple executions of the target code to determine a frequency with which the execution path between two or more basic blocks are traversed; and determining whether code optimization may be achieved by identifying execution paths that have been traversed subject to one or more threshold levels.

摘要翻译： 提供了代码优化的系统，方法和产品。 在一个实施例中，该方法包括将目标代码分成基本块; 在目标代码的多次执行期间分析基本块之间的遍历执行路径，以确定遍历两个或多个基本块之间的执行路径的频率; 以及确定是否可以通过识别经过一个或多个阈值水平的执行路径来实现代码优化。

公开(公告)号：US20100153912A1

公开(公告)日：2010-06-17

申请号：US12316768

申请日：2008-12-15

申请人： Victor Leonel Hernandez Porras ,  Roger Scott Hoover ,  Eric Marshall Christopher ,  Christopher Arthur Lattner ,  Thomas John O'Brien ,  Pratik Solanki ,  Jia-Hong Chen

发明人： Victor Leonel Hernandez Porras ,  Roger Scott Hoover ,  Eric Marshall Christopher ,  Christopher Arthur Lattner ,  Thomas John O'Brien ,  Pratik Solanki ,  Jia-Hong Chen

IPC分类号： G06F9/44

CPC分类号： G06F8/49

摘要： Variable type knowledge based call specialization is disclosed. An indication is received that a variable that is an argument of a function or operation the behavior of which depends at least in part on a data type of the argument is of a first data type. Machine code that implements a first behavior that corresponds to the first data type, but not a second behavior that corresponds to a second data type other than the first data type, is generated for the function or operation.

摘要翻译： 公开了基于变数类型知识的呼叫专业化。 接收到指示作为其行为至少部分取决于参数的数据类型的功能或操作的参数的变量的变量是第一数据类型。 为功能或操作生成实现与第一数据类型对应的第一行为但不是与第一数据类型不同的第二数据类型的第二行为的机器代码。

公开(公告)号：US07729896B2

公开(公告)日：2010-06-01

申请号：US11439124

申请日：2006-05-24

申请人： Masato Tatsuoka ,  Atsushi Ike

发明人： Masato Tatsuoka ,  Atsushi Ike

IPC分类号： G06F17/50

CPC分类号： G06F8/49

摘要： It is determined whether an i-th instruction is for a memory access. If the i-th instruction is the memory access, it is determined whether an address to access according to the i-th instruction coincides with an address that has been accessed by a first execution block. If the addresses coincide with each other, it is determined whether a cycle of a second execution block currently executing precedes that of the first execution block. If the cycle of the second execution block precedes that of the first executing block, a memory model is accessed. A necessary number of cycles for execution of a j-th instruction is added to the current number of cycles, and the address, a cycle, data, and a data size at the time of the current access (before re-writing) are written in a delay table.

摘要翻译： 确定第i条指令是否用于存储器访问。 如果第i条指令是存储器访问，则确定根据第i条指令访问的地址是否与已由第一执行块访问的地址一致。 如果地址彼此一致，则确定当前执行的第二执行块的周期是否先于第一执行块的周期。 如果第二执行块的周期先于第一执行块的周期，则访问存储器模型。 用于执行第j指令的必要数量的循环被添加到当前循环次数中，并且写入当前访问时（重写前）的地址，周期，数据和数据大小被写入 在延迟表中。

公开(公告)号：US20090055813A1

公开(公告)日：2009-02-26

申请号：US11842180

申请日：2007-08-21

申请人： Gad Haber ,  Roy Levin ,  Shmuel Ur

发明人： Gad Haber ,  Roy Levin ,  Shmuel Ur

IPC分类号： G06F9/45

CPC分类号： G06F8/4441 ,  G06F8/49 ,  G06F9/4484

摘要： Methods and systems for computer program optimization utilize function cloning in program code, such as post-linked code. Each function call is directed to a different cloned version of the called function. Conventional profiling methods such as hardware event sampling, basic block profiling, and edge profiling may then be applied to the modified program code to obtain call path-based, clone-specific profile data. The profile data can be further exploited to optimize the program code.

摘要翻译： 用于计算机程序优化的方法和系统利用程序代码中的功能克隆，如后链代码。 每个函数调用定向到被调用函数的不同克隆版本。 然后可以将常规的分析方法（例如硬件事件采样，基本块分析和边缘分析）应用于修改的程序代码，以获得基于呼叫路径的克隆特定的简档数据。 可以进一步利用简档数据来优化程序代码。

公开(公告)号：US06588009B1

公开(公告)日：2003-07-01

申请号：US09450325

申请日：1999-11-29

申请人： Jan Guffens ,  Kurt Du Pont

发明人： Jan Guffens ,  Kurt Du Pont

IPC分类号： G06F945

CPC分类号： G06F8/45 ,  G06F8/49

摘要： A method and apparatus for optimizing the compilation of a computer program by exposing parallelism are disclosed. Information describing the operations in the program and their sequence is extracted and stored in a data structure. The operations in the program which involve index expressions are identified and symbolically executed, producing information describing the memory accesses by the program. Operations which can be executed in parallel are identified based on the information describing memory accesses. The program is interrogated with questions in a question data structure relating to how the program accesses memory. The answers to the questions are accumulated in index sets and back annotated into the question data structure.

摘要翻译： 公开了一种通过暴露平行度优化计算机程序编译的方法和装置。 描述程序及其序列中的操作的信息被提取并存储在数据结构中。 识别并符号地执行涉及索引表达式的程序中的操作，产生描述程序的存储器访问的信息。 可以基于描述存储器访问的信息来识别可并行执行的操作。 询问有关程序访问内存的问题数据结构中的问题的程序。 这些问题的答案在索引集中累积，并将其注释到问题数据结构中。