]> Sergey Matveev's repositories - public-inbox.git/blobdiff - lib/PublicInbox/Git.pm
git: fix asynchronous batching for deep pipelines
[public-inbox.git] / lib / PublicInbox / Git.pm
index d5b1d39d148798b477300d119464c5408cb1e088..86b80a4edb877152f566c00a7b804952516e907b 100644 (file)
@@ -1,4 +1,4 @@
-# Copyright (C) 2014-2021 all contributors <meta@public-inbox.org>
+# Copyright (C) all contributors <meta@public-inbox.org>
 # License: GPLv2 or later <https://www.gnu.org/licenses/gpl-2.0.txt>
 #
 # Used to read files from a git repository without excessive forking.
@@ -19,16 +19,19 @@ use Time::HiRes qw(stat);
 use PublicInbox::Spawn qw(popen_rd spawn);
 use PublicInbox::Tmpfile;
 use IO::Poll qw(POLLIN);
-use Carp qw(croak);
+use Carp qw(croak carp);
 use Digest::SHA ();
 use PublicInbox::DS qw(dwaitpid);
 our @EXPORT_OK = qw(git_unquote git_quote);
 our $PIPE_BUFSIZ = 65536; # Linux default
 our $in_cleanup;
 our $RDTIMEO = 60_000; # milliseconds
+our $async_warn; # true in read-only daemons
 
