2019-07-23 18:26:39 +02:00
|
|
|
// Copyright 2019+ Klaus Post. All rights reserved.
|
|
|
|
// License information can be found in the LICENSE file.
|
|
|
|
// Based on work by Yann Collet, released under BSD License.
|
|
|
|
|
|
|
|
package zstd
|
|
|
|
|
|
|
|
import (
|
2022-05-02 15:00:32 +02:00
|
|
|
"encoding/binary"
|
2019-07-23 18:26:39 +02:00
|
|
|
"errors"
|
|
|
|
"fmt"
|
2022-05-02 15:00:32 +02:00
|
|
|
"io"
|
2019-07-23 18:26:39 +02:00
|
|
|
)
|
|
|
|
|
|
|
|
const (
|
|
|
|
tablelogAbsoluteMax = 9
|
|
|
|
)
|
|
|
|
|
|
|
|
const (
|
|
|
|
/*!MEMORY_USAGE :
|
|
|
|
* Memory usage formula : N->2^N Bytes (examples : 10 -> 1KB; 12 -> 4KB ; 16 -> 64KB; 20 -> 1MB; etc.)
|
|
|
|
* Increasing memory usage improves compression ratio
|
|
|
|
* Reduced memory usage can improve speed, due to cache effect
|
|
|
|
* Recommended max value is 14, for 16KB, which nicely fits into Intel x86 L1 cache */
|
2020-06-02 23:10:44 +02:00
|
|
|
maxMemoryUsage = tablelogAbsoluteMax + 2
|
2019-07-23 18:26:39 +02:00
|
|
|
|
|
|
|
maxTableLog = maxMemoryUsage - 2
|
|
|
|
maxTablesize = 1 << maxTableLog
|
|
|
|
maxTableMask = (1 << maxTableLog) - 1
|
|
|
|
minTablelog = 5
|
|
|
|
maxSymbolValue = 255
|
|
|
|
)
|
|
|
|
|
|
|
|
// fseDecoder provides temporary storage for compression and decompression.
|
|
|
|
type fseDecoder struct {
|
|
|
|
dt [maxTablesize]decSymbol // Decompression table.
|
|
|
|
symbolLen uint16 // Length of active part of the symbol table.
|
|
|
|
actualTableLog uint8 // Selected tablelog.
|
|
|
|
maxBits uint8 // Maximum number of additional bits
|
|
|
|
|
|
|
|
// used for table creation to avoid allocations.
|
|
|
|
stateTable [256]uint16
|
|
|
|
norm [maxSymbolValue + 1]int16
|
|
|
|
preDefined bool
|
|
|
|
}
|
|
|
|
|
|
|
|
// tableStep returns the next table index.
|
|
|
|
func tableStep(tableSize uint32) uint32 {
|
|
|
|
return (tableSize >> 1) + (tableSize >> 3) + 3
|
|
|
|
}
|
|
|
|
|
|
|
|
// readNCount will read the symbol distribution so decoding tables can be constructed.
|
|
|
|
func (s *fseDecoder) readNCount(b *byteReader, maxSymbol uint16) error {
|
|
|
|
var (
|
|
|
|
charnum uint16
|
|
|
|
previous0 bool
|
|
|
|
)
|
|
|
|
if b.remain() < 4 {
|
|
|
|
return errors.New("input too small")
|
|
|
|
}
|
2020-06-05 22:51:30 +02:00
|
|
|
bitStream := b.Uint32NC()
|
2019-07-23 18:26:39 +02:00
|
|
|
nbBits := uint((bitStream & 0xF) + minTablelog) // extract tableLog
|
|
|
|
if nbBits > tablelogAbsoluteMax {
|
|
|
|
println("Invalid tablelog:", nbBits)
|
|
|
|
return errors.New("tableLog too large")
|
|
|
|
}
|
|
|
|
bitStream >>= 4
|
|
|
|
bitCount := uint(4)
|
|
|
|
|
|
|
|
s.actualTableLog = uint8(nbBits)
|
|
|
|
remaining := int32((1 << nbBits) + 1)
|
|
|
|
threshold := int32(1 << nbBits)
|
|
|
|
gotTotal := int32(0)
|
|
|
|
nbBits++
|
|
|
|
|
|
|
|
for remaining > 1 && charnum <= maxSymbol {
|
|
|
|
if previous0 {
|
|
|
|
//println("prev0")
|
|
|
|
n0 := charnum
|
|
|
|
for (bitStream & 0xFFFF) == 0xFFFF {
|
|
|
|
//println("24 x 0")
|
|
|
|
n0 += 24
|
|
|
|
if r := b.remain(); r > 5 {
|
|
|
|
b.advance(2)
|
2020-06-05 22:51:30 +02:00
|
|
|
// The check above should make sure we can read 32 bits
|
|
|
|
bitStream = b.Uint32NC() >> bitCount
|
2019-07-23 18:26:39 +02:00
|
|
|
} else {
|
|
|
|
// end of bit stream
|
|
|
|
bitStream >>= 16
|
|
|
|
bitCount += 16
|
|
|
|
}
|
|
|
|
}
|
|
|
|
//printf("bitstream: %d, 0b%b", bitStream&3, bitStream)
|
|
|
|
for (bitStream & 3) == 3 {
|
|
|
|
n0 += 3
|
|
|
|
bitStream >>= 2
|
|
|
|
bitCount += 2
|
|
|
|
}
|
|
|
|
n0 += uint16(bitStream & 3)
|
|
|
|
bitCount += 2
|
|
|
|
|
|
|
|
if n0 > maxSymbolValue {
|
|
|
|
return errors.New("maxSymbolValue too small")
|
|
|
|
}
|
|
|
|
//println("inserting ", n0-charnum, "zeroes from idx", charnum, "ending before", n0)
|
|
|
|
for charnum < n0 {
|
|
|
|
s.norm[uint8(charnum)] = 0
|
|
|
|
charnum++
|
|
|
|
}
|
|
|
|
|
2020-06-05 22:51:30 +02:00
|
|
|
if r := b.remain(); r >= 7 || r-int(bitCount>>3) >= 4 {
|
2019-07-23 18:26:39 +02:00
|
|
|
b.advance(bitCount >> 3)
|
|
|
|
bitCount &= 7
|
2020-06-05 22:51:30 +02:00
|
|
|
// The check above should make sure we can read 32 bits
|
|
|
|
bitStream = b.Uint32NC() >> bitCount
|
2019-07-23 18:26:39 +02:00
|
|
|
} else {
|
|
|
|
bitStream >>= 2
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
max := (2*threshold - 1) - remaining
|
|
|
|
var count int32
|
|
|
|
|
|
|
|
if int32(bitStream)&(threshold-1) < max {
|
|
|
|
count = int32(bitStream) & (threshold - 1)
|
2020-02-26 19:46:17 +01:00
|
|
|
if debugAsserts && nbBits < 1 {
|
2019-07-23 18:26:39 +02:00
|
|
|
panic("nbBits underflow")
|
|
|
|
}
|
|
|
|
bitCount += nbBits - 1
|
|
|
|
} else {
|
|
|
|
count = int32(bitStream) & (2*threshold - 1)
|
|
|
|
if count >= threshold {
|
|
|
|
count -= max
|
|
|
|
}
|
|
|
|
bitCount += nbBits
|
|
|
|
}
|
|
|
|
|
|
|
|
// extra accuracy
|
|
|
|
count--
|
|
|
|
if count < 0 {
|
|
|
|
// -1 means +1
|
|
|
|
remaining += count
|
|
|
|
gotTotal -= count
|
|
|
|
} else {
|
|
|
|
remaining -= count
|
|
|
|
gotTotal += count
|
|
|
|
}
|
|
|
|
s.norm[charnum&0xff] = int16(count)
|
|
|
|
charnum++
|
|
|
|
previous0 = count == 0
|
|
|
|
for remaining < threshold {
|
|
|
|
nbBits--
|
|
|
|
threshold >>= 1
|
|
|
|
}
|
|
|
|
|
2020-06-05 22:51:30 +02:00
|
|
|
if r := b.remain(); r >= 7 || r-int(bitCount>>3) >= 4 {
|
2019-07-23 18:26:39 +02:00
|
|
|
b.advance(bitCount >> 3)
|
|
|
|
bitCount &= 7
|
2020-06-05 22:51:30 +02:00
|
|
|
// The check above should make sure we can read 32 bits
|
|
|
|
bitStream = b.Uint32NC() >> (bitCount & 31)
|
2019-07-23 18:26:39 +02:00
|
|
|
} else {
|
|
|
|
bitCount -= (uint)(8 * (len(b.b) - 4 - b.off))
|
|
|
|
b.off = len(b.b) - 4
|
2020-06-05 22:51:30 +02:00
|
|
|
bitStream = b.Uint32() >> (bitCount & 31)
|
2019-07-23 18:26:39 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
s.symbolLen = charnum
|
|
|
|
if s.symbolLen <= 1 {
|
|
|
|
return fmt.Errorf("symbolLen (%d) too small", s.symbolLen)
|
|
|
|
}
|
|
|
|
if s.symbolLen > maxSymbolValue+1 {
|
|
|
|
return fmt.Errorf("symbolLen (%d) too big", s.symbolLen)
|
|
|
|
}
|
|
|
|
if remaining != 1 {
|
|
|
|
return fmt.Errorf("corruption detected (remaining %d != 1)", remaining)
|
|
|
|
}
|
|
|
|
if bitCount > 32 {
|
|
|
|
return fmt.Errorf("corruption detected (bitCount %d > 32)", bitCount)
|
|
|
|
}
|
|
|
|
if gotTotal != 1<<s.actualTableLog {
|
|
|
|
return fmt.Errorf("corruption detected (total %d != %d)", gotTotal, 1<<s.actualTableLog)
|
|
|
|
}
|
|
|
|
b.advance((bitCount + 7) >> 3)
|
|
|
|
return s.buildDtable()
|
|
|
|
}
|
|
|
|
|
2022-05-02 15:00:32 +02:00
|
|
|
func (s *fseDecoder) mustReadFrom(r io.Reader) {
|
|
|
|
fatalErr := func(err error) {
|
|
|
|
if err != nil {
|
|
|
|
panic(err)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// dt [maxTablesize]decSymbol // Decompression table.
|
|
|
|
// symbolLen uint16 // Length of active part of the symbol table.
|
|
|
|
// actualTableLog uint8 // Selected tablelog.
|
|
|
|
// maxBits uint8 // Maximum number of additional bits
|
|
|
|
// // used for table creation to avoid allocations.
|
|
|
|
// stateTable [256]uint16
|
|
|
|
// norm [maxSymbolValue + 1]int16
|
|
|
|
// preDefined bool
|
|
|
|
fatalErr(binary.Read(r, binary.LittleEndian, &s.dt))
|
|
|
|
fatalErr(binary.Read(r, binary.LittleEndian, &s.symbolLen))
|
|
|
|
fatalErr(binary.Read(r, binary.LittleEndian, &s.actualTableLog))
|
|
|
|
fatalErr(binary.Read(r, binary.LittleEndian, &s.maxBits))
|
|
|
|
fatalErr(binary.Read(r, binary.LittleEndian, &s.stateTable))
|
|
|
|
fatalErr(binary.Read(r, binary.LittleEndian, &s.norm))
|
|
|
|
fatalErr(binary.Read(r, binary.LittleEndian, &s.preDefined))
|
|
|
|
}
|
|
|
|
|
2019-07-23 18:26:39 +02:00
|
|
|
// decSymbol contains information about a state entry,
|
|
|
|
// Including the state offset base, the output symbol and
|
|
|
|
// the number of bits to read for the low part of the destination state.
|
2019-08-05 09:34:32 +02:00
|
|
|
// Using a composite uint64 is faster than a struct with separate members.
|
|
|
|
type decSymbol uint64
|
|
|
|
|
|
|
|
func newDecSymbol(nbits, addBits uint8, newState uint16, baseline uint32) decSymbol {
|
|
|
|
return decSymbol(nbits) | (decSymbol(addBits) << 8) | (decSymbol(newState) << 16) | (decSymbol(baseline) << 32)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d decSymbol) nbBits() uint8 {
|
|
|
|
return uint8(d)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d decSymbol) addBits() uint8 {
|
|
|
|
return uint8(d >> 8)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d decSymbol) newState() uint16 {
|
|
|
|
return uint16(d >> 16)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d decSymbol) baselineInt() int {
|
|
|
|
return int(d >> 32)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d *decSymbol) setNBits(nBits uint8) {
|
|
|
|
const mask = 0xffffffffffffff00
|
|
|
|
*d = (*d & mask) | decSymbol(nBits)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d *decSymbol) setAddBits(addBits uint8) {
|
|
|
|
const mask = 0xffffffffffff00ff
|
|
|
|
*d = (*d & mask) | (decSymbol(addBits) << 8)
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d *decSymbol) setNewState(state uint16) {
|
|
|
|
const mask = 0xffffffff0000ffff
|
|
|
|
*d = (*d & mask) | decSymbol(state)<<16
|
|
|
|
}
|
|
|
|
|
|
|
|
func (d *decSymbol) setExt(addBits uint8, baseline uint32) {
|
|
|
|
const mask = 0xffff00ff
|
|
|
|
*d = (*d & mask) | (decSymbol(addBits) << 8) | (decSymbol(baseline) << 32)
|
2019-07-23 18:26:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// decSymbolValue returns the transformed decSymbol for the given symbol.
|
|
|
|
func decSymbolValue(symb uint8, t []baseOffset) (decSymbol, error) {
|
|
|
|
if int(symb) >= len(t) {
|
2019-08-05 09:34:32 +02:00
|
|
|
return 0, fmt.Errorf("rle symbol %d >= max %d", symb, len(t))
|
2019-07-23 18:26:39 +02:00
|
|
|
}
|
|
|
|
lu := t[symb]
|
2019-08-05 09:34:32 +02:00
|
|
|
return newDecSymbol(0, lu.addBits, 0, lu.baseLine), nil
|
2019-07-23 18:26:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// setRLE will set the decoder til RLE mode.
|
|
|
|
func (s *fseDecoder) setRLE(symbol decSymbol) {
|
|
|
|
s.actualTableLog = 0
|
2019-08-05 09:34:32 +02:00
|
|
|
s.maxBits = symbol.addBits()
|
2019-07-23 18:26:39 +02:00
|
|
|
s.dt[0] = symbol
|
|
|
|
}
|
|
|
|
|
|
|
|
// transform will transform the decoder table into a table usable for
|
|
|
|
// decoding without having to apply the transformation while decoding.
|
|
|
|
// The state will contain the base value and the number of bits to read.
|
|
|
|
func (s *fseDecoder) transform(t []baseOffset) error {
|
|
|
|
tableSize := uint16(1 << s.actualTableLog)
|
|
|
|
s.maxBits = 0
|
|
|
|
for i, v := range s.dt[:tableSize] {
|
2019-08-05 09:34:32 +02:00
|
|
|
add := v.addBits()
|
|
|
|
if int(add) >= len(t) {
|
|
|
|
return fmt.Errorf("invalid decoding table entry %d, symbol %d >= max (%d)", i, v.addBits(), len(t))
|
2019-07-23 18:26:39 +02:00
|
|
|
}
|
2019-08-05 09:34:32 +02:00
|
|
|
lu := t[add]
|
2019-07-23 18:26:39 +02:00
|
|
|
if lu.addBits > s.maxBits {
|
|
|
|
s.maxBits = lu.addBits
|
|
|
|
}
|
2019-08-05 09:34:32 +02:00
|
|
|
v.setExt(lu.addBits, lu.baseLine)
|
|
|
|
s.dt[i] = v
|
2019-07-23 18:26:39 +02:00
|
|
|
}
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
type fseState struct {
|
|
|
|
dt []decSymbol
|
|
|
|
state decSymbol
|
|
|
|
}
|
|
|
|
|
|
|
|
// Initialize and decodeAsync first state and symbol.
|
|
|
|
func (s *fseState) init(br *bitReader, tableLog uint8, dt []decSymbol) {
|
|
|
|
s.dt = dt
|
|
|
|
br.fill()
|
|
|
|
s.state = dt[br.getBits(tableLog)]
|
|
|
|
}
|
|
|
|
|
2019-08-05 09:34:32 +02:00
|
|
|
// final returns the current state symbol without decoding the next.
|
|
|
|
func (s decSymbol) final() (int, uint8) {
|
|
|
|
return s.baselineInt(), s.addBits()
|
2019-07-23 18:26:39 +02:00
|
|
|
}
|