17051706170717081709171017111712171317141715
// need synchronized block because owner may be set to null in the // middle if another thread is in the process of unlatching the // page if ((owner != null) && (t == owner.getTransaction())) { if (t.inAbort()) { // nestedLatch++; return; } }
17671768176917701771177217731774177517761777
// comment in setExclusive() synchronized (this) { if ((owner != null) && (t == owner.getTransaction())) { if (t.inAbort()) { // nestedLatch++; return true; } }
16631664166516661667166816691670167116721673
// need synchronized block because owner may be set to null in the // middle if another thread is in the process of unlatching the // page if ((owner != null) && (t == owner.getTransaction())) { if (t.inAbort()) { // nestedLatch++; return; }
17371738173917401741174217431744174517461747
17081709171017111712171317141715171617171718
17701771177217731774177517761777177817791780
16701671167216731674167516761677167816791680
17441745174617471748174917501751175217531754
15861587158815891590159115921593159415951596
16581659166016611662166316641665166616671668