Class DefaultPageLockManager

    • Constructor Detail

      • DefaultPageLockManager

        public DefaultPageLockManager​(Duration timeout)
        Constructor
        Parameters:
        timeout - timeout value for acquiring a page lock
    • Method Detail

      • getTimeout

        public Duration getTimeout​(int pageId)
        Parameters:
        pageId - the id of the page to be locked
        Returns:
        the duration for acquiring a page lock
      • unlockPage

        public void unlockPage​(int pageId)
        Description copied from interface: IPageLockManager
        Unlocks a single page locked by the current thread.
        Specified by:
        unlockPage in interface IPageLockManager
        Parameters:
        pageId - the id of the page which should be unlocked.