Class MVStore.RemovedPageInfo

    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) long removedPageInfo  
      (package private) long version  
    • Constructor Summary

      Constructors 
      Constructor Description
      RemovedPageInfo​(long pagePos, boolean pinned, long version, int pageNo)  
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compareTo​(MVStore.RemovedPageInfo other)  
      private static long createRemovedPageInfo​(long pagePos, boolean isPinned, int pageNo)
      Transforms saved page position into removed page info by replacing "page offset" with "page sequential number" and "page type" bit with "pinned page" flag.
      (package private) int getPageChunkId()  
      (package private) int getPageLength()  
      (package private) int getPageNo()  
      (package private) boolean isPinned()
      Find out if removed page was pinned (can not be evacuated to a new chunk).
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • version

        final long version
      • removedPageInfo

        final long removedPageInfo
    • Constructor Detail

      • RemovedPageInfo

        RemovedPageInfo​(long pagePos,
                        boolean pinned,
                        long version,
                        int pageNo)
    • Method Detail

      • getPageChunkId

        int getPageChunkId()
      • getPageNo

        int getPageNo()
      • getPageLength

        int getPageLength()
      • isPinned

        boolean isPinned()
        Find out if removed page was pinned (can not be evacuated to a new chunk).
        Returns:
        true if page has been pinned
      • createRemovedPageInfo

        private static long createRemovedPageInfo​(long pagePos,
                                                  boolean isPinned,
                                                  int pageNo)
        Transforms saved page position into removed page info by replacing "page offset" with "page sequential number" and "page type" bit with "pinned page" flag.
        Parameters:
        pagePos - of the saved page
        isPinned - whether page belong to a "single writer" map
        pageNo - 0-based sequential page number within containing chunk
        Returns:
        removed page info that contains chunk id, page number, page length and pinned flag
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object