private static class BufferManager.BatchModeData
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private int |
batchDepth
Scope depth at which batch assign mode began; -1 if not in batch assign mode
|
private java.util.Set<RecordBuffer> |
dirtyBatchBuffers
Set of dirty batch assign mode buffers requiring validation
|
Constructor and Description |
---|
BatchModeData()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
(package private) void |
activate(int batchDepth)
Activate batch assign mode.
|
private int batchDepth
private java.util.Set<RecordBuffer> dirtyBatchBuffers