Structs§
Enums§
- Data
DirEntry - A single data file and optionally its associated hint-file. Note that it is an error to have a hintfile witout a datafile.
- File
Kind
Traits§
Functions§
- checksum_
crc32 - file_
id_ from_ path - rand_
bytes - rand_
str - rand_
str_ with_ rand_ size - read_
data_ dir_ contents - Returns a HashMap from FileId to (DataFile, HintFile). HintFile can be absent when a DataFile is there, but the reverse should never happen, and this function panics in that case.
- read_
from_ file - sizeof_
val - write_
to_ file
Type Aliases§
- Data
DirContents - The datadir is a folder on_di the filesystem where we store our datafiles and hintfiles. This data structure maps a given file id to a tuple that contains the path to the corresponding active file and the hint file, respectively.
- FileID
Gen - Serial
Logical Clock