Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Kitware
GitHub Repository: Kitware/CMake
Path: blob/master/Utilities/cmliblzma/liblzma/lz/lz_encoder.h
3156 views
1
// SPDX-License-Identifier: 0BSD
2
3
///////////////////////////////////////////////////////////////////////////////
4
//
5
/// \file lz_encoder.h
6
/// \brief LZ in window and match finder API
7
///
8
// Authors: Igor Pavlov
9
// Lasse Collin
10
//
11
///////////////////////////////////////////////////////////////////////////////
12
13
#ifndef LZMA_LZ_ENCODER_H
14
#define LZMA_LZ_ENCODER_H
15
16
#include "common.h"
17
18
19
// For now, the dictionary size is limited to 1.5 GiB. This may grow
20
// in the future if needed, but it needs a little more work than just
21
// changing this check.
22
#define IS_ENC_DICT_SIZE_VALID(size) \
23
((size) >= LZMA_DICT_SIZE_MIN \
24
&& (size) <= (UINT32_C(1) << 30) + (UINT32_C(1) << 29))
25
26
27
/// A table of these is used by the LZ-based encoder to hold
28
/// the length-distance pairs found by the match finder.
29
typedef struct {
30
uint32_t len;
31
uint32_t dist;
32
} lzma_match;
33
34
35
typedef struct lzma_mf_s lzma_mf;
36
struct lzma_mf_s {
37
///////////////
38
// In Window //
39
///////////////
40
41
/// Pointer to buffer with data to be compressed
42
uint8_t *buffer;
43
44
/// Total size of the allocated buffer (that is, including all
45
/// the extra space)
46
uint32_t size;
47
48
/// Number of bytes that must be kept available in our input history.
49
/// That is, once keep_size_before bytes have been processed,
50
/// buffer[read_pos - keep_size_before] is the oldest byte that
51
/// must be available for reading.
52
uint32_t keep_size_before;
53
54
/// Number of bytes that must be kept in buffer after read_pos.
55
/// That is, read_pos <= write_pos - keep_size_after as long as
56
/// action is LZMA_RUN; when action != LZMA_RUN, read_pos is allowed
57
/// to reach write_pos so that the last bytes get encoded too.
58
uint32_t keep_size_after;
59
60
/// Match finders store locations of matches using 32-bit integers.
61
/// To avoid adjusting several megabytes of integers every time the
62
/// input window is moved with move_window, we only adjust the
63
/// offset of the buffer. Thus, buffer[value_in_hash_table - offset]
64
/// is the byte pointed by value_in_hash_table.
65
uint32_t offset;
66
67
/// buffer[read_pos] is the next byte to run through the match
68
/// finder. This is incremented in the match finder once the byte
69
/// has been processed.
70
uint32_t read_pos;
71
72
/// Number of bytes that have been ran through the match finder, but
73
/// which haven't been encoded by the LZ-based encoder yet.
74
uint32_t read_ahead;
75
76
/// As long as read_pos is less than read_limit, there is enough
77
/// input available in buffer for at least one encoding loop.
78
///
79
/// Because of the stateful API, read_limit may and will get greater
80
/// than read_pos quite often. This is taken into account when
81
/// calculating the value for keep_size_after.
82
uint32_t read_limit;
83
84
/// buffer[write_pos] is the first byte that doesn't contain valid
85
/// uncompressed data; that is, the next input byte will be copied
86
/// to buffer[write_pos].
87
uint32_t write_pos;
88
89
/// Number of bytes not hashed before read_pos. This is needed to
90
/// restart the match finder after LZMA_SYNC_FLUSH.
91
uint32_t pending;
92
93
//////////////////
94
// Match Finder //
95
//////////////////
96
97
/// Find matches. Returns the number of distance-length pairs written
98
/// to the matches array. This is called only via lzma_mf_find().
99
uint32_t (*find)(lzma_mf *mf, lzma_match *matches);
100
101
/// Skips num bytes. This is like find() but doesn't make the
102
/// distance-length pairs available, thus being a little faster.
103
/// This is called only via mf_skip().
104
void (*skip)(lzma_mf *mf, uint32_t num);
105
106
uint32_t *hash;
107
uint32_t *son;
108
uint32_t cyclic_pos;
109
uint32_t cyclic_size; // Must be dictionary size + 1.
110
uint32_t hash_mask;
111
112
/// Maximum number of loops in the match finder
113
uint32_t depth;
114
115
/// Maximum length of a match that the match finder will try to find.
116
uint32_t nice_len;
117
118
/// Maximum length of a match supported by the LZ-based encoder.
119
/// If the longest match found by the match finder is nice_len,
120
/// mf_find() tries to expand it up to match_len_max bytes.
121
uint32_t match_len_max;
122
123
/// When running out of input, binary tree match finders need to know
124
/// if it is due to flushing or finishing. The action is used also
125
/// by the LZ-based encoders themselves.
126
lzma_action action;
127
128
/// Number of elements in hash[]
129
uint32_t hash_count;
130
131
/// Number of elements in son[]
132
uint32_t sons_count;
133
};
134
135
136
typedef struct {
137
/// Extra amount of data to keep available before the "actual"
138
/// dictionary.
139
size_t before_size;
140
141
/// Size of the history buffer
142
size_t dict_size;
143
144
/// Extra amount of data to keep available after the "actual"
145
/// dictionary.
146
size_t after_size;
147
148
/// Maximum length of a match that the LZ-based encoder can accept.
149
/// This is used to extend matches of length nice_len to the
150
/// maximum possible length.
151
size_t match_len_max;
152
153
/// Match finder will search matches up to this length.
154
/// This must be less than or equal to match_len_max.
155
size_t nice_len;
156
157
/// Type of the match finder to use
158
lzma_match_finder match_finder;
159
160
/// Maximum search depth
161
uint32_t depth;
162
163
/// Initial dictionary for the match finder to search.
164
const uint8_t *preset_dict;
165
166
/// If the preset dictionary is NULL, this value is ignored.
167
/// Otherwise this member must indicate the preset dictionary's
168
/// buffer size. If this size is larger than dict_size, then only
169
/// the dict_size sized tail of the preset_dict will be used.
170
uint32_t preset_dict_size;
171
172
} lzma_lz_options;
173
174
175
// The total usable buffer space at any moment outside the match finder:
176
// before_size + dict_size + after_size + match_len_max
177
//
178
// In reality, there's some extra space allocated to prevent the number of
179
// memmove() calls reasonable. The bigger the dict_size is, the bigger
180
// this extra buffer will be since with bigger dictionaries memmove() would
181
// also take longer.
182
//
183
// A single encoder loop in the LZ-based encoder may call the match finder
184
// (mf_find() or mf_skip()) at most after_size times. In other words,
185
// a single encoder loop may increment lzma_mf.read_pos at most after_size
186
// times. Since matches are looked up to
187
// lzma_mf.buffer[lzma_mf.read_pos + match_len_max - 1], the total
188
// amount of extra buffer needed after dict_size becomes
189
// after_size + match_len_max.
190
//
191
// before_size has two uses. The first one is to keep literals available
192
// in cases when the LZ-based encoder has made some read ahead.
193
// TODO: Maybe this could be changed by making the LZ-based encoders to
194
// store the actual literals as they do with length-distance pairs.
195
//
196
// Algorithms such as LZMA2 first try to compress a chunk, and then check
197
// if the encoded result is smaller than the uncompressed one. If the chunk
198
// was incompressible, it is better to store it in uncompressed form in
199
// the output stream. To do this, the whole uncompressed chunk has to be
200
// still available in the history buffer. before_size achieves that.
201
202
203
typedef struct {
204
/// Data specific to the LZ-based encoder
205
void *coder;
206
207
/// Function to encode from *dict to out[]
208
lzma_ret (*code)(void *coder,
209
lzma_mf *restrict mf, uint8_t *restrict out,
210
size_t *restrict out_pos, size_t out_size);
211
212
/// Free allocated resources
213
void (*end)(void *coder, const lzma_allocator *allocator);
214
215
/// Update the options in the middle of the encoding.
216
lzma_ret (*options_update)(void *coder, const lzma_filter *filter);
217
218
/// Set maximum allowed output size
219
lzma_ret (*set_out_limit)(void *coder, uint64_t *uncomp_size,
220
uint64_t out_limit);
221
222
} lzma_lz_encoder;
223
224
225
// Basic steps:
226
// 1. Input gets copied into the dictionary.
227
// 2. Data in dictionary gets run through the match finder byte by byte.
228
// 3. The literals and matches are encoded using e.g. LZMA.
229
//
230
// The bytes that have been ran through the match finder, but not encoded yet,
231
// are called 'read ahead'.
232
233
234
/// Get how many bytes the match finder hashes in its initial step.
235
/// This is also the minimum nice_len value with the match finder.
236
static inline uint32_t
237
mf_get_hash_bytes(lzma_match_finder match_finder)
238
{
239
return (uint32_t)match_finder & 0x0F;
240
}
241
242
243
/// Get pointer to the first byte not ran through the match finder
244
static inline const uint8_t *
245
mf_ptr(const lzma_mf *mf)
246
{
247
return mf->buffer + mf->read_pos;
248
}
249
250
251
/// Get the number of bytes that haven't been ran through the match finder yet.
252
static inline uint32_t
253
mf_avail(const lzma_mf *mf)
254
{
255
return mf->write_pos - mf->read_pos;
256
}
257
258
259
/// Get the number of bytes that haven't been encoded yet (some of these
260
/// bytes may have been ran through the match finder though).
261
static inline uint32_t
262
mf_unencoded(const lzma_mf *mf)
263
{
264
return mf->write_pos - mf->read_pos + mf->read_ahead;
265
}
266
267
268
/// Calculate the absolute offset from the beginning of the most recent
269
/// dictionary reset. Only the lowest four bits are important, so there's no
270
/// problem that we don't know the 64-bit size of the data encoded so far.
271
///
272
/// NOTE: When moving the input window, we need to do it so that the lowest
273
/// bits of dict->read_pos are not modified to keep this macro working
274
/// as intended.
275
static inline uint32_t
276
mf_position(const lzma_mf *mf)
277
{
278
return mf->read_pos - mf->read_ahead;
279
}
280
281
282
/// Since everything else begins with mf_, use it also for lzma_mf_find().
283
#define mf_find lzma_mf_find
284
285
286
/// Skip the given number of bytes. This is used when a good match was found.
287
/// For example, if mf_find() finds a match of 200 bytes long, the first byte
288
/// of that match was already consumed by mf_find(), and the rest 199 bytes
289
/// have to be skipped with mf_skip(mf, 199).
290
static inline void
291
mf_skip(lzma_mf *mf, uint32_t amount)
292
{
293
if (amount != 0) {
294
mf->skip(mf, amount);
295
mf->read_ahead += amount;
296
}
297
}
298
299
300
/// Copies at most *left number of bytes from the history buffer
301
/// to out[]. This is needed by LZMA2 to encode uncompressed chunks.
302
static inline void
303
mf_read(lzma_mf *mf, uint8_t *out, size_t *out_pos, size_t out_size,
304
size_t *left)
305
{
306
const size_t out_avail = out_size - *out_pos;
307
const size_t copy_size = my_min(out_avail, *left);
308
309
assert(mf->read_ahead == 0);
310
assert(mf->read_pos >= *left);
311
312
memcpy(out + *out_pos, mf->buffer + mf->read_pos - *left,
313
copy_size);
314
315
*out_pos += copy_size;
316
*left -= copy_size;
317
return;
318
}
319
320
321
extern lzma_ret lzma_lz_encoder_init(
322
lzma_next_coder *next, const lzma_allocator *allocator,
323
const lzma_filter_info *filters,
324
lzma_ret (*lz_init)(lzma_lz_encoder *lz,
325
const lzma_allocator *allocator,
326
lzma_vli id, const void *options,
327
lzma_lz_options *lz_options));
328
329
330
extern uint64_t lzma_lz_encoder_memusage(const lzma_lz_options *lz_options);
331
332
333
// These are only for LZ encoder's internal use.
334
extern uint32_t lzma_mf_find(
335
lzma_mf *mf, uint32_t *count, lzma_match *matches);
336
337
extern uint32_t lzma_mf_hc3_find(lzma_mf *dict, lzma_match *matches);
338
extern void lzma_mf_hc3_skip(lzma_mf *dict, uint32_t amount);
339
340
extern uint32_t lzma_mf_hc4_find(lzma_mf *dict, lzma_match *matches);
341
extern void lzma_mf_hc4_skip(lzma_mf *dict, uint32_t amount);
342
343
extern uint32_t lzma_mf_bt2_find(lzma_mf *dict, lzma_match *matches);
344
extern void lzma_mf_bt2_skip(lzma_mf *dict, uint32_t amount);
345
346
extern uint32_t lzma_mf_bt3_find(lzma_mf *dict, lzma_match *matches);
347
extern void lzma_mf_bt3_skip(lzma_mf *dict, uint32_t amount);
348
349
extern uint32_t lzma_mf_bt4_find(lzma_mf *dict, lzma_match *matches);
350
extern void lzma_mf_bt4_skip(lzma_mf *dict, uint32_t amount);
351
352
#endif
353
354