org.hsqldb.TransactionManagerMVCC Maven / Gradle / Ivy
The newest version!
/* Copyright (c) 2001-2014, The HSQL Development Group
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
*
* Redistributions of source code must retain the above copyright notice, this
* list of conditions and the following disclaimer.
*
* Redistributions in binary form must reproduce the above copyright notice,
* this list of conditions and the following disclaimer in the documentation
* and/or other materials provided with the distribution.
*
* Neither the name of the HSQL Development Group nor the names of its
* contributors may be used to endorse or promote products derived from this
* software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED. IN NO EVENT SHALL HSQL DEVELOPMENT GROUP, HSQLDB.ORG,
* OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
* ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
package org.hsqldb;
import org.hsqldb.error.Error;
import org.hsqldb.error.ErrorCode;
import org.hsqldb.lib.HashSet;
import org.hsqldb.lib.HsqlDeque;
import org.hsqldb.lib.LongDeque;
import org.hsqldb.lib.LongKeyHashMap;
import org.hsqldb.persist.CachedObject;
import org.hsqldb.persist.PersistentStore;
/**
* Manages rows involved in transactions
*
* @author Fred Toussi (fredt@users dot sourceforge.net)
* @version 2.3.2
* @since 2.0.0
*/
public class TransactionManagerMVCC extends TransactionManagerCommon
implements TransactionManager {
// functional unit - merged committed transactions
HsqlDeque committedTransactions = new HsqlDeque();
LongDeque committedTransactionTimestamps = new LongDeque();
// locks
boolean isLockedMode;
Session catalogWriteSession;
//
long lockTxTs;
long lockSessionId;
long unlockTxTs;
long unlockSessionId;
//
int redoCount = 0;
//
public TransactionManagerMVCC(Database db) {
database = db;
lobSession = database.sessionManager.getSysLobSession();
rowActionMap = new LongKeyHashMap(10000);
txModel = MVCC;
}
public long getGlobalChangeTimestamp() {
return globalChangeTimestamp.get();
}
public boolean isMVRows() {
return true;
}
public boolean isMVCC() {
return true;
}
public int getTransactionControl() {
return MVCC;
}
public void setTransactionControl(Session session, int mode) {
super.setTransactionControl(session, mode);
}
public void completeActions(Session session) {}
public boolean prepareCommitActions(Session session) {
if (session.abortTransaction) {
// System.out.println("cascade fail " + session + " " + session.actionTimestamp);
return false;
}
writeLock.lock();
try {
int limit = session.rowActionList.size();
for (int i = 0; i < limit; i++) {
RowAction action = (RowAction) session.rowActionList.get(i);
if (!action.canCommit(session, session.tempSet)) {
// System.out.println("commit conflicts " + session + " " + session.actionTimestamp);
return false;
}
}
session.actionTimestamp = getNextGlobalChangeTimestamp();
for (int i = 0; i < limit; i++) {
RowAction action = (RowAction) session.rowActionList.get(i);
action.prepareCommit(session);
}
for (int i = 0; i < session.tempSet.size(); i++) {
Session current =
((RowActionBase) session.tempSet.get(i)).session;
current.abortTransaction = true;
}
return true;
} finally {
writeLock.unlock();
session.tempSet.clear();
}
}
public boolean commitTransaction(Session session) {
if (session.abortTransaction) {
return false;
}
writeLock.lock();
try {
int limit = session.rowActionList.size();
for (int i = 0; i < limit; i++) {
RowAction action = (RowAction) session.rowActionList.get(i);
if (!action.canCommit(session, session.tempSet)) {
// System.out.println("commit conflicts " + session + " " + session.actionTimestamp);
return false;
}
}
// new actionTimestamp used for commitTimestamp
session.actionTimestamp = getNextGlobalChangeTimestamp();
session.transactionEndTimestamp = session.actionTimestamp;
endTransaction(session);
for (int i = 0; i < limit; i++) {
RowAction action = (RowAction) session.rowActionList.get(i);
action.commit(session);
}
for (int i = 0; i < session.tempSet.size(); i++) {
Session current =
((RowActionBase) session.tempSet.get(i)).session;
current.abortTransaction = true;
}
adjustLobUsage(session);
persistCommit(session);
int newLimit = session.rowActionList.size();
if (newLimit > limit) {
Object[] list = session.rowActionList.getArray();
mergeTransaction(list, limit, newLimit,
session.actionTimestamp);
finaliseRows(session, list, limit, newLimit);
session.rowActionList.setSize(limit);
}
// session.actionTimestamp is the committed tx timestamp
if (session == lobSession
|| getFirstLiveTransactionTimestamp()
> session.actionTimestamp) {
Object[] list = session.rowActionList.getArray();
mergeTransaction(list, 0, limit, session.actionTimestamp);
finaliseRows(session, list, 0, limit);
} else {
if (session.rowActionList.size() > 0) {
Object[] list = session.rowActionList.toArray();
addToCommittedQueue(session, list);
}
}
endTransactionTPL(session);
//
session.isTransaction = false;
countDownLatches(session);
} finally {
writeLock.unlock();
session.tempSet.clear();
}
return true;
}
public void rollback(Session session) {
writeLock.lock();
try {
session.abortTransaction = false;
session.actionTimestamp = getNextGlobalChangeTimestamp();
session.transactionEndTimestamp = session.actionTimestamp;
rollbackPartial(session, 0, session.transactionTimestamp);
endTransaction(session);
endTransactionTPL(session);
session.isTransaction = false;
countDownLatches(session);
} finally {
writeLock.unlock();
}
}
public void rollbackSavepoint(Session session, int index) {
long timestamp = session.sessionContext.savepointTimestamps.get(index);
Integer oi = (Integer) session.sessionContext.savepoints.get(index);
int start = oi.intValue();
while (session.sessionContext.savepoints.size() > index + 1) {
session.sessionContext.savepoints.remove(
session.sessionContext.savepoints.size() - 1);
session.sessionContext.savepointTimestamps.removeLast();
}
rollbackPartial(session, start, timestamp);
}
public void rollbackAction(Session session) {
rollbackPartial(session, session.actionIndex,
session.actionStartTimestamp);
}
/**
* rollback the row actions from start index in list and
* the given timestamp
*/
public void rollbackPartial(Session session, int start, long timestamp) {
int limit = session.rowActionList.size();
if (start == limit) {
return;
}
for (int i = limit - 1; i >= start; i--) {
RowAction action = (RowAction) session.rowActionList.get(i);
if (action == null || action.type == RowActionBase.ACTION_NONE
|| action.type == RowActionBase.ACTION_DELETE_FINAL) {
continue;
}
Row row = action.memoryRow;
if (row == null) {
row = (Row) action.store.get(action.getPos(), false);
}
if (row == null) {
continue;
}
writeLock.lock();
try {
action.rollback(session, timestamp);
int type = action.mergeRollback(session, timestamp, row);
action.store.rollbackRow(session, row, type, txModel);
} finally {
writeLock.unlock();
}
}
session.rowActionList.setSize(start);
}
public RowAction addDeleteAction(Session session, Table table,
PersistentStore store, Row row,
int[] colMap) {
RowAction action = addDeleteActionToRow(session, table, store, row,
colMap);
Session actionSession = null;
boolean redoAction = true;
if (action == null) {
writeLock.lock();
try {
rollbackAction(session);
if (session.isolationLevel == SessionInterface
.TX_REPEATABLE_READ || session
.isolationLevel == SessionInterface.TX_SERIALIZABLE) {
session.tempSet.clear();
session.redoAction = false;
session.abortTransaction = session.txConflictRollback;
throw Error.error(ErrorCode.X_40501);
}
// can redo when conflicting action is already committed
if (row.rowAction != null && row.rowAction.isDeleted()) {
session.tempSet.clear();
session.redoAction = true;
redoCount++;
throw Error.error(ErrorCode.X_40501);
}
redoAction = !session.tempSet.isEmpty();
if (redoAction) {
actionSession =
((RowActionBase) session.tempSet.get(0)).session;
session.tempSet.clear();
if (actionSession != null) {
redoAction = checkDeadlock(session, actionSession);
}
}
if (redoAction) {
session.redoAction = true;
if (actionSession != null) {
actionSession.waitingSessions.add(session);
session.waitedSessions.add(actionSession);
session.latch.countUp();
}
redoCount++;
} else {
session.redoAction = false;
session.abortTransaction = session.txConflictRollback;
}
throw Error.error(ErrorCode.X_40501);
} finally {
writeLock.unlock();
}
}
session.rowActionList.add(action);
return action;
}
public void addInsertAction(Session session, Table table,
PersistentStore store, Row row,
int[] changedColumns) {
RowAction action = row.rowAction;
Session actionSession = null;
boolean redoAction = false;
boolean redoWait = true;
HsqlException cause = null;
if (action == null) {
throw Error.runtimeError(ErrorCode.GENERAL_ERROR,
"TXManager - null insert action ");
}
try {
store.indexRow(session, row);
} catch (HsqlException e) {
if (session.tempSet.isEmpty()) {
throw e;
}
redoAction = true;
cause = e;
}
if (!redoAction) {
session.rowActionList.add(action);
return;
}
writeLock.lock();
try {
rollbackAction(session);
RowActionBase otherAction = (RowActionBase) session.tempSet.get(0);
actionSession = otherAction.session;
session.tempSet.clear();
if (otherAction.commitTimestamp != 0) {
redoWait = false;
}
switch (session.isolationLevel) {
case SessionInterface.TX_REPEATABLE_READ :
case SessionInterface.TX_SERIALIZABLE :
redoAction = false;
break;
default :
redoAction = checkDeadlock(session, actionSession);
}
if (redoAction) {
session.redoAction = true;
if (redoWait) {
actionSession.waitingSessions.add(session);
session.waitedSessions.add(actionSession);
session.latch.countUp();
}
redoCount++;
} else {
session.abortTransaction = session.txConflictRollback;
session.redoAction = false;
}
throw Error.error(cause, ErrorCode.X_40501, null);
} finally {
writeLock.unlock();
}
}
// functional unit - accessibility of rows
public boolean canRead(Session session, PersistentStore store, Row row,
int mode, int[] colMap) {
RowAction action = row.rowAction;
if (action == null) {
return true;
} else if (action.table.tableType == TableBase.TEMP_TABLE) {
return true;
}
if (mode == TransactionManager.ACTION_READ) {
return action.canRead(session, TransactionManager.ACTION_READ);
}
if (mode == ACTION_REF) {
return action.canRead(session, TransactionManager.ACTION_READ);
/*
if (result) {
synchronized (row) {
if (row.isMemory()) {
result = RowAction.addRefAction(session, row, colMap);
} else {
ReentrantReadWriteLock.WriteLock mapLock =
rowActionMap.getWriteLock();
mapLock.lock();
try {
action = row.rowAction;
if (action == null) {
action =
(RowAction) rowActionMap.get(row.getPos());
row.rowAction = action;
}
result = RowAction.addRefAction(session, row,
colMap);
if (result && action == null) {
rowActionMap.put(row.getPos(), action);
}
} finally {
mapLock.unlock();
}
}
}
if (result) {
session.rowActionList.add(row.rowAction);
} else {
if (!session.tempSet.isEmpty()) {
Session current = (Session) session.tempSet.get(0);
session.redoAction = true;
session.latch.countUp();
current.waitingSessions.add(session);
session.waitedSessions.add(current);
session.tempSet.clear();
throw Error.error(ErrorCode.X_40501);
}
}
return true;
}
return false;
*/
}
return action.canRead(session, mode);
}
public boolean canRead(Session session, PersistentStore store, long id,
int mode) {
if (store.getTable().tableType == TableBase.TEMP_TABLE) {
return true;
}
RowAction action = (RowAction) rowActionMap.get(id);
if (action == null) {
return true;
}
return action.canRead(session, mode);
}
public void addTransactionInfo(CachedObject object) {
if (object.isMemory()) {
return;
}
Row row = (Row) object;
if (row.getTable().tableType == TableBase.CACHED_TABLE) {
RowAction action = (RowAction) rowActionMap.get(object.getPos());
if (action != null) {
HsqlException e = Error.error(ErrorCode.X_40501,
"TXManager - row exists");
this.database.logger.logSevereEvent("TXManager MVROWS", e);
throw e;
}
rowActionMap.put(object.getPos(), row.rowAction);
}
}
/**
* add transaction info to a row just loaded from the cache. called only
* for CACHED tables
*/
public void setTransactionInfo(PersistentStore store,
CachedObject object) {
if (object.isMemory()) {
return;
}
Row row = (Row) object;
if (row.getTable().tableType == TableBase.CACHED_TABLE) {
RowAction rowact = (RowAction) rowActionMap.get(row.getPos());
row.rowAction = rowact;
}
}
/**
* remove the transaction info
*/
public void removeTransactionInfo(CachedObject object) {
if (object.isMemory()) {
return;
}
Row row = (Row) object;
if (row.getTable().tableType == TableBase.CACHED_TABLE) {
rowActionMap.remove(row.getPos());
}
}
public void removeTransactionInfo(long id) {
rowActionMap.getWriteLock().lock();
try {
RowAction action = (RowAction) rowActionMap.get(id);
synchronized (action) {
// remove only if not changed
if (action.type == RowActionBase.ACTION_NONE) {
rowActionMap.remove(id);
}
}
} finally {
rowActionMap.getWriteLock().unlock();
}
}
/**
* add a list of actions to the end of queue
*/
void addToCommittedQueue(Session session, Object[] list) {
synchronized (committedTransactionTimestamps) {
// add the txList according to commit timestamp
committedTransactions.addLast(list);
// get session commit timestamp
committedTransactionTimestamps.addLast(session.actionTimestamp);
/* debug 190
if (committedTransactions.size() > 64) {
System.out.println("******* excessive transaction queue");
}
// debug 190 */
}
}
/**
* expire all committed transactions that are no longer in scope
*/
void mergeExpiredTransactions(Session session) {
long timestamp = getFirstLiveTransactionTimestamp();
while (true) {
long commitTimestamp;
Object[] actions;
synchronized (committedTransactionTimestamps) {
if (committedTransactionTimestamps.isEmpty()) {
break;
}
commitTimestamp = committedTransactionTimestamps.getFirst();
if (commitTimestamp < timestamp) {
committedTransactionTimestamps.removeFirst();
actions = (Object[]) committedTransactions.removeFirst();
} else {
break;
}
}
mergeTransaction(actions, 0, actions.length, commitTimestamp);
finaliseRows(session, actions, 0, actions.length);
}
}
public void beginTransaction(Session session) {
writeLock.lock();
try {
if (!session.isTransaction) {
session.actionTimestamp = getNextGlobalChangeTimestamp();
session.transactionTimestamp = session.actionTimestamp;
session.isTransaction = true;
liveTransactionTimestamps.addLast(
session.transactionTimestamp);
transactionCount++;
}
} finally {
writeLock.unlock();
}
}
/**
* add session to the end of queue when a transaction starts
* (depending on isolation mode)
*/
public void beginAction(Session session, Statement cs) {
if (session.isTransaction) {
return;
}
if (cs == null) {
return;
}
writeLock.lock();
try {
if (cs.getCompileTimestamp()
< database.schemaManager.getSchemaChangeTimestamp()) {
cs = session.statementManager.getStatement(session, cs);
session.sessionContext.currentStatement = cs;
if (cs == null) {
return;
}
}
session.isPreTransaction = true;
if (!isLockedMode && !cs.isCatalogLock()) {
return;
}
beginActionTPL(session, cs);
} finally {
writeLock.unlock();
}
}
/**
* add session to the end of queue when a transaction starts
* (depending on isolation mode)
*/
public void beginActionResume(Session session) {
writeLock.lock();
try {
session.actionTimestamp = getNextGlobalChangeTimestamp();
if (!session.isTransaction) {
session.transactionTimestamp = session.actionTimestamp;
session.isTransaction = true;
liveTransactionTimestamps.addLast(
session.transactionTimestamp);
transactionCount++;
}
session.isPreTransaction = false;
} finally {
writeLock.unlock();
}
}
RowAction addDeleteActionToRow(Session session, Table table,
PersistentStore store, Row row,
int[] colMap) {
RowAction action = null;
synchronized (row) {
switch (table.tableType) {
case TableBase.CACHED_TABLE : {
rowActionMap.getWriteLock().lock();
try {
/* using rowActionMap as source */
action = (RowAction) rowActionMap.get(row.getPos());
if (action == null) {
action = RowAction.addDeleteAction(session, table,
row, colMap);
if (action != null) {
addTransactionInfo(row);
}
} else {
row.rowAction = action;
action = RowAction.addDeleteAction(session, table,
row, colMap);
}
} finally {
rowActionMap.getWriteLock().unlock();
}
break;
}
case TableBase.TEMP_TABLE : {
action = RowAction.addDeleteAction(session, table, row,
colMap);
store.delete(session, row);
row.rowAction = null;
break;
}
case TableBase.MEMORY_TABLE :
default :
action = RowAction.addDeleteAction(session, table, row,
colMap);
}
}
return action;
}
/**
* remove session from queue when a transaction ends
* and expire any committed transactions
* that are no longer required. remove transactions ended before the first
* timestamp in liveTransactionsSession queue
*/
void endTransaction(Session session) {
long timestamp = session.transactionTimestamp;
int index = liveTransactionTimestamps.indexOf(timestamp);
if (index >= 0) {
transactionCount--;
liveTransactionTimestamps.remove(index);
mergeExpiredTransactions(session);
}
}
private void countDownLatches(Session session) {
for (int i = 0; i < session.waitingSessions.size(); i++) {
Session current = (Session) session.waitingSessions.get(i);
current.waitedSessions.remove(session);
current.latch.countDown();
}
// waitedSessions is not empty if the latch is zeroed by a different session
session.waitedSessions.clear();
session.waitingSessions.clear();
}
void getTransactionSessions(HashSet set) {
Session[] sessions = database.sessionManager.getAllSessions();
for (int i = 0; i < sessions.length; i++) {
long timestamp = sessions[i].getTransactionTimestamp();
if (liveTransactionTimestamps.contains(timestamp)) {
set.add(sessions[i]);
} else if (sessions[i].isPreTransaction) {
set.add(sessions[i]);
} else if (sessions[i].isTransaction) {
set.add(sessions[i]);
}
}
}
void endTransactionTPL(Session session) {
if (catalogWriteSession != session) {
return;
}
Session nextSession = null;
for (int i = 0; i < session.waitingSessions.size(); i++) {
Session current = (Session) session.waitingSessions.get(i);
Statement st = current.sessionContext.currentStatement;
if (st != null && st.isCatalogLock()) {
nextSession = current;
break;
}
}
if (nextSession == null) {
catalogWriteSession = null;
isLockedMode = false;
} else {
for (int i = 0; i < session.waitingSessions.size(); i++) {
Session current = (Session) session.waitingSessions.get(i);
if (current != nextSession) {
current.waitedSessions.add(nextSession);
nextSession.waitingSessions.add(current);
current.latch.countUp();
}
}
catalogWriteSession = nextSession;
}
unlockTxTs = session.actionTimestamp;
unlockSessionId = session.getId();
}
boolean beginActionTPL(Session session, Statement cs) {
if (cs == null) {
return true;
}
if (session.abortTransaction) {
return false;
}
if (session == catalogWriteSession) {
return true;
}
session.tempSet.clear();
if (cs.isCatalogLock()) {
if (catalogWriteSession == null) {
catalogWriteSession = session;
isLockedMode = true;
lockTxTs = session.actionTimestamp;
lockSessionId = session.getId();
getTransactionSessions(session.tempSet);
session.tempSet.remove(session);
if (!session.tempSet.isEmpty()) {
setWaitingSessionTPL(session);
}
return true;
}
}
if (!isLockedMode) {
return true;
}
if (cs.getTableNamesForWrite().length > 0) {
if (cs.getTableNamesForWrite()[0].schema
== SqlInvariants.LOBS_SCHEMA_HSQLNAME) {
return true;
}
} else if (cs.getTableNamesForRead().length > 0) {
if (cs.getTableNamesForRead()[0].schema
== SqlInvariants.LOBS_SCHEMA_HSQLNAME) {
return true;
}
} else {
return true;
}
if (session.waitingSessions.contains(catalogWriteSession)) {
return true;
}
if (catalogWriteSession.waitingSessions.add(session)) {
session.waitedSessions.add(catalogWriteSession);
session.latch.countUp();
}
return true;
}
public void resetSession(Session session, Session targetSession,
int mode) {
super.resetSession(session, targetSession, mode);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy