-
-
Notifications
You must be signed in to change notification settings - Fork 5
Expand file tree
/
Copy pathseparator.rs
More file actions
143 lines (123 loc) · 3.33 KB
/
separator.rs
File metadata and controls
143 lines (123 loc) · 3.33 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
use super::{Rabin64, RollingHash64};
pub struct Separator {
pub index: u64,
pub hash: u64,
}
pub struct SeparatorIter<I, F> {
iter: I,
predicate: F,
rabin: Rabin64,
index: u64,
}
impl<I> SeparatorIter<I, fn(u64) -> bool>
where
I: Iterator<Item = u8>,
{
pub fn new(iter: I) -> SeparatorIter<I, fn(u64) -> bool> {
// window_size: 1 << 6 == 64 bytes
let separator_size_nb_bits = 6;
#[inline]
fn default_predicate(x: u64) -> bool {
const BITMASK: u64 = (1u64 << 13) - 1;
x & BITMASK == BITMASK
}
Self::custom_new(iter, separator_size_nb_bits, default_predicate)
}
}
impl<I, F> SeparatorIter<I, F>
where
I: Iterator<Item = u8>,
F: Fn(u64) -> bool,
{
pub fn custom_new(
mut iter: I,
separator_size_nb_bits: u32,
predicate: F,
) -> SeparatorIter<I, F> {
let mut rabin = Rabin64::new(separator_size_nb_bits);
let index = rabin.reset_and_prefill_window(&mut iter) as u64;
SeparatorIter {
iter,
predicate,
rabin,
index,
}
}
}
impl<I, F> Iterator for SeparatorIter<I, F>
where
I: Iterator<Item = u8>,
F: Fn(u64) -> bool,
{
type Item = Separator;
#[inline]
fn next(&mut self) -> Option<Self::Item> {
while let Some(byte) = self.iter.next() {
self.rabin.slide(byte);
self.index += 1;
if (self.predicate)(self.rabin.hash) {
let separator = Separator {
index: self.index,
hash: self.rabin.hash,
};
// Note: We skip subsequent separators which may overlap the current one.
self.index += self.rabin.reset_and_prefill_window(&mut self.iter) as u64;
return Some(separator);
}
}
None
}
}
// Converts a separator's hash to a level.
pub struct HashToLevel {
lvl0_nb_bits: u32,
lvlup_nb_bits: u32,
lvlup_bitmask: u64,
}
impl HashToLevel {
pub fn new() -> HashToLevel {
Self::custom_new(13, 3)
}
pub fn custom_new(lvl0_nb_bits: u32, lvlup_nb_bits: u32) -> HashToLevel {
HashToLevel {
lvl0_nb_bits,
lvlup_nb_bits,
lvlup_bitmask: (1u64 << lvlup_nb_bits) - 1,
}
}
pub fn to_level(&self, hash: u64) -> usize {
let mut level = 0usize;
let mut h = hash >> self.lvl0_nb_bits;
while h & self.lvlup_bitmask == self.lvlup_bitmask {
level += 1;
h >>= self.lvlup_nb_bits;
}
level
}
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn hash_to_level() {
let converter = HashToLevel::custom_new(4, 2);
for n in 0..4 {
assert_eq!(converter.to_level((9u64 << n) - 1), 0);
}
for n in 4..6 {
assert_eq!(converter.to_level((9u64 << n) - 1), 0);
}
for n in 6..8 {
assert_eq!(converter.to_level((9u64 << n) - 1), 1);
}
for n in 8..10 {
assert_eq!(converter.to_level((9u64 << n) - 1), 2);
}
for n in 10..12 {
assert_eq!(converter.to_level((9u64 << n) - 1), 3);
}
for n in 12..14 {
assert_eq!(converter.to_level((9u64 << n) - 1), 4);
}
}
}