pub struct Info {
pub count: u64,
pub len: u64,
pub next_insert: u64,
pub slices: u64,
pub directory_size: u64,
pub slice_size: u64,
pub dense_slices: u64,
pub sparse_slices: u64,
pub avg_dense_size: f64,
pub avg_dense_fill: f64,
pub avg_sparse_size: f64,
}Expand description
What ARINFO reports, which is the shape of the array and not its contents.
Three of these describe our directory rather than Redis’s, which is D-20: the slice count and the two directory numbers are about a sorted vector of slices where Redis has a growable table and, past a point, a second level above it. Everything else means the same thing in both.
Fields§
§count: u64How many indices hold something.
len: u64The highest populated index plus one.
next_insert: u64Where the next append would go, and zero when there is nowhere.
slices: u64How many slices the array is made of.
directory_size: u64How many slots the directory has room for.
slice_size: u64How many indices one slice covers.
dense_slices: u64How many slices are holding a window of consecutive positions.
sparse_slices: u64How many are holding offsets and words in parallel.
avg_dense_size: f64The mean width of a dense window, in positions.
avg_dense_fill: f64How much of that width is populated, between zero and one.
avg_sparse_size: f64The mean number of entries a sparse slice has room for.