2019-09-16 12:07:48 +00:00
|
|
|
package rleplus
|
|
|
|
|
|
|
|
import (
|
|
|
|
"encoding/binary"
|
|
|
|
"errors"
|
|
|
|
"fmt"
|
|
|
|
"sort"
|
|
|
|
|
2019-10-18 04:47:41 +00:00
|
|
|
bitvector "github.com/filecoin-project/lotus/extern/rleplus/internal"
|
2019-09-16 12:07:48 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
// Version is the 2 lowest bits of this constant
|
|
|
|
const Version = 0
|
|
|
|
|
|
|
|
var (
|
|
|
|
// ErrRunLengthTooLarge - data implies a run-length which isn't supported
|
|
|
|
ErrRunLengthTooLarge = fmt.Errorf("run length too large for RLE+ version %d", Version)
|
|
|
|
|
|
|
|
// ErrDecode - invalid encoding for this version
|
|
|
|
ErrDecode = fmt.Errorf("invalid encoding for RLE+ version %d", Version)
|
|
|
|
|
|
|
|
// ErrWrongVersion - wrong version of RLE+
|
|
|
|
ErrWrongVersion = errors.New("invalid RLE+ version")
|
|
|
|
)
|
|
|
|
|
|
|
|
// Encode returns the RLE+ representation of the provided integers.
|
|
|
|
// Also returned is the number of bits required by this encoding,
|
|
|
|
// which is not necessarily on a byte boundary.
|
|
|
|
//
|
|
|
|
// The RLE+ spec is here: https://github.com/filecoin-project/specs/blob/master/data-structures.md#rle-bitset-encoding
|
|
|
|
// and is described by the BNF Grammar:
|
|
|
|
//
|
|
|
|
// <encoding> ::= <header> <blocks>
|
|
|
|
// <header> ::= <version> <bit>
|
|
|
|
// <version> ::= "00"
|
|
|
|
// <blocks> ::= <block> <blocks> | ""
|
|
|
|
// <block> ::= <block_single> | <block_short> | <block_long>
|
|
|
|
// <block_single> ::= "1"
|
|
|
|
// <block_short> ::= "01" <bit> <bit> <bit> <bit>
|
|
|
|
// <block_long> ::= "00" <unsigned_varint>
|
|
|
|
// <bit> ::= "0" | "1"
|
|
|
|
//
|
|
|
|
// Filecoin specific:
|
|
|
|
// The encoding is returned as a []byte, each byte packed starting with the low-order bit (LSB0)
|
|
|
|
func Encode(ints []uint64) ([]byte, uint, error) {
|
|
|
|
v := bitvector.BitVector{BytePacking: bitvector.LSB0}
|
|
|
|
firstBit, runs := RunLengths(ints)
|
|
|
|
|
|
|
|
// Add version header
|
|
|
|
v.Extend(Version, 2, bitvector.LSB0)
|
|
|
|
|
|
|
|
v.Push(firstBit)
|
|
|
|
|
|
|
|
for _, run := range runs {
|
|
|
|
switch {
|
|
|
|
case run == 1:
|
|
|
|
v.Push(1)
|
|
|
|
case run < 16:
|
|
|
|
v.Push(0)
|
|
|
|
v.Push(1)
|
|
|
|
v.Extend(byte(run), 4, bitvector.LSB0)
|
|
|
|
case run >= 16:
|
|
|
|
v.Push(0)
|
|
|
|
v.Push(0)
|
|
|
|
// 10 bytes needed to encode MaxUint64
|
|
|
|
buf := make([]byte, 10)
|
|
|
|
numBytes := binary.PutUvarint(buf, run)
|
|
|
|
for i := 0; i < numBytes; i++ {
|
|
|
|
v.Extend(buf[i], 8, bitvector.LSB0)
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
return nil, 0, ErrRunLengthTooLarge
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return v.Buf, v.Len, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// Decode returns integers represented by the given RLE+ encoding
|
|
|
|
//
|
|
|
|
// The length of the encoding is not specified. It is inferred by
|
|
|
|
// reading zeroes from the (possibly depleted) BitVector, by virtue
|
|
|
|
// of the behavior of BitVector.Take() returning 0 when the end of
|
|
|
|
// the BitVector has been reached. This has the downside of not
|
|
|
|
// being able to detect corrupt encodings.
|
|
|
|
//
|
|
|
|
// The passed []byte should be packed in LSB0 bit numbering
|
|
|
|
func Decode(buf []byte) (ints []uint64, err error) {
|
|
|
|
if len(buf) == 0 {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
v := bitvector.NewBitVector(buf, bitvector.LSB0)
|
|
|
|
take := v.Iterator(bitvector.LSB0)
|
|
|
|
|
|
|
|
// Read version and check
|
|
|
|
// Version check
|
|
|
|
ver := take(2)
|
|
|
|
if ver != Version {
|
|
|
|
return nil, ErrWrongVersion
|
|
|
|
}
|
|
|
|
|
|
|
|
curIdx := uint64(0)
|
|
|
|
curBit := take(1)
|
|
|
|
var runLength int
|
|
|
|
done := false
|
|
|
|
|
|
|
|
for done == false {
|
|
|
|
y := take(1)
|
|
|
|
switch y {
|
|
|
|
case 1:
|
|
|
|
runLength = 1
|
|
|
|
case 0:
|
|
|
|
val := take(1)
|
|
|
|
|
|
|
|
if val == 1 {
|
|
|
|
// short block
|
|
|
|
runLength = int(take(4))
|
|
|
|
} else {
|
|
|
|
// long block
|
|
|
|
var buf []byte
|
|
|
|
for {
|
|
|
|
b := take(8)
|
|
|
|
buf = append(buf, b)
|
|
|
|
|
|
|
|
if b&0x80 == 0 {
|
|
|
|
break
|
|
|
|
}
|
|
|
|
|
|
|
|
// 10 bytes is required to store math.MaxUint64 in a uvarint
|
|
|
|
if len(buf) > 10 {
|
|
|
|
return nil, ErrDecode
|
|
|
|
}
|
|
|
|
}
|
|
|
|
x, _ := binary.Uvarint(buf)
|
|
|
|
|
|
|
|
if x == 0 {
|
|
|
|
done = true
|
|
|
|
}
|
|
|
|
runLength = int(x)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if curBit == 1 {
|
|
|
|
for j := 0; j < runLength; j++ {
|
|
|
|
ints = append(ints, curIdx+uint64(j))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
curIdx += uint64(runLength)
|
|
|
|
curBit = 1 - curBit
|
|
|
|
}
|
|
|
|
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
// RunLengths transforms integers into its bit-set-run-length representation.
|
|
|
|
//
|
|
|
|
// A set of unsigned integers { 0, 2, 4, 5, 6 } can be thought of as
|
|
|
|
// indices into a bitset { 1, 0, 1, 0, 1, 1, 1 } where bitset[index] == 1.
|
|
|
|
//
|
|
|
|
// The bit set run lengths of this set would then be { 1, 1, 1, 1, 3 },
|
|
|
|
// representing lengths of runs alternating between 1 and 0, starting
|
|
|
|
// with a first bit of 1.
|
|
|
|
//
|
|
|
|
// Duplicated numbers are ignored.
|
|
|
|
//
|
|
|
|
// This is a helper function for Encode()
|
|
|
|
func RunLengths(ints []uint64) (firstBit byte, runs []uint64) {
|
|
|
|
if len(ints) == 0 {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
// Sort our incoming numbers
|
|
|
|
sort.Slice(ints, func(i, j int) bool { return ints[i] < ints[j] })
|
|
|
|
|
|
|
|
prev := ints[0]
|
|
|
|
|
|
|
|
// Initialize our return value
|
|
|
|
if prev == 0 {
|
|
|
|
firstBit = 1
|
|
|
|
}
|
|
|
|
|
|
|
|
if firstBit == 0 {
|
|
|
|
// first run of zeroes
|
|
|
|
runs = append(runs, prev)
|
|
|
|
}
|
|
|
|
runs = append(runs, 1)
|
|
|
|
|
|
|
|
for _, cur := range ints[1:] {
|
|
|
|
delta := cur - prev
|
|
|
|
switch {
|
|
|
|
case delta == 1:
|
|
|
|
runs[len(runs)-1]++
|
|
|
|
case delta > 1:
|
|
|
|
// add run of zeroes if there is a gap
|
|
|
|
runs = append(runs, delta-1)
|
|
|
|
runs = append(runs, 1)
|
|
|
|
default:
|
|
|
|
// repeated number?
|
|
|
|
}
|
|
|
|
prev = cur
|
|
|
|
}
|
|
|
|
return
|
|
|
|
}
|