Module util

Source

Structs§

Serial

Enums§

DataDirEntry
A single data file and optionally its associated hint-file. Note that it is an error to have a hintfile witout a datafile.
FileKind

Traits§

LogicalClock

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§

DataDirContents
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.
FileIDGen
SerialLogicalClock