Implicit locks in a shared virtual memory system
First Claim
1. In a local computerized device having local physical memory, a method for coordinating access to shared data on a remote computerized device, the method comprising:
- observing a page table entry on the remote computerized device, the page table entry being stored in a page table used for managing virtual to physical address translations and handling page faults between semiconductor memory and magnetic disk drive memory on the remote computerized device;
when the page table entry indicates that shared data corresponding to the page table entry is in use on the remote computerized device, blocking access to the shared data from the local computerized device; and
when the page table entry indicates that shared data corresponding to the page table entry is not in use on the remote computerized device, moving the shared data into the local physical memory from the semiconductor memory of the remote computerized device, and providing access to the shared data in the local physical memory.
9 Assignments
0 Petitions
Accused Products
Abstract
A technique coordinates access to shared data on a remote device from a local device having local physical memory. The technique involves observing a page table entry (PTE) on the remote device. The PTE is stored in a page table used for managing virtual to physical address translations and handling page faults between semiconductor memory and magnetic disk drive memory on the remote device. The technique further involves blocking access to the shared data from the local device when the PTE indicates that shared data corresponding to the PTE is in use on the remote device. The technique further involves moving the shared data into the local physical memory from the semiconductor memory of the remote device, and providing access to the shared data in the local physical memory when the PTE indicates that shared data corresponding to the PTE is not in use on the remote device.
33 Citations
22 Claims
-
1. In a local computerized device having local physical memory, a method for coordinating access to shared data on a remote computerized device, the method comprising:
-
observing a page table entry on the remote computerized device, the page table entry being stored in a page table used for managing virtual to physical address translations and handling page faults between semiconductor memory and magnetic disk drive memory on the remote computerized device; when the page table entry indicates that shared data corresponding to the page table entry is in use on the remote computerized device, blocking access to the shared data from the local computerized device; and when the page table entry indicates that shared data corresponding to the page table entry is not in use on the remote computerized device, moving the shared data into the local physical memory from the semiconductor memory of the remote computerized device, and providing access to the shared data in the local physical memory. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
-
12. A local computerized device, comprising:
-
local physical memory; an interface to an internodal communication medium; and a controller coupled to the local physical memory and the interface, the controller being configure to; observe a page table entry on a remote computerized device through the interface, the page table entry being stored in a page table used for managing virtual to physical address translations and handling page faults between semiconductor memory and magnetic disk drive memory on the remote computerized device, when the page table entry indicates that shared data corresponding to the page table entry is in use on the remote computerized device, block access to the shared data from the local computerized device, and when the page table entry indicates that shared data corresponding to the page table entry is not in use on the remote computerized device, move the shared data into the local physical memory from the semiconductor memory of the remote computerized device through the interface, and provide access to the shared data in the local physical memory. - View Dependent Claims (13, 14, 15, 16, 17, 18, 19, 20, 21, 22)
-
Specification