Method for managing virtual memory, e.g. for very large indexes associated with image databases, whereby memory is managed using an algorithm that optimizes page replacement on a date basis, such that index searches are quickened
摘要
Method for managing virtual memory uses an algorithm for replacing a page that optimizes replacement of pages in central memory. According to a preferred realization the last K page reference dates are conserved for pages resident and also non-resident in central memory. Pages no longer to be stored are selected based on those that have not been referenced for the longest period.