line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
1
|
|
|
|
|
|
|
package Gzip::BinarySearch; |
2
|
|
|
|
|
|
|
|
3
|
9
|
|
|
9
|
|
291045
|
use strict; |
|
9
|
|
|
|
|
24
|
|
|
9
|
|
|
|
|
291
|
|
4
|
9
|
|
|
9
|
|
47
|
use warnings; |
|
9
|
|
|
|
|
18
|
|
|
9
|
|
|
|
|
465
|
|
5
|
9
|
|
|
9
|
|
46
|
use Carp; |
|
9
|
|
|
|
|
20
|
|
|
9
|
|
|
|
|
931
|
|
6
|
9
|
|
|
9
|
|
52
|
use List::Util qw(min max); |
|
9
|
|
|
|
|
16
|
|
|
9
|
|
|
|
|
1958
|
|
7
|
9
|
|
|
9
|
|
15683
|
use Gzip::RandomAccess; |
|
0
|
|
|
|
|
|
|
|
0
|
|
|
|
|
|
|
8
|
|
|
|
|
|
|
|
9
|
|
|
|
|
|
|
our $VERSION = '0.91'; |
10
|
|
|
|
|
|
|
|
11
|
|
|
|
|
|
|
BEGIN { |
12
|
|
|
|
|
|
|
use Exporter; |
13
|
|
|
|
|
|
|
our @ISA = qw(Exporter); |
14
|
|
|
|
|
|
|
our @EXPORT_OK = qw(fs_column tsv_column); |
15
|
|
|
|
|
|
|
} |
16
|
|
|
|
|
|
|
|
17
|
|
|
|
|
|
|
# When binary searching, assume this is the biggest line we'll find. |
18
|
|
|
|
|
|
|
# We'll try this first, then try a bigger decompression if it fails. |
19
|
|
|
|
|
|
|
my $DEFAULT_EST_LINE_LENGTH = 512; |
20
|
|
|
|
|
|
|
|
21
|
|
|
|
|
|
|
# When looking for adjacent identical lines (find_all) extract this |
22
|
|
|
|
|
|
|
# many bytes at a time. |
23
|
|
|
|
|
|
|
my $DEFAULT_SURROUNDING_LINES_BLOCKSIZE = 4096; |
24
|
|
|
|
|
|
|
|
25
|
|
|
|
|
|
|
my @GRA_ALLOWED_ARGS = qw(file index_file index_span cleanup); |
26
|
|
|
|
|
|
|
my %ALLOWED_ARGS = map { $_ => 1 } ( |
27
|
|
|
|
|
|
|
@GRA_ALLOWED_ARGS, qw(key_func cmp_func), |
28
|
|
|
|
|
|
|
qw(est_line_length surrounding_lines_blocksize), |
29
|
|
|
|
|
|
|
); |
30
|
|
|
|
|
|
|
|
31
|
|
|
|
|
|
|
sub new { |
32
|
|
|
|
|
|
|
my ($class, %args) = @_; |
33
|
|
|
|
|
|
|
my $gzip = $class->_build_gzip(%args); |
34
|
|
|
|
|
|
|
for my $key (keys %args) { |
35
|
|
|
|
|
|
|
$ALLOWED_ARGS{$key} or croak "Invalid argument '$key'"; |
36
|
|
|
|
|
|
|
} |
37
|
|
|
|
|
|
|
|
38
|
|
|
|
|
|
|
my $key_func = $args{key_func} || fs_column(qr/\s+/, 1); |
39
|
|
|
|
|
|
|
my $cmp_func = $args{cmp_func} || sub { $main::a cmp $main::b }; |
40
|
|
|
|
|
|
|
|
41
|
|
|
|
|
|
|
my $est_line_length = $args{est_line_length} |
42
|
|
|
|
|
|
|
|| $DEFAULT_EST_LINE_LENGTH; |
43
|
|
|
|
|
|
|
|
44
|
|
|
|
|
|
|
my $surrounding_lines_blocksize = $args{surrounding_lines_blocksize} |
45
|
|
|
|
|
|
|
|| $DEFAULT_SURROUNDING_LINES_BLOCKSIZE; |
46
|
|
|
|
|
|
|
|
47
|
|
|
|
|
|
|
bless { |
48
|
|
|
|
|
|
|
gzip => $gzip, |
49
|
|
|
|
|
|
|
max_offset => $gzip->uncompressed_size - 1, |
50
|
|
|
|
|
|
|
est_line_length => $est_line_length, |
51
|
|
|
|
|
|
|
surrounding_lines_blocksize => $surrounding_lines_blocksize, |
52
|
|
|
|
|
|
|
key_func => $key_func, |
53
|
|
|
|
|
|
|
cmp_func => $cmp_func, |
54
|
|
|
|
|
|
|
}, $class; |
55
|
|
|
|
|
|
|
} |
56
|
|
|
|
|
|
|
|
57
|
|
|
|
|
|
|
sub find { |
58
|
|
|
|
|
|
|
my ($self, $key) = @_; |
59
|
|
|
|
|
|
|
|
60
|
|
|
|
|
|
|
my ($line, $mid) = $self->_find($key); |
61
|
|
|
|
|
|
|
return $line if defined $line; |
62
|
|
|
|
|
|
|
return; |
63
|
|
|
|
|
|
|
} |
64
|
|
|
|
|
|
|
|
65
|
|
|
|
|
|
|
sub find_all { |
66
|
|
|
|
|
|
|
my ($self, $key) = @_; |
67
|
|
|
|
|
|
|
|
68
|
|
|
|
|
|
|
my ($line, $mid) = $self->_find($key); |
69
|
|
|
|
|
|
|
if (defined $line) { |
70
|
|
|
|
|
|
|
return $self->_search_surrounding_lines($key, $line, $mid); |
71
|
|
|
|
|
|
|
} |
72
|
|
|
|
|
|
|
return; |
73
|
|
|
|
|
|
|
} |
74
|
|
|
|
|
|
|
|
75
|
|
|
|
|
|
|
sub gzip { shift->{gzip} } |
76
|
|
|
|
|
|
|
sub est_line_length { shift->{est_line_length} } |
77
|
|
|
|
|
|
|
sub surrounding_lines_blocksize { shift->{surrounding_lines_blocksize} } |
78
|
|
|
|
|
|
|
|
79
|
|
|
|
|
|
|
# Convenience functions |
80
|
|
|
|
|
|
|
sub fs_column { |
81
|
|
|
|
|
|
|
my ($field_sep, $column_number) = @_; |
82
|
|
|
|
|
|
|
croak "Invalid column number, should be 1-based" |
83
|
|
|
|
|
|
|
if $column_number < 1; |
84
|
|
|
|
|
|
|
|
85
|
|
|
|
|
|
|
if (!ref $field_sep && $field_sep eq ' ') { |
86
|
|
|
|
|
|
|
# Force Perl to match a space, not \s+ |
87
|
|
|
|
|
|
|
$field_sep = qr/ /; |
88
|
|
|
|
|
|
|
} |
89
|
|
|
|
|
|
|
|
90
|
|
|
|
|
|
|
return sub { |
91
|
|
|
|
|
|
|
chomp; |
92
|
|
|
|
|
|
|
my @f = split $field_sep, $_, -1; |
93
|
|
|
|
|
|
|
return $f[$column_number - 1]; |
94
|
|
|
|
|
|
|
} |
95
|
|
|
|
|
|
|
} |
96
|
|
|
|
|
|
|
|
97
|
|
|
|
|
|
|
sub tsv_column { |
98
|
|
|
|
|
|
|
my $column_number = shift; |
99
|
|
|
|
|
|
|
return fs_column("\t", $column_number); |
100
|
|
|
|
|
|
|
} |
101
|
|
|
|
|
|
|
|
102
|
|
|
|
|
|
|
# Given a key, binary search for the first line encountered with this key, |
103
|
|
|
|
|
|
|
# and return both the line and its offset in the uncompressed data. |
104
|
|
|
|
|
|
|
# Return nothing if the key was not found. |
105
|
|
|
|
|
|
|
sub _find { |
106
|
|
|
|
|
|
|
my ($self, $key) = @_; |
107
|
|
|
|
|
|
|
my ($low, $high, $mid) = (0, $self->{max_offset}, undef); |
108
|
|
|
|
|
|
|
|
109
|
|
|
|
|
|
|
while ($low <= $high) { |
110
|
|
|
|
|
|
|
$mid = int(($low + $high) / 2); |
111
|
|
|
|
|
|
|
my $line = $self->_get_line_at($mid); |
112
|
|
|
|
|
|
|
my $line_key = $self->_get_key($line); |
113
|
|
|
|
|
|
|
my $cmp = $self->_compare_keys($line_key, $key); |
114
|
|
|
|
|
|
|
|
115
|
|
|
|
|
|
|
if ($cmp < 0) { |
116
|
|
|
|
|
|
|
$low = $mid + 1; |
117
|
|
|
|
|
|
|
} |
118
|
|
|
|
|
|
|
elsif ($cmp > 0) { |
119
|
|
|
|
|
|
|
$high = $mid - 1; |
120
|
|
|
|
|
|
|
} |
121
|
|
|
|
|
|
|
else { |
122
|
|
|
|
|
|
|
return ($line, $mid); |
123
|
|
|
|
|
|
|
} |
124
|
|
|
|
|
|
|
} |
125
|
|
|
|
|
|
|
|
126
|
|
|
|
|
|
|
# Key not found |
127
|
|
|
|
|
|
|
return; |
128
|
|
|
|
|
|
|
} |
129
|
|
|
|
|
|
|
|
130
|
|
|
|
|
|
|
# Given an offset, return the entire line 'around' that offset. |
131
|
|
|
|
|
|
|
# This includes any trailing newline character. |
132
|
|
|
|
|
|
|
# If the offset is a newline, it will be counted as part of the preceding line. |
133
|
|
|
|
|
|
|
sub _get_line_at { |
134
|
|
|
|
|
|
|
my ($self, $offset) = @_; |
135
|
|
|
|
|
|
|
my $L = $self->{est_line_length}; |
136
|
|
|
|
|
|
|
|
137
|
|
|
|
|
|
|
my $seek_start = max($offset - $L, 0); # global offset |
138
|
|
|
|
|
|
|
my $seek_length = $L * 2; |
139
|
|
|
|
|
|
|
my $midpoint = $offset - $seek_start; # relative to extracted $block, not global |
140
|
|
|
|
|
|
|
|
141
|
|
|
|
|
|
|
my $line; |
142
|
|
|
|
|
|
|
while (!defined $line) { |
143
|
|
|
|
|
|
|
my $block = $self->{gzip}->extract($seek_start, $seek_length); |
144
|
|
|
|
|
|
|
|
145
|
|
|
|
|
|
|
my $prev_nl = rindex($block, "\n", $midpoint - 1); # -1 if no match |
146
|
|
|
|
|
|
|
my $next_nl = index($block, "\n", $midpoint); |
147
|
|
|
|
|
|
|
|
148
|
|
|
|
|
|
|
if ($prev_nl == -1 && $seek_start > 0) { |
149
|
|
|
|
|
|
|
my $extension = min($L, $seek_start); |
150
|
|
|
|
|
|
|
$seek_start -= $extension; |
151
|
|
|
|
|
|
|
$seek_length += $extension; |
152
|
|
|
|
|
|
|
$midpoint += $extension; |
153
|
|
|
|
|
|
|
} |
154
|
|
|
|
|
|
|
elsif ($next_nl == -1 && $seek_start + $seek_length < $self->{max_offset}) { |
155
|
|
|
|
|
|
|
$seek_length += $L; |
156
|
|
|
|
|
|
|
} |
157
|
|
|
|
|
|
|
else { |
158
|
|
|
|
|
|
|
$next_nl = length($block) if $next_nl == -1; # no EOF newline - use last char |
159
|
|
|
|
|
|
|
$line = substr($block, $prev_nl + 1, $next_nl - $prev_nl); |
160
|
|
|
|
|
|
|
} |
161
|
|
|
|
|
|
|
} |
162
|
|
|
|
|
|
|
|
163
|
|
|
|
|
|
|
return $line; |
164
|
|
|
|
|
|
|
} |
165
|
|
|
|
|
|
|
|
166
|
|
|
|
|
|
|
sub _get_key { |
167
|
|
|
|
|
|
|
my ($self, $line) = @_; |
168
|
|
|
|
|
|
|
local *::_ = \$line; |
169
|
|
|
|
|
|
|
return $self->{key_func}->(); |
170
|
|
|
|
|
|
|
} |
171
|
|
|
|
|
|
|
|
172
|
|
|
|
|
|
|
sub _compare_keys { |
173
|
|
|
|
|
|
|
my ($self, $key1, $key2) = @_; |
174
|
|
|
|
|
|
|
local (*::a, *::b) = (\$key1, \$key2); |
175
|
|
|
|
|
|
|
return $self->{cmp_func}->(); |
176
|
|
|
|
|
|
|
|
177
|
|
|
|
|
|
|
} |
178
|
|
|
|
|
|
|
|
179
|
|
|
|
|
|
|
# Given a line and a seekpoint in the uncompressed data, look forwards and backwards |
180
|
|
|
|
|
|
|
# for adjacent lines with the same key. Return matching lines in same order as file. |
181
|
|
|
|
|
|
|
sub _search_surrounding_lines { |
182
|
|
|
|
|
|
|
my ($self, $query, $mid_line, $mid) = @_; |
183
|
|
|
|
|
|
|
# Problem description: |
184
|
|
|
|
|
|
|
# when searching for 'zits', the algorithm expands, then shrinks line-by-line |
185
|
|
|
|
|
|
|
# at the end it trims the string to "zings\nzits\n..." and for some reason the |
186
|
|
|
|
|
|
|
# zits offset isn't used to trim it further. |
187
|
|
|
|
|
|
|
# you'll notice the _compare_keys thing which means $result_start is never set |
188
|
|
|
|
|
|
|
# if we're shrinking (?) |
189
|
|
|
|
|
|
|
|
190
|
|
|
|
|
|
|
my $block_start = max($mid - length($mid_line) + 1, 0); |
191
|
|
|
|
|
|
|
my $block_end = min($mid + length($mid_line) - 1, $self->{max_offset}); |
192
|
|
|
|
|
|
|
my $block = $self->{gzip}->extract($block_start, $block_end - $block_start); |
193
|
|
|
|
|
|
|
|
194
|
|
|
|
|
|
|
# offsets for the result range, relative to block_start |
195
|
|
|
|
|
|
|
my ($result_start, $result_end) = (0, $block_end - $block_start); |
196
|
|
|
|
|
|
|
|
197
|
|
|
|
|
|
|
my $shrinking = 0; |
198
|
|
|
|
|
|
|
while (1) { |
199
|
|
|
|
|
|
|
my ($line, $offset) = $self->_first_line($block, $result_start, $result_end, $block_start == 0); |
200
|
|
|
|
|
|
|
if (!defined $line || $self->_compare_keys($self->_get_key($line), $query) == 0) { |
201
|
|
|
|
|
|
|
last if $shrinking; |
202
|
|
|
|
|
|
|
last if $block_start == 0; # can't expand further |
203
|
|
|
|
|
|
|
# Expand left |
204
|
|
|
|
|
|
|
my $ex = min($self->{surrounding_lines_blocksize}, $block_start); |
205
|
|
|
|
|
|
|
$block_start -= $ex; |
206
|
|
|
|
|
|
|
$result_end += $ex; |
207
|
|
|
|
|
|
|
my $chunk = $self->{gzip}->extract($block_start, $ex); |
208
|
|
|
|
|
|
|
$block = $chunk . $block; |
209
|
|
|
|
|
|
|
} |
210
|
|
|
|
|
|
|
else { |
211
|
|
|
|
|
|
|
# Shrink |
212
|
|
|
|
|
|
|
$result_start = $offset + length($line); |
213
|
|
|
|
|
|
|
$shrinking = 1; |
214
|
|
|
|
|
|
|
} |
215
|
|
|
|
|
|
|
} |
216
|
|
|
|
|
|
|
my ($line, $offset) = $self->_first_line($block, $result_start, $result_end, $block_start == 0); |
217
|
|
|
|
|
|
|
$result_start = $offset; |
218
|
|
|
|
|
|
|
|
219
|
|
|
|
|
|
|
$shrinking = 0; |
220
|
|
|
|
|
|
|
while (1) { |
221
|
|
|
|
|
|
|
my ($line, $offset) = $self->_last_line($block, $result_start, $result_end, $result_end == $self->{max_offset}); |
222
|
|
|
|
|
|
|
if (!defined $line || $self->_compare_keys($self->_get_key($line), $query) == 0) { |
223
|
|
|
|
|
|
|
last if $shrinking; |
224
|
|
|
|
|
|
|
last if $block_end == $self->{max_offset}; |
225
|
|
|
|
|
|
|
# Expand right |
226
|
|
|
|
|
|
|
my $ex = min($self->{surrounding_lines_blocksize}, $self->{max_offset} - $block_end); |
227
|
|
|
|
|
|
|
my $chunk = $self->{gzip}->extract($block_end, $ex); |
228
|
|
|
|
|
|
|
$block_end += $ex; |
229
|
|
|
|
|
|
|
$result_end += $ex; |
230
|
|
|
|
|
|
|
$block .= $chunk; |
231
|
|
|
|
|
|
|
} |
232
|
|
|
|
|
|
|
else { |
233
|
|
|
|
|
|
|
$result_end = $offset - 1; |
234
|
|
|
|
|
|
|
$shrinking = 1; |
235
|
|
|
|
|
|
|
} |
236
|
|
|
|
|
|
|
} |
237
|
|
|
|
|
|
|
|
238
|
|
|
|
|
|
|
my $result = substr($block, $result_start, $result_end - $result_start); |
239
|
|
|
|
|
|
|
return map { "$_\n" } split /\n/, $result; |
240
|
|
|
|
|
|
|
} |
241
|
|
|
|
|
|
|
|
242
|
|
|
|
|
|
|
# Get the first complete line from the block, limiting to a range from |
243
|
|
|
|
|
|
|
# $start to $end (inclusive). If $allow_incomplete, we instead return |
244
|
|
|
|
|
|
|
# all data up to the first \n. |
245
|
|
|
|
|
|
|
# Also return the offset of the start of this line, relative to the |
246
|
|
|
|
|
|
|
# entire text block. |
247
|
|
|
|
|
|
|
# Return nothing if we need more data (left/right) to get a full line. |
248
|
|
|
|
|
|
|
sub _first_line { |
249
|
|
|
|
|
|
|
my ($self, $block, $start, $end, $allow_incomplete) = @_; |
250
|
|
|
|
|
|
|
my $nl = index($block, "\n", $start); |
251
|
|
|
|
|
|
|
$nl = -1 if $nl > $end; |
252
|
|
|
|
|
|
|
if ($allow_incomplete) { |
253
|
|
|
|
|
|
|
$nl = $end if $nl == -1; |
254
|
|
|
|
|
|
|
return (substr($block, $start, $nl - $start + 1), $start); |
255
|
|
|
|
|
|
|
} |
256
|
|
|
|
|
|
|
else { |
257
|
|
|
|
|
|
|
return if $nl == -1; # more data needed |
258
|
|
|
|
|
|
|
my $nl2 = index($block, "\n", $nl + 1); |
259
|
|
|
|
|
|
|
die if $nl2 < $start && $nl2 != -1; |
260
|
|
|
|
|
|
|
return if $nl2 == -1 || $nl2 > $end; |
261
|
|
|
|
|
|
|
return (substr($block, $nl + 1, $nl2 - $nl), $nl + 1); |
262
|
|
|
|
|
|
|
} |
263
|
|
|
|
|
|
|
} |
264
|
|
|
|
|
|
|
|
265
|
|
|
|
|
|
|
# Same deal as above, but for the last line. $allow_incomplete |
266
|
|
|
|
|
|
|
# returns all data from the last \n onwards, and ignores a |
267
|
|
|
|
|
|
|
# trailing newline at the end of the range. |
268
|
|
|
|
|
|
|
sub _last_line { |
269
|
|
|
|
|
|
|
my ($self, $block, $start, $end, $allow_incomplete) = @_; |
270
|
|
|
|
|
|
|
my $nl = rindex($block, "\n", $end); |
271
|
|
|
|
|
|
|
$nl = -1 if $nl < $start; |
272
|
|
|
|
|
|
|
if ($allow_incomplete) { |
273
|
|
|
|
|
|
|
$nl = rindex($block, "\n", $nl - 1) if $nl == $end; # ignore trailing newline |
274
|
|
|
|
|
|
|
$nl = $start - 1 if $nl == -1; # pretend there's one |
275
|
|
|
|
|
|
|
return (substr($block, $nl + 1, $end - $nl), $nl + 1); |
276
|
|
|
|
|
|
|
} |
277
|
|
|
|
|
|
|
else { |
278
|
|
|
|
|
|
|
return if $nl == -1; # more data needed |
279
|
|
|
|
|
|
|
my $nl2 = rindex($block, "\n", $nl - 1); |
280
|
|
|
|
|
|
|
die if $nl2 > $end && $nl2 != -1; |
281
|
|
|
|
|
|
|
return if $nl2 == -1 || $nl2 < $start; |
282
|
|
|
|
|
|
|
return (substr($block, $nl2 + 1, $nl - $nl2), $nl2 + 1); |
283
|
|
|
|
|
|
|
} |
284
|
|
|
|
|
|
|
} |
285
|
|
|
|
|
|
|
|
286
|
|
|
|
|
|
|
# Build and return the Gzip::RandomAccess object. |
287
|
|
|
|
|
|
|
sub _build_gzip { |
288
|
|
|
|
|
|
|
my ($class, %args) = @_; |
289
|
|
|
|
|
|
|
|
290
|
|
|
|
|
|
|
my %gra_args; |
291
|
|
|
|
|
|
|
for my $key (@GRA_ALLOWED_ARGS) { |
292
|
|
|
|
|
|
|
$gra_args{$key} = $args{$key} if exists $args{$key}; |
293
|
|
|
|
|
|
|
} |
294
|
|
|
|
|
|
|
|
295
|
|
|
|
|
|
|
return Gzip::RandomAccess->new(%gra_args); |
296
|
|
|
|
|
|
|
} |
297
|
|
|
|
|
|
|
|
298
|
|
|
|
|
|
|
__END__ |