| java.lang.Object
 com.jofti.store.FileManager
| FileManager | | class FileManager (Code) | | Manages files set up in Jofti. This manager sets up the files, allocates space in the files and
keeps track of the current poaitions in each file.
This is based on some of the ideas found in HOWL.
author:
xenephon |
| OVERFLOW_DIRECTORY | | protected String OVERFLOW_DIRECTORY(Code) | | keys into properties
|
| filePositions | | long[] filePositions(Code) | | array of positions for each store.
|
| payloadSize | | int payloadSize(Code) | | |
| removedBlockQueue | | protected LinkedBlockingQueue removedBlockQueue(Code) | | |
| unallocatedBlocks | | long[] unallocatedBlocks(Code) | | array of unalloctaed blocks fro each store.
See Also: FileManager.open() |
| FileManager | | FileManager()(Code) | | |
| allocateBlocks | | public FilePositionHolder[] allocateBlocks(FilePositionHolder[] blocks, int size) throws JoftiException(Code) | | Allocates an array of FilePositionHolder objects which encompasses the locations
of the page data across one or more files.
Parameters:
blocks - - existing file positions (if any)
Parameters:
size - - total number of bytes to store
throws:
JoftiException - |
| reset | | public synchronized void reset()(Code) | | |
|
|