Kernel Support for Memory Paging
A memory management method is provided, which includes assigning separate virtual addresses to processes in user space, include to a file system configured to read/write to persistent storage. Virtual memory objects (VMOs) are created in user space that are backed by a user space pager service. Such...
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Patent |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | A memory management method is provided, which includes assigning separate virtual addresses to processes in user space, include to a file system configured to read/write to persistent storage. Virtual memory objects (VMOs) are created in user space that are backed by a user space pager service. Such objects including pages representing a file associated with information maintained in persistent storage. A pager manages reading/writing to persistent storage. The pager populates pages for a given VMO using data retrieved from persistent storage. Upon populating the pages, a state of the VMO is set to a clean state. Upon writing to the pages, the state of the VMO is set to a dirty state. Upon initiating writing back to persistent storage, the state of the VMO is set to an awaiting clean state. Upon ending the writing back, the state of the VMO is set to clean. |
---|