| 摘要 |
Working sets, each of which is specific to a code section, a data section, and a stack of a task are arranged in a memory. Page-in and page-out processing sections are arranged in the working sets. A determination section determines a code section virtual space, data section virtual space, or stack virtual space to which a virtual page causing a page fault belongs, and supplies a page-in request to one of the page-in processing sections corresponding to the working sets. When the corresponding working set is not full, the page-in processing section reads in the virtual page causing the page fault in the working set. When the working set is full, the page-in processing section supplies a page-out request to a page-out processing section.
|
