2019-03-07 01:55:38 +03:00
|
|
|
package brotli
|
|
|
|
|
2019-03-10 00:01:56 +03:00
|
|
|
import (
|
|
|
|
"encoding/binary"
|
|
|
|
"fmt"
|
|
|
|
)
|
2019-03-09 06:45:16 +03:00
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
type hasherCommon struct {
|
|
|
|
params hasherParams
|
2019-03-07 01:55:38 +03:00
|
|
|
is_prepared_ bool
|
|
|
|
dict_num_lookups uint
|
|
|
|
dict_num_matches uint
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func (h *hasherCommon) Common() *hasherCommon {
|
2019-03-09 01:11:00 +03:00
|
|
|
return h
|
|
|
|
}
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
type hasherHandle interface {
|
|
|
|
Common() *hasherCommon
|
|
|
|
Initialize(params *encoderParams)
|
2019-03-09 02:10:41 +03:00
|
|
|
Prepare(one_shot bool, input_size uint, data []byte)
|
|
|
|
StitchToPreviousBlock(num_bytes uint, position uint, ringbuffer []byte, ringbuffer_mask uint)
|
2019-03-09 03:43:15 +03:00
|
|
|
HashTypeLength() uint
|
|
|
|
StoreLookahead() uint
|
|
|
|
PrepareDistanceCache(distance_cache []int)
|
2019-03-16 03:24:40 +03:00
|
|
|
FindLongestMatch(dictionary *encoderDictionary, data []byte, ring_buffer_mask uint, distance_cache []int, cur_ix uint, max_length uint, max_backward uint, gap uint, max_distance uint, out *hasherSearchResult)
|
2019-03-09 03:43:15 +03:00
|
|
|
StoreRange(data []byte, mask uint, ix_start uint, ix_end uint)
|
|
|
|
Store(data []byte, mask uint, ix uint)
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
type score_t uint
|
|
|
|
|
2019-03-22 02:15:39 +03:00
|
|
|
const kCutoffTransformsCount uint32 = 10
|
2019-03-07 01:55:38 +03:00
|
|
|
|
|
|
|
/* 0, 12, 27, 23, 42, 63, 56, 48, 59, 64 */
|
|
|
|
/* 0+0, 4+8, 8+19, 12+11, 16+26, 20+43, 24+32, 28+20, 32+27, 36+28 */
|
2019-03-22 02:15:39 +03:00
|
|
|
const kCutoffTransforms uint64 = 0x071B520ADA2D3200
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
type hasherSearchResult struct {
|
2019-03-07 01:55:38 +03:00
|
|
|
len uint
|
|
|
|
distance uint
|
|
|
|
score uint
|
|
|
|
len_code_delta int
|
|
|
|
}
|
|
|
|
|
|
|
|
/* kHashMul32 multiplier has these properties:
|
|
|
|
* The multiplier must be odd. Otherwise we may lose the highest bit.
|
|
|
|
* No long streaks of ones or zeros.
|
|
|
|
* There is no effort to ensure that it is a prime, the oddity is enough
|
|
|
|
for this use.
|
|
|
|
* The number has been tuned heuristically against compression benchmarks. */
|
2019-03-22 01:34:30 +03:00
|
|
|
const kHashMul32 uint32 = 0x1E35A7BD
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-22 01:34:30 +03:00
|
|
|
const kHashMul64 uint64 = 0x1E35A7BD1E35A7BD
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-22 01:34:30 +03:00
|
|
|
const kHashMul64Long uint64 = 0x1FE35A7BD3579BD3
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func hash14(data []byte) uint32 {
|
2019-03-09 06:45:16 +03:00
|
|
|
var h uint32 = binary.LittleEndian.Uint32(data) * kHashMul32
|
2019-03-07 01:55:38 +03:00
|
|
|
|
|
|
|
/* The higher bits contain more mixture from the multiplication,
|
|
|
|
so we take our results from there. */
|
|
|
|
return h >> (32 - 14)
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func prepareDistanceCache(distance_cache []int, num_distances int) {
|
2019-03-07 01:55:38 +03:00
|
|
|
if num_distances > 4 {
|
|
|
|
var last_distance int = distance_cache[0]
|
|
|
|
distance_cache[4] = last_distance - 1
|
|
|
|
distance_cache[5] = last_distance + 1
|
|
|
|
distance_cache[6] = last_distance - 2
|
|
|
|
distance_cache[7] = last_distance + 2
|
|
|
|
distance_cache[8] = last_distance - 3
|
|
|
|
distance_cache[9] = last_distance + 3
|
|
|
|
if num_distances > 10 {
|
|
|
|
var next_last_distance int = distance_cache[1]
|
|
|
|
distance_cache[10] = next_last_distance - 1
|
|
|
|
distance_cache[11] = next_last_distance + 1
|
|
|
|
distance_cache[12] = next_last_distance - 2
|
|
|
|
distance_cache[13] = next_last_distance + 2
|
|
|
|
distance_cache[14] = next_last_distance - 3
|
|
|
|
distance_cache[15] = next_last_distance + 3
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
const literalByteScore = 135
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
const distanceBitPenalty = 30
|
2019-03-07 01:55:38 +03:00
|
|
|
|
|
|
|
/* Score must be positive after applying maximal penalty. */
|
2019-03-16 03:24:40 +03:00
|
|
|
const scoreBase = (distanceBitPenalty * 8 * 8)
|
2019-03-07 01:55:38 +03:00
|
|
|
|
|
|
|
/* Usually, we always choose the longest backward reference. This function
|
|
|
|
allows for the exception of that rule.
|
|
|
|
|
|
|
|
If we choose a backward reference that is further away, it will
|
|
|
|
usually be coded with more bits. We approximate this by assuming
|
|
|
|
log2(distance). If the distance can be expressed in terms of the
|
|
|
|
last four distances, we use some heuristic constants to estimate
|
|
|
|
the bits cost. For the first up to four literals we use the bit
|
|
|
|
cost of the literals from the literal cost model, after that we
|
|
|
|
use the average bit cost of the cost model.
|
|
|
|
|
|
|
|
This function is used to sometimes discard a longer backward reference
|
|
|
|
when it is not much longer and the bit cost for encoding it is more
|
|
|
|
than the saved literals.
|
|
|
|
|
|
|
|
backward_reference_offset MUST be positive. */
|
2019-03-16 03:24:40 +03:00
|
|
|
func backwardReferenceScore(copy_length uint, backward_reference_offset uint) uint {
|
|
|
|
return scoreBase + literalByteScore*uint(copy_length) - distanceBitPenalty*uint(log2FloorNonZero(backward_reference_offset))
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func backwardReferenceScoreUsingLastDistance(copy_length uint) uint {
|
|
|
|
return literalByteScore*uint(copy_length) + scoreBase + 15
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func backwardReferencePenaltyUsingLastDistance(distance_short_code uint) uint {
|
2019-03-07 01:55:38 +03:00
|
|
|
return uint(39) + ((0x1CA10 >> (distance_short_code & 0xE)) & 0xE)
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func testStaticDictionaryItem(dictionary *encoderDictionary, item uint, data []byte, max_length uint, max_backward uint, max_distance uint, out *hasherSearchResult) bool {
|
2019-03-07 01:55:38 +03:00
|
|
|
var len uint
|
|
|
|
var word_idx uint
|
|
|
|
var offset uint
|
|
|
|
var matchlen uint
|
|
|
|
var backward uint
|
|
|
|
var score uint
|
|
|
|
len = item & 0x1F
|
|
|
|
word_idx = item >> 5
|
|
|
|
offset = uint(dictionary.words.offsets_by_length[len]) + len*word_idx
|
|
|
|
if len > max_length {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
matchlen = findMatchLengthWithLimit(data, dictionary.words.data[offset:], uint(len))
|
2019-03-07 01:55:38 +03:00
|
|
|
if matchlen+uint(dictionary.cutoffTransformsCount) <= len || matchlen == 0 {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
{
|
|
|
|
var cut uint = len - matchlen
|
|
|
|
var transform_id uint = (cut << 2) + uint((dictionary.cutoffTransforms>>(cut*6))&0x3F)
|
|
|
|
backward = max_backward + 1 + word_idx + (transform_id << dictionary.words.size_bits_by_length[len])
|
|
|
|
}
|
|
|
|
|
|
|
|
if backward > max_distance {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
score = backwardReferenceScore(matchlen, backward)
|
2019-03-07 01:55:38 +03:00
|
|
|
if score < out.score {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
|
|
|
|
out.len = matchlen
|
|
|
|
out.len_code_delta = int(len) - int(matchlen)
|
|
|
|
out.distance = backward
|
|
|
|
out.score = score
|
|
|
|
return true
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func searchInStaticDictionary(dictionary *encoderDictionary, handle hasherHandle, data []byte, max_length uint, max_backward uint, max_distance uint, out *hasherSearchResult, shallow bool) {
|
2019-03-07 01:55:38 +03:00
|
|
|
var key uint
|
|
|
|
var i uint
|
2019-03-16 03:24:40 +03:00
|
|
|
var self *hasherCommon = handle.Common()
|
2019-03-07 01:55:38 +03:00
|
|
|
if self.dict_num_matches < self.dict_num_lookups>>7 {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
key = uint(hash14(data) << 1)
|
2019-03-07 01:55:38 +03:00
|
|
|
for i = 0; ; (func() { i++; key++ })() {
|
|
|
|
var tmp uint
|
|
|
|
if shallow {
|
|
|
|
tmp = 1
|
|
|
|
} else {
|
|
|
|
tmp = 2
|
|
|
|
}
|
|
|
|
if i >= tmp {
|
|
|
|
break
|
|
|
|
}
|
|
|
|
var item uint = uint(dictionary.hash_table[key])
|
|
|
|
self.dict_num_lookups++
|
|
|
|
if item != 0 {
|
2019-03-16 03:24:40 +03:00
|
|
|
var item_matches bool = testStaticDictionaryItem(dictionary, item, data, max_length, max_backward, max_distance, out)
|
2019-03-07 01:55:38 +03:00
|
|
|
if item_matches {
|
|
|
|
self.dict_num_matches++
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
type backwardMatch struct {
|
2019-03-07 01:55:38 +03:00
|
|
|
distance uint32
|
|
|
|
length_and_code uint32
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func initBackwardMatch(self *backwardMatch, dist uint, len uint) {
|
2019-03-07 01:55:38 +03:00
|
|
|
self.distance = uint32(dist)
|
|
|
|
self.length_and_code = uint32(len << 5)
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func initDictionaryBackwardMatch(self *backwardMatch, dist uint, len uint, len_code uint) {
|
2019-03-07 01:55:38 +03:00
|
|
|
self.distance = uint32(dist)
|
|
|
|
var tmp uint
|
|
|
|
if len == len_code {
|
|
|
|
tmp = 0
|
|
|
|
} else {
|
|
|
|
tmp = len_code
|
|
|
|
}
|
|
|
|
self.length_and_code = uint32(len<<5 | tmp)
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func backwardMatchLength(self *backwardMatch) uint {
|
2019-03-07 01:55:38 +03:00
|
|
|
return uint(self.length_and_code >> 5)
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func backwardMatchLengthCode(self *backwardMatch) uint {
|
2019-03-07 01:55:38 +03:00
|
|
|
var code uint = uint(self.length_and_code) & 31
|
|
|
|
if code != 0 {
|
|
|
|
return code
|
|
|
|
} else {
|
2019-03-16 03:24:40 +03:00
|
|
|
return backwardMatchLength(self)
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func hasherReset(handle hasherHandle) {
|
2019-03-07 01:55:38 +03:00
|
|
|
if handle == nil {
|
|
|
|
return
|
|
|
|
}
|
2019-03-09 01:11:00 +03:00
|
|
|
handle.Common().is_prepared_ = false
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func newHasher(typ int) hasherHandle {
|
2019-03-10 00:01:56 +03:00
|
|
|
switch typ {
|
|
|
|
case 2:
|
|
|
|
return &hashLongestMatchQuickly{
|
|
|
|
bucketBits: 16,
|
|
|
|
bucketSweep: 1,
|
|
|
|
hashLen: 5,
|
|
|
|
useDictionary: true,
|
|
|
|
}
|
|
|
|
case 3:
|
|
|
|
return &hashLongestMatchQuickly{
|
|
|
|
bucketBits: 16,
|
|
|
|
bucketSweep: 2,
|
|
|
|
hashLen: 5,
|
|
|
|
useDictionary: false,
|
|
|
|
}
|
|
|
|
case 4:
|
|
|
|
return &hashLongestMatchQuickly{
|
|
|
|
bucketBits: 17,
|
|
|
|
bucketSweep: 4,
|
|
|
|
hashLen: 5,
|
|
|
|
useDictionary: true,
|
|
|
|
}
|
|
|
|
case 5:
|
2019-03-16 03:24:40 +03:00
|
|
|
return new(h5)
|
2019-03-10 00:01:56 +03:00
|
|
|
case 6:
|
2019-03-16 03:24:40 +03:00
|
|
|
return new(h6)
|
2019-03-10 00:54:31 +03:00
|
|
|
case 10:
|
2019-03-16 03:24:40 +03:00
|
|
|
return new(h10)
|
2019-03-10 00:54:31 +03:00
|
|
|
case 35:
|
2019-03-10 01:01:03 +03:00
|
|
|
return &hashComposite{
|
|
|
|
ha: newHasher(3),
|
|
|
|
hb: &hashRolling{jump: 4},
|
|
|
|
}
|
2019-03-10 00:01:56 +03:00
|
|
|
case 40:
|
2019-03-10 00:34:19 +03:00
|
|
|
return &hashForgetfulChain{
|
|
|
|
bucketBits: 15,
|
|
|
|
numBanks: 1,
|
|
|
|
bankBits: 16,
|
|
|
|
numLastDistancesToCheck: 4,
|
|
|
|
}
|
2019-03-10 00:01:56 +03:00
|
|
|
case 41:
|
2019-03-10 00:34:19 +03:00
|
|
|
return &hashForgetfulChain{
|
|
|
|
bucketBits: 15,
|
|
|
|
numBanks: 1,
|
|
|
|
bankBits: 16,
|
|
|
|
numLastDistancesToCheck: 10,
|
|
|
|
}
|
2019-03-10 00:01:56 +03:00
|
|
|
case 42:
|
2019-03-10 00:34:19 +03:00
|
|
|
return &hashForgetfulChain{
|
|
|
|
bucketBits: 15,
|
|
|
|
numBanks: 512,
|
|
|
|
bankBits: 9,
|
|
|
|
numLastDistancesToCheck: 16,
|
|
|
|
}
|
2019-03-10 00:01:56 +03:00
|
|
|
case 54:
|
|
|
|
return &hashLongestMatchQuickly{
|
|
|
|
bucketBits: 20,
|
|
|
|
bucketSweep: 4,
|
|
|
|
hashLen: 7,
|
|
|
|
useDictionary: false,
|
|
|
|
}
|
|
|
|
case 55:
|
2019-03-10 01:01:03 +03:00
|
|
|
return &hashComposite{
|
|
|
|
ha: newHasher(54),
|
|
|
|
hb: &hashRolling{jump: 4},
|
|
|
|
}
|
2019-03-10 00:01:56 +03:00
|
|
|
case 65:
|
2019-03-10 01:01:03 +03:00
|
|
|
return &hashComposite{
|
|
|
|
ha: newHasher(6),
|
|
|
|
hb: &hashRolling{jump: 1},
|
|
|
|
}
|
2019-03-10 00:01:56 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
panic(fmt.Sprintf("unknown hasher type: %d", typ))
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func hasherSetup(handle *hasherHandle, params *encoderParams, data []byte, position uint, input_size uint, is_last bool) {
|
|
|
|
var self hasherHandle = nil
|
|
|
|
var common *hasherCommon = nil
|
2019-03-07 01:55:38 +03:00
|
|
|
var one_shot bool = (position == 0 && is_last)
|
|
|
|
if *handle == nil {
|
2019-03-16 04:00:20 +03:00
|
|
|
chooseHasher(params, ¶ms.hasher)
|
2019-03-10 00:01:56 +03:00
|
|
|
self = newHasher(params.hasher.type_)
|
2019-03-09 01:11:00 +03:00
|
|
|
|
2019-03-07 01:55:38 +03:00
|
|
|
*handle = self
|
2019-03-09 01:11:00 +03:00
|
|
|
common = self.Common()
|
2019-03-07 01:55:38 +03:00
|
|
|
common.params = params.hasher
|
2019-03-09 02:10:41 +03:00
|
|
|
self.Initialize(params)
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
self = *handle
|
2019-03-09 01:11:00 +03:00
|
|
|
common = self.Common()
|
2019-03-07 01:55:38 +03:00
|
|
|
if !common.is_prepared_ {
|
2019-03-09 02:10:41 +03:00
|
|
|
self.Prepare(one_shot, input_size, data)
|
2019-03-07 01:55:38 +03:00
|
|
|
|
|
|
|
if position == 0 {
|
|
|
|
common.dict_num_lookups = 0
|
|
|
|
common.dict_num_matches = 0
|
|
|
|
}
|
|
|
|
|
|
|
|
common.is_prepared_ = true
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-16 03:24:40 +03:00
|
|
|
func initOrStitchToPreviousBlock(handle *hasherHandle, data []byte, mask uint, params *encoderParams, position uint, input_size uint, is_last bool) {
|
|
|
|
var self hasherHandle
|
|
|
|
hasherSetup(handle, params, data, position, input_size, is_last)
|
2019-03-07 01:55:38 +03:00
|
|
|
self = *handle
|
2019-03-09 02:10:41 +03:00
|
|
|
self.StitchToPreviousBlock(input_size, position, data, mask)
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|