public interface PinEvent
| Modifier and Type | Field and Description |
|---|---|
static PinEvent |
NULL
A PinEvent that does nothing other than return the PageFaultEvent.NULL.
|
| Modifier and Type | Method and Description |
|---|---|
PageFaultEvent |
beginPageFault()
The page we want to pin is not in memory, so being a page fault to load it in.
|
void |
done()
The pinning has completed and the page is now unpinned.
|
void |
setCachePageId(int cachePageId)
The id of the cache page that holds the file page we pinned.
|
static final PinEvent NULL
void setCachePageId(int cachePageId)
PageFaultEvent beginPageFault()
void done()
Copyright © 2002–2015 The Neo4j Graph Database Project. All rights reserved.