lib/lz4: stop forking upstream LZ4, vendor it instead
Get series with b4
b4 am [email protected] change-id 20260904-lz4-vendor-upstream-4bc2202d0ffcVersions newest first
- v2 Latest15 patches 3 repliesIn review
- v1 RFC9 patches 16 repliesSuperseded
Changes in v2 from the cover letter
- Drop the RFC prefix
- New patches 1-2: move the pre-boot decompressor to
LZ4_decompress_safe_partial() and remove LZ4_decompress_fast() and its
variants from the fork, ahead of the import (Sergey)
- New patch 3: zram's lz4hc backend resets its stream once, not per page
- New patches 6-7: backport upstream's arm64 fast decode loop (Sergey)
and its match length limit fix
- New patch 12: widen LZ4_DECOMPRESS_INPLACE_MARGIN for the fast decode
loop
- Compressor entry points check wrkmem alignment, warn and fail (Sergey)
- Patch 13 names the upstream counterpart of each retired local patch
(Sergey)
- MAINTAINERS: also cover lib/decompress_unlz4.c and include/linux/decompress/unlz4.h (Eric)
- Remeasure erofs reads with more runs on an idle machine
- Link to v1: https://lore.kernel.org/r/[email protected]
Patches in v2 No applies recorded yet
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/15 | lib/decompress_unlz4: use LZ4_decompress_safe_partial() before bootlib/ | +8 | 0 replies | |
| 2/15 | lib/lz4: remove LZ4_decompress_fast() and its variantsinclude/ lib/ | +0 | 0 replies | |
| 3/15 | zram: lz4hc: reset the dictionary stream once, not per pagedrivers/ | +2 | 1 reply | |
| 4/15 | lib/lz4: import upstream LZ4 sources verbatimlib/ lib/ lib/ +1 more | +6319 | 0 replies | |
| 5/15 | lib/lz4: backport upstream's -Wmissing-prototypes fixlib/ lib/ | +2 | 0 replies | |
| 6/15 | lib/lz4: backport upstream's aarch64 fast decode loop enablementlib/ | +1 | 0 replies | |
| 7/15 | lib/lz4: backport upstream's match length limit fixlib/ | +2 | 0 replies | |
| 8/15 | lib/lz4: add the build environment for the vendored sourceslib/ lib/ lib/ +3 more | +265 | 0 replies | |
| 9/15 | arch: boot: put the LZ4 freestanding headers on the decompressor patharch/ arch/ arch/ +2 more | +16 | 0 replies | |
| 10/15 | lib/lz4: switch the compressor to the vendored sourcesdrivers/ include/ lib/ +1 more | +80 | 1 reply | |
| 11/15 | lib/lz4: switch the HC compressor to the vendored sourcesDocumentation/ drivers/ include/ +2 more | +91 | 0 replies | |
| 12/15 | lib/lz4: widen LZ4_DECOMPRESS_INPLACE_MARGIN for the fast decode loopinclude/ | +12 | 0 replies | |
| 13/15 | lib/lz4: switch the decompressor to the vendored sourcesdrivers/ drivers/ include/ +3 more | +71 | 1 reply | |
| 14/15 | lib/lz4: replace lz4_kernel_api.h's prototypes with <linux/lz4.h>lib/ lib/ lib/ +1 more | +11 | 0 replies | |
| 15/15 | MAINTAINERS: add an entry for the LZ4 compression libraryMAINTAINERS | +10 | 0 replies |
Reviews trailers per patch
No Reviewed-by, Acked-by or Tested-by trailers for v2 yet.
Cover letter [PATCH v2 00/15] lib/lz4: stop forking upstream LZ4, vendor it instead
The in-kernel LZ4 is a fork. The decompressor was last synced with upstream v1.8.3 in 2018 and the compressor with v1.7.3 in 2017, both by hand. Upstream has made 488 commits against lib/ since, and the gap is maintained one cherry-pick at a time.
That has left real bugs in place for example the forked LZ4_decompress_fast() has no bounds checks on its input, so corrupted input reads past its end and before the output buffer.
This series vendors the upstream sources unmodified and adapts them at build time, so a re-sync becomes a directory copy:
upstream/lz4.c, upstream/lz4.h verbatim upstream sources
upstream/lz4hc.c, upstream/lz4hc.h
lz4_deps.h the build environment lz4_kernel_api.h hands the LZ4 names back freestanding/ ISO C headers -nostdinc drops lz4_compress.c the kernel's entry points
lz4_decompress.c
lz4hc_compress.c
Patches 1-3 apply to the fork as it stands: patch 1 moves the pre-boot decompressor off LZ4_decompress_fast(), patch 2 removes it and its variants, and patch 3 stops zram's lz4hc backend resetting its stream for every page. Patch 4 imports the sources. Patches 5-7 backport the upstream fixes the kernel needs on top of v1.10.0. Patch 8 adds the build environment. Patch 9 puts the freestanding headers on the pre-boot decompressor path. Patches 10, 11 and 13 convert the compressor, HC compressor and decompressor in turn; patch 12 widens the in-place margin erofs relies on for the new decoder. Patch 14 drops the last duplicated prototype list. Patch 15 gives lib/lz4 a MAINTAINERS entry, which it has never had.
This is meant to go through Andrew's tree; patch 9 needs acks from the boot maintainers.
The exported API changes in four ways.
The three stream types become incomplete. <linux/lz4.h> spelled out their layout for the fork's benefit, upstream headers define the same types and lib/decompress_unlz4.c ends up with both in one translation unit. Callers allocate LZ4_MEM_COMPRESS, LZ4HC_MEM_COMPRESS or LZ4_MEM_DECOMPRESS bytes instead of sizeof() every caller but zram already did. Each conversion patch makes its own type incomplete so no step leaves the tree broken.
Sixteen macros go with them: the hash geometry (LZ4_HASHLOG, LZ4_HASHTABLESIZE, LZ4_HASH_SIZE_U32, LZ4HC_DICTIONARY_LOGSIZE, LZ4HC_MAXD, LZ4HC_MAXD_MASK, LZ4HC_HASH_LOG, LZ4HC_HASHTABLESIZE, LZ4HC_HASH_MASK) and the sizes derived from it (LZ4_MEMORY_USAGE, LZ4_STREAMSIZE{,_U64}, LZ4_STREAMHCSIZE{,_SIZET}, LZ4_STREAMDECODESIZE{,_U64}). They existed to lay out structures the fork defined here none has an in tree user outside lib/lz4. LZ4_compressBound() goes too a static inline whose only caller was lib/decompress_unlz4.c, now using the LZ4_COMPRESSBOUND() macro.
LZ4_MEM_DECOMPRESS and LZ4HC_CLAMP_CLEVEL are new.
LZ4_decompress_fast(), LZ4_decompress_fast_continue() and LZ4_decompress_fast_usingDict() go. Upstream has deprecated them since v1.9, and their last in-tree user, the pre-boot decompressor, now uses LZ4_decompress_safe_partial().
There are some behaviour changes. All of them come from upstream rather than from this series and I have kept them rather than patching them
out: a local fix on top of vendored sources is exactly the divergence this series exists to remove.
- LZ4HC levels 10 and up are clamped to 9. Upstream routes them to its optimal parser, whose ~64K opt[] does not fit a kernel stack. The fork had no optimal parser at all - level only scaled search depth - so its levels 10-16 beat its own level 9 by 0.01%. Clamping rather than rejecting keeps existing f2fs and zram settings working.
- LZ4_decompress_safe_partial() with a zero-length target returns 0 rather than -1, matching upstream since 725cb0aafdf7. No in-tree caller depends on it.
- The compressors require wrkmem aligned to 8 bytes. Upstream checks this and LZ4_initStream() returns NULL, which upstream's own callers then dereference or ignore. The entry points check the alignment themselves, warn once and fail the call. Every in-tree caller uses kmalloc() or vmalloc() and is already aligned; <linux/lz4.h> now documents the requirement.
The layout follows lib/zstd, which keeps upstream's sources in a subdirectory and the kernel glue on top. zstd has an upstream import tool and an upstream zstd_deps.h; LZ4 has neither, so the kernel glue here lives outside the vendored files.
The import is the v1.10.0 release tag. It does not build under -Wmissing-prototypes without upstream commit 5ef1f16929b5, which patch 5 backports. Patch 6 backports upstream's arm64 fast decode loop and patch 7 its match length limit fix; those are the only deviations from the tag. The rest of PR #1753 fixes code added after v1.10.0, so it will come with the next release.
checkpatch reports some 3500 errors against patch 4: upstream's coding style, and no SPDX tags, in files kept verbatim.
Measured in the kernel: three kernels differing only in lib/lz4, booted one core under KVM, each reading 1.3GB of kernel source from an LZ4 erofs image with the page cache dropped before every pass. For v2 this was remeasured with more runs on an idle machine: median of 140 passes. The middle column is upstream v1.10.0 with LZ4_FAST_DEC_LOOP=0, to separate the version bump from the decode loop upstream added in v1.9.0.
erofs read, MB/s
erofs cluster today v1.10.0 + fast loop net
4K 2486 2549 2665 +7%
64K 3013 3104 3225 +7%The same three decoders at the library level, each block decompressed on its own the way zram treats a page. x86_64, the fork's and upstream's sources built with the kernel's code generation flags (so no SSE), all decoding the same compressed input, median of 21 interleaved runs. The first corpus is upstream's tests/datagen with a fixed seed, so it is byte-identical anywhere; the second is a tar of kernel sources:
decompression, MB/s
corpus block ratio today v1.10.0 + fast loop net
datagen -s0 -P60 4K 1.09x 4584 4535 5097 +11%
16K 1.34x 3960 3978 4828 +22%
64K 1.90x 4797 4802 5598 +17%
256K 1.92x 6749 6559 7600 +13%
kernel source tar 4K 2.29x 3719 3832 4219 +13%
16K 2.57x 3778 3880 4203 +11%
64K 2.80x 3792 3886 4179 +10%
256K 2.95x 4165 4280 4750 +14%Compression is not uniformly faster: lz4hc on small blocks of poorly compressible data is up to 15% slower. Patches 10 and 11 have the numbers.
The cost is size: lib/lz4 grows from 45K to 86K of text on x86_64, lz4hc most (12K to 39K). That is upstream code the fork never had.
---
Changes in v2:
- Drop the RFC prefix
- New patches 1-2: move the pre-boot decompressor to
LZ4_decompress_safe_partial() and remove LZ4_decompress_fast() and its
variants from the fork, ahead of the import (Sergey)
- New patch 3: zram's lz4hc backend resets its stream once, not per page
- New patches 6-7: backport upstream's arm64 fast decode loop (Sergey)
and its match length limit fix
- New patch 12: widen LZ4_DECOMPRESS_INPLACE_MARGIN for the fast decode
loop
- Compressor entry points check wrkmem alignment, warn and fail (Sergey)
- Patch 13 names the upstream counterpart of each retired local patch
(Sergey)
- MAINTAINERS: also cover lib/decompress_unlz4.c and include/linux/decompress/unlz4.h (Eric)
- Remeasure erofs reads with more runs on an idle machine
- Link to v1: https://lore.kernel.org/r/[email protected]
---
Michal Wilczynski (15):
lib/decompress_unlz4: use LZ4_decompress_safe_partial() before boot lib/lz4: remove LZ4_decompress_fast() and its variants
zram: lz4hc: reset the dictionary stream once, not per page lib/lz4: import upstream LZ4 sources verbatim
lib/lz4: backport upstream's -Wmissing-prototypes fix lib/lz4: backport upstream's aarch64 fast decode loop enablement lib/lz4: backport upstream's match length limit fix lib/lz4: add the build environment for the vendored sources
arch: boot: put the LZ4 freestanding headers on the decompressor path lib/lz4: switch the compressor to the vendored sources lib/lz4: switch the HC compressor to the vendored sources lib/lz4: widen LZ4_DECOMPRESS_INPLACE_MARGIN for the fast decode loop lib/lz4: switch the decompressor to the vendored sources lib/lz4: replace lz4_kernel_api.h's prototypes with <linux/lz4.h>
MAINTAINERS: add an entry for the LZ4 compression library
Documentation/filesystems/f2fs.rst | 2 + MAINTAINERS | 10 + arch/arm/boot/compressed/Makefile | 3 + arch/mips/boot/compressed/Makefile | 4 + arch/parisc/boot/compressed/Makefile | 3 + arch/s390/boot/Makefile | 3 + arch/x86/boot/compressed/Makefile | 3 + drivers/block/zram/backend_lz4.c | 8 +- drivers/block/zram/backend_lz4hc.c | 8 +- include/linux/lz4.h | 253 +-- lib/decompress_unlz4.c | 17 +- lib/lz4/Makefile | 16 +- lib/lz4/freestanding/limits.h | 14 + lib/lz4/freestanding/stddef.h | 15 + lib/lz4/freestanding/stdint.h | 14 + lib/lz4/freestanding/string.h | 14 + lib/lz4/lz4_compress.c | 946 +----------- lib/lz4/lz4_decompress.c | 724 +-------- lib/lz4/lz4_deps.h | 118 ++ lib/lz4/lz4_kernel_api.h | 34 + lib/lz4/lz4defs.h | 247 --- lib/lz4/lz4hc_compress.c | 792 +--------- lib/lz4/upstream/lz4.c | 2824 ++++++++++++++++++++++++++++++++++ lib/lz4/upstream/lz4.h | 884 +++++++++++ lib/lz4/upstream/lz4hc.c | 2192 ++++++++++++++++++++++++++ lib/lz4/upstream/lz4hc.h | 414 +++++ 26 files changed, 6813 insertions(+), 2749 deletions(-)
---
base-commit: 93f51579e7df248780214094418f205253383cc5
change-id: 20260904-lz4-vendor-upstream-4bc2202d0ffc
Best regards,
Signature · 1 line
Michal Wilczynski <[email protected]>