diff options
author | Eric Wong <e@80x24.org> | 2019-10-01 01:03:55 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2019-10-01 03:40:45 +0000 |
commit | a803ec94f0be837fdb33d7f44c83f1739428fff2 (patch) | |
tree | b762976a50a72aa092edbe21ca62f3b53dd5898d | |
parent | a722d9aa28c19d82b74ccde6d94e6bdde9917f0c (diff) | |
download | public-inbox-a803ec94f0be837fdb33d7f44c83f1739428fff2.tar.gz |
Millions of inboxes in an instance is probably not feasible, but dozens or even hundreds could happen and /proc/sys/fs/pipe-user-pages-soft is only 16384 on my system, with each "cat-file --batch" process using 16+1 pages worth of pipes.
-rw-r--r-- | TODO | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -106,3 +106,9 @@ all need to be considered for everything we introduce) the latter is missing from OpenBSD and maybe other distros. * improve performance and avoid head-of-line blocking on slow storage + +* share "git cat-file --batch" processes across inboxes to avoid + bumping into /proc/sys/fs/pipe-user-pages-* limits + +* make "git cat-file --batch" detect unlinked packfiles so we don't + have to restart processes (very long-term) |