2019-03-07 01:55:38 +03:00
|
|
|
package brotli
|
|
|
|
|
|
|
|
/* NOTE: this hasher does not search in the dictionary. It is used as
|
|
|
|
backup-hasher, the main hasher already searches in it. */
|
|
|
|
/* NOLINT(build/header_guard) */
|
|
|
|
/* Copyright 2018 Google Inc. All Rights Reserved.
|
|
|
|
|
|
|
|
Distributed under MIT license.
|
|
|
|
See file LICENSE for detail or copy at https://opensource.org/licenses/MIT
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* Rolling hash for long distance long string matches. Stores one position
|
|
|
|
per bucket, bucket key is computed over a long region. */
|
2019-03-10 00:54:31 +03:00
|
|
|
var kRollingHashMul32hashRolling uint32 = 69069
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
var kInvalidPosHashRolling uint32 = 0xffffffff
|
2019-03-07 01:55:38 +03:00
|
|
|
|
|
|
|
/* This hasher uses a longer forward length, but returning a higher value here
|
|
|
|
will hurt compression by the main hasher when combined with a composite
|
|
|
|
hasher. The hasher tests for forward itself instead. */
|
2019-03-10 00:54:31 +03:00
|
|
|
func (*hashRolling) HashTypeLength() uint {
|
2019-03-07 01:55:38 +03:00
|
|
|
return 4
|
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (*hashRolling) StoreLookahead() uint {
|
2019-03-07 01:55:38 +03:00
|
|
|
return 4
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Computes a code from a single byte. A lookup table of 256 values could be
|
|
|
|
used, but simply adding 1 works about as good. */
|
2019-03-10 00:54:31 +03:00
|
|
|
func (*hashRolling) HashByte(b byte) uint32 {
|
|
|
|
return uint32(b) + 1
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (h *hashRolling) HashRollingFunctionInitial(state uint32, add byte, factor uint32) uint32 {
|
|
|
|
return uint32(factor*state + h.HashByte(add))
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (h *hashRolling) HashRollingFunction(state uint32, add byte, rem byte, factor uint32, factor_remove uint32) uint32 {
|
|
|
|
return uint32(factor*state + h.HashByte(add) - factor_remove*h.HashByte(rem))
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
type hashRolling struct {
|
2019-03-09 01:11:00 +03:00
|
|
|
HasherCommon
|
2019-03-10 00:54:31 +03:00
|
|
|
|
|
|
|
jump int
|
|
|
|
|
2019-03-07 01:55:38 +03:00
|
|
|
state uint32
|
|
|
|
table []uint32
|
|
|
|
next_ix uint
|
|
|
|
chunk_len uint32
|
|
|
|
factor uint32
|
|
|
|
factor_remove uint32
|
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (h *hashRolling) Initialize(params *BrotliEncoderParams) {
|
2019-03-09 02:10:41 +03:00
|
|
|
h.state = 0
|
|
|
|
h.next_ix = 0
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
h.factor = kRollingHashMul32hashRolling
|
2019-03-07 01:55:38 +03:00
|
|
|
|
|
|
|
/* Compute the factor of the oldest byte to remove: factor**steps modulo
|
|
|
|
0xffffffff (the multiplications rely on 32-bit overflow) */
|
2019-03-09 02:10:41 +03:00
|
|
|
h.factor_remove = 1
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
for i := 0; i < 32; i += h.jump {
|
2019-03-09 02:10:41 +03:00
|
|
|
h.factor_remove *= h.factor
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-09 02:10:41 +03:00
|
|
|
h.table = make([]uint32, 16777216)
|
2019-03-10 00:54:31 +03:00
|
|
|
for i := 0; i < 16777216; i++ {
|
|
|
|
h.table[i] = kInvalidPosHashRolling
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (h *hashRolling) Prepare(one_shot bool, input_size uint, data []byte) {
|
2019-03-07 01:55:38 +03:00
|
|
|
/* Too small size, cannot use this hasher. */
|
|
|
|
if input_size < 32 {
|
|
|
|
return
|
|
|
|
}
|
2019-03-09 02:10:41 +03:00
|
|
|
h.state = 0
|
2019-03-10 00:54:31 +03:00
|
|
|
for i := 0; i < 32; i += h.jump {
|
|
|
|
h.state = h.HashRollingFunctionInitial(h.state, data[i], h.factor)
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (*hashRolling) Store(data []byte, mask uint, ix uint) {
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (*hashRolling) StoreRange(data []byte, mask uint, ix_start uint, ix_end uint) {
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (h *hashRolling) StitchToPreviousBlock(num_bytes uint, position uint, ringbuffer []byte, ring_buffer_mask uint) {
|
2019-03-07 01:55:38 +03:00
|
|
|
var position_masked uint
|
|
|
|
/* In this case we must re-initialize the hasher from scratch from the
|
|
|
|
current position. */
|
|
|
|
|
|
|
|
var available uint = num_bytes
|
2019-03-10 00:54:31 +03:00
|
|
|
if position&uint(h.jump-1) != 0 {
|
|
|
|
var diff uint = uint(h.jump) - (position & uint(h.jump-1))
|
2019-03-07 01:55:38 +03:00
|
|
|
if diff > available {
|
|
|
|
available = 0
|
|
|
|
} else {
|
|
|
|
available = available - diff
|
|
|
|
}
|
|
|
|
position += diff
|
|
|
|
}
|
|
|
|
|
|
|
|
position_masked = position & ring_buffer_mask
|
|
|
|
|
|
|
|
/* wrapping around ringbuffer not handled. */
|
|
|
|
if available > ring_buffer_mask-position_masked {
|
|
|
|
available = ring_buffer_mask - position_masked
|
|
|
|
}
|
|
|
|
|
2019-03-09 02:10:41 +03:00
|
|
|
h.Prepare(false, available, ringbuffer[position&ring_buffer_mask:])
|
|
|
|
h.next_ix = position
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (*hashRolling) PrepareDistanceCache(distance_cache []int) {
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
func (h *hashRolling) FindLongestMatch(dictionary *BrotliEncoderDictionary, 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-07 01:55:38 +03:00
|
|
|
var cur_ix_masked uint = cur_ix & ring_buffer_mask
|
2019-03-09 03:43:15 +03:00
|
|
|
var pos uint = h.next_ix
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
if cur_ix&uint(h.jump-1) != 0 {
|
2019-03-07 01:55:38 +03:00
|
|
|
return
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Not enough lookahead */
|
|
|
|
if max_length < 32 {
|
|
|
|
return
|
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
for pos = h.next_ix; pos <= cur_ix; pos += uint(h.jump) {
|
2019-03-09 03:43:15 +03:00
|
|
|
var code uint32 = h.state & ((16777216 * 64) - 1)
|
2019-03-07 01:55:38 +03:00
|
|
|
var rem byte = data[pos&ring_buffer_mask]
|
|
|
|
var add byte = data[(pos+32)&ring_buffer_mask]
|
2019-03-10 00:54:31 +03:00
|
|
|
var found_ix uint = uint(kInvalidPosHashRolling)
|
2019-03-07 01:55:38 +03:00
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
h.state = h.HashRollingFunction(h.state, add, rem, h.factor, h.factor_remove)
|
2019-03-07 01:55:38 +03:00
|
|
|
|
|
|
|
if code < 16777216 {
|
2019-03-09 03:43:15 +03:00
|
|
|
found_ix = uint(h.table[code])
|
|
|
|
h.table[code] = uint32(pos)
|
2019-03-10 00:54:31 +03:00
|
|
|
if pos == cur_ix && uint32(found_ix) != kInvalidPosHashRolling {
|
2019-03-07 01:55:38 +03:00
|
|
|
/* The cast to 32-bit makes backward distances up to 4GB work even
|
|
|
|
if cur_ix is above 4GB, despite using 32-bit values in the table. */
|
|
|
|
var backward uint = uint(uint32(cur_ix - found_ix))
|
|
|
|
if backward <= max_backward {
|
|
|
|
var found_ix_masked uint = found_ix & ring_buffer_mask
|
|
|
|
var len uint = FindMatchLengthWithLimit(data[found_ix_masked:], data[cur_ix_masked:], max_length)
|
|
|
|
if len >= 4 && len > out.len {
|
|
|
|
var score uint = BackwardReferenceScore(uint(len), backward)
|
|
|
|
if score > out.score {
|
|
|
|
out.len = uint(len)
|
|
|
|
out.distance = backward
|
|
|
|
out.score = score
|
|
|
|
out.len_code_delta = 0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-10 00:54:31 +03:00
|
|
|
h.next_ix = cur_ix + uint(h.jump)
|
2019-03-07 01:55:38 +03:00
|
|
|
}
|