public interface PointerHandler
| Modifier and Type | Method and Description |
|---|---|
void |
handleClose(long ptr,
long size)
Close or free the resource associated with the pointer.
|
void |
handleSync(long ptr,
long size,
long offset,
long length,
boolean invalidate)
Flush changes made to the pointer to disk/device.
|
void handleClose(long ptr,
long size)
ptr - the pointersize - the size of the pointer if known. Long.MAX_VALUE if not known.read - is the pointer marked for reading.write - is the pointer marked for writing.void handleSync(long ptr,
long size,
long offset,
long length,
boolean invalidate)
throws SyncFailedException
ptr - the pointersize - size of the pointer.read - is the pointer marked for reading.write - is the pointer marked for writing.offset - offset of the region to flush changeslength - length of the region to flush changesinvalidate - invalidate all cachesSyncFailedExceptionCopyright © 2024. All rights reserved.