hacky implementation of literal_length

This commit is contained in:
2022-10-15 17:30:12 +02:00
parent 39c95598f2
commit dd5b0043dd
3 changed files with 116 additions and 70 deletions

View File

@@ -12,6 +12,8 @@ pub fn pack(
let mut rans_coder = RansCoder::new(config); let mut rans_coder = RansCoder::new(config);
let mut state = lz::CoderState::new(config); let mut state = lz::CoderState::new(config);
let mut literal = vec![];
let mut pos = 0; let mut pos = 0;
while pos < data.len() { while pos < data.len() {
if let Some(ref mut cb) = progress_callback { if let Some(ref mut cb) = progress_callback {
@@ -22,6 +24,10 @@ pub fn pack(
let max_offset = config.max_offset.min(1 << (m.length * 3 - 1).min(31)); let max_offset = config.max_offset.min(1 << (m.length * 3 - 1).min(31));
let offset = pos - m.pos; let offset = pos - m.pos;
if offset < max_offset && m.length >= config.min_length() { if offset < max_offset && m.length >= config.min_length() {
if !literal.is_empty() {
lz::Op::Literal(literal).encode(&mut rans_coder, &mut state, config);
literal = vec![];
}
let length = m.length.min(config.max_length); let length = m.length.min(config.max_length);
lz::Op::Match { lz::Op::Match {
offset: offset as u32, offset: offset as u32,
@@ -43,6 +49,10 @@ pub fn pack(
.count() .count()
.min(config.max_length); .min(config.max_length);
if length >= config.min_length() { if length >= config.min_length() {
if !literal.is_empty() {
lz::Op::Literal(literal).encode(&mut rans_coder, &mut state, config);
literal = vec![];
}
lz::Op::Match { lz::Op::Match {
offset: offset as u32, offset: offset as u32,
len: length as u32, len: length as u32,
@@ -55,11 +65,14 @@ pub fn pack(
} }
if !encoded_match { if !encoded_match {
lz::Op::Literal(data[pos]).encode(&mut rans_coder, &mut state, config); literal.push(data[pos]);
pos += 1; pos += 1;
} }
} }
if !literal.is_empty() {
lz::Op::Literal(literal).encode(&mut rans_coder, &mut state, config);
}
lz::encode_eof(&mut rans_coder, &mut state, config); lz::encode_eof(&mut rans_coder, &mut state, config);
rans_coder.finish() rans_coder.finish()
} }

148
src/lz.rs
View File

@@ -3,29 +3,40 @@ use crate::rans::{EntropyCoder, RansDecoder};
use crate::Config; use crate::Config;
use thiserror::Error; use thiserror::Error;
#[derive(Copy, Clone, Debug)] #[derive(Clone, Debug)]
pub enum Op { pub enum Op {
Literal(u8), Literal(Vec<u8>),
Match { offset: u32, len: u32 }, Match { offset: u32, len: u32 },
} }
impl Op { impl Op {
pub fn encode(&self, coder: &mut dyn EntropyCoder, state: &mut CoderState, config: &Config) { pub fn encode(&self, coder: &mut dyn EntropyCoder, state: &mut CoderState, config: &Config) {
let literal_base = state.pos % state.parity_contexts * 256;
match self { match self {
&Op::Literal(lit) => { &Op::Literal(ref lit) => {
encode_bit(coder, state, literal_base, !config.is_match_bit); assert!(state.prev_was_match);
let mut context_index = 1; encode_length(
for i in (0..8).rev() { coder,
let bit = (lit >> i) & 1 != 0; state,
encode_bit(coder, state, literal_base + context_index, bit); 256 * state.parity_contexts + 129,
context_index = (context_index << 1) | bit as usize; lit.len() as u32 + 1,
config,
);
for lit in lit {
let literal_base = state.pos % state.parity_contexts * 256;
let mut context_index = 1;
for i in (0..8).rev() {
let bit = (lit >> i) & 1 != 0;
encode_bit(coder, state, literal_base + context_index, bit);
context_index = (context_index << 1) | bit as usize;
}
state.pos += 1;
} }
state.prev_was_match = false; state.prev_was_match = false;
state.pos += 1;
} }
&Op::Match { offset, len } => { &Op::Match { offset, len } => {
encode_bit(coder, state, literal_base, config.is_match_bit); if state.prev_was_match {
encode_length(coder, state, 256 * state.parity_contexts + 129, 1, config);
}
let mut new_offset = true; let mut new_offset = true;
if !state.prev_was_match && !config.no_repeated_offsets { if !state.prev_was_match && !config.no_repeated_offsets {
new_offset = offset != state.last_offset; new_offset = offset != state.last_offset;
@@ -57,12 +68,9 @@ impl Op {
} }
pub fn encode_eof(coder: &mut dyn EntropyCoder, state: &mut CoderState, config: &Config) { pub fn encode_eof(coder: &mut dyn EntropyCoder, state: &mut CoderState, config: &Config) {
encode_bit( if state.prev_was_match {
coder, encode_length(coder, state, 256 * state.parity_contexts + 129, 1, config);
state, }
state.pos % state.parity_contexts * 256,
config.is_match_bit,
);
if !state.prev_was_match && !config.no_repeated_offsets { if !state.prev_was_match && !config.no_repeated_offsets {
encode_bit( encode_bit(
coder, coder,
@@ -119,9 +127,12 @@ pub struct CoderState {
impl CoderState { impl CoderState {
pub fn new(config: &Config) -> CoderState { pub fn new(config: &Config) -> CoderState {
CoderState { CoderState {
contexts: ContextState::new((1 + 255) * config.parity_contexts + 1 + 64 + 64, config), contexts: ContextState::new(
(1 + 255) * config.parity_contexts + 1 + 64 + 64 + 64,
config,
),
last_offset: 0, last_offset: 0,
prev_was_match: false, prev_was_match: true,
pos: 0, pos: 0,
parity_contexts: config.parity_contexts, parity_contexts: config.parity_contexts,
} }
@@ -168,7 +179,10 @@ pub fn unpack_internal(
max_size: usize, max_size: usize,
) -> Result<isize, UnpackError> { ) -> Result<isize, UnpackError> {
let mut decoder = RansDecoder::new(packed_data, &config); let mut decoder = RansDecoder::new(packed_data, &config);
let mut contexts = ContextState::new((1 + 255) * config.parity_contexts + 1 + 64 + 64, &config); let mut contexts = ContextState::new(
(1 + 255) * config.parity_contexts + 1 + 64 + 64 + 64,
&config,
);
let mut offset = usize::MAX; let mut offset = usize::MAX;
let mut position = 0usize; let mut position = 0usize;
let mut prev_was_match = false; let mut prev_was_match = false;
@@ -199,50 +213,14 @@ pub fn unpack_internal(
loop { loop {
margin = margin.max(position as isize - decoder.pos() as isize); margin = margin.max(position as isize - decoder.pos() as isize);
let literal_base = position % config.parity_contexts * 256; let literal_length = decode_length(
if decoder.decode_with_context(&mut contexts.context_mut(literal_base))? &mut decoder,
== config.is_match_bit &mut contexts,
{ 256 * config.parity_contexts + 129,
if config.no_repeated_offsets config,
|| prev_was_match )? - 1;
|| decoder for _ in 0..literal_length {
.decode_with_context(&mut contexts.context_mut(256 * config.parity_contexts))? let literal_base = position % config.parity_contexts * 256;
== config.new_offset_bit
{
offset = decode_length(
&mut decoder,
&mut contexts,
256 * config.parity_contexts + 1,
&config,
)? - if config.eof_in_length { 0 } else { 1 };
if offset == 0 {
break;
}
}
let length = decode_length(
&mut decoder,
&mut contexts,
256 * config.parity_contexts + 65,
&config,
)?;
if config.eof_in_length && length == 1 {
break;
}
if offset > position {
return Err(UnpackError::OffsetOutOfRange { offset, position });
}
if let Some(ref mut result) = result {
for _ in 0..length {
if result.len() < max_size {
result.push(result[result.len() - offset]);
} else {
break;
}
}
}
position += length;
prev_was_match = true;
} else {
let mut context_index = 1; let mut context_index = 1;
let mut byte = 0; let mut byte = 0;
for i in (0..8).rev() { for i in (0..8).rev() {
@@ -259,6 +237,46 @@ pub fn unpack_internal(
position += 1; position += 1;
prev_was_match = false; prev_was_match = false;
} }
if config.no_repeated_offsets
|| prev_was_match
|| decoder
.decode_with_context(&mut contexts.context_mut(256 * config.parity_contexts))?
== config.new_offset_bit
{
offset = decode_length(
&mut decoder,
&mut contexts,
256 * config.parity_contexts + 1,
&config,
)? - if config.eof_in_length { 0 } else { 1 };
if offset == 0 {
break;
}
}
let length = decode_length(
&mut decoder,
&mut contexts,
256 * config.parity_contexts + 65,
&config,
)?;
if config.eof_in_length && length == 1 {
break;
}
if offset > position {
return Err(UnpackError::OffsetOutOfRange { offset, position });
}
if let Some(ref mut result) = result {
for _ in 0..length {
if result.len() < max_size {
result.push(result[result.len() - offset]);
} else {
break;
}
}
}
position += length;
prev_was_match = true;
} }
if position > max_size { if position > max_size {

View File

@@ -15,7 +15,7 @@ pub fn pack(
let mut parse = parse(data, Config::from_level(level), config, progress_cb); let mut parse = parse(data, Config::from_level(level), config, progress_cb);
let mut ops = vec![]; let mut ops = vec![];
while let Some(link) = parse { while let Some(link) = parse {
ops.push(link.op); ops.push(link.op.clone());
parse = link.prev.clone(); parse = link.prev.clone();
} }
let mut state = lz::CoderState::new(config); let mut state = lz::CoderState::new(config);
@@ -32,9 +32,15 @@ struct Parse {
op: lz::Op, op: lz::Op,
} }
struct LiteralPrefix {
arrival: Arrival,
prefix: Vec<u8>,
}
struct Arrival { struct Arrival {
parse: Option<Rc<Parse>>, parse: Option<Rc<Parse>>,
state: lz::CoderState, state: lz::CoderState,
literal_prefix: Option<Box<LiteralPrefix>>,
cost: f64, cost: f64,
} }
@@ -130,6 +136,7 @@ fn parse(
op, op,
})), })),
state, state,
literal_prefix: None,
cost: arrival.cost + cost_counter.cost(), cost: arrival.cost + cost_counter.cost(),
}, },
max_arrivals, max_arrivals,
@@ -141,6 +148,7 @@ fn parse(
Arrival { Arrival {
parse: None, parse: None,
state: lz::CoderState::new(encoding_config), state: lz::CoderState::new(encoding_config),
literal_prefix: None,
cost: 0.0, cost: 0.0,
}, },
max_arrivals, max_arrivals,
@@ -252,19 +260,26 @@ fn parse(
} }
cost_counter.reset(); cost_counter.reset();
let mut state = arrival.state; let (arrival, mut prefix) = if let Some(prefix) = arrival.literal_prefix {
let op = lz::Op::Literal(data[pos]); (prefix.arrival, prefix.prefix)
} else {
(arrival, vec![])
};
let mut state = arrival.state.clone();
prefix.push(data[pos]);
let op = lz::Op::Literal(prefix.clone());
op.encode(cost_counter, &mut state, encoding_config); op.encode(cost_counter, &mut state, encoding_config);
add_arrival( add_arrival(
&mut arrivals, &mut arrivals,
pos + 1, pos + 1,
Arrival { Arrival {
parse: Some(Rc::new(Parse { parse: Some(Rc::new(Parse {
prev: arrival.parse, prev: arrival.parse.clone(),
op, op,
})), })),
state, state,
cost: arrival.cost + cost_counter.cost(), cost: arrival.cost + cost_counter.cost(),
literal_prefix: Some(Box::new(LiteralPrefix { arrival, prefix })),
}, },
max_arrivals, max_arrivals,
); );