org.neo4j.kernel.impl.api.KernelTransactions Maven / Gradle / Ivy
/*
* Copyright (c) 2018-2020 "Graph Foundation,"
* Graph Foundation, Inc. [https://graphfoundation.org]
*
* This file is part of ONgDB.
*
* ONgDB is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see
* This class maintains references to all transactions, a pool of passive kernel transactions, and provides
* capabilities
* for enumerating all running transactions. During normal operation, acquiring new transactions and enumerating live
* ones requires no synchronization (although the live list is not guaranteed to be exact).
*/
public class KernelTransactions extends LifecycleAdapter implements Supplier
{
private final StatementLocksFactory statementLocksFactory;
private final ConstraintIndexCreator constraintIndexCreator;
private final StatementOperationParts statementOperations;
private final SchemaWriteGuard schemaWriteGuard;
private final TransactionHeaderInformationFactory transactionHeaderInformationFactory;
private final TransactionCommitProcess transactionCommitProcess;
private final TransactionHooks hooks;
private final TransactionMonitor transactionMonitor;
private final AvailabilityGuard availabilityGuard;
private final Tracers tracers;
private final StorageEngine storageEngine;
private final Procedures procedures;
private final TransactionIdStore transactionIdStore;
private final AtomicReference cpuClockRef;
private final AtomicReference heapAllocationRef;
private final AccessCapability accessCapability;
private final Supplier explicitIndexTxStateSupplier;
private final SystemNanoClock clock;
private final VersionContextSupplier versionContextSupplier;
private final ReentrantReadWriteLock newTransactionsLock = new ReentrantReadWriteLock();
private final MonotonicCounter userTransactionIdCounter = MonotonicCounter.newAtomicMonotonicCounter();
private final Supplier cursorsSupplier;
private final AutoIndexing autoIndexing;
private final ExplicitIndexStore explicitIndexStore;
private final IndexingService indexingService;
private final IndexProviderMap indexProviderMap;
private final CollectionsFactorySupplier collectionsFactorySupplier;
private final SchemaState schemaState;
/**
* Used to enumerate all transactions in the system, active and idle ones.
*
* This data structure is *only* updated when brand-new transactions are created, or when transactions are disposed
* of. During normal operation (where all transactions come from and are returned to the pool), this will be left
* in peace, working solely as a collection of references to all transaction objects (idle and active) in the
* database.
*
* As such, it provides a good mechanism for listing all transactions without requiring synchronization when
* starting and committing transactions.
*/
private final Set allTransactions = newSetFromMap( new ConcurrentHashMap<>() );
// This is the factory that actually builds brand-new instances.
private final Factory factory = new KernelTransactionImplementationFactory( allTransactions );
// Global pool of transactions, wrapped by the thread-local marshland pool and so is not used directly.
private final LinkedQueuePool globalTxPool =
new GlobalKernelTransactionPool( allTransactions, factory );
// Pool of unused transactions.
private final MarshlandPool localTxPool = new MarshlandPool<>( globalTxPool );
private final ConstraintSemantics constraintSemantics;
/**
* Kernel transactions component status. True when stopped, false when started.
* Will not allow to start new transaction by stopped instance of kernel transactions.
* Should simplify tracking of stopped component usage by up the stack components.
*/
private volatile boolean stopped = true;
public KernelTransactions( StatementLocksFactory statementLocksFactory,
ConstraintIndexCreator constraintIndexCreator, StatementOperationParts statementOperations,
SchemaWriteGuard schemaWriteGuard, TransactionHeaderInformationFactory txHeaderFactory,
TransactionCommitProcess transactionCommitProcess, IndexConfigStore indexConfigStore,
ExplicitIndexProviderLookup explicitIndexProviderLookup, TransactionHooks hooks,
TransactionMonitor transactionMonitor, AvailabilityGuard availabilityGuard, Tracers tracers,
StorageEngine storageEngine, Procedures procedures, TransactionIdStore transactionIdStore,
SystemNanoClock clock,
AtomicReference cpuClockRef, AtomicReference heapAllocationRef, AccessCapability accessCapability,
Supplier cursorsSupplier,
AutoIndexing autoIndexing,
ExplicitIndexStore explicitIndexStore,
VersionContextSupplier versionContextSupplier,
CollectionsFactorySupplier collectionsFactorySupplier,
ConstraintSemantics constraintSemantics,
SchemaState schemaState,
IndexingService indexingService,
IndexProviderMap indexProviderMap )
{
this.statementLocksFactory = statementLocksFactory;
this.constraintIndexCreator = constraintIndexCreator;
this.statementOperations = statementOperations;
this.schemaWriteGuard = schemaWriteGuard;
this.transactionHeaderInformationFactory = txHeaderFactory;
this.transactionCommitProcess = transactionCommitProcess;
this.hooks = hooks;
this.transactionMonitor = transactionMonitor;
this.availabilityGuard = availabilityGuard;
this.tracers = tracers;
this.storageEngine = storageEngine;
this.procedures = procedures;
this.transactionIdStore = transactionIdStore;
this.cpuClockRef = cpuClockRef;
this.heapAllocationRef = heapAllocationRef;
this.accessCapability = accessCapability;
this.autoIndexing = autoIndexing;
this.explicitIndexStore = explicitIndexStore;
this.indexingService = indexingService;
this.indexProviderMap = indexProviderMap;
this.explicitIndexTxStateSupplier = () ->
new CachingExplicitIndexTransactionState(
new ExplicitIndexTransactionStateImpl( indexConfigStore, explicitIndexProviderLookup ) );
this.versionContextSupplier = versionContextSupplier;
this.clock = clock;
doBlockNewTransactions();
this.cursorsSupplier = cursorsSupplier;
this.collectionsFactorySupplier = collectionsFactorySupplier;
this.constraintSemantics = constraintSemantics;
this.schemaState = schemaState;
}
public KernelTransaction newInstance( KernelTransaction.Type type, LoginContext loginContext, long timeout )
{
assertCurrentThreadIsNotBlockingNewTransactions();
SecurityContext securityContext = loginContext.authorize( p -> storageEngine
.storeReadLayer().propertyKeyGetOrCreateForName( p ) );
try
{
while ( !newTransactionsLock.readLock().tryLock( 1, TimeUnit.SECONDS ) )
{
assertRunning();
}
try
{
assertRunning();
TransactionId lastCommittedTransaction = transactionIdStore.getLastCommittedTransaction();
KernelTransactionImplementation tx = localTxPool.acquire();
StatementLocks statementLocks = statementLocksFactory.newInstance();
tx.initialize( lastCommittedTransaction.transactionId(), lastCommittedTransaction.commitTimestamp(),
statementLocks, type, securityContext, timeout, userTransactionIdCounter.incrementAndGet() );
return tx;
}
finally
{
newTransactionsLock.readLock().unlock();
}
}
catch ( InterruptedException ie )
{
Thread.interrupted();
throw new TransactionFailureException( "Fail to start new transaction.", ie );
}
}
/**
* Give an approximate set of all transactions currently running.
* This is not guaranteed to be exact, as transactions may stop and start while this set is gathered.
*
* @return the (approximate) set of open transactions.
*/
public Set activeTransactions()
{
return allTransactions
.stream()
.map( this::createHandle )
.filter( KernelTransactionHandle::isOpen )
.collect( toSet() );
}
/**
* Dispose of all pooled transactions. This is done on shutdown or on internal events (like an HA mode switch) that
* require transactions to be re-created.
*/
public void disposeAll()
{
terminateTransactions();
localTxPool.close();
globalTxPool.close();
}
public void terminateTransactions()
{
markAllTransactionsAsTerminated();
}
private void markAllTransactionsAsTerminated()
{
// we mark all transactions for termination since we want to make sure these transactions
// won't be reused, ever. Each transaction has, among other things, a Locks.Client and we
// certainly want to keep that from being reused from this point.
allTransactions.forEach( tx -> tx.markForTermination( Status.General.DatabaseUnavailable ) );
}
public boolean haveClosingTransaction()
{
return allTransactions.stream().anyMatch( KernelTransactionImplementation::isClosing );
}
@Override
public void start()
{
stopped = false;
unblockNewTransactions();
}
@Override
public void stop()
{
blockNewTransactions();
stopped = true;
}
@Override
public void shutdown()
{
disposeAll();
}
@Override
public KernelTransactionsSnapshot get()
{
return new KernelTransactionsSnapshot( activeTransactions(), clock.millis() );
}
/**
* Do not allow new transactions to start until {@link #unblockNewTransactions()} is called. Current thread have
* responsibility of doing so.
*
* Blocking call.
*/
public void blockNewTransactions()
{
doBlockNewTransactions();
}
/**
* This is private since it's called from the constructor.
*/
private void doBlockNewTransactions()
{
newTransactionsLock.writeLock().lock();
}
/**
* Allow new transactions to be started again if current thread is the one who called
* {@link #blockNewTransactions()}.
*
* @throws IllegalStateException if current thread is not the one that called {@link #blockNewTransactions()}.
*/
public void unblockNewTransactions()
{
if ( !newTransactionsLock.writeLock().isHeldByCurrentThread() )
{
throw new IllegalStateException( "This thread did not block transactions previously" );
}
newTransactionsLock.writeLock().unlock();
}
/**
* Create new handle for the given transaction.
*
* Note: this method is package-private for testing only.
*
* @param tx transaction to wrap.
* @return transaction handle.
*/
KernelTransactionHandle createHandle( KernelTransactionImplementation tx )
{
return new KernelTransactionImplementationHandle( tx, clock );
}
private void assertRunning()
{
if ( availabilityGuard.isShutdown() )
{
throw new DatabaseShutdownException();
}
if ( stopped )
{
throw new IllegalStateException( "Can't start new transaction with stopped " + getClass() );
}
}
private void assertCurrentThreadIsNotBlockingNewTransactions()
{
if ( newTransactionsLock.isWriteLockedByCurrentThread() )
{
throw new IllegalStateException(
"Thread that is blocking new transactions from starting can't start new transaction" );
}
}
private class KernelTransactionImplementationFactory implements Factory
{
private final Set transactions;
KernelTransactionImplementationFactory( Set transactions )
{
this.transactions = transactions;
}
@Override
public KernelTransactionImplementation newInstance()
{
KernelTransactionImplementation tx =
new KernelTransactionImplementation( statementOperations, schemaWriteGuard, hooks,
constraintIndexCreator, procedures, transactionHeaderInformationFactory,
transactionCommitProcess, transactionMonitor, explicitIndexTxStateSupplier, localTxPool,
clock, cpuClockRef, heapAllocationRef, tracers.transactionTracer, tracers.lockTracer,
tracers.pageCursorTracerSupplier, storageEngine, accessCapability,
cursorsSupplier.get(), autoIndexing,
explicitIndexStore, versionContextSupplier, collectionsFactorySupplier, constraintSemantics,
schemaState, indexingService,
indexProviderMap );
this.transactions.add( tx );
return tx;
}
}
private static class GlobalKernelTransactionPool extends LinkedQueuePool
{
private final Set transactions;
GlobalKernelTransactionPool( Set transactions,
Factory factory )
{
super( 8, factory );
this.transactions = transactions;
}
@Override
protected void dispose( KernelTransactionImplementation tx )
{
transactions.remove( tx );
tx.dispose();
super.dispose( tx );
}
}
}