public class CacheManager extends Object
MemorySegments.| 构造器和说明 |
|---|
CacheManager(int pageSize,
MemorySize maxMemorySize) |
| 限定符和类型 | 方法和说明 |
|---|---|
MemorySegment |
getPage(RandomAccessFile file,
int pageNumber,
java.util.function.Consumer<Integer> cleanCallback) |
void |
invalidPage(RandomAccessFile file,
int pageNumber) |
int |
pageSize() |
public CacheManager(int pageSize,
MemorySize maxMemorySize)
public int pageSize()
public MemorySegment getPage(RandomAccessFile file, int pageNumber, java.util.function.Consumer<Integer> cleanCallback)
public void invalidPage(RandomAccessFile file, int pageNumber)
Copyright © 2023 The Apache Software Foundation. All rights reserved.