-use constant MAX_INFLIGHT => (POSIX::PIPE_BUF * 3) /
-       65; # SHA-256 hex size + "\n" in preparation for git using non-SHA1
+# 512: POSIX PIPE_BUF minimum (see pipe(7))
+# 3: @$inflight is flattened [ $OID, $cb, $arg ]
+# 65: SHA-256 hex size + "\n" in preparation for git using non-SHA1
+use constant MAX_INFLIGHT => 512 * 3 / 65;
 
 my %GIT_ESC = (
        a => "\a",
@@ -62,13 +65,15 @@ sub git_quote ($) {
 
 sub new {
        my ($class, $git_dir) = @_;
+       $git_dir =~ tr!/!/!s;
+       $git_dir =~ s!/*\z!!s;
        # may contain {-tmp} field for File::Temp::Dir
-       bless { git_dir => $git_dir, alt_st => '', -git_path => {} }, $class
+       bless { git_dir => $git_dir }, $class
 }
 
 sub git_path ($$) {
        my ($self, $path) = @_;
-       $self->{-git_path}->{$path} ||= do {
+       $self->{-git_path}->{$path} //= do {
                local $/ = "\n";
                chomp(my $str = $self->qx(qw(rev-parse --git-path), $path));
 
@@ -87,10 +92,17 @@ sub alternates_changed {
 
        # can't rely on 'q' on some 32-bit builds, but `d' works
        my $st = pack('dd', $st[10], $st[7]); # 10: ctime, 7: size
-       return 0 if $self->{alt_st} eq $st;
+       return 0 if ($self->{alt_st} // '') eq $st;
        $self->{alt_st} = $st; # always a true value
 }
 
+sub object_format {
+       $_[0]->{object_format} //= do {
+               my $fmt = $_[0]->qx(qw(config extensions.objectformat));
+               $fmt eq "sha256\n" ? \'sha256' : \undef;
+       }
+}
+
 sub last_check_err {
        my ($self) = @_;
        my $fh = $self->{err_c} or return;
@@ -110,18 +122,22 @@ sub _bidi_pipe {
                }
                return;
        }
-       my ($out_r, $out_w);
-       pipe($out_r, $out_w) or $self->fail("pipe failed: $!");
-       my @cmd = (qw(git), "--git-dir=$self->{git_dir}",
+       pipe(my ($out_r, $out_w)) or $self->fail("pipe failed: $!");
+       my $rdr = { 0 => $out_r, pgid => 0 };
+       my $gd = $self->{git_dir};
+       if ($gd =~ s!/([^/]+/[^/]+)\z!/!) {
+               $rdr->{-C} = $gd;
+               $gd = $1;
+       }
+       my @cmd = (qw(git), "--git-dir=$gd",
                        qw(-c core.abbrev=40 cat-file), $batch);
-       my $redir = { 0 => $out_r };
        if ($err) {
                my $id = "git.$self->{git_dir}$batch.err";
                my $fh = tmpfile($id) or $self->fail("tmpfile($id): $!");
                $self->{$err} = $fh;
-               $redir->{2} = $fh;
+               $rdr->{2} = $fh;
        }
-       my ($in_r, $p) = popen_rd(\@cmd, undef, $redir);
+       my ($in_r, $p) = popen_rd(\@cmd, undef, $rdr);
        $self->{$pid} = $p;
        $self->{"$pid.owner"} = $$;
        $out_w->autoflush(1);
@@ -129,6 +145,7 @@ sub _bidi_pipe {
                fcntl($out_w, 1031, 4096);
                fcntl($in_r, 1031, 4096) if $batch eq '--batch-check';
        }
+       $out_w->blocking(0);
        $self->{$out} = $out_w;
        $self->{$in} = $in_r;
 }
@@ -151,7 +168,8 @@ sub my_read ($$$) {
                        return; # unrecoverable error
                }
        }
-       \substr($$rbuf, 0, $len, '');
+       my $no_pad = substr($$rbuf, 0, $len, '');
+       \$no_pad;
 }
 
 sub my_readline ($$) {
@@ -172,8 +190,8 @@ sub my_readline ($$) {
        }
 }
 
-sub cat_async_retry ($$$$$) {
-       my ($self, $inflight, $req, $cb, $arg) = @_;
+sub cat_async_retry ($$) {
+       my ($self, $inflight) = @_;
 
        # {inflight} may be non-existent, but if it isn't we delete it
        # here to prevent cleanup() from waiting:
@@ -182,12 +200,15 @@ sub cat_async_retry ($$$$$) {
 
        $self->{inflight} = $inflight;
        batch_prepare($self);
-       my $buf = "$req\n";
+       my $buf = '';
        for (my $i = 0; $i < @$inflight; $i += 3) {
                $buf .= "$inflight->[$i]\n";
        }
+       $self->{out}->blocking(1); # brand new pipe, should never block
        print { $self->{out} } $buf or $self->fail("write error: $!");
-       unshift(@$inflight, \$req, $cb, $arg); # \$ref to indicate retried
+       $self->{out}->blocking(0);
+       my $req = shift @$inflight;
+       unshift(@$inflight, \$req); # \$ref to indicate retried
 
        cat_async_step($self, $inflight); # take one step
 }
@@ -195,8 +216,8 @@ sub cat_async_retry ($$$$$) {
 sub cat_async_step ($$) {
        my ($self, $inflight) = @_;
        die 'BUG: inflight empty or odd' if scalar(@$inflight) < 3;
-       my ($req, $cb, $arg) = splice(@$inflight, 0, 3);
-       my $rbuf = delete($self->{cat_rbuf}) // \(my $new = '');
+       my ($req, $cb, $arg) = @$inflight[0, 1, 2];
+       my $rbuf = delete($self->{rbuf}) // \(my $new = '');
        my ($bref, $oid, $type, $size);
        my $head = my_readline($self->{in}, $rbuf);
        # ->fail may be called via Gcf2Client.pm
@@ -210,8 +231,7 @@ sub cat_async_step ($$) {
                # ref($req) indicates it's already been retried
                # -gcf2 retries internally, so it never hits this path:
                if (!ref($req) && !$in_cleanup && $self->alternates_changed) {
-                       return cat_async_retry($self, $inflight,
-                                               $req, $cb, $arg);
+                       return cat_async_retry($self, $inflight);
                }
                $type = 'missing';
                $oid = ref($req) ? $$req : $req if $oid eq '';
@@ -219,9 +239,10 @@ sub cat_async_step ($$) {
                my $err = $! ? " ($!)" : '';
                $self->fail("bad result from async cat-file: $head$err");
        }
-       $self->{cat_rbuf} = $rbuf if $$rbuf ne '';
+       $self->{rbuf} = $rbuf if $$rbuf ne '';
+       splice(@$inflight, 0, 3); # don't retry $cb on ->fail
        eval { $cb->($bref, $oid, $type, $size, $arg) };
-       warn "E: $oid: $@\n" if $@;
+       async_err($self, $req, $oid, $@, 'cat') if $@;
 }
 
 sub cat_async_wait ($) {
@@ -252,8 +273,8 @@ sub cat_file {
 sub check_async_step ($$) {
        my ($self, $inflight_c) = @_;
        die 'BUG: inflight empty or odd' if scalar(@$inflight_c) < 3;
-       my ($req, $cb, $arg) = splice(@$inflight_c, 0, 3);
-       my $rbuf = delete($self->{chk_rbuf}) // \(my $new = '');
+       my ($req, $cb, $arg) = @$inflight_c[0, 1, 2];
+       my $rbuf = delete($self->{rbuf_c}) // \(my $new = '');
        chomp(my $line = my_readline($self->{in_c}, $rbuf));
        my ($hex, $type, $size) = split(/ /, $line);
 
@@ -265,9 +286,10 @@ sub check_async_step ($$) {
                my $ret = my_read($self->{in_c}, $rbuf, $type + 1);
                $self->fail(defined($ret) ? 'read EOF' : "read: $!") if !$ret;
        }
-       $self->{chk_rbuf} = $rbuf if $$rbuf ne '';
+       $self->{rbuf_c} = $rbuf if $$rbuf ne '';
+       splice(@$inflight_c, 0, 3); # don't retry $cb on ->fail
        eval { $cb->($hex, $type, $size, $arg, $self) };
-       warn "E: check($req) $@\n" if $@;
+       async_err($self, $req, $hex, $@, 'check') if $@;
 }
 
 sub check_async_wait ($) {
@@ -286,13 +308,27 @@ sub check_async_begin ($) {
        $self->{inflight_c} = [];
 }
 
+sub write_all {
+       my ($self, $out, $buf, $read_step, $inflight) = @_;
+       $read_step->($self, $inflight) while @$inflight >= MAX_INFLIGHT;
+       do {
+               my $w = syswrite($out, $buf);
+               if (defined $w) {
+                       return if $w == length($buf);
+                       warn "chop: $w";
+                       substr($buf, 0, $w, ''); # sv_chop
+               } elsif ($! != EAGAIN) {
+                       $self->fail("write: $!");
+               } else { warn "E: $!" }
+               $read_step->($self, $inflight);
+       } while (1);
+}
+
 sub check_async ($$$$) {
        my ($self, $oid, $cb, $arg) = @_;
        my $inflight_c = $self->{inflight_c} // check_async_begin($self);
-       while (scalar(@$inflight_c) >= MAX_INFLIGHT) {
-               check_async_step($self, $inflight_c);
-       }
-       print { $self->{out_c} } $oid, "\n" or $self->fail("write error: $!");
+       write_all($self, $self->{out_c}, $oid."\n",
+               \&check_async_step, $inflight_c);
        push(@$inflight_c, $oid, $cb, $arg);
 }
 
@@ -327,27 +363,39 @@ sub _destroy {
        dwaitpid($p) if $$ == $self->{"$pid.owner"};
 }
 
-sub cat_async_abort ($) {
+sub async_abort ($) {
        my ($self) = @_;
-       if (my $inflight = $self->{inflight}) {
-               while (@$inflight) {
-                       my ($req, $cb, $arg) = splice(@$inflight, 0, 3);
-                       $req =~ s/ .*//; # drop git_dir for Gcf2Client
-                       eval { $cb->(undef, $req, undef, undef, $arg) };
-                       warn "E: $req: $@ (in abort)\n" if $@;
+       while (scalar(@{$self->{inflight_c} // []}) ||
+                       scalar(@{$self->{inflight} // []})) {
+               for my $c ('', '_c') {
+                       my $q = $self->{"inflight$c"} or next;
+                       while (@$q) {
+                               my ($req, $cb, $arg) = splice(@$q, 0, 3);
+                               $req = $$req if ref($req);
+                               $req =~ s/ .*//; # drop git_dir for Gcf2Client
+                               eval { $cb->(undef, $req, undef, undef, $arg) };
+                               warn "E: (in abort) $req: $@" if $@;
+                       }
+                       delete $self->{"inflight$c"};
+                       delete $self->{"rbuf$c"};
                }
-               delete $self->{cat_rbuf};
-               delete $self->{inflight};
        }
        cleanup($self);
 }
 
 sub fail { # may be augmented in subclasses
        my ($self, $msg) = @_;
-       cat_async_abort($self);
+       async_abort($self);
        croak(ref($self) . ' ' . ($self->{git_dir} // '') . ": $msg");
 }
 
+sub async_err ($$$$$) {
+       my ($self, $req, $oid, $err, $action) = @_;
+       $req = $$req if ref($req); # retried
+       my $msg = "E: $action $req ($oid): $err";
+       $async_warn ? carp($msg) : $self->fail($msg);
+}
+
 # $git->popen(qw(show f00)); # or
 # $git->popen(qw(show f00), { GIT_CONFIG => ... }, { 2 => ... });
 sub popen {
@@ -385,24 +433,25 @@ sub async_wait_all ($) {
        my ($self) = @_;
        while (scalar(@{$self->{inflight_c} // []}) ||
                        scalar(@{$self->{inflight} // []})) {
-               $self->check_async_wait;
-               $self->cat_async_wait;
+               check_async_wait($self);
+               cat_async_wait($self);
        }
 }
 
 # returns true if there are pending "git cat-file" processes
 sub cleanup {
        my ($self, $lazy) = @_;
-       local $in_cleanup = 1;
        return 1 if $lazy && (scalar(@{$self->{inflight_c} // []}) ||
                                scalar(@{$self->{inflight} // []}));
+       local $in_cleanup = 1;
        delete $self->{async_cat};
+       delete $self->{async_chk};
        async_wait_all($self);
        delete $self->{inflight};
        delete $self->{inflight_c};
-       _destroy($self, qw(cat_rbuf in out pid));
-       _destroy($self, qw(chk_rbuf in_c out_c pid_c err_c));
-       defined($self->{pid}) || defined($self->{pid_c});
+       _destroy($self, qw(rbuf in out pid));
+       _destroy($self, qw(rbuf_c in_c out_c pid_c err_c));
+       undef;
 }
 
 # assuming a well-maintained repo, this should be a somewhat
@@ -421,13 +470,9 @@ sub packed_bytes {
 sub DESTROY { cleanup(@_) }
 
 sub local_nick ($) {
-       my ($self) = @_;
-       my $ret = '???';
        # don't show full FS path, basename should be OK:
-       if ($self->{git_dir} =~ m!/([^/]+)(?:/*\.git/*)?\z!) {
-               $ret = "$1.git";
-       }
-       wantarray ? ($ret) : $ret;
+       $_[0]->{nick} // ($_[0]->{git_dir} =~ m!/([^/]+?)(?:/*\.git/*)?\z! ?
+                       "$1.git" : undef);
 }
 
 sub host_prefix_url ($$) {
@@ -439,12 +484,22 @@ sub host_prefix_url ($$) {
        "$scheme://$host_port". ($env->{SCRIPT_NAME} || '/') . $url;
 }
 
+sub base_url { # for coderepos, PSGI-only
+       my ($self, $env) = @_; # env - PSGI env
+       my $url = host_prefix_url($env, '');
+       # for mount in Plack::Builder
+       $url .= '/' if substr($url, -1, 1) ne '/';
+       $url . $self->{nick} . '/';
+}
+
+sub isrch {} # TODO
+
 sub pub_urls {
        my ($self, $env) = @_;
        if (my $urls = $self->{cgit_url}) {
                return map { host_prefix_url($env, $_) } @$urls;
        }
-       local_nick($self);
+       (local_nick($self) // '???');
 }
 
 sub cat_async_begin {
@@ -458,10 +513,7 @@ sub cat_async_begin {
 sub cat_async ($$$;$) {
        my ($self, $oid, $cb, $arg) = @_;
        my $inflight = $self->{inflight} // cat_async_begin($self);
-       while (scalar(@$inflight) >= MAX_INFLIGHT) {
-               cat_async_step($self, $inflight);
-       }
-       print { $self->{out} } $oid, "\n" or $self->fail("write error: $!");
+       write_all($self, $self->{out}, $oid."\n", \&cat_async_step, $inflight);
        push(@$inflight, $oid, $cb, $arg);
 }
 
@@ -474,6 +526,33 @@ sub modified ($) {
        (split(/ /, <$fh> // time))[0] + 0; # integerize for JSON
 }
 
+sub try_cat {
+       my ($path) = @_;
+       open(my $fh, '<', $path) or return '';
+       local $/;
+       <$fh> // '';
+}
+
+sub cat_desc ($) {
+       my $desc = try_cat($_[0]);
+       chomp $desc;
+       utf8::decode($desc);
+       $desc =~ s/\s+/ /smg;
+       $desc eq '' ? undef : $desc;
+}
+
+sub description {
+       cat_desc("$_[0]->{git_dir}/description") // 'Unnamed repository';
+}
+
+sub cloneurl {
+       my ($self, $env) = @_;
+       $self->{cloneurl} // do {
+               my @urls = split(/\s+/s, try_cat("$self->{git_dir}/cloneurl"));
+               scalar(@urls) ? ($self->{cloneurl} = \@urls) : undef;
+       } // [ substr(base_url($self, $env), 0, -1) ];
+}
+
 # for grokmirror, which doesn't read gitweb.description
 # templates/hooks--update.sample and git-multimail in git.git
 # only match "Unnamed repository", not the full contents of
@@ -496,14 +575,8 @@ sub manifest_entry {
        chomp(my $owner = $self->qx('config', 'gitweb.owner'));
        utf8::decode($owner);
        $ent->{owner} = $owner eq '' ? undef : $owner;
-       my $desc = '';
-       if (open($fh, '<', "$git_dir/description")) {
-               local $/ = "\n";
-               chomp($desc = <$fh>);
-               utf8::decode($desc);
-       }
-       $desc = 'Unnamed repository' if $desc eq '';
-       if (defined $epoch && $desc =~ /\AUnnamed repository/) {
+       my $desc = description($self);
+       if (defined $epoch && index($desc, 'Unnamed repository') == 0) {
                $desc = "$default_desc [epoch $epoch]";
        }
        $ent->{description} = $desc;