1 # Copyright (C) 2018-2020 all contributors <meta@public-inbox.org>
2 # License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt>
4 # for XOVER, OVER in NNTP, and feeds/homepage/threads in PSGI
5 # Unlike Msgmap, this is an _UNSTABLE_ cache which can be
6 # tweaked/updated over time and rebuilt.
8 # Ghost messages (messages which are only referenced in References/In-Reply-To)
9 # are denoted by a negative NNTP article number.
10 package PublicInbox::OverIdx;
13 use parent qw(PublicInbox::Over);
15 use DBI qw(:sql_types); # SQL_BLOB
16 use PublicInbox::MID qw/id_compress mids_for_index references/;
17 use PublicInbox::Smsg qw(subject_normalized);
18 use Compress::Zlib qw(compress);
23 my $dbh = $self->SUPER::dbh_new($self->{-no_fsync} ? 2 : 1);
25 # 80000 pages (80MiB on SQLite <3.12.0, 320MiB on 3.12.0+)
26 # was found to be good in 2018 during the large LKML import
27 # at the time. This ought to be configurable based on HW
28 # and inbox size; I suspect it's overkill for many inboxes.
29 $dbh->do('PRAGMA cache_size = 80000');
37 my $self = $class->SUPER::new($f);
42 sub get_counter ($$) {
44 my $sth = $dbh->prepare_cached(<<'', undef, 1);
45 SELECT val FROM counter WHERE key = ? LIMIT 1
51 sub adj_counter ($$$) {
52 my ($self, $key, $op) = @_;
53 my $dbh = $self->{dbh};
54 my $sth = $dbh->prepare_cached(<<"");
55 UPDATE counter SET val = val $op 1 WHERE key = ?
59 get_counter($dbh, $key);
62 sub next_tid { adj_counter($_[0], 'thread', '+') }
63 sub next_ghost_num { adj_counter($_[0], 'ghost', '-') }
66 my ($self, $tbl, $id_col, $val_col, $val) = @_;
67 my $dbh = $self->{dbh};
68 my $in = $dbh->prepare_cached(<<"")->execute($val);
69 INSERT OR IGNORE INTO $tbl ($val_col) VALUES (?)
72 my $sth = $dbh->prepare_cached(<<"", undef, 1);
73 SELECT $id_col FROM $tbl WHERE $val_col = ? LIMIT 1
78 $dbh->last_insert_id(undef, undef, $tbl, $id_col);
83 my ($self, $path) = @_;
84 return unless defined $path && $path ne '';
85 id_for($self, 'subject', 'sid', 'path' => $path);
89 my ($self, $mid) = @_;
90 id_for($self, 'msgid', 'id', 'mid' => $mid);
94 my ($self, $num, $tid_ref) = @_;
95 my $dbh = $self->{dbh};
97 my $sth = $dbh->prepare_cached(<<'', undef, 1);
98 SELECT tid FROM over WHERE num = ? LIMIT 1
101 $$tid_ref = $sth->fetchrow_array; # may be undef
103 foreach (qw(over id2num)) {
104 $dbh->prepare_cached(<<"")->execute($num);
105 DELETE FROM $_ WHERE num = ?
110 # this includes ghosts
112 my ($self, $mid, $cols, $cb, @arg) = @_;
113 my $dbh = $self->{dbh};
116 I originally wanted to stuff everything into a single query:
118 SELECT over.* FROM over
119 LEFT JOIN id2num ON over.num = id2num.num
120 LEFT JOIN msgid ON msgid.id = id2num.id
121 WHERE msgid.mid = ? AND over.num >= ?
122 ORDER BY over.num ASC
125 But it's faster broken out (and we're always in a
126 transaction for subroutines in this file)
129 my $sth = $dbh->prepare_cached(<<'', undef, 1);
130 SELECT id FROM msgid WHERE mid = ? LIMIT 1
133 my $id = $sth->fetchrow_array;
134 defined $id or return;
137 $cols = join(',', map { $_ } @$cols);
139 my $prev = get_counter($dbh, 'ghost');
141 $sth = $dbh->prepare_cached(<<"", undef, 1);
142 SELECT num FROM id2num WHERE id = ? AND num >= ?
146 $sth->execute($id, $prev);
147 my $nums = $sth->fetchall_arrayref;
148 my $nr = scalar(@$nums) or return;
149 $prev = $nums->[-1]->[0];
151 $sth = $dbh->prepare_cached(<<"", undef, 1);
152 SELECT $cols FROM over WHERE over.num = ? LIMIT 1
155 $sth->execute($_->[0]);
156 my $smsg = $sth->fetchrow_hashref;
157 $smsg = PublicInbox::Over::load_from_row($smsg);
158 $cb->($self, $smsg, @arg) or return;
160 return if $nr != $lim;
164 sub _resolve_mid_to_tid {
165 my ($self, $smsg, $tid) = @_;
166 my $cur_tid = $smsg->{tid};
168 merge_threads($self, $$tid, $cur_tid);
169 } elsif ($cur_tid > $self->{min_tid}) {
171 } else { # rethreading, queue up dead ghosts
172 $$tid = next_tid($self);
173 my $n = $smsg->{num};
175 $self->{dbh}->prepare_cached(<<'')->execute($$tid, $n);
176 UPDATE over SET tid = ? WHERE num = ?
179 push(@{$self->{-ghosts_to_delete}}, $n);
185 # this will create a ghost as necessary
186 sub resolve_mid_to_tid {
187 my ($self, $mid) = @_;
189 each_by_mid($self, $mid, ['tid'], \&_resolve_mid_to_tid, \$tid);
190 if (my $del = delete $self->{-ghosts_to_delete}) {
191 delete_by_num($self, $_) for @$del;
193 $tid // do { # create a new ghost
194 my $id = mid2id($self, $mid);
195 my $num = next_ghost_num($self);
196 $num < 0 or die "ghost num is non-negative: $num\n";
197 $tid = next_tid($self);
198 my $dbh = $self->{dbh};
199 $dbh->prepare_cached(<<'')->execute($num, $tid);
200 INSERT INTO over (num, tid) VALUES (?,?)
202 $dbh->prepare_cached(<<'')->execute($id, $num);
203 INSERT INTO id2num (id, num) VALUES (?,?)
210 my ($self, $winner_tid, $loser_tid) = @_;
211 return if $winner_tid == $loser_tid;
212 my $dbh = $self->{dbh};
213 $dbh->prepare_cached(<<'')->execute($winner_tid, $loser_tid);
214 UPDATE over SET tid = ? WHERE tid = ?
219 my ($self, $refs, $old_tid) = @_;
223 # first ref *should* be the thread root,
224 # but we can never trust clients to do the right thing
225 my $ref = $refs->[0];
226 $tid = resolve_mid_to_tid($self, $ref);
227 merge_threads($self, $tid, $old_tid) if defined $old_tid;
229 # the rest of the refs should point to this tid:
230 foreach my $i (1..$#$refs) {
232 my $ptid = resolve_mid_to_tid($self, $ref);
233 merge_threads($self, $tid, $ptid);
236 $tid = $old_tid // next_tid($self);
241 sub parse_references ($$$) {
242 my ($smsg, $hdr, $mids) = @_;
243 my $refs = references($hdr);
244 push(@$refs, @$mids) if scalar(@$mids) > 1;
245 return $refs if scalar(@$refs) == 0;
247 # prevent circular references here:
248 my %seen = ( $smsg->{mid} => 1 );
250 foreach my $ref (@$refs) {
251 if (length($ref) > PublicInbox::MID::MAX_MID_SIZE) {
252 warn "References: <$ref> too long, ignoring\n";
255 push(@keep, $ref) unless $seen{$ref}++;
257 $smsg->{references} = '<'.join('> <', @keep).'>' if @keep;
261 # normalize subjects so they are suitable as pathnames for URLs
262 # XXX: consider for removal
263 sub subject_path ($) {
265 $subj = subject_normalized($subj);
266 $subj =~ s![^a-zA-Z0-9_\.~/\-]+!_!g;
271 my ($self, $eml, $smsg) = @_;
272 $smsg->{lines} = $eml->body_raw =~ tr!\n!\n!;
273 my $mids = mids_for_index($eml);
274 my $refs = parse_references($smsg, $eml, $mids);
275 my $subj = $smsg->{subject};
278 $xpath = subject_path($subj);
279 $xpath = id_compress($xpath);
281 my $dd = $smsg->to_doc_data;
284 add_over($self, $smsg, $mids, $refs, $xpath, $dd);
288 my ($self, $smsg, $mid, $refs, $old_tid, $v) = @_;
289 my $cur_tid = $smsg->{tid};
290 my $n = $smsg->{num};
291 die "num must not be zero for $mid" if !$n;
292 my $cur_valid = $cur_tid > $self->{min_tid};
294 if ($n > 0) { # regular mail
296 $$old_tid //= $cur_tid;
297 merge_threads($self, $$old_tid, $cur_tid);
299 $$old_tid //= next_tid($self);
301 } elsif ($n < 0) { # ghost
302 $$old_tid //= $cur_valid ? $cur_tid : next_tid($self);
303 $$old_tid = link_refs($self, $refs, $$old_tid);
304 delete_by_num($self, $n);
311 my ($self, $smsg, $mids, $refs, $xpath, $ddd) = @_;
314 my $num = $smsg->{num};
317 delete_by_num($self, $num, \$old_tid);
318 $old_tid = undef if ($old_tid // 0) <= $self->{min_tid};
319 foreach my $mid (@$mids) {
321 each_by_mid($self, $mid, ['tid'], \&_add_over,
322 $mid, $refs, \$old_tid, \$v);
323 $v > 1 and warn "BUG: vivified multiple ($v) ghosts for $mid\n";
326 $smsg->{tid} = $vivified ? $old_tid : link_refs($self, $refs, $old_tid);
327 $smsg->{sid} = sid($self, $xpath);
328 my $dbh = $self->{dbh};
329 my $sth = $dbh->prepare_cached(<<'');
330 INSERT INTO over (num, tid, sid, ts, ds, ddd)
334 $sth->bind_param($nc, $num);
335 $sth->bind_param(++$nc, $smsg->{$_}) for (qw(tid sid ts ds));
336 $sth->bind_param(++$nc, $ddd, SQL_BLOB);
338 $sth = $dbh->prepare_cached(<<'');
339 INSERT INTO id2num (id, num) VALUES (?,?)
341 foreach my $mid (@$mids) {
342 my $id = mid2id($self, $mid);
343 $sth->execute($id, $num);
348 my ($self, $smsg, $oid, $removed) = @_;
349 if (!defined($oid) || $smsg->{blob} eq $oid) {
350 delete_by_num($self, $smsg->{num});
351 push @$removed, $smsg->{num};
356 # returns number of removed messages in scalar context,
357 # array of removed article numbers in array context.
358 # $oid may be undef to match only on $mid
360 my ($self, $oid, $mid) = @_;
363 each_by_mid($self, $mid, ['ddd'], \&_remove_oid, $oid, $removed);
367 sub _num_mid0_for_oid {
368 my ($self, $smsg, $oid, $res) = @_;
369 my $blob = $smsg->{blob};
370 return 1 if (!defined($blob) || $blob ne $oid); # continue;
371 @$res = ($smsg->{num}, $smsg->{mid});
375 sub num_mid0_for_oid {
376 my ($self, $oid, $mid) = @_;
379 each_by_mid($self, $mid, ['ddd'], \&_num_mid0_for_oid, $oid, $res);
380 @$res, # ($num, $mid0);
387 CREATE TABLE IF NOT EXISTS over (
388 num INTEGER NOT NULL, /* NNTP article number == IMAP UID */
389 tid INTEGER NOT NULL, /* THREADID (IMAP REFERENCES threading, JMAP) */
390 sid INTEGER, /* Subject ID (IMAP ORDEREDSUBJECT "threading") */
391 ts INTEGER, /* IMAP INTERNALDATE (Received: header, git commit time) */
392 ds INTEGER, /* RFC-2822 sent Date: header, git author time */
393 ddd VARBINARY, /* doc-data-deflated (->to_doc_data, ->load_from_data) */
397 $dbh->do('CREATE INDEX IF NOT EXISTS idx_tid ON over (tid)');
398 $dbh->do('CREATE INDEX IF NOT EXISTS idx_sid ON over (sid)');
399 $dbh->do('CREATE INDEX IF NOT EXISTS idx_ts ON over (ts)');
400 $dbh->do('CREATE INDEX IF NOT EXISTS idx_ds ON over (ds)');
403 CREATE TABLE IF NOT EXISTS counter (
404 key VARCHAR(8) PRIMARY KEY NOT NULL,
405 val INTEGER DEFAULT 0,
409 $dbh->do("INSERT OR IGNORE INTO counter (key) VALUES ('thread')");
410 $dbh->do("INSERT OR IGNORE INTO counter (key) VALUES ('ghost')");
413 CREATE TABLE IF NOT EXISTS subject (
414 sid INTEGER PRIMARY KEY AUTOINCREMENT,
415 path VARCHAR(40) NOT NULL, /* SHA-1 of normalized subject */
420 CREATE TABLE IF NOT EXISTS id2num (
421 id INTEGER NOT NULL, /* <=> msgid.id */
422 num INTEGER NOT NULL,
426 # performance critical:
427 $dbh->do('CREATE INDEX IF NOT EXISTS idx_inum ON id2num (num)');
428 $dbh->do('CREATE INDEX IF NOT EXISTS idx_id ON id2num (id)');
431 CREATE TABLE IF NOT EXISTS msgid (
432 id INTEGER PRIMARY KEY AUTOINCREMENT, /* <=> id2num.id */
433 mid VARCHAR(244) NOT NULL,
441 delete $self->{txn} or return;
442 $self->{dbh}->commit;
447 return if $self->{txn};
448 my $dbh = $self->dbh or return;
450 # $dbh->{Profile} = 2;
456 delete $self->{txn} or return;
457 $self->{dbh}->rollback;
462 die "in transaction" if $self->{txn};
463 $self->SUPER::dbh_close;
468 unless (-r $self->{filename}) {
470 require File::Basename;
471 File::Path::mkpath(File::Basename::dirname($self->{filename}));
474 PublicInbox::Over::dbh($self);
478 sub rethread_prepare {
479 my ($self, $opt) = @_;
480 return unless $opt->{rethread};
482 my $min = $self->{min_tid} = get_counter($self->{dbh}, 'thread') // 0;
483 my $pr = $opt->{-progress};
484 $pr->("rethread min THREADID ".($min + 1)."\n") if $pr && $min;
488 my ($self, $opt) = @_;
489 return unless $opt->{rethread} && $self->{txn};
490 defined(my $min = $self->{min_tid}) or croak('BUG: no min_tid');
491 my $dbh = $self->{dbh} or croak('BUG: no dbh');
492 my $rows = $dbh->selectall_arrayref(<<'', { Slice => {} }, $min);
493 SELECT num,tid FROM over WHERE num < 0 AND tid < ?
495 my $show_id = $dbh->prepare('SELECT id FROM id2num WHERE num = ?');
496 my $show_mid = $dbh->prepare('SELECT mid FROM msgid WHERE id = ?');
497 my $pr = $opt->{-progress};
501 $show_id->execute($r->{num});
502 while (defined(my $id = $show_id->fetchrow_array)) {
504 $show_mid->execute($id);
505 my $mid = $show_mid->fetchrow_array;
506 if (!defined($mid)) {
508 E: ghost NUM=$r->{num} ID=$id THREADID=$r->{tid} has no Message-ID
513 I: ghost $r->{num} <$mid> THREADID=$r->{tid} culled
516 delete_by_num($self, $r->{num});
518 $pr->("I: rethread culled $total ghosts\n") if $pr && $total;