]> Sergey Matveev's repositories - public-inbox.git/blobdiff - lib/PublicInbox/V2Writable.pm
www: favor reading more from SQLite, and less from Xapian
[public-inbox.git] / lib / PublicInbox / V2Writable.pm
index b516278ed1e56eef418234f3ab0858c72d155b19..877a45912fcea3fab814fd9814b3996526ceb0d9 100644 (file)
@@ -7,13 +7,16 @@ use strict;
 use warnings;
 use base qw(PublicInbox::Lock);
 use PublicInbox::SearchIdxPart;
-use PublicInbox::SearchIdxSkeleton;
 use PublicInbox::MIME;
 use PublicInbox::Git;
 use PublicInbox::Import;
 use PublicInbox::MID qw(mids);
 use PublicInbox::ContentId qw(content_id content_digest);
 use PublicInbox::Inbox;
+use PublicInbox::OverIdxFork;
+use PublicInbox::Msgmap;
+use PublicInbox::Spawn;
+use IO::Handle;
 
 # an estimate of the post-packed size to the raw uncompressed size
 my $PACKING_FACTOR = 0.4;
@@ -23,22 +26,14 @@ sub nproc () {
        int($ENV{NPROC} || `nproc 2>/dev/null` || 2);
 }
 
-sub new {
-       my ($class, $v2ibx, $creat) = @_;
-       my $dir = $v2ibx->{mainrepo} or die "no mainrepo in inbox\n";
-       unless (-d $dir) {
-               if ($creat) {
-                       require File::Path;
-                       File::Path::mkpath($dir);
-               } else {
-                       die "$dir does not exist\n";
-               }
-       }
-
+sub count_partitions ($) {
+       my ($self) = @_;
        my $nparts = 0;
-       my $xpfx = "$dir/xap" . PublicInbox::Search::SCHEMA_VERSION;
+       my $xpfx = $self->{xpfx};
 
        # always load existing partitions in case core count changes:
+       # Also, partition count may change while -watch is running
+       # due to -compact
        if (-d $xpfx) {
                foreach my $part (<$xpfx/*>) {
                        -d $part && $part =~ m!/\d+\z! or next;
@@ -48,18 +43,37 @@ sub new {
                        };
                }
        }
-       $nparts = nproc() if ($nparts == 0);
+       $nparts;
+}
+
+sub new {
+       my ($class, $v2ibx, $creat) = @_;
+       my $dir = $v2ibx->{mainrepo} or die "no mainrepo in inbox\n";
+       unless (-d $dir) {
+               if ($creat) {
+                       require File::Path;
+                       File::Path::mkpath($dir);
+               } else {
+                       die "$dir does not exist\n";
+               }
+       }
+
+       $v2ibx = PublicInbox::InboxWritable->new($v2ibx);
 
+       my $xpfx = "$dir/xap" . PublicInbox::Search::SCHEMA_VERSION;
        my $self = {
                -inbox => $v2ibx,
                im => undef, #  PublicInbox::Import
-               partitions => $nparts,
                parallel => 1,
                transact_bytes => 0,
+               xpfx => $xpfx,
+               over => PublicInbox::OverIdxFork->new("$xpfx/over.sqlite3"),
                lock_path => "$dir/inbox.lock",
-               # limit each repo to 1GB or so
+               # limit each git repo (epoch) to 1GB or so
                rotate_bytes => int((1024 * 1024 * 1024) / $PACKING_FACTOR),
+               last_commit => [], # git repo -> commit
        };
+       $self->{partitions} = count_partitions($self) || nproc();
        bless $self, $class;
 }
 
@@ -67,7 +81,9 @@ sub init_inbox {
        my ($self, $parallel) = @_;
        $self->{parallel} = $parallel;
        $self->idx_init;
-       $self->git_init(0);
+       my $epoch_max = -1;
+       git_dir_latest($self, \$epoch_max);
+       $self->git_init($epoch_max >= 0 ? $epoch_max : 0);
        $self->done;
 }
 
@@ -99,6 +115,7 @@ sub add {
 
        my $nparts = $self->{partitions};
        my $part = $num % $nparts;
+       $self->{last_commit}->[$self->{epoch_max}] = $cmt;
        my $idx = $self->idx_part($part);
        $idx->index_raw($len, $msgref, $num, $oid, $mid0, $mime);
        my $n = $self->{transact_bytes} += $len;
@@ -106,7 +123,7 @@ sub add {
                $self->checkpoint;
        }
 
-       $mime;
+       $cmt;
 }
 
 sub num_for {
@@ -114,7 +131,7 @@ sub num_for {
        my $mids = mids($mime->header_obj);
        if (@$mids) {
                my $mid = $mids->[0];
-               my $num = $self->{skel}->{mm}->mid_insert($mid);
+               my $num = $self->{mm}->mid_insert($mid);
                if (defined $num) { # common case
                        $$mid0 = $mid;
                        return $num;
@@ -135,9 +152,9 @@ sub num_for {
                warn "<$mid> reused for mismatched content\n";
 
                # try the rest of the mids
-               foreach my $i (1..$#$mids) {
+               for(my $i = $#$mids; $i >= 1; $i--) {
                        my $m = $mids->[$i];
-                       $num = $self->{skel}->{mm}->mid_insert($m);
+                       $num = $self->{mm}->mid_insert($m);
                        if (defined $num) {
                                warn "alternative <$m> for <$mid> found\n";
                                $$mid0 = $m;
@@ -155,20 +172,20 @@ sub num_for_harder {
        my $hdr = $mime->header_obj;
        my $dig = content_digest($mime);
        $$mid0 = PublicInbox::Import::digest2mid($dig);
-       my $num = $self->{skel}->{mm}->mid_insert($$mid0);
+       my $num = $self->{mm}->mid_insert($$mid0);
        unless (defined $num) {
                # it's hard to spoof the last Received: header
                my @recvd = $hdr->header_raw('Received');
                $dig->add("Received: $_") foreach (@recvd);
                $$mid0 = PublicInbox::Import::digest2mid($dig);
-               $num = $self->{skel}->{mm}->mid_insert($$mid0);
+               $num = $self->{mm}->mid_insert($$mid0);
 
                # fall back to a random Message-ID and give up determinism:
                until (defined($num)) {
                        $dig->add(rand);
                        $$mid0 = PublicInbox::Import::digest2mid($dig);
                        warn "using random Message-ID <$$mid0> as fallback\n";
-                       $num = $self->{skel}->{mm}->mid_insert($$mid0);
+                       $num = $self->{mm}->mid_insert($$mid0);
                }
        }
        PublicInbox::Import::append_mid($hdr, $$mid0);
@@ -191,31 +208,46 @@ sub idx_init {
        # frequently activated.
        delete $ibx->{$_} foreach (qw(git mm search));
 
-       $self->lock_acquire;
+       my $over = $self->{over};
+       $ibx->umask_prepare;
+       $ibx->with_umask(sub {
+               $self->lock_acquire;
+               $over->create($self);
 
-       # first time initialization, first we create the skeleton pipe:
-       my $skel = $self->{skel} = PublicInbox::SearchIdxSkeleton->new($self);
+               # -compact can change partition count while -watch is idle
+               my $nparts = count_partitions($self);
+               if ($nparts && $nparts != $self->{partitions}) {
+                       $self->{partitions} = $nparts;
+               }
 
-       # need to create all parts before initializing msgmap FD
-       my $max = $self->{partitions} - 1;
-       my $idx = $self->{idx_parts} = [];
-       for my $i (0..$max) {
-               push @$idx, PublicInbox::SearchIdxPart->new($self, $i, $skel);
-       }
+               # need to create all parts before initializing msgmap FD
+               my $max = $self->{partitions} - 1;
 
-       # Now that all subprocesses are up, we can open the FD for SQLite:
-       $skel->_msgmap_init->{dbh}->begin_work;
+               # idx_parts must be visible to all forked processes
+               my $idx = $self->{idx_parts} = [];
+               for my $i (0..$max) {
+                       push @$idx, PublicInbox::SearchIdxPart->new($self, $i);
+               }
+
+               # Now that all subprocesses are up, we can open the FDs
+               # for SQLite:
+               my $mm = $self->{mm} = PublicInbox::Msgmap->new_file(
+                       "$self->{-inbox}->{mainrepo}/msgmap.sqlite3", 1);
+               $mm->{dbh}->begin_work;
+       });
 }
 
 sub purge_oids {
        my ($self, $purge) = @_; # $purge = { $object_id => 1, ... }
        $self->done;
        my $pfx = "$self->{-inbox}->{mainrepo}/git";
-       foreach my $i (0..$self->{max_git}) {
+       my $purges = [];
+       foreach my $i (0..$self->{epoch_max}) {
                my $git = PublicInbox::Git->new("$pfx/$i.git");
-               my $im = $self->import_init($git, 0);
-               $im->purge_oids($purge);
+               my $im = $self->import_init($git, 0, 1);
+               $purges->[$i] = $im->purge_oids($purge);
        }
+       $purges;
 }
 
 sub remove_internal {
@@ -226,9 +258,8 @@ sub remove_internal {
        my $ibx = $self->{-inbox};
        my $srch = $ibx->search;
        my $cid = content_id($mime);
-       my $skel = $self->{skel};
        my $parts = $self->{idx_parts};
-       my $mm = $skel->{mm};
+       my $mm = $self->{mm};
        my $removed;
        my $mids = mids($mime->header_obj);
 
@@ -236,43 +267,56 @@ sub remove_internal {
        # can be slightly different, so we do not need the user-supplied
        # message now that we have the mids and content_id
        $mime = undef;
+       my $mark;
 
        foreach my $mid (@$mids) {
-               $srch->reopen->each_smsg_by_mid($mid, sub {
-                       my ($smsg) = @_;
-                       $smsg->load_expand;
+               my %gone;
+               my ($id, $prev);
+               while (my $smsg = $srch->next_by_mid($mid, \$id, \$prev)) {
                        my $msg = $ibx->msg_by_smsg($smsg);
                        if (!defined($msg)) {
                                warn "broken smsg for $mid\n";
-                               return 1; # continue
+                               next; # continue
                        }
                        my $orig = $$msg;
                        my $cur = PublicInbox::MIME->new($msg);
                        if (content_id($cur) eq $cid) {
-                               $mm->num_delete($smsg->num);
-                               # $removed should only be set once assuming
-                               # no bugs in our deduplication code:
-                               $removed = $smsg;
-                               $removed->{mime} = $cur;
-                               my $oid = $smsg->{blob};
-                               if ($purge) {
-                                       $purge->{$oid} = 1;
-                               } else {
-                                       $im->remove(\$orig, $cmt_msg);
-                               }
-                               $orig = undef;
-                               $removed->num; # memoize this for callers
-
-                               foreach my $idx (@$parts, $skel) {
-                                       $idx->remote_remove($oid, $mid);
-                               }
+                               $smsg->{mime} = $cur;
+                               $gone{$smsg->{num}} = [ $smsg, \$orig ];
                        }
-                       1; # continue
-               });
+               }
+               my $n = scalar keys %gone;
+               next unless $n;
+               if ($n > 1) {
+                       warn "BUG: multiple articles linked to <$mid>\n",
+                               join(',', sort keys %gone), "\n";
+               }
+               foreach my $num (keys %gone) {
+                       my ($smsg, $orig) = @{$gone{$num}};
+                       $mm->num_delete($num);
+                       # $removed should only be set once assuming
+                       # no bugs in our deduplication code:
+                       $removed = $smsg;
+                       my $oid = $smsg->{blob};
+                       if ($purge) {
+                               $purge->{$oid} = 1;
+                       } else {
+                               ($mark, undef) = $im->remove($orig, $cmt_msg);
+                       }
+                       $orig = undef;
+                       foreach my $idx (@$parts) {
+                               $idx->remote_remove($oid, $mid);
+                       }
+               }
                $self->barrier;
        }
+
+       if (defined $mark) {
+               my $cmt = $im->get_mark($mark);
+               $self->{last_commit}->[$self->{epoch_max}] = $cmt;
+       }
        if ($purge && scalar keys %$purge) {
-               purge_oids($self, $purge);
+               return purge_oids($self, $purge);
        }
        $removed;
 }
@@ -284,24 +328,68 @@ sub remove {
 
 sub purge {
        my ($self, $mime) = @_;
-       remove_internal($self, $mime, undef, {});
+       my $purges = remove_internal($self, $mime, undef, {});
+       $self->idx_init if @$purges; # ->done is called on purges
+       for my $i (0..$#$purges) {
+               defined(my $cmt = $purges->[$i]) or next;
+               $self->{last_commit}->[$i] = $cmt;
+       }
+       $purges;
 }
 
+sub last_commit_part ($$;$) {
+       my ($self, $i, $cmt) = @_;
+       my $v = PublicInbox::Search::SCHEMA_VERSION();
+       $self->{mm}->last_commit_xap($v, $i, $cmt);
+}
+
+sub set_last_commits ($) {
+       my ($self) = @_;
+       defined(my $epoch_max = $self->{epoch_max}) or return;
+       my $last_commit = $self->{last_commit};
+       foreach my $i (0..$epoch_max) {
+               defined(my $cmt = $last_commit->[$i]) or next;
+               $last_commit->[$i] = undef;
+               last_commit_part($self, $i, $cmt);
+       }
+}
 
 sub done {
        my ($self) = @_;
-       my $locked = defined $self->{idx_parts};
        my $im = delete $self->{im};
        $im->done if $im; # PublicInbox::Import::done
-       $self->searchidx_checkpoint(0);
-       $self->lock_release if $locked;
+
+       my $mm = $self->{mm};
+       $mm->{dbh}->commit if $mm;
+
+       # order matters, we can only close {over} after all partitions
+       # are done because the partitions also write to {over}
+       my $parts = delete $self->{idx_parts};
+       if ($parts) {
+               $_->remote_commit for @$parts;
+               $_->remote_close for @$parts;
+       }
+
+       my $over = $self->{over};
+       $over->remote_commit;
+       $over->remote_close;
+
+       if ($mm) {
+               $mm->{dbh}->begin_work;
+               set_last_commits($self);
+               $mm->{dbh}->commit;
+               delete $self->{mm};
+       }
+
+       $self->{transact_bytes} = 0;
+       $self->lock_release if $parts;
 }
 
 sub checkpoint {
        my ($self) = @_;
        my $im = $self->{im};
        $im->checkpoint if $im; # PublicInbox::Import::checkpoint
-       $self->searchidx_checkpoint(1);
+       $self->barrier(1);
 }
 
 # issue a write barrier to ensure all data is visible to other processes
@@ -312,55 +400,36 @@ sub barrier {
        if (my $im = $self->{im}) {
                $im->barrier;
        }
-       my $skel = $self->{skel};
        my $parts = $self->{idx_parts};
-       if ($parts && $skel) {
-               my $dbh = $skel->{mm}->{dbh};
-               $dbh->commit; # SQLite data is second in importance
+       if ($parts) {
+               my $dbh = $self->{mm}->{dbh};
+               $dbh->commit; # SQLite msgmap data is second in importance
 
-               # Now deal with Xapian
-               $skel->barrier_init(scalar(@$parts));
-               # each partition needs to issue a barrier command to skel:
-               $_->remote_barrier foreach @$parts;
-
-               $skel->barrier_wait; # wait for each Xapian partition
+               my $over = $self->{over};
 
-               $dbh->begin_work;
-       }
-       $self->{transact_bytes} = 0;
-}
+               # Now deal with Xapian and overview DB
+               $over->barrier_init(scalar(@$parts));
 
-sub searchidx_checkpoint {
-       my ($self, $more) = @_;
+               # each partition needs to issue a barrier command to over
+               $_->remote_barrier foreach @$parts;
 
-       # order matters, we can only close {skel} after all partitions
-       # are done because the partitions also write to {skel}
-       if (my $parts = $self->{idx_parts}) {
-               foreach my $idx (@$parts) {
-                       $idx->remote_commit; # propagates commit to skel
-                       $idx->remote_close unless $more;
-               }
-               delete $self->{idx_parts} unless $more;
-       }
+               $over->barrier_wait; # wait for each Xapian partition
 
-       if (my $skel = $self->{skel}) {
-               my $dbh = $skel->{mm}->{dbh};
+               # last_commit is special, don't commit these until
+               # remote partitions are done:
+               $dbh->begin_work;
+               set_last_commits($self);
                $dbh->commit;
-               if ($more) {
-                       $dbh->begin_work;
-               } else {
-                       $skel->remote_close;
-                       delete $self->{skel};
-               }
+
+               $dbh->begin_work;
        }
        $self->{transact_bytes} = 0;
 }
 
 sub git_init {
-       my ($self, $new) = @_;
+       my ($self, $epoch) = @_;
        my $pfx = "$self->{-inbox}->{mainrepo}/git";
-       my $git_dir = "$pfx/$new.git";
-       die "$git_dir exists\n" if -e $git_dir;
+       my $git_dir = "$pfx/$epoch.git";
        my @cmd = (qw(git init --bare -q), $git_dir);
        PublicInbox::Import::run_die(\@cmd);
 
@@ -378,7 +447,7 @@ sub git_init {
        PublicInbox::Import::run_die(\@cmd);
 
        my $alt = "$all/objects/info/alternates";
-       my $new_obj_dir = "../../git/$new.git/objects";
+       my $new_obj_dir = "../../git/$epoch.git/objects";
        my %alts;
        if (-e $alt) {
                open(my $fh, '<', $alt) or die "open < $alt: $!\n";
@@ -417,39 +486,40 @@ sub importer {
                } else {
                        $self->{im} = undef;
                        $im->done;
-                       $self->searchidx_checkpoint(1);
+                       $self->barrier(1);
                        $im = undef;
-                       my $git_dir = $self->git_init(++$self->{max_git});
+                       my $git_dir = $self->git_init(++$self->{epoch_max});
                        my $git = PublicInbox::Git->new($git_dir);
                        return $self->import_init($git, 0);
                }
        }
-       my $new = 0;
+       my $epoch = 0;
        my $max;
        my $latest = git_dir_latest($self, \$max);
        if (defined $latest) {
                my $git = PublicInbox::Git->new($latest);
                my $packed_bytes = $git->packed_bytes;
                if ($packed_bytes >= $self->{rotate_bytes}) {
-                       $new = $max + 1;
+                       $epoch = $max + 1;
                } else {
-                       $self->{max_git} = $max;
+                       $self->{epoch_max} = $max;
                        return $self->import_init($git, $packed_bytes);
                }
        }
-       $self->{max_git} = $new;
-       $latest = $self->git_init($new);
+       $self->{epoch_max} = $epoch;
+       $latest = $self->git_init($epoch);
        $self->import_init(PublicInbox::Git->new($latest), 0);
 }
 
 sub import_init {
-       my ($self, $git, $packed_bytes) = @_;
+       my ($self, $git, $packed_bytes, $tmp) = @_;
        my $im = PublicInbox::Import->new($git, undef, undef, $self->{-inbox});
        $im->{bytes_added} = int($packed_bytes / $PACKING_FACTOR);
        $im->{want_object_info} = 1;
        $im->{lock_path} = undef;
        $im->{path_type} = 'v2';
-       $self->{im} = $im;
+       $self->{im} = $im unless $tmp;
+       $im;
 }
 
 # XXX experimental
@@ -480,26 +550,23 @@ sub lookup_content {
        my $srch = $ibx->search->reopen;
        my $cid = content_id($mime);
        my $found;
-       $srch->each_smsg_by_mid($mid, sub {
-               my ($smsg) = @_;
-               $smsg->load_expand;
+       my ($id, $prev);
+       while (my $smsg = $srch->next_by_mid($mid, \$id, \$prev)) {
                my $msg = $ibx->msg_by_smsg($smsg);
                if (!defined($msg)) {
                        warn "broken smsg for $mid\n";
-                       return 1; # continue
+                       next;
                }
                my $cur = PublicInbox::MIME->new($msg);
                if (content_id($cur) eq $cid) {
                        $smsg->{mime} = $cur;
                        $found = $smsg;
-                       return 0; # break out of loop
+                       last;
                }
 
                # XXX DEBUG_DIFF is experimental and may be removed
                diff($mid, $cur, $mime) if $ENV{DEBUG_DIFF};
-
-               1; # continue
-       });
+       }
        $found;
 }
 
@@ -513,6 +580,7 @@ sub atfork_child {
        if (my $im = $self->{im}) {
                $im->atfork_child;
        }
+       die "unexpected mm" if $self->{mm};
 }
 
 sub mark_deleted {
@@ -550,8 +618,8 @@ sub reindex_oid {
        if (!defined($mid0) && $regen && !$del) {
                $num = $$regen--;
                die "BUG: ran out of article numbers\n" if $num <= 0;
-               my $mm = $self->{skel}->{mm};
-               foreach my $mid (@$mids) {
+               my $mm = $self->{mm};
+               foreach my $mid (reverse @$mids) {
                        if ($mm->mid_set($num, $mid) == 1) {
                                $mid0 = $mid;
                                last;
@@ -559,7 +627,11 @@ sub reindex_oid {
                }
                if (!defined($mid0)) {
                        my $id = '<' . join('> <', @$mids) . '>';
-                       warn "Message-Id $id unusable for $num\n";
+                       warn "Message-ID $id unusable for $num\n";
+                       foreach my $mid (@$mids) {
+                               defined(my $n = $mm->num_for($mid)) or next;
+                               warn "#$n previously mapped for <$mid>\n";
+                       }
                }
        }
 
@@ -597,69 +669,192 @@ sub reindex_oid {
        }
 }
 
-sub reindex {
-       my ($self, $regen) = @_;
-       my $ibx = $self->{-inbox};
-       my $pfx = "$ibx->{mainrepo}/git";
-       my $max_git;
-       my $latest = git_dir_latest($self, \$max_git);
-       return unless defined $latest;
-       my $head = $ibx->{ref_head} || 'refs/heads/master';
-       $self->idx_init; # acquire lock
-       my $x40 = qr/[a-f0-9]{40}/;
-       my $mm_tmp = $self->{skel}->{mm}->tmp_clone;
-       if (!$regen) {
-               my (undef, $max) = $mm_tmp->minmax;
-               unless (defined $max) {
-                       $regen = 1;
-                       warn
-"empty msgmap.sqlite3, regenerating article numbers\n";
+# only update last_commit for $i on reindex iff newer than current
+sub update_last_commit {
+       my ($self, $git, $i, $cmt) = @_;
+       my $last = last_commit_part($self, $i);
+       if (defined $last && is_ancestor($git, $last, $cmt)) {
+               my @cmd = (qw(rev-list --count), "$last..$cmt");
+               chomp(my $n = $git->qx(@cmd));
+               return if $n ne '' && $n == 0;
+       }
+       last_commit_part($self, $i, $cmt);
+}
+
+sub git_dir_n ($$) { "$_[0]->{-inbox}->{mainrepo}/git/$_[1].git" }
+
+sub last_commits {
+       my ($self, $epoch_max) = @_;
+       my $heads = [];
+       for (my $i = $epoch_max; $i >= 0; $i--) {
+               $heads->[$i] = last_commit_part($self, $i);
+       }
+       $heads;
+}
+
+sub is_ancestor ($$$) {
+       my ($git, $cur, $tip) = @_;
+       return 0 unless $git->check($cur);
+       my $cmd = [ 'git', "--git-dir=$git->{git_dir}",
+               qw(merge-base --is-ancestor), $cur, $tip ];
+       my $pid = spawn($cmd);
+       defined $pid or die "spawning ".join(' ', @$cmd)." failed: $!";
+       waitpid($pid, 0) == $pid or die join(' ', @$cmd) .' did not finish';
+       $? == 0;
+}
+
+sub index_prepare {
+       my ($self, $opts, $epoch_max, $ranges) = @_;
+       my $regen_max = 0;
+       my $head = $self->{-inbox}->{ref_head} || 'refs/heads/master';
+       for (my $i = $epoch_max; $i >= 0; $i--) {
+               die "already indexing!\n" if $self->{index_pipe};
+               my $git_dir = git_dir_n($self, $i);
+               -d $git_dir or next; # missing parts are fine
+               my $git = PublicInbox::Git->new($git_dir);
+               chomp(my $tip = $git->qx('rev-parse', $head));
+               my $range;
+               if (defined(my $cur = $ranges->[$i])) {
+                       $range = "$cur..$tip";
+                       if (is_ancestor($git, $cur, $tip)) { # common case
+                               my $n = $git->qx(qw(rev-list --count), $range);
+                               chomp($n);
+                               if ($n == 0) {
+                                       $ranges->[$i] = undef;
+                                       next;
+                               }
+                       } else {
+                               warn <<"";
+discontiguous range: $range
+Rewritten history? (in $git_dir)
+
+                               my $base = $git->qx('merge-base', $tip, $cur);
+                               chomp $base;
+                               if ($base) {
+                                       $range = "$base..$tip";
+                                       warn "found merge-base: $base\n"
+                               } else {
+                                       $range = $tip;
+                                       warn <<"";
+discarding history at $cur
+
+                               }
+                               warn <<"";
+reindexing $git_dir starting at
+$range
+
+                               $self->{"unindex-range.$i"} = "$base..$cur";
+                       }
+               } else {
+                       $range = $tip; # all of it
                }
+               $ranges->[$i] = $range;
+
+               # can't use 'rev-list --count' if we use --diff-filter
+               my $fh = $git->popen(qw(log --pretty=tformat:%h
+                               --no-notes --no-color --no-renames
+                               --diff-filter=AM), $range, '--', 'm');
+               ++$regen_max while <$fh>;
        }
-       my $tip; # latest commit out of all git repos
-       if ($regen) {
-               my $regen_max = 0;
-               for (my $cur = $max_git; $cur >= 0; $cur--) {
-                       die "already reindexing!\n" if $self->{reindex_pipe};
-                       my $git = PublicInbox::Git->new("$pfx/$cur.git");
-                       chomp($tip = $git->qx('rev-parse', $head)) unless $tip;
-                       my $h = $cur == $max_git ? $tip : $head;
-                       my @count = ('rev-list', '--count', $h, '--', 'm');
-                       $regen_max += $git->qx(@count);
+       \$regen_max;
+}
+
+sub unindex_oid {
+       my ($self, $git, $oid) = @_;
+       my $msgref = $git->cat_file($oid);
+       my $mime = PublicInbox::MIME->new($msgref);
+       my $mids = mids($mime->header_obj);
+       $mime = $msgref = undef;
+       my $srch = $self->{-inbox}->search;
+       foreach my $mid (@$mids) {
+               my %gone;
+               my ($id, $prev);
+               while (my $smsg = $srch->next_by_mid($mid, \$id, \$prev)) {
+                       $gone{$smsg->num} = 1 if $oid eq $smsg->{blob};
+                       1; # continue
+               }
+               my $n = scalar keys %gone;
+               next unless $n;
+               if ($n > 1) {
+                       warn "BUG: multiple articles linked to $oid\n",
+                               join(',',sort keys %gone), "\n";
                }
-               die "No messages found in $pfx/*.git, bug?\n" unless $regen_max;
-               $regen = \$regen_max;
+               $self->{unindexed}->{$_}++ foreach keys %gone;
+               $_->remote_remove($oid, $mid) foreach @{$self->{idx_parts}};
+               $self->{over}->remove_oid($oid, $mid);
+               $self->barrier;
        }
+}
+
+my $x40 = qr/[a-f0-9]{40}/;
+sub unindex {
+       my ($self, $opts, $git, $unindex_range) = @_;
+       my $un = $self->{unindexed} ||= {}; # num => removal count
+       $self->barrier;
+       my $before = scalar keys %$un;
+       my @cmd = qw(log --raw -r
+                       --no-notes --no-color --no-abbrev --no-renames);
+       my $fh = $self->{reindex_pipe} = $git->popen(@cmd, $unindex_range);
+       while (<$fh>) {
+               /\A:\d{6} 100644 $x40 ($x40) [AM]\tm$/o or next;
+               $self->unindex_oid($git, $1);
+       }
+       delete $self->{reindex_pipe};
+       $fh = undef;
+
+       return unless $opts->{prune};
+       my $after = scalar keys %$un;
+       return if $before == $after;
+
+       # ensure any blob can not longer be accessed via dumb HTTP
+       PublicInbox::Import::run_die(['git', "--git-dir=$git->{git_dir}",
+               qw(-c gc.reflogExpire=now gc --prune=all)]);
+}
+
+sub index_sync {
+       my ($self, $opts) = @_;
+       $opts ||= {};
+       my $ibx = $self->{-inbox};
+       my $epoch_max;
+       my $latest = git_dir_latest($self, \$epoch_max);
+       return unless defined $latest;
+       $self->idx_init; # acquire lock
+       my $mm_tmp = $self->{mm}->tmp_clone;
+       my $ranges = $opts->{reindex} ? [] : $self->last_commits($epoch_max);
+
+       my ($min, $max) = $mm_tmp->minmax;
+       my $regen = $self->index_prepare($opts, $epoch_max, $ranges);
+       $$regen += $max if $max;
        my $D = {};
        my @cmd = qw(log --raw -r --pretty=tformat:%h
-                       --no-notes --no-color --no-abbrev);
-
-       # if we are regenerating, we must not use a newer tip commit than what
-       # the regeneration counter used:
-       $tip ||= $head;
+                       --no-notes --no-color --no-abbrev --no-renames);
 
        # work backwards through history
-       for (my $cur = $max_git; $cur >= 0; $cur--) {
+       my $last_commit = [];
+       for (my $i = $epoch_max; $i >= 0; $i--) {
+               my $git_dir = git_dir_n($self, $i);
                die "already reindexing!\n" if delete $self->{reindex_pipe};
-               my $cmt;
-               my $git_dir = "$pfx/$cur.git";
+               -d $git_dir or next; # missing parts are fine
                my $git = PublicInbox::Git->new($git_dir);
-               my $h = $cur == $max_git ? $tip : $head;
-               my $fh = $self->{reindex_pipe} = $git->popen(@cmd, $h);
+               my $unindex = delete $self->{"unindex-range.$i"};
+               $self->unindex($opts, $git, $unindex) if $unindex;
+               defined(my $range = $ranges->[$i]) or next;
+               my $fh = $self->{reindex_pipe} = $git->popen(@cmd, $range);
+               my $cmt;
                while (<$fh>) {
-                       if (/\A$x40$/o) {
+                       if (/\A$x40$/o && !defined($cmt)) {
                                chomp($cmt = $_);
                        } elsif (/\A:\d{6} 100644 $x40 ($x40) [AM]\tm$/o) {
                                $self->reindex_oid($mm_tmp, $D, $git, $1,
                                                $regen);
-                       } elsif (m!\A:\d{6} 100644 $x40 ($x40) [AM]\t_/D$!o) {
+                       } elsif (/\A:\d{6} 100644 $x40 ($x40) [AM]\td$/o) {
                                $self->mark_deleted($D, $git, $1);
                        }
                }
+               $fh = undef;
                delete $self->{reindex_pipe};
+               $self->update_last_commit($git, $i, $cmt) if defined $cmt;
        }
-       my ($min, $max) = $mm_tmp->minmax;
-       defined $max and die "leftover article numbers at $min..$max\n";
        my @d = sort keys %$D;
        if (@d) {
                warn "BUG: ", scalar(@d)," unseen deleted messages marked\n";
@@ -668,6 +863,7 @@ sub reindex {
                        warn "<$mid>\n";
                }
        }
+       $self->done;
 }
 
 1;