Object descriptors

• US 10,042,752 B2
• Filed: 05/27/2016
• Issued: 08/07/2018
• Est. Priority Date: 05/27/2016
• Status: Active Grant

• Current Assignee: Hewlett Packard Enterprise Development LP (Hewlett-Packard Enterprise Company)
• Original Assignee: Hewlett Packard Enterprise Development LP (Hewlett-Packard Enterprise Company)
• Inventors: Kirshenbaum, Evan R., Gidra, Lokesh
• Primary Examiner(s): Elmore, Reba I
• Application Number:
  US15/167,563
• Publication Number:
  US 20170344468A1
• Time in Patent Office: 802 Days
• Field of Search: 711147, 711156, 711171, 711172
• CPC Class Codes: G06F 12/023 Free address space management
• CPC Class Codes: G06F 12/0261 using reference counting
• CPC Class Codes: G06F 2212/1008 Correctness of operation, e.g. memory ordering
• CPC Class Codes: G06F 2212/1016 Performance improvement
• CPC Class Codes: G06F 2212/1056 Simplification
• CPC Class Codes: G06F 9/5016 the resource being the memory
• CPC Class Codes: G06F 9/544 Buffers; Shared memory; Pipes

Abstract

In one example in accordance with the present disclosure, a method may include identifying, by a first operating system process in a computer system accessing a shared memory heap, a first object at a first memory address in the shared memory heap. The first object may have been previously allocated in the shared memory heap by a second operating system process. The method may also include identifying an object descriptor associated with the first object at a second memory address in the shared memory heap. The object descriptor occupies a number of bits of memory independent of the type. The method may also include determining a size of the first object based on the object descriptor, enumerating, based on the object descriptor, fields associated with the first object and performing an action based on each field of the enumerated fields.

Claims

1. A method comprising:

identifying, by a first operating system process in a computer system accessing a shared memory heap, a first object at a first memory address in the shared memory heap, wherein the first object was previously allocated in the shared memory heap by a second operating system process in the computer system different from the first operating system process and the first object is of a type not known to the first operating system process;

identifying, based on the first memory address, an object descriptor associated with the first object at a second memory address in the shared memory heap, wherein the object descriptor occupies a number of bits of memory independent of the type;

determining a size of the first object based on the object descriptor;

enumerating, based on the object descriptor, fields associated with the first object; and

performing an action based on each field of the enumerated fields.

2. The method of claim 1, further comprising:

determining that the object descriptor is an external object descriptor; and

determining the size based on an external descriptor object referenced by the object descriptor.

3. The method of claim 1, wherein the object descriptor comprises a bitmap and enumerating fields associated with the first object includes determining bits in the bitmap that have a particular value.

4. The method of claim 1, further comprising:

determining that the object descriptor is an array descriptor;

identifying the first object as an array;

determining an array length of the array based on a third memory address in the shared memory heap relative to the second memory address; and

enumerating fields associated with the first object by enumerating, based on the object descriptor, fields associated with each element of the array.

5. The method of claim 1, further comprising:

identifying the first object as reachable during a tracing phase of a garbage collection cycle;

marking a region of memory based on the first memory address and the size as containing a reachable object;

identifying, as part of the action, a second object associated with a reference contained in each enumerated field; and

identifying the second object as reachable.

6. The method of claim 1, further comprising:

modifying a first reference count associated with the first object;

determining that the modified first reference count has a value indicating that there are no remaining references to the first object;

modifying, as part of the action, a second reference count associated with a second object associated with a reference contained in each enumerated field; and

making a region of memory based on the first memory address and the size available to an allocator.

7. The method of claim 1, further comprising:

receiving a request to allocate a second object in the shared memory heap;

determining a second object descriptor based on a type of the second object; and

allocating a region of the shared memory heap to the second object and the second object descriptor.

8. The method of claim 7 wherein the type is an array type, the method further comprising:

determining an array length of the second object; and

storing the array length in the region.

9. The method of claim 1, further comprising:

identifying a putative object reference;

identifying, based on the putative object reference, a putative object descriptor comprising verification information;

determining a validity of the putative object descriptor based on the verification; and

determining that the putative object reference is not an object reference based on the validity.

10. The method of claim 9, wherein determining the validity includes comparing the verification information with a value computed based on an address of the putative object descriptor.

11. The method of claim 1 wherein the object descriptor includes a description of a collection of field offsets and enumerating fields associated with the object includes computing field memory addresses based on the collection of field offsets and the first memory address.

12. The method of claim 11, comprising:

excluding each field with a corresponding field in the collection of field offsets from the enumeration.

13. The method of claim 11, wherein the object descriptor comprises an indication of a size of the collection and each field offset is represented in the object descriptor by a number of bits based on the size of the collection.

14. A system comprising:

an allocation request receiver to receive a request to allocate an instance of an object type on a shared heap accessed by a process, wherein the object type is unknown to the process;

an object descriptor obtainer to obtain an object descriptor associated with the object type;

an allocator to allocate the instance in a region of memory in the shared heap and insert the object descriptor in the region of memory;

an object descriptor format selector to select a format for the object descriptor; and

an object descriptor creator to create an object descriptor according to the selected format, wherein the object descriptor contains sufficient information to allow the process to determine a size of the instance and to enumerate fields associated with the instance, wherein each enumerated field refers to an object in the shared memory.

15. A non-transitory machine-readable storage medium encoded with instructions, the instructions executable by a hardware processor of a system to cause the system to:

identify by a first operating system process in a computer system accessing a shared memory heap, a first object at a first memory address in the shared memory heap, wherein the first object was previously allocated in the shared memory heap by a second operating system process in the computer system different from the first operating system process and the first object is of a type not known to the first operating system process;

identify, based on the first memory address, an object descriptor associated with the first object at a second memory address in the shared memory heap, wherein the object descriptor occupies a number of bits of memory independent of the type;

determine a size of the first object based on the object descriptor;

enumerate, based on the object descriptor, fields associated with the first object;

determine, based on the size and the enumerated fields, that a region of memory within the shared heap does not contain any reachable objects; and

provide the region of memory to an allocator.