Package herddb.core

Interface PageReplacementPolicy

    • Method Detail

      • pageHit

        void pageHit​(Page<?> page)
        Track a page cache hit.
        Parameters:
        page - for which track an hit
      • add

        Page.Metadata add​(Page<?> page)
        Add a new Page to memory.

        Adding a new page could force an older page to be unloaded

        Parameters:
        page - page to be added
        Returns:
        selected page to be unloaded or null
      • remove

        boolean remove​(Page<?> page)
        Remove a Page from memory.
        Parameters:
        page - page to be removed.
        Returns:
        true if the memory really contained the given page
      • remove

        <P extends Page<?>> void remove​(Collection<P> pages)
        Remove many Page Pages from memory.

        This method is logically equivalent to multiple remove(Page) invocations but is expected to be more efficient.

        Parameters:
        pages - pages to be removed.
      • size

        int size()
        Returns the current number of Pages memorized.
        Returns:
        current number of Pages
      • capacity

        int capacity()
        Returns the maximum number of Pages memorizable.
        Returns:
        maximum number of Pages
      • clear

        void clear()
        Clear any memorized data.