/** Return true if the specified transaction has a lock on the specified page */ public boolean holdsLock(TransactionId tid, PageId p) { return lockManager.holdsLock(tid, p); }