Class BufferManager.SessionPinCount

  • Enclosing class:
    BufferManager

    private static class BufferManager.SessionPinCount
    extends java.lang.Object
    This helper class records the pin-count of a data page as imposed by a given session, so that we can forcibly release the session's pins after each command the session completes.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) DBPage dbPage
      The page that is pinned.
      (package private) int pinCount
      The number of times the session has pinned the page.
    • Method Summary

      • Methods inherited from class java.lang.Object

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

      • dbPage

        DBPage dbPage
        The page that is pinned.
      • pinCount

        int pinCount
        The number of times the session has pinned the page.
    • Constructor Detail

      • SessionPinCount

        SessionPinCount​(DBPage dbPage)