公开(公告)号：US20240012765A1

公开(公告)日：2024-01-11

申请号：US18472536

申请日：2023-09-22

Applicant: Oracle International Corporation

Inventor： Maurizio Cimadamore ,  James Malcolm Laskey ,  Jorn Bender Vernee

IPC: G06F12/14 ,  G06F12/06

CPC classification number: G06F12/1458 ,  G06F12/0646 ,  G06F2212/1052

Abstract: Techniques for transitioning between memory segment views include: instantiating a first memory segment view that confines access to a memory segment to a first thread; receiving a request to transition ownership of the memory segment to a second thread; responsive to receiving the request to transition ownership of the memory segment to the second thread: instantiating a second memory segment view that permits access to the memory segment by the second thread; copying metadata from the first memory segment view to the second memory segment view; terminating the first memory segment view, to prevent access to the memory segment via the first memory segment view.

公开(公告)号：US20230350802A1

公开(公告)日：2023-11-02

申请号：US17733258

申请日：2022-04-29

Applicant: Oracle International Corporation

Inventor： Maurizio Cimadamore ,  Paul David Sandoz

IPC: G06F12/02 ,  G06F9/30

CPC classification number: G06F12/0253 ,  G06F12/0246 ,  G06F9/3009 ,  G06F9/3017

Abstract: Techniques for managing lifecycles of sets of foreign resources are disclosed, including: opening, in a runtime environment configured to use a garbage collector to manage memory in a heap, a memory session; allocating a first subset of a set of foreign memory to a memory segment associated with the memory session, the foreign memory including off-heap memory that is not managed by the garbage collector; encountering, in the runtime environment, an instruction to close the memory session; responsive to encountering the instruction to close the memory session, deallocating the subset of the set of foreign memory.

公开(公告)号：US20230057055A1

公开(公告)日：2023-02-23

申请号：US17980437

申请日：2022-11-03

Applicant: Oracle International Corporation

Inventor： Maurizio Cimadamore ,  James Malcolm Laskey ,  Jorn Bender Vernee ,  Vladimir Vitalyevich Ivanov

IPC: G06F8/41 ,  G06F9/445 ,  G06F12/02

Abstract: Techniques for representing a native function using an executable reference are disclosed. The system receives an instruction to create an executable reference for a native function, including a method type comprising a method signature corresponding to the executable reference, and a function description including (a) a memory layout corresponding to data returned by the function and (b) memory layouts corresponding to parameters required by the function. The system selects an application binary interface (ABI). The system generates code that, for each parameter, of the one or more parameters required by the function, converts the parameter from a value formatted for use by a Java Virtual machine to a value formatted for use in the native function, based on the selected ABI. Responsive to invocation of the executable reference, the generated code and the native function may be executed.

公开(公告)号：US20210294586A1

公开(公告)日：2021-09-23

申请号：US17190214

申请日：2021-03-02

Applicant: Oracle International Corporation

Inventor： Maurizio Cimadamore ,  James Malcolm Laskey ,  Jorn Bender Vernee ,  Vladimir Vitalyevich Ivanov

IPC: G06F8/41 ,  G06F12/02

Abstract: Techniques for representing a native function using an executable reference are disclosed. The system receives an instruction to create an executable reference for a native function, including a method type comprising a method signature corresponding to the executable reference, and a function description including (a) a memory layout corresponding to data returned by the function and (b) memory layouts corresponding to parameters required by the function. The system selects an application binary interface (ABI). The system generates code that, for each parameter, of the one or more parameters required by the function, converts the parameter from a value formatted for use by a Java Virtual machine to a value formatted for use in the native function, based on the selected ABI. Responsive to invocation of the executable reference, the generated code and the native function may be executed.

公开(公告)号：US10983771B1

公开(公告)日：2021-04-20

申请号：US16690911

申请日：2019-11-21

Applicant: Oracle International Corporation

Inventor： Chris Hegarty ,  Maurizio Cimadamore

IPC: G06F8/41 ,  G06F11/36 ,  G06F16/22

Abstract: An explicit type for a construct is not necessarily specified by a set of code. Where an explicit type is not specified for a particular construct, a compiler performs type inference for the particular construct. If the compiler infers a denotable type is associated with the construct, the compiler proceeds to perform quality checking for the particular construct by evaluating quality conditions with respect to the inferred denotable type. However, if the compiler determines that a non-denotable type is associated with the construct, then the compiler selects a target type determination process based on an attribute of the inferred non-denotable type associated with the particular construct. The compiler determines one or more target types using the selected target type determination process. The compiler performs quality checking for the particular construct by evaluating quality conditions with respect to the target types.

公开(公告)号：US20190163478A1

公开(公告)日：2019-05-30

申请号：US15822481

申请日：2017-11-27

Applicant: Oracle International Corporation

Inventor： Maurizio Cimadamore ,  Brian Goetz

IPC: G06F9/30 ,  G06F9/38

CPC classification number: G06F9/30058 ,  G06F8/65 ,  G06F8/71 ,  G06F9/3861 ,  G06F9/44536 ,  G06F9/44589 ,  G06F11/3624 ,  G06F11/368 ,  G06Q10/06

Abstract: Techniques for synchronizing a set of code branches are disclosed. A synchronization process is triggered by an event and/or a schedule. The synchronization process includes traversing each code branch, such that parent branches of a particular branch are “in sync” prior to being merged into the particular branch. In an embodiment, a hierarchical order for a set of branches is determined. The branch represented by the top node of the hierarchical order does not have any parents. A branch that is a child of the branch represented by the top node is in the second level of the hierarchical order. The branch in the second level is updated by incorporating the current state of the branch represented by the top node. Thereafter, each branch is iteratively updated by incorporating the current state of the branch's parent branch. Hence, changes to any parent branch are propagated through all its descendant branches.

公开(公告)号：US10303467B2

公开(公告)日：2019-05-28

申请号：US14685386

申请日：2015-04-13

Applicant: Oracle International Corporation

Inventor： Maurizio Cimadamore ,  Brian Goetz

IPC: G06Q99/00 ,  G06F8/75 ,  G06F8/72 ,  G06F11/36

Abstract: A code analysis tool identifies a first and a second proposed code transformation (PCT) for respective expressions within a refactoring candidate section of source code, such that at least one PCT would result in an exercise of a target typing mechanism of the programming language being used. The determination of the data type of at least one of the expressions depends on the determination of the data type of the other. The tool generates a plurality of PCT combinations for the refactoring candidate section. In response to determining that a particular PCT combination meets acceptance criteria, a refactoring option which includes that PCT combination is recommended.

公开(公告)号：US20170039043A1

公开(公告)日：2017-02-09

申请号：US15005448

申请日：2016-01-25

Applicant: Oracle International Corporation

Inventor： Michael Haupt ,  Maurizio Cimadamore ,  Brian Goetz

IPC: G06F9/45

CPC classification number: G06F8/41 ,  G06F8/437 ,  G06F8/447 ,  G06F9/45508

Abstract: Operations include a compilation process and a runtime process. A compiler compiles code to generate virtual machine instructions. The compiler further generates information referencing respective parameter types of the parameters of a target virtual machine instruction. The compiler stores the information external to and in association with the target virtual machine instruction. The information may be included in another virtual machine instruction that precedes the target virtual machine instruction. A runtime environment processes the target virtual machine instruction based on the information stored external to and in association with the target virtual machine instruction. Parameter types referenced by the external information override parameter types that are (a) referenced by the target virtual machine instruction itself, (b) deduced by the runtime environment and/or (c) stored directly in association with the parameter values.

Abstract translation: 操作包括编译过程和运行时过程。 编译器编译代码生成虚拟机指令。 编译器进一步产生参考目标虚拟机指令参数的相应参数类型的信息。 编译器将外部信息存储在目标虚拟机指令之外并与目标虚拟机指令相关联。 信息可以包括在目标虚拟机指令之前的另一个虚拟机指令中。 运行时环境根据存储在目标虚拟机指令外部和与目标虚拟机指令相关联的信息来处理目标虚拟机指令。 由外部信息引用的参数类型覆盖由目标虚拟机指令本身引用的（a）参数类型，（b）由运行时环境推导的和/或（c）直接与参数值相关联存储。

公开(公告)号：US20140137087A1

公开(公告)日：2014-05-15

申请号：US13677001

申请日：2012-11-14

Applicant: ORACLE INTERNATIONAL CORPORATION

Inventor： Maurizio Cimadamore ,  Daniel Lee Smith ,  Brian Goetz

IPC: G06F9/45

CPC classification number: G06F9/4425 ,  G06F9/4484 ,  G06F9/45516

Abstract: Methods and apparatus for target typing of overloaded method and constructor arguments are described. A method comprises determining whether source code of a program includes, as an argument to an overloaded operation invocation, an expression whose type is context-dependent. The method further comprises, if the source code includes such an argument, providing the expression as an input to an overload resolver, and determining at the overload resolver whether (a) each argument of the invocation is compatible with types of corresponding parameters in one or more declarations and (b) whether a particular declaration among such a set of declarations can be identified as the most specific. If both conditions are met, the method comprises generating executable instructions for the invocation.

Abstract translation: 描述了重载方法和构造函数参数的目标分类方法和设备。 一种方法包括确定程序的源代码是否包括作为重载操作调用的参数的类型是上下文相关的表达式。 该方法还包括如果源代码包括这样的参数，则将表达式提供给过载解析器的输入，并且在重载解析器处确定（a）调用的每个参数是否与一个或多个相应参数中的相应参数的类型兼容 更多的声明和（b）这种声明中的特定声明是否可以被确定为最具体的。 如果满足这两个条件，则该方法包括生成用于调用的可执行指令。

公开(公告)号：US20140019948A1

公开(公告)日：2014-01-16

申请号：US13779557

申请日：2013-02-27

Applicant: ORACLE INTERNATIONAL CORPORATION

Inventor： Brian Goetz ,  Daniel Smith ,  Maurizio Cimadamore

IPC: G06F9/45

CPC classification number: G06F8/437 ,  G06F8/315 ,  G06F8/41 ,  G06F8/425 ,  G06F8/43

Abstract: A system and method can support context-dependent expression compilation in a programming language environment. A compiler in the programming language environment can provide one or more context objects that operate to compile various context-dependent expressions in different programming contexts. Then, the compiler can use a said context object to derive a target type associated with a context-dependent expression, and use the context object to perform compatibility check for the context-dependent expression in the programming language environment.

Abstract translation: 系统和方法可以在编程语言环境中支持上下文相关的表达式编译。 编程语言环境中的编译器可以提供一个或多个上下文对象，用于在不同的编程环境中编译各种与上下文相关的表达式。 然后，编译器可以使用所述上下文对象来导出与上下文相关表达式相关联的目标类型，并使用上下文对象对编程语言环境中的上下文相关表达式执行兼容性检查。