15531554155515561557155815591560156115621563
// 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; }
16251626162716281629163016311632163316341635
// comment in setExclusive() synchronized (this) { if ((owner != null) && (t == owner.getTransaction())) { if (t.inAbort()) { // nestedLatch++; return true; } }
17651766176717681769177017711772177317741775
// 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; } }
18271828182918301831183218331834183518361837
15941595159615971598159916001601160216031604
16661667166816691670167116721673167416751676
16701671167216731674167516761677167816791680
17441745174617471748174917501751175217531754
16611662166316641665166616671668166916701671
17331734173517361737173817391740174117421743