Stale pointer detection with overlapping versioned memory

• US 9,519,592 B2
• Filed: 11/30/2012
• Issued: 12/13/2016
• Est. Priority Date: 11/30/2012
• Status: Active Grant

• Current Assignee: Oracle International Corporation (Oracle Corporation)
• Original Assignee: Oracle International Corporation (Oracle Corporation)
• Inventors: Prakash, Raj, Lobo, Sheldon M.
• Primary Examiner(s): Rigol, Yaima
• Assistant Examiner(s): Matin, Tasnima
• Application Number:
  US13/691,467
• Publication Number:
  US 20140156908A1
• Time in Patent Office: 1,474 Days
• Field of Search: None
• US Class Current: 1/1
• CPC Class Codes: G06F 12/10 Address translation
• CPC Class Codes: G06F 12/1416 by checking the object accessibility, e.g. type of access defined by the memory independently of subject rights G06F12/1458 takes precedence
• CPC Class Codes: G06F 2212/65 Details of virtual memory and virtual address translation
• CPC Class Codes: G06F 2212/657 Virtual address space management

Abstract

In general, in one aspect, the invention relates to a method for managing virtual memory (VM). The method includes receiving, from an application, a first access request comprising a first VM address identifying a VM location, obtaining a current VM location version value for the VM location, obtaining a first submitted VM location version value from the first VM address, and in response to a determination that the current VM location version value and the first submitted VM location version value match: servicing the first access request using the first VM address.

Claims

1. A method for managing virtual memory (VM) comprising:

incrementing, in response to updating a status of a VM location in a freed VM location list, a version of the VM location to generate a first VM location version value for the VM location;

generating a first versioned VM address based on the first VM location version value;

receiving, from an application, a first access request comprising the first versioned VM address identifying the VM location;

obtaining, in response to the first access request, the first VM location version value from the first versioned VM address;

comparing, in response to the first access request, a first current VM location version value and the first VM location version value to determine a match, wherein the first current VM location version value corresponds to the version of the VM location concurrent with the first access request; and

servicing, in response to the match, the first access request using the first versioned VM address.

2. The method of claim 1, further comprising:

receiving, from the application, a second access request comprising a second versioned VM address identifying the VM location;

obtaining, in response to the second access request, a second VM location version value from the second versioned VM address;

comparing, in response to the second access request, a second current VM location version value and the second VM location version value to determine a mismatch, wherein the second current VM location version value corresponds to the version of the VM location concurrent with the second access request; and

sending, in response to the mismatch, an error to the application.

3. The method of claim 2, further comprising:

receiving a notification that the VM location is no longer in use, wherein the notification comprises the second versioned VM address to identify the VM location,

wherein updating the status of the VM location in the freed VM location list comprises adding the VM location to the freed VM location list, and

wherein the second access request is received subsequent to the notification.

4. The method of claim 1, further comprising:

receiving, from the application, an allocation request; and

returning, to the application in response to the allocation request, the first versioned VM address identifying the VM location,

wherein updating the status of the VM location in the freed VM location list comprises removing the VM location from the freed VM location list.

5. The method of claim 1,

wherein updating the status of the VM location in the freed VM location list comprises at least one selected from a group consisting of adding the VM location to the freed VM location list and removing the VM location from the freed VM location list.

6. The method of claim 1, wherein servicing the first access request comprises:

translating the first versioned VM address to obtain a physical memory address, wherein the physical memory address is mapped to the VM location.

7. The method of claim 6,

wherein the first versioned VM address comprises the first VM location version value, and

wherein translating the first versioned VM address to obtain the physical memory address comprises disregarding the first VM location version value.

8. The method of claim 7, wherein the first versioned VM address is translated directly without removing the first VM location version value.

9. The method of claim 1, wherein servicing the first access request using the first versioned VM address comprises one selected from a group consisting of writing data at the VM location identified by the first versioned VM address and reading data from the VM location identified by the first versioned VM address.

10. A non-transitory computer readable medium comprising instructions that, when executed by a processor, perform a method for managing virtual memory (VM), the method comprising:

incrementing, in response to updating a status of a VM location in a freed VM location list, a version of the VM location to generate a first VM location version value for the VM location;

generating a first versioned VM address based on the first VM location version value;

receiving, from an application, a first access request comprising the first versioned VM address identifying the VM location;

obtaining, in response to the first access request, the first VM location version value from the first versioned VM address;

comparing, in response to the first access request, a first current VM location version value and the first VM location version value to determine a match, wherein the first current VM location version value corresponds to the version of the VM location concurrent with the first access request; and

servicing, in response to the match, the first access request using the first versioned VM address.

11. The non-transitory computer readable medium of claim 10, the method further comprising:

receiving, from the application, a second access request comprising a second versioned VM address identifying the VM location;

obtaining, in response to the second access request, a second VM location version value from the second versioned VM address;

comparing, in response to the second access request, a second current VM location version value and the second VM location version value to determine a mismatch, wherein the second current VM location version value corresponds to the version of the VM location concurrent with the second access request; and

sending, in response to the mismatch, an error to the application.

12. The non-transitory computer readable medium of claim 11, the method further comprising:

receiving a notification that the VM location is no longer in use, wherein the notification comprises the second versioned VM address to identify the VM location,

wherein updating the status of the VM location in the freed VM location list comprises adding the VM location to the freed VM location list, and

wherein the second access request is received subsequent to the notification.

13. The non-transitory computer readable medium of claim 10, the method further comprising:

receiving, from the application, an allocation request; and

returning, to the application in response to the allocation request, the first versioned VM address identifying the VM location,

wherein updating the status of the VM location in the freed VM location list comprises removing the VM location from the freed VM location list.

14. The non-transitory computer readable medium of claim 10,

wherein updating the status of the VM location in the freed VM location list comprises at least one selected from a group consisting of adding the VM location to the freed VM location list and removing the VM location from the freed VM location list.

15. The non-transitory computer readable medium of claim 10, wherein servicing the first access request using the first versioned VM address comprises:

translating the first versioned VM address to obtain a physical memory address, wherein the physical memory address is mapped to the VM location.

16. The non-transitory computer readable medium of claim 15,

wherein the first versioned VM address comprises the first VM location version value, and

wherein translating the first versioned VM address to obtain the physical memory address comprises disregarding the first VM location version value.

17. The non-transitory computer readable medium of claim 16,

wherein the first versioned VM address is translated directly without removing the first VM location version value.

18. The non-transitory computer readable medium of claim 10, wherein servicing the first access request using the first versioned VM address comprises one selected from a group consisting of writing data at the VM location identified by the first versioned VM address and reading data from the VM location identified by the first versioned VM address.

19. A system comprising:

physical memory;

a virtual memory (VM) manager configured to;

increment, in response to updating a status of a VM location in a freed VM location list, a version of the VM location to generate a VM location version value for the VM location;

generate a versioned VM address based on the VM location version value;

receive, from an application, an access request comprising the versioned VM address corresponding to the VM location;

obtain, in response to the access request, the VM location version value from the versioned VM address; and

compare, in response to the access request, a current VM location version value and the VM location version value to determine a match, wherein the current VM location version value corresponds to the version of the VM location concurrent with the first access request; and

a central processing unit configured to;

in response to the match, service the access request using the versioned VM address.

20. The system of claim 19, further comprising:

a memory management unit (MMU) configured to;

translate the versioned VM address to obtain a physical memory address corresponding to a location in the physical memory, wherein the physical memory address is mapped to the VM location.