1a28cd43dSSascha Wildner /*
2a28cd43dSSascha Wildner * Copyright (c) 2016-2020, Yann Collet, Facebook, Inc.
3a28cd43dSSascha Wildner * All rights reserved.
4a28cd43dSSascha Wildner *
5a28cd43dSSascha Wildner * This source code is licensed under both the BSD-style license (found in the
6a28cd43dSSascha Wildner * LICENSE file in the root directory of this source tree) and the GPLv2 (found
7a28cd43dSSascha Wildner * in the COPYING file in the root directory of this source tree).
8a28cd43dSSascha Wildner * You may select, at your option, one of the above-listed licenses.
9a28cd43dSSascha Wildner */
10a28cd43dSSascha Wildner
11a28cd43dSSascha Wildner /* *****************************************************************************
12a28cd43dSSascha Wildner * Constructs a dictionary using a heuristic based on the following paper:
13a28cd43dSSascha Wildner *
14a28cd43dSSascha Wildner * Liao, Petri, Moffat, Wirth
15a28cd43dSSascha Wildner * Effective Construction of Relative Lempel-Ziv Dictionaries
16a28cd43dSSascha Wildner * Published in WWW 2016.
17a28cd43dSSascha Wildner *
18a28cd43dSSascha Wildner * Adapted from code originally written by @ot (Giuseppe Ottaviano).
19a28cd43dSSascha Wildner ******************************************************************************/
20a28cd43dSSascha Wildner
21a28cd43dSSascha Wildner /*-*************************************
22a28cd43dSSascha Wildner * Dependencies
23a28cd43dSSascha Wildner ***************************************/
24a28cd43dSSascha Wildner #include <stdio.h> /* fprintf */
25a28cd43dSSascha Wildner #include <stdlib.h> /* malloc, free, qsort */
26a28cd43dSSascha Wildner #include <string.h> /* memset */
27a28cd43dSSascha Wildner #include <time.h> /* clock */
28a28cd43dSSascha Wildner
29a28cd43dSSascha Wildner #include "../common/mem.h" /* read */
30a28cd43dSSascha Wildner #include "../common/pool.h"
31a28cd43dSSascha Wildner #include "../common/threading.h"
32a28cd43dSSascha Wildner #include "cover.h"
33a28cd43dSSascha Wildner #include "../common/zstd_internal.h" /* includes zstd.h */
34a28cd43dSSascha Wildner #ifndef ZDICT_STATIC_LINKING_ONLY
35a28cd43dSSascha Wildner #define ZDICT_STATIC_LINKING_ONLY
36a28cd43dSSascha Wildner #endif
37a28cd43dSSascha Wildner #include "zdict.h"
38a28cd43dSSascha Wildner
39a28cd43dSSascha Wildner /*-*************************************
40a28cd43dSSascha Wildner * Constants
41a28cd43dSSascha Wildner ***************************************/
42a28cd43dSSascha Wildner #define COVER_MAX_SAMPLES_SIZE (sizeof(size_t) == 8 ? ((unsigned)-1) : ((unsigned)1 GB))
43a28cd43dSSascha Wildner #define COVER_DEFAULT_SPLITPOINT 1.0
44a28cd43dSSascha Wildner
45a28cd43dSSascha Wildner /*-*************************************
46a28cd43dSSascha Wildner * Console display
47a28cd43dSSascha Wildner ***************************************/
48a28cd43dSSascha Wildner #ifndef LOCALDISPLAYLEVEL
49a28cd43dSSascha Wildner static int g_displayLevel = 2;
50a28cd43dSSascha Wildner #endif
51a28cd43dSSascha Wildner #undef DISPLAY
52a28cd43dSSascha Wildner #define DISPLAY(...) \
53a28cd43dSSascha Wildner { \
54a28cd43dSSascha Wildner fprintf(stderr, __VA_ARGS__); \
55a28cd43dSSascha Wildner fflush(stderr); \
56a28cd43dSSascha Wildner }
57a28cd43dSSascha Wildner #undef LOCALDISPLAYLEVEL
58a28cd43dSSascha Wildner #define LOCALDISPLAYLEVEL(displayLevel, l, ...) \
59a28cd43dSSascha Wildner if (displayLevel >= l) { \
60a28cd43dSSascha Wildner DISPLAY(__VA_ARGS__); \
61a28cd43dSSascha Wildner } /* 0 : no display; 1: errors; 2: default; 3: details; 4: debug */
62a28cd43dSSascha Wildner #undef DISPLAYLEVEL
63a28cd43dSSascha Wildner #define DISPLAYLEVEL(l, ...) LOCALDISPLAYLEVEL(g_displayLevel, l, __VA_ARGS__)
64a28cd43dSSascha Wildner
65a28cd43dSSascha Wildner #ifndef LOCALDISPLAYUPDATE
66a28cd43dSSascha Wildner static const clock_t g_refreshRate = CLOCKS_PER_SEC * 15 / 100;
67a28cd43dSSascha Wildner static clock_t g_time = 0;
68a28cd43dSSascha Wildner #endif
69a28cd43dSSascha Wildner #undef LOCALDISPLAYUPDATE
70a28cd43dSSascha Wildner #define LOCALDISPLAYUPDATE(displayLevel, l, ...) \
71a28cd43dSSascha Wildner if (displayLevel >= l) { \
72a28cd43dSSascha Wildner if ((clock() - g_time > g_refreshRate) || (displayLevel >= 4)) { \
73a28cd43dSSascha Wildner g_time = clock(); \
74a28cd43dSSascha Wildner DISPLAY(__VA_ARGS__); \
75a28cd43dSSascha Wildner } \
76a28cd43dSSascha Wildner }
77a28cd43dSSascha Wildner #undef DISPLAYUPDATE
78a28cd43dSSascha Wildner #define DISPLAYUPDATE(l, ...) LOCALDISPLAYUPDATE(g_displayLevel, l, __VA_ARGS__)
79a28cd43dSSascha Wildner
80a28cd43dSSascha Wildner /*-*************************************
81a28cd43dSSascha Wildner * Hash table
82a28cd43dSSascha Wildner ***************************************
83a28cd43dSSascha Wildner * A small specialized hash map for storing activeDmers.
84a28cd43dSSascha Wildner * The map does not resize, so if it becomes full it will loop forever.
85a28cd43dSSascha Wildner * Thus, the map must be large enough to store every value.
86a28cd43dSSascha Wildner * The map implements linear probing and keeps its load less than 0.5.
87a28cd43dSSascha Wildner */
88a28cd43dSSascha Wildner
89a28cd43dSSascha Wildner #define MAP_EMPTY_VALUE ((U32)-1)
90a28cd43dSSascha Wildner typedef struct COVER_map_pair_t_s {
91a28cd43dSSascha Wildner U32 key;
92a28cd43dSSascha Wildner U32 value;
93a28cd43dSSascha Wildner } COVER_map_pair_t;
94a28cd43dSSascha Wildner
95a28cd43dSSascha Wildner typedef struct COVER_map_s {
96a28cd43dSSascha Wildner COVER_map_pair_t *data;
97a28cd43dSSascha Wildner U32 sizeLog;
98a28cd43dSSascha Wildner U32 size;
99a28cd43dSSascha Wildner U32 sizeMask;
100a28cd43dSSascha Wildner } COVER_map_t;
101a28cd43dSSascha Wildner
102a28cd43dSSascha Wildner /**
103a28cd43dSSascha Wildner * Clear the map.
104a28cd43dSSascha Wildner */
COVER_map_clear(COVER_map_t * map)105a28cd43dSSascha Wildner static void COVER_map_clear(COVER_map_t *map) {
106a28cd43dSSascha Wildner memset(map->data, MAP_EMPTY_VALUE, map->size * sizeof(COVER_map_pair_t));
107a28cd43dSSascha Wildner }
108a28cd43dSSascha Wildner
109a28cd43dSSascha Wildner /**
110a28cd43dSSascha Wildner * Initializes a map of the given size.
111a28cd43dSSascha Wildner * Returns 1 on success and 0 on failure.
112a28cd43dSSascha Wildner * The map must be destroyed with COVER_map_destroy().
113a28cd43dSSascha Wildner * The map is only guaranteed to be large enough to hold size elements.
114a28cd43dSSascha Wildner */
COVER_map_init(COVER_map_t * map,U32 size)115a28cd43dSSascha Wildner static int COVER_map_init(COVER_map_t *map, U32 size) {
116a28cd43dSSascha Wildner map->sizeLog = ZSTD_highbit32(size) + 2;
117a28cd43dSSascha Wildner map->size = (U32)1 << map->sizeLog;
118a28cd43dSSascha Wildner map->sizeMask = map->size - 1;
119a28cd43dSSascha Wildner map->data = (COVER_map_pair_t *)malloc(map->size * sizeof(COVER_map_pair_t));
120a28cd43dSSascha Wildner if (!map->data) {
121a28cd43dSSascha Wildner map->sizeLog = 0;
122a28cd43dSSascha Wildner map->size = 0;
123a28cd43dSSascha Wildner return 0;
124a28cd43dSSascha Wildner }
125a28cd43dSSascha Wildner COVER_map_clear(map);
126a28cd43dSSascha Wildner return 1;
127a28cd43dSSascha Wildner }
128a28cd43dSSascha Wildner
129a28cd43dSSascha Wildner /**
130a28cd43dSSascha Wildner * Internal hash function
131a28cd43dSSascha Wildner */
132a28cd43dSSascha Wildner static const U32 COVER_prime4bytes = 2654435761U;
COVER_map_hash(COVER_map_t * map,U32 key)133a28cd43dSSascha Wildner static U32 COVER_map_hash(COVER_map_t *map, U32 key) {
134a28cd43dSSascha Wildner return (key * COVER_prime4bytes) >> (32 - map->sizeLog);
135a28cd43dSSascha Wildner }
136a28cd43dSSascha Wildner
137a28cd43dSSascha Wildner /**
138a28cd43dSSascha Wildner * Helper function that returns the index that a key should be placed into.
139a28cd43dSSascha Wildner */
COVER_map_index(COVER_map_t * map,U32 key)140a28cd43dSSascha Wildner static U32 COVER_map_index(COVER_map_t *map, U32 key) {
141a28cd43dSSascha Wildner const U32 hash = COVER_map_hash(map, key);
142a28cd43dSSascha Wildner U32 i;
143a28cd43dSSascha Wildner for (i = hash;; i = (i + 1) & map->sizeMask) {
144a28cd43dSSascha Wildner COVER_map_pair_t *pos = &map->data[i];
145a28cd43dSSascha Wildner if (pos->value == MAP_EMPTY_VALUE) {
146a28cd43dSSascha Wildner return i;
147a28cd43dSSascha Wildner }
148a28cd43dSSascha Wildner if (pos->key == key) {
149a28cd43dSSascha Wildner return i;
150a28cd43dSSascha Wildner }
151a28cd43dSSascha Wildner }
152a28cd43dSSascha Wildner }
153a28cd43dSSascha Wildner
154a28cd43dSSascha Wildner /**
155a28cd43dSSascha Wildner * Returns the pointer to the value for key.
156a28cd43dSSascha Wildner * If key is not in the map, it is inserted and the value is set to 0.
157a28cd43dSSascha Wildner * The map must not be full.
158a28cd43dSSascha Wildner */
COVER_map_at(COVER_map_t * map,U32 key)159a28cd43dSSascha Wildner static U32 *COVER_map_at(COVER_map_t *map, U32 key) {
160a28cd43dSSascha Wildner COVER_map_pair_t *pos = &map->data[COVER_map_index(map, key)];
161a28cd43dSSascha Wildner if (pos->value == MAP_EMPTY_VALUE) {
162a28cd43dSSascha Wildner pos->key = key;
163a28cd43dSSascha Wildner pos->value = 0;
164a28cd43dSSascha Wildner }
165a28cd43dSSascha Wildner return &pos->value;
166a28cd43dSSascha Wildner }
167a28cd43dSSascha Wildner
168a28cd43dSSascha Wildner /**
169a28cd43dSSascha Wildner * Deletes key from the map if present.
170a28cd43dSSascha Wildner */
COVER_map_remove(COVER_map_t * map,U32 key)171a28cd43dSSascha Wildner static void COVER_map_remove(COVER_map_t *map, U32 key) {
172a28cd43dSSascha Wildner U32 i = COVER_map_index(map, key);
173a28cd43dSSascha Wildner COVER_map_pair_t *del = &map->data[i];
174a28cd43dSSascha Wildner U32 shift = 1;
175a28cd43dSSascha Wildner if (del->value == MAP_EMPTY_VALUE) {
176a28cd43dSSascha Wildner return;
177a28cd43dSSascha Wildner }
178a28cd43dSSascha Wildner for (i = (i + 1) & map->sizeMask;; i = (i + 1) & map->sizeMask) {
179a28cd43dSSascha Wildner COVER_map_pair_t *const pos = &map->data[i];
180a28cd43dSSascha Wildner /* If the position is empty we are done */
181a28cd43dSSascha Wildner if (pos->value == MAP_EMPTY_VALUE) {
182a28cd43dSSascha Wildner del->value = MAP_EMPTY_VALUE;
183a28cd43dSSascha Wildner return;
184a28cd43dSSascha Wildner }
185a28cd43dSSascha Wildner /* If pos can be moved to del do so */
186a28cd43dSSascha Wildner if (((i - COVER_map_hash(map, pos->key)) & map->sizeMask) >= shift) {
187a28cd43dSSascha Wildner del->key = pos->key;
188a28cd43dSSascha Wildner del->value = pos->value;
189a28cd43dSSascha Wildner del = pos;
190a28cd43dSSascha Wildner shift = 1;
191a28cd43dSSascha Wildner } else {
192a28cd43dSSascha Wildner ++shift;
193a28cd43dSSascha Wildner }
194a28cd43dSSascha Wildner }
195a28cd43dSSascha Wildner }
196a28cd43dSSascha Wildner
197a28cd43dSSascha Wildner /**
198a28cd43dSSascha Wildner * Destroys a map that is inited with COVER_map_init().
199a28cd43dSSascha Wildner */
COVER_map_destroy(COVER_map_t * map)200a28cd43dSSascha Wildner static void COVER_map_destroy(COVER_map_t *map) {
201a28cd43dSSascha Wildner if (map->data) {
202a28cd43dSSascha Wildner free(map->data);
203a28cd43dSSascha Wildner }
204a28cd43dSSascha Wildner map->data = NULL;
205a28cd43dSSascha Wildner map->size = 0;
206a28cd43dSSascha Wildner }
207a28cd43dSSascha Wildner
208a28cd43dSSascha Wildner /*-*************************************
209a28cd43dSSascha Wildner * Context
210a28cd43dSSascha Wildner ***************************************/
211a28cd43dSSascha Wildner
212a28cd43dSSascha Wildner typedef struct {
213a28cd43dSSascha Wildner const BYTE *samples;
214a28cd43dSSascha Wildner size_t *offsets;
215a28cd43dSSascha Wildner const size_t *samplesSizes;
216a28cd43dSSascha Wildner size_t nbSamples;
217a28cd43dSSascha Wildner size_t nbTrainSamples;
218a28cd43dSSascha Wildner size_t nbTestSamples;
219a28cd43dSSascha Wildner U32 *suffix;
220a28cd43dSSascha Wildner size_t suffixSize;
221a28cd43dSSascha Wildner U32 *freqs;
222a28cd43dSSascha Wildner U32 *dmerAt;
223a28cd43dSSascha Wildner unsigned d;
224a28cd43dSSascha Wildner } COVER_ctx_t;
225a28cd43dSSascha Wildner
226a28cd43dSSascha Wildner /* We need a global context for qsort... */
227a28cd43dSSascha Wildner static COVER_ctx_t *g_coverCtx = NULL;
228a28cd43dSSascha Wildner
229a28cd43dSSascha Wildner /*-*************************************
230a28cd43dSSascha Wildner * Helper functions
231a28cd43dSSascha Wildner ***************************************/
232a28cd43dSSascha Wildner
233a28cd43dSSascha Wildner /**
234a28cd43dSSascha Wildner * Returns the sum of the sample sizes.
235a28cd43dSSascha Wildner */
COVER_sum(const size_t * samplesSizes,unsigned nbSamples)236a28cd43dSSascha Wildner size_t COVER_sum(const size_t *samplesSizes, unsigned nbSamples) {
237a28cd43dSSascha Wildner size_t sum = 0;
238a28cd43dSSascha Wildner unsigned i;
239a28cd43dSSascha Wildner for (i = 0; i < nbSamples; ++i) {
240a28cd43dSSascha Wildner sum += samplesSizes[i];
241a28cd43dSSascha Wildner }
242a28cd43dSSascha Wildner return sum;
243a28cd43dSSascha Wildner }
244a28cd43dSSascha Wildner
245a28cd43dSSascha Wildner /**
246a28cd43dSSascha Wildner * Returns -1 if the dmer at lp is less than the dmer at rp.
247a28cd43dSSascha Wildner * Return 0 if the dmers at lp and rp are equal.
248a28cd43dSSascha Wildner * Returns 1 if the dmer at lp is greater than the dmer at rp.
249a28cd43dSSascha Wildner */
COVER_cmp(COVER_ctx_t * ctx,const void * lp,const void * rp)250a28cd43dSSascha Wildner static int COVER_cmp(COVER_ctx_t *ctx, const void *lp, const void *rp) {
251a28cd43dSSascha Wildner U32 const lhs = *(U32 const *)lp;
252a28cd43dSSascha Wildner U32 const rhs = *(U32 const *)rp;
253a28cd43dSSascha Wildner return memcmp(ctx->samples + lhs, ctx->samples + rhs, ctx->d);
254a28cd43dSSascha Wildner }
255a28cd43dSSascha Wildner /**
256a28cd43dSSascha Wildner * Faster version for d <= 8.
257a28cd43dSSascha Wildner */
COVER_cmp8(COVER_ctx_t * ctx,const void * lp,const void * rp)258a28cd43dSSascha Wildner static int COVER_cmp8(COVER_ctx_t *ctx, const void *lp, const void *rp) {
259a28cd43dSSascha Wildner U64 const mask = (ctx->d == 8) ? (U64)-1 : (((U64)1 << (8 * ctx->d)) - 1);
260a28cd43dSSascha Wildner U64 const lhs = MEM_readLE64(ctx->samples + *(U32 const *)lp) & mask;
261a28cd43dSSascha Wildner U64 const rhs = MEM_readLE64(ctx->samples + *(U32 const *)rp) & mask;
262a28cd43dSSascha Wildner if (lhs < rhs) {
263a28cd43dSSascha Wildner return -1;
264a28cd43dSSascha Wildner }
265a28cd43dSSascha Wildner return (lhs > rhs);
266a28cd43dSSascha Wildner }
267a28cd43dSSascha Wildner
268a28cd43dSSascha Wildner /**
269a28cd43dSSascha Wildner * Same as COVER_cmp() except ties are broken by pointer value
270a28cd43dSSascha Wildner * NOTE: g_coverCtx must be set to call this function. A global is required because
271a28cd43dSSascha Wildner * qsort doesn't take an opaque pointer.
272a28cd43dSSascha Wildner */
COVER_strict_cmp(const void * lp,const void * rp)273a28cd43dSSascha Wildner static int WIN_CDECL COVER_strict_cmp(const void *lp, const void *rp) {
274a28cd43dSSascha Wildner int result = COVER_cmp(g_coverCtx, lp, rp);
275a28cd43dSSascha Wildner if (result == 0) {
276a28cd43dSSascha Wildner result = lp < rp ? -1 : 1;
277a28cd43dSSascha Wildner }
278a28cd43dSSascha Wildner return result;
279a28cd43dSSascha Wildner }
280a28cd43dSSascha Wildner /**
281a28cd43dSSascha Wildner * Faster version for d <= 8.
282a28cd43dSSascha Wildner */
COVER_strict_cmp8(const void * lp,const void * rp)283a28cd43dSSascha Wildner static int WIN_CDECL COVER_strict_cmp8(const void *lp, const void *rp) {
284a28cd43dSSascha Wildner int result = COVER_cmp8(g_coverCtx, lp, rp);
285a28cd43dSSascha Wildner if (result == 0) {
286a28cd43dSSascha Wildner result = lp < rp ? -1 : 1;
287a28cd43dSSascha Wildner }
288a28cd43dSSascha Wildner return result;
289a28cd43dSSascha Wildner }
290a28cd43dSSascha Wildner
291a28cd43dSSascha Wildner /**
292a28cd43dSSascha Wildner * Returns the first pointer in [first, last) whose element does not compare
293a28cd43dSSascha Wildner * less than value. If no such element exists it returns last.
294a28cd43dSSascha Wildner */
COVER_lower_bound(const size_t * first,const size_t * last,size_t value)295a28cd43dSSascha Wildner static const size_t *COVER_lower_bound(const size_t *first, const size_t *last,
296a28cd43dSSascha Wildner size_t value) {
297a28cd43dSSascha Wildner size_t count = last - first;
298a28cd43dSSascha Wildner while (count != 0) {
299a28cd43dSSascha Wildner size_t step = count / 2;
300a28cd43dSSascha Wildner const size_t *ptr = first;
301a28cd43dSSascha Wildner ptr += step;
302a28cd43dSSascha Wildner if (*ptr < value) {
303a28cd43dSSascha Wildner first = ++ptr;
304a28cd43dSSascha Wildner count -= step + 1;
305a28cd43dSSascha Wildner } else {
306a28cd43dSSascha Wildner count = step;
307a28cd43dSSascha Wildner }
308a28cd43dSSascha Wildner }
309a28cd43dSSascha Wildner return first;
310a28cd43dSSascha Wildner }
311a28cd43dSSascha Wildner
312a28cd43dSSascha Wildner /**
313a28cd43dSSascha Wildner * Generic groupBy function.
314a28cd43dSSascha Wildner * Groups an array sorted by cmp into groups with equivalent values.
315a28cd43dSSascha Wildner * Calls grp for each group.
316a28cd43dSSascha Wildner */
317a28cd43dSSascha Wildner static void
COVER_groupBy(const void * data,size_t count,size_t size,COVER_ctx_t * ctx,int (* cmp)(COVER_ctx_t *,const void *,const void *),void (* grp)(COVER_ctx_t *,const void *,const void *))318a28cd43dSSascha Wildner COVER_groupBy(const void *data, size_t count, size_t size, COVER_ctx_t *ctx,
319a28cd43dSSascha Wildner int (*cmp)(COVER_ctx_t *, const void *, const void *),
320a28cd43dSSascha Wildner void (*grp)(COVER_ctx_t *, const void *, const void *)) {
321a28cd43dSSascha Wildner const BYTE *ptr = (const BYTE *)data;
322a28cd43dSSascha Wildner size_t num = 0;
323a28cd43dSSascha Wildner while (num < count) {
324a28cd43dSSascha Wildner const BYTE *grpEnd = ptr + size;
325a28cd43dSSascha Wildner ++num;
326a28cd43dSSascha Wildner while (num < count && cmp(ctx, ptr, grpEnd) == 0) {
327a28cd43dSSascha Wildner grpEnd += size;
328a28cd43dSSascha Wildner ++num;
329a28cd43dSSascha Wildner }
330a28cd43dSSascha Wildner grp(ctx, ptr, grpEnd);
331a28cd43dSSascha Wildner ptr = grpEnd;
332a28cd43dSSascha Wildner }
333a28cd43dSSascha Wildner }
334a28cd43dSSascha Wildner
335a28cd43dSSascha Wildner /*-*************************************
336a28cd43dSSascha Wildner * Cover functions
337a28cd43dSSascha Wildner ***************************************/
338a28cd43dSSascha Wildner
339a28cd43dSSascha Wildner /**
340a28cd43dSSascha Wildner * Called on each group of positions with the same dmer.
341a28cd43dSSascha Wildner * Counts the frequency of each dmer and saves it in the suffix array.
342a28cd43dSSascha Wildner * Fills `ctx->dmerAt`.
343a28cd43dSSascha Wildner */
COVER_group(COVER_ctx_t * ctx,const void * group,const void * groupEnd)344a28cd43dSSascha Wildner static void COVER_group(COVER_ctx_t *ctx, const void *group,
345a28cd43dSSascha Wildner const void *groupEnd) {
346a28cd43dSSascha Wildner /* The group consists of all the positions with the same first d bytes. */
347a28cd43dSSascha Wildner const U32 *grpPtr = (const U32 *)group;
348a28cd43dSSascha Wildner const U32 *grpEnd = (const U32 *)groupEnd;
349a28cd43dSSascha Wildner /* The dmerId is how we will reference this dmer.
350a28cd43dSSascha Wildner * This allows us to map the whole dmer space to a much smaller space, the
351a28cd43dSSascha Wildner * size of the suffix array.
352a28cd43dSSascha Wildner */
353a28cd43dSSascha Wildner const U32 dmerId = (U32)(grpPtr - ctx->suffix);
354a28cd43dSSascha Wildner /* Count the number of samples this dmer shows up in */
355a28cd43dSSascha Wildner U32 freq = 0;
356a28cd43dSSascha Wildner /* Details */
357a28cd43dSSascha Wildner const size_t *curOffsetPtr = ctx->offsets;
358a28cd43dSSascha Wildner const size_t *offsetsEnd = ctx->offsets + ctx->nbSamples;
359a28cd43dSSascha Wildner /* Once *grpPtr >= curSampleEnd this occurrence of the dmer is in a
360a28cd43dSSascha Wildner * different sample than the last.
361a28cd43dSSascha Wildner */
362a28cd43dSSascha Wildner size_t curSampleEnd = ctx->offsets[0];
363a28cd43dSSascha Wildner for (; grpPtr != grpEnd; ++grpPtr) {
364a28cd43dSSascha Wildner /* Save the dmerId for this position so we can get back to it. */
365a28cd43dSSascha Wildner ctx->dmerAt[*grpPtr] = dmerId;
366a28cd43dSSascha Wildner /* Dictionaries only help for the first reference to the dmer.
367a28cd43dSSascha Wildner * After that zstd can reference the match from the previous reference.
368a28cd43dSSascha Wildner * So only count each dmer once for each sample it is in.
369a28cd43dSSascha Wildner */
370a28cd43dSSascha Wildner if (*grpPtr < curSampleEnd) {
371a28cd43dSSascha Wildner continue;
372a28cd43dSSascha Wildner }
373a28cd43dSSascha Wildner freq += 1;
374a28cd43dSSascha Wildner /* Binary search to find the end of the sample *grpPtr is in.
375a28cd43dSSascha Wildner * In the common case that grpPtr + 1 == grpEnd we can skip the binary
376a28cd43dSSascha Wildner * search because the loop is over.
377a28cd43dSSascha Wildner */
378a28cd43dSSascha Wildner if (grpPtr + 1 != grpEnd) {
379a28cd43dSSascha Wildner const size_t *sampleEndPtr =
380a28cd43dSSascha Wildner COVER_lower_bound(curOffsetPtr, offsetsEnd, *grpPtr);
381a28cd43dSSascha Wildner curSampleEnd = *sampleEndPtr;
382a28cd43dSSascha Wildner curOffsetPtr = sampleEndPtr + 1;
383a28cd43dSSascha Wildner }
384a28cd43dSSascha Wildner }
385a28cd43dSSascha Wildner /* At this point we are never going to look at this segment of the suffix
386a28cd43dSSascha Wildner * array again. We take advantage of this fact to save memory.
387a28cd43dSSascha Wildner * We store the frequency of the dmer in the first position of the group,
388a28cd43dSSascha Wildner * which is dmerId.
389a28cd43dSSascha Wildner */
390a28cd43dSSascha Wildner ctx->suffix[dmerId] = freq;
391a28cd43dSSascha Wildner }
392a28cd43dSSascha Wildner
393a28cd43dSSascha Wildner
394a28cd43dSSascha Wildner /**
395a28cd43dSSascha Wildner * Selects the best segment in an epoch.
396a28cd43dSSascha Wildner * Segments of are scored according to the function:
397a28cd43dSSascha Wildner *
398a28cd43dSSascha Wildner * Let F(d) be the frequency of dmer d.
399a28cd43dSSascha Wildner * Let S_i be the dmer at position i of segment S which has length k.
400a28cd43dSSascha Wildner *
401a28cd43dSSascha Wildner * Score(S) = F(S_1) + F(S_2) + ... + F(S_{k-d+1})
402a28cd43dSSascha Wildner *
403a28cd43dSSascha Wildner * Once the dmer d is in the dictionary we set F(d) = 0.
404a28cd43dSSascha Wildner */
COVER_selectSegment(const COVER_ctx_t * ctx,U32 * freqs,COVER_map_t * activeDmers,U32 begin,U32 end,ZDICT_cover_params_t parameters)405a28cd43dSSascha Wildner static COVER_segment_t COVER_selectSegment(const COVER_ctx_t *ctx, U32 *freqs,
406a28cd43dSSascha Wildner COVER_map_t *activeDmers, U32 begin,
407a28cd43dSSascha Wildner U32 end,
408a28cd43dSSascha Wildner ZDICT_cover_params_t parameters) {
409a28cd43dSSascha Wildner /* Constants */
410a28cd43dSSascha Wildner const U32 k = parameters.k;
411a28cd43dSSascha Wildner const U32 d = parameters.d;
412a28cd43dSSascha Wildner const U32 dmersInK = k - d + 1;
413a28cd43dSSascha Wildner /* Try each segment (activeSegment) and save the best (bestSegment) */
414a28cd43dSSascha Wildner COVER_segment_t bestSegment = {0, 0, 0};
415a28cd43dSSascha Wildner COVER_segment_t activeSegment;
416a28cd43dSSascha Wildner /* Reset the activeDmers in the segment */
417a28cd43dSSascha Wildner COVER_map_clear(activeDmers);
418a28cd43dSSascha Wildner /* The activeSegment starts at the beginning of the epoch. */
419a28cd43dSSascha Wildner activeSegment.begin = begin;
420a28cd43dSSascha Wildner activeSegment.end = begin;
421a28cd43dSSascha Wildner activeSegment.score = 0;
422a28cd43dSSascha Wildner /* Slide the activeSegment through the whole epoch.
423a28cd43dSSascha Wildner * Save the best segment in bestSegment.
424a28cd43dSSascha Wildner */
425a28cd43dSSascha Wildner while (activeSegment.end < end) {
426a28cd43dSSascha Wildner /* The dmerId for the dmer at the next position */
427a28cd43dSSascha Wildner U32 newDmer = ctx->dmerAt[activeSegment.end];
428a28cd43dSSascha Wildner /* The entry in activeDmers for this dmerId */
429a28cd43dSSascha Wildner U32 *newDmerOcc = COVER_map_at(activeDmers, newDmer);
430a28cd43dSSascha Wildner /* If the dmer isn't already present in the segment add its score. */
431a28cd43dSSascha Wildner if (*newDmerOcc == 0) {
432a28cd43dSSascha Wildner /* The paper suggest using the L-0.5 norm, but experiments show that it
433a28cd43dSSascha Wildner * doesn't help.
434a28cd43dSSascha Wildner */
435a28cd43dSSascha Wildner activeSegment.score += freqs[newDmer];
436a28cd43dSSascha Wildner }
437a28cd43dSSascha Wildner /* Add the dmer to the segment */
438a28cd43dSSascha Wildner activeSegment.end += 1;
439a28cd43dSSascha Wildner *newDmerOcc += 1;
440a28cd43dSSascha Wildner
441a28cd43dSSascha Wildner /* If the window is now too large, drop the first position */
442a28cd43dSSascha Wildner if (activeSegment.end - activeSegment.begin == dmersInK + 1) {
443a28cd43dSSascha Wildner U32 delDmer = ctx->dmerAt[activeSegment.begin];
444a28cd43dSSascha Wildner U32 *delDmerOcc = COVER_map_at(activeDmers, delDmer);
445a28cd43dSSascha Wildner activeSegment.begin += 1;
446a28cd43dSSascha Wildner *delDmerOcc -= 1;
447a28cd43dSSascha Wildner /* If this is the last occurrence of the dmer, subtract its score */
448a28cd43dSSascha Wildner if (*delDmerOcc == 0) {
449a28cd43dSSascha Wildner COVER_map_remove(activeDmers, delDmer);
450a28cd43dSSascha Wildner activeSegment.score -= freqs[delDmer];
451a28cd43dSSascha Wildner }
452a28cd43dSSascha Wildner }
453a28cd43dSSascha Wildner
454a28cd43dSSascha Wildner /* If this segment is the best so far save it */
455a28cd43dSSascha Wildner if (activeSegment.score > bestSegment.score) {
456a28cd43dSSascha Wildner bestSegment = activeSegment;
457a28cd43dSSascha Wildner }
458a28cd43dSSascha Wildner }
459a28cd43dSSascha Wildner {
460a28cd43dSSascha Wildner /* Trim off the zero frequency head and tail from the segment. */
461a28cd43dSSascha Wildner U32 newBegin = bestSegment.end;
462a28cd43dSSascha Wildner U32 newEnd = bestSegment.begin;
463a28cd43dSSascha Wildner U32 pos;
464a28cd43dSSascha Wildner for (pos = bestSegment.begin; pos != bestSegment.end; ++pos) {
465a28cd43dSSascha Wildner U32 freq = freqs[ctx->dmerAt[pos]];
466a28cd43dSSascha Wildner if (freq != 0) {
467a28cd43dSSascha Wildner newBegin = MIN(newBegin, pos);
468a28cd43dSSascha Wildner newEnd = pos + 1;
469a28cd43dSSascha Wildner }
470a28cd43dSSascha Wildner }
471a28cd43dSSascha Wildner bestSegment.begin = newBegin;
472a28cd43dSSascha Wildner bestSegment.end = newEnd;
473a28cd43dSSascha Wildner }
474a28cd43dSSascha Wildner {
475a28cd43dSSascha Wildner /* Zero out the frequency of each dmer covered by the chosen segment. */
476a28cd43dSSascha Wildner U32 pos;
477a28cd43dSSascha Wildner for (pos = bestSegment.begin; pos != bestSegment.end; ++pos) {
478a28cd43dSSascha Wildner freqs[ctx->dmerAt[pos]] = 0;
479a28cd43dSSascha Wildner }
480a28cd43dSSascha Wildner }
481a28cd43dSSascha Wildner return bestSegment;
482a28cd43dSSascha Wildner }
483a28cd43dSSascha Wildner
484a28cd43dSSascha Wildner /**
485a28cd43dSSascha Wildner * Check the validity of the parameters.
486a28cd43dSSascha Wildner * Returns non-zero if the parameters are valid and 0 otherwise.
487a28cd43dSSascha Wildner */
COVER_checkParameters(ZDICT_cover_params_t parameters,size_t maxDictSize)488a28cd43dSSascha Wildner static int COVER_checkParameters(ZDICT_cover_params_t parameters,
489a28cd43dSSascha Wildner size_t maxDictSize) {
490a28cd43dSSascha Wildner /* k and d are required parameters */
491a28cd43dSSascha Wildner if (parameters.d == 0 || parameters.k == 0) {
492a28cd43dSSascha Wildner return 0;
493a28cd43dSSascha Wildner }
494a28cd43dSSascha Wildner /* k <= maxDictSize */
495a28cd43dSSascha Wildner if (parameters.k > maxDictSize) {
496a28cd43dSSascha Wildner return 0;
497a28cd43dSSascha Wildner }
498a28cd43dSSascha Wildner /* d <= k */
499a28cd43dSSascha Wildner if (parameters.d > parameters.k) {
500a28cd43dSSascha Wildner return 0;
501a28cd43dSSascha Wildner }
502a28cd43dSSascha Wildner /* 0 < splitPoint <= 1 */
503a28cd43dSSascha Wildner if (parameters.splitPoint <= 0 || parameters.splitPoint > 1){
504a28cd43dSSascha Wildner return 0;
505a28cd43dSSascha Wildner }
506a28cd43dSSascha Wildner return 1;
507a28cd43dSSascha Wildner }
508a28cd43dSSascha Wildner
509a28cd43dSSascha Wildner /**
510a28cd43dSSascha Wildner * Clean up a context initialized with `COVER_ctx_init()`.
511a28cd43dSSascha Wildner */
COVER_ctx_destroy(COVER_ctx_t * ctx)512a28cd43dSSascha Wildner static void COVER_ctx_destroy(COVER_ctx_t *ctx) {
513a28cd43dSSascha Wildner if (!ctx) {
514a28cd43dSSascha Wildner return;
515a28cd43dSSascha Wildner }
516a28cd43dSSascha Wildner if (ctx->suffix) {
517a28cd43dSSascha Wildner free(ctx->suffix);
518a28cd43dSSascha Wildner ctx->suffix = NULL;
519a28cd43dSSascha Wildner }
520a28cd43dSSascha Wildner if (ctx->freqs) {
521a28cd43dSSascha Wildner free(ctx->freqs);
522a28cd43dSSascha Wildner ctx->freqs = NULL;
523a28cd43dSSascha Wildner }
524a28cd43dSSascha Wildner if (ctx->dmerAt) {
525a28cd43dSSascha Wildner free(ctx->dmerAt);
526a28cd43dSSascha Wildner ctx->dmerAt = NULL;
527a28cd43dSSascha Wildner }
528a28cd43dSSascha Wildner if (ctx->offsets) {
529a28cd43dSSascha Wildner free(ctx->offsets);
530a28cd43dSSascha Wildner ctx->offsets = NULL;
531a28cd43dSSascha Wildner }
532a28cd43dSSascha Wildner }
533a28cd43dSSascha Wildner
534a28cd43dSSascha Wildner /**
535a28cd43dSSascha Wildner * Prepare a context for dictionary building.
536a28cd43dSSascha Wildner * The context is only dependent on the parameter `d` and can used multiple
537a28cd43dSSascha Wildner * times.
538a28cd43dSSascha Wildner * Returns 0 on success or error code on error.
539a28cd43dSSascha Wildner * The context must be destroyed with `COVER_ctx_destroy()`.
540a28cd43dSSascha Wildner */
COVER_ctx_init(COVER_ctx_t * ctx,const void * samplesBuffer,const size_t * samplesSizes,unsigned nbSamples,unsigned d,double splitPoint)541a28cd43dSSascha Wildner static size_t COVER_ctx_init(COVER_ctx_t *ctx, const void *samplesBuffer,
542a28cd43dSSascha Wildner const size_t *samplesSizes, unsigned nbSamples,
543a28cd43dSSascha Wildner unsigned d, double splitPoint) {
544a28cd43dSSascha Wildner const BYTE *const samples = (const BYTE *)samplesBuffer;
545a28cd43dSSascha Wildner const size_t totalSamplesSize = COVER_sum(samplesSizes, nbSamples);
546a28cd43dSSascha Wildner /* Split samples into testing and training sets */
547a28cd43dSSascha Wildner const unsigned nbTrainSamples = splitPoint < 1.0 ? (unsigned)((double)nbSamples * splitPoint) : nbSamples;
548a28cd43dSSascha Wildner const unsigned nbTestSamples = splitPoint < 1.0 ? nbSamples - nbTrainSamples : nbSamples;
549a28cd43dSSascha Wildner const size_t trainingSamplesSize = splitPoint < 1.0 ? COVER_sum(samplesSizes, nbTrainSamples) : totalSamplesSize;
550a28cd43dSSascha Wildner const size_t testSamplesSize = splitPoint < 1.0 ? COVER_sum(samplesSizes + nbTrainSamples, nbTestSamples) : totalSamplesSize;
551a28cd43dSSascha Wildner /* Checks */
552a28cd43dSSascha Wildner if (totalSamplesSize < MAX(d, sizeof(U64)) ||
553a28cd43dSSascha Wildner totalSamplesSize >= (size_t)COVER_MAX_SAMPLES_SIZE) {
554a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Total samples size is too large (%u MB), maximum size is %u MB\n",
555a28cd43dSSascha Wildner (unsigned)(totalSamplesSize>>20), (COVER_MAX_SAMPLES_SIZE >> 20));
556a28cd43dSSascha Wildner return ERROR(srcSize_wrong);
557a28cd43dSSascha Wildner }
558a28cd43dSSascha Wildner /* Check if there are at least 5 training samples */
559a28cd43dSSascha Wildner if (nbTrainSamples < 5) {
560a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Total number of training samples is %u and is invalid.", nbTrainSamples);
561a28cd43dSSascha Wildner return ERROR(srcSize_wrong);
562a28cd43dSSascha Wildner }
563a28cd43dSSascha Wildner /* Check if there's testing sample */
564a28cd43dSSascha Wildner if (nbTestSamples < 1) {
565a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Total number of testing samples is %u and is invalid.", nbTestSamples);
566a28cd43dSSascha Wildner return ERROR(srcSize_wrong);
567a28cd43dSSascha Wildner }
568a28cd43dSSascha Wildner /* Zero the context */
569a28cd43dSSascha Wildner memset(ctx, 0, sizeof(*ctx));
570a28cd43dSSascha Wildner DISPLAYLEVEL(2, "Training on %u samples of total size %u\n", nbTrainSamples,
571a28cd43dSSascha Wildner (unsigned)trainingSamplesSize);
572a28cd43dSSascha Wildner DISPLAYLEVEL(2, "Testing on %u samples of total size %u\n", nbTestSamples,
573a28cd43dSSascha Wildner (unsigned)testSamplesSize);
574a28cd43dSSascha Wildner ctx->samples = samples;
575a28cd43dSSascha Wildner ctx->samplesSizes = samplesSizes;
576a28cd43dSSascha Wildner ctx->nbSamples = nbSamples;
577a28cd43dSSascha Wildner ctx->nbTrainSamples = nbTrainSamples;
578a28cd43dSSascha Wildner ctx->nbTestSamples = nbTestSamples;
579a28cd43dSSascha Wildner /* Partial suffix array */
580a28cd43dSSascha Wildner ctx->suffixSize = trainingSamplesSize - MAX(d, sizeof(U64)) + 1;
581a28cd43dSSascha Wildner ctx->suffix = (U32 *)malloc(ctx->suffixSize * sizeof(U32));
582a28cd43dSSascha Wildner /* Maps index to the dmerID */
583a28cd43dSSascha Wildner ctx->dmerAt = (U32 *)malloc(ctx->suffixSize * sizeof(U32));
584a28cd43dSSascha Wildner /* The offsets of each file */
585a28cd43dSSascha Wildner ctx->offsets = (size_t *)malloc((nbSamples + 1) * sizeof(size_t));
586a28cd43dSSascha Wildner if (!ctx->suffix || !ctx->dmerAt || !ctx->offsets) {
587a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Failed to allocate scratch buffers\n");
588a28cd43dSSascha Wildner COVER_ctx_destroy(ctx);
589a28cd43dSSascha Wildner return ERROR(memory_allocation);
590a28cd43dSSascha Wildner }
591a28cd43dSSascha Wildner ctx->freqs = NULL;
592a28cd43dSSascha Wildner ctx->d = d;
593a28cd43dSSascha Wildner
594a28cd43dSSascha Wildner /* Fill offsets from the samplesSizes */
595a28cd43dSSascha Wildner {
596a28cd43dSSascha Wildner U32 i;
597a28cd43dSSascha Wildner ctx->offsets[0] = 0;
598a28cd43dSSascha Wildner for (i = 1; i <= nbSamples; ++i) {
599a28cd43dSSascha Wildner ctx->offsets[i] = ctx->offsets[i - 1] + samplesSizes[i - 1];
600a28cd43dSSascha Wildner }
601a28cd43dSSascha Wildner }
602a28cd43dSSascha Wildner DISPLAYLEVEL(2, "Constructing partial suffix array\n");
603a28cd43dSSascha Wildner {
604a28cd43dSSascha Wildner /* suffix is a partial suffix array.
605a28cd43dSSascha Wildner * It only sorts suffixes by their first parameters.d bytes.
606a28cd43dSSascha Wildner * The sort is stable, so each dmer group is sorted by position in input.
607a28cd43dSSascha Wildner */
608a28cd43dSSascha Wildner U32 i;
609a28cd43dSSascha Wildner for (i = 0; i < ctx->suffixSize; ++i) {
610a28cd43dSSascha Wildner ctx->suffix[i] = i;
611a28cd43dSSascha Wildner }
612a28cd43dSSascha Wildner /* qsort doesn't take an opaque pointer, so pass as a global.
613a28cd43dSSascha Wildner * On OpenBSD qsort() is not guaranteed to be stable, their mergesort() is.
614a28cd43dSSascha Wildner */
615a28cd43dSSascha Wildner g_coverCtx = ctx;
616a28cd43dSSascha Wildner #if defined(__OpenBSD__)
617a28cd43dSSascha Wildner mergesort(ctx->suffix, ctx->suffixSize, sizeof(U32),
618a28cd43dSSascha Wildner (ctx->d <= 8 ? &COVER_strict_cmp8 : &COVER_strict_cmp));
619a28cd43dSSascha Wildner #else
620a28cd43dSSascha Wildner qsort(ctx->suffix, ctx->suffixSize, sizeof(U32),
621a28cd43dSSascha Wildner (ctx->d <= 8 ? &COVER_strict_cmp8 : &COVER_strict_cmp));
622a28cd43dSSascha Wildner #endif
623a28cd43dSSascha Wildner }
624a28cd43dSSascha Wildner DISPLAYLEVEL(2, "Computing frequencies\n");
625a28cd43dSSascha Wildner /* For each dmer group (group of positions with the same first d bytes):
626a28cd43dSSascha Wildner * 1. For each position we set dmerAt[position] = dmerID. The dmerID is
627a28cd43dSSascha Wildner * (groupBeginPtr - suffix). This allows us to go from position to
628a28cd43dSSascha Wildner * dmerID so we can look up values in freq.
629a28cd43dSSascha Wildner * 2. We calculate how many samples the dmer occurs in and save it in
630a28cd43dSSascha Wildner * freqs[dmerId].
631a28cd43dSSascha Wildner */
632a28cd43dSSascha Wildner COVER_groupBy(ctx->suffix, ctx->suffixSize, sizeof(U32), ctx,
633a28cd43dSSascha Wildner (ctx->d <= 8 ? &COVER_cmp8 : &COVER_cmp), &COVER_group);
634a28cd43dSSascha Wildner ctx->freqs = ctx->suffix;
635a28cd43dSSascha Wildner ctx->suffix = NULL;
636a28cd43dSSascha Wildner return 0;
637a28cd43dSSascha Wildner }
638a28cd43dSSascha Wildner
COVER_warnOnSmallCorpus(size_t maxDictSize,size_t nbDmers,int displayLevel)639a28cd43dSSascha Wildner void COVER_warnOnSmallCorpus(size_t maxDictSize, size_t nbDmers, int displayLevel)
640a28cd43dSSascha Wildner {
641a28cd43dSSascha Wildner const double ratio = (double)nbDmers / maxDictSize;
642a28cd43dSSascha Wildner if (ratio >= 10) {
643a28cd43dSSascha Wildner return;
644a28cd43dSSascha Wildner }
645a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 1,
646a28cd43dSSascha Wildner "WARNING: The maximum dictionary size %u is too large "
647a28cd43dSSascha Wildner "compared to the source size %u! "
648a28cd43dSSascha Wildner "size(source)/size(dictionary) = %f, but it should be >= "
649a28cd43dSSascha Wildner "10! This may lead to a subpar dictionary! We recommend "
650a28cd43dSSascha Wildner "training on sources at least 10x, and preferably 100x "
651a28cd43dSSascha Wildner "the size of the dictionary! \n", (U32)maxDictSize,
652a28cd43dSSascha Wildner (U32)nbDmers, ratio);
653a28cd43dSSascha Wildner }
654a28cd43dSSascha Wildner
COVER_computeEpochs(U32 maxDictSize,U32 nbDmers,U32 k,U32 passes)655a28cd43dSSascha Wildner COVER_epoch_info_t COVER_computeEpochs(U32 maxDictSize,
656a28cd43dSSascha Wildner U32 nbDmers, U32 k, U32 passes)
657a28cd43dSSascha Wildner {
658a28cd43dSSascha Wildner const U32 minEpochSize = k * 10;
659a28cd43dSSascha Wildner COVER_epoch_info_t epochs;
660a28cd43dSSascha Wildner epochs.num = MAX(1, maxDictSize / k / passes);
661a28cd43dSSascha Wildner epochs.size = nbDmers / epochs.num;
662a28cd43dSSascha Wildner if (epochs.size >= minEpochSize) {
663a28cd43dSSascha Wildner assert(epochs.size * epochs.num <= nbDmers);
664a28cd43dSSascha Wildner return epochs;
665a28cd43dSSascha Wildner }
666a28cd43dSSascha Wildner epochs.size = MIN(minEpochSize, nbDmers);
667a28cd43dSSascha Wildner epochs.num = nbDmers / epochs.size;
668a28cd43dSSascha Wildner assert(epochs.size * epochs.num <= nbDmers);
669a28cd43dSSascha Wildner return epochs;
670a28cd43dSSascha Wildner }
671a28cd43dSSascha Wildner
672a28cd43dSSascha Wildner /**
673a28cd43dSSascha Wildner * Given the prepared context build the dictionary.
674a28cd43dSSascha Wildner */
COVER_buildDictionary(const COVER_ctx_t * ctx,U32 * freqs,COVER_map_t * activeDmers,void * dictBuffer,size_t dictBufferCapacity,ZDICT_cover_params_t parameters)675a28cd43dSSascha Wildner static size_t COVER_buildDictionary(const COVER_ctx_t *ctx, U32 *freqs,
676a28cd43dSSascha Wildner COVER_map_t *activeDmers, void *dictBuffer,
677a28cd43dSSascha Wildner size_t dictBufferCapacity,
678a28cd43dSSascha Wildner ZDICT_cover_params_t parameters) {
679a28cd43dSSascha Wildner BYTE *const dict = (BYTE *)dictBuffer;
680a28cd43dSSascha Wildner size_t tail = dictBufferCapacity;
681a28cd43dSSascha Wildner /* Divide the data into epochs. We will select one segment from each epoch. */
682a28cd43dSSascha Wildner const COVER_epoch_info_t epochs = COVER_computeEpochs(
683a28cd43dSSascha Wildner (U32)dictBufferCapacity, (U32)ctx->suffixSize, parameters.k, 4);
684a28cd43dSSascha Wildner const size_t maxZeroScoreRun = MAX(10, MIN(100, epochs.num >> 3));
685a28cd43dSSascha Wildner size_t zeroScoreRun = 0;
686a28cd43dSSascha Wildner size_t epoch;
687a28cd43dSSascha Wildner DISPLAYLEVEL(2, "Breaking content into %u epochs of size %u\n",
688a28cd43dSSascha Wildner (U32)epochs.num, (U32)epochs.size);
689a28cd43dSSascha Wildner /* Loop through the epochs until there are no more segments or the dictionary
690a28cd43dSSascha Wildner * is full.
691a28cd43dSSascha Wildner */
692a28cd43dSSascha Wildner for (epoch = 0; tail > 0; epoch = (epoch + 1) % epochs.num) {
693a28cd43dSSascha Wildner const U32 epochBegin = (U32)(epoch * epochs.size);
694a28cd43dSSascha Wildner const U32 epochEnd = epochBegin + epochs.size;
695a28cd43dSSascha Wildner size_t segmentSize;
696a28cd43dSSascha Wildner /* Select a segment */
697a28cd43dSSascha Wildner COVER_segment_t segment = COVER_selectSegment(
698a28cd43dSSascha Wildner ctx, freqs, activeDmers, epochBegin, epochEnd, parameters);
699a28cd43dSSascha Wildner /* If the segment covers no dmers, then we are out of content.
700a28cd43dSSascha Wildner * There may be new content in other epochs, for continue for some time.
701a28cd43dSSascha Wildner */
702a28cd43dSSascha Wildner if (segment.score == 0) {
703a28cd43dSSascha Wildner if (++zeroScoreRun >= maxZeroScoreRun) {
704a28cd43dSSascha Wildner break;
705a28cd43dSSascha Wildner }
706a28cd43dSSascha Wildner continue;
707a28cd43dSSascha Wildner }
708a28cd43dSSascha Wildner zeroScoreRun = 0;
709a28cd43dSSascha Wildner /* Trim the segment if necessary and if it is too small then we are done */
710a28cd43dSSascha Wildner segmentSize = MIN(segment.end - segment.begin + parameters.d - 1, tail);
711a28cd43dSSascha Wildner if (segmentSize < parameters.d) {
712a28cd43dSSascha Wildner break;
713a28cd43dSSascha Wildner }
714a28cd43dSSascha Wildner /* We fill the dictionary from the back to allow the best segments to be
715a28cd43dSSascha Wildner * referenced with the smallest offsets.
716a28cd43dSSascha Wildner */
717a28cd43dSSascha Wildner tail -= segmentSize;
718a28cd43dSSascha Wildner memcpy(dict + tail, ctx->samples + segment.begin, segmentSize);
719a28cd43dSSascha Wildner DISPLAYUPDATE(
720a28cd43dSSascha Wildner 2, "\r%u%% ",
721a28cd43dSSascha Wildner (unsigned)(((dictBufferCapacity - tail) * 100) / dictBufferCapacity));
722a28cd43dSSascha Wildner }
723a28cd43dSSascha Wildner DISPLAYLEVEL(2, "\r%79s\r", "");
724a28cd43dSSascha Wildner return tail;
725a28cd43dSSascha Wildner }
726a28cd43dSSascha Wildner
ZDICT_trainFromBuffer_cover(void * dictBuffer,size_t dictBufferCapacity,const void * samplesBuffer,const size_t * samplesSizes,unsigned nbSamples,ZDICT_cover_params_t parameters)727a28cd43dSSascha Wildner ZDICTLIB_API size_t ZDICT_trainFromBuffer_cover(
728a28cd43dSSascha Wildner void *dictBuffer, size_t dictBufferCapacity,
729a28cd43dSSascha Wildner const void *samplesBuffer, const size_t *samplesSizes, unsigned nbSamples,
730a28cd43dSSascha Wildner ZDICT_cover_params_t parameters)
731a28cd43dSSascha Wildner {
732a28cd43dSSascha Wildner BYTE* const dict = (BYTE*)dictBuffer;
733a28cd43dSSascha Wildner COVER_ctx_t ctx;
734a28cd43dSSascha Wildner COVER_map_t activeDmers;
735a28cd43dSSascha Wildner parameters.splitPoint = 1.0;
736a28cd43dSSascha Wildner /* Initialize global data */
737a28cd43dSSascha Wildner g_displayLevel = parameters.zParams.notificationLevel;
738a28cd43dSSascha Wildner /* Checks */
739a28cd43dSSascha Wildner if (!COVER_checkParameters(parameters, dictBufferCapacity)) {
740a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Cover parameters incorrect\n");
741a28cd43dSSascha Wildner return ERROR(parameter_outOfBound);
742a28cd43dSSascha Wildner }
743a28cd43dSSascha Wildner if (nbSamples == 0) {
744a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Cover must have at least one input file\n");
745a28cd43dSSascha Wildner return ERROR(srcSize_wrong);
746a28cd43dSSascha Wildner }
747a28cd43dSSascha Wildner if (dictBufferCapacity < ZDICT_DICTSIZE_MIN) {
748a28cd43dSSascha Wildner DISPLAYLEVEL(1, "dictBufferCapacity must be at least %u\n",
749a28cd43dSSascha Wildner ZDICT_DICTSIZE_MIN);
750a28cd43dSSascha Wildner return ERROR(dstSize_tooSmall);
751a28cd43dSSascha Wildner }
752a28cd43dSSascha Wildner /* Initialize context and activeDmers */
753a28cd43dSSascha Wildner {
754a28cd43dSSascha Wildner size_t const initVal = COVER_ctx_init(&ctx, samplesBuffer, samplesSizes, nbSamples,
755a28cd43dSSascha Wildner parameters.d, parameters.splitPoint);
756a28cd43dSSascha Wildner if (ZSTD_isError(initVal)) {
757a28cd43dSSascha Wildner return initVal;
758a28cd43dSSascha Wildner }
759a28cd43dSSascha Wildner }
760a28cd43dSSascha Wildner COVER_warnOnSmallCorpus(dictBufferCapacity, ctx.suffixSize, g_displayLevel);
761a28cd43dSSascha Wildner if (!COVER_map_init(&activeDmers, parameters.k - parameters.d + 1)) {
762a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Failed to allocate dmer map: out of memory\n");
763a28cd43dSSascha Wildner COVER_ctx_destroy(&ctx);
764a28cd43dSSascha Wildner return ERROR(memory_allocation);
765a28cd43dSSascha Wildner }
766a28cd43dSSascha Wildner
767a28cd43dSSascha Wildner DISPLAYLEVEL(2, "Building dictionary\n");
768a28cd43dSSascha Wildner {
769a28cd43dSSascha Wildner const size_t tail =
770a28cd43dSSascha Wildner COVER_buildDictionary(&ctx, ctx.freqs, &activeDmers, dictBuffer,
771a28cd43dSSascha Wildner dictBufferCapacity, parameters);
772a28cd43dSSascha Wildner const size_t dictionarySize = ZDICT_finalizeDictionary(
773a28cd43dSSascha Wildner dict, dictBufferCapacity, dict + tail, dictBufferCapacity - tail,
774a28cd43dSSascha Wildner samplesBuffer, samplesSizes, nbSamples, parameters.zParams);
775a28cd43dSSascha Wildner if (!ZSTD_isError(dictionarySize)) {
776a28cd43dSSascha Wildner DISPLAYLEVEL(2, "Constructed dictionary of size %u\n",
777a28cd43dSSascha Wildner (unsigned)dictionarySize);
778a28cd43dSSascha Wildner }
779a28cd43dSSascha Wildner COVER_ctx_destroy(&ctx);
780a28cd43dSSascha Wildner COVER_map_destroy(&activeDmers);
781a28cd43dSSascha Wildner return dictionarySize;
782a28cd43dSSascha Wildner }
783a28cd43dSSascha Wildner }
784a28cd43dSSascha Wildner
785a28cd43dSSascha Wildner
786a28cd43dSSascha Wildner
COVER_checkTotalCompressedSize(const ZDICT_cover_params_t parameters,const size_t * samplesSizes,const BYTE * samples,size_t * offsets,size_t nbTrainSamples,size_t nbSamples,BYTE * const dict,size_t dictBufferCapacity)787a28cd43dSSascha Wildner size_t COVER_checkTotalCompressedSize(const ZDICT_cover_params_t parameters,
788a28cd43dSSascha Wildner const size_t *samplesSizes, const BYTE *samples,
789a28cd43dSSascha Wildner size_t *offsets,
790a28cd43dSSascha Wildner size_t nbTrainSamples, size_t nbSamples,
791a28cd43dSSascha Wildner BYTE *const dict, size_t dictBufferCapacity) {
792a28cd43dSSascha Wildner size_t totalCompressedSize = ERROR(GENERIC);
793a28cd43dSSascha Wildner /* Pointers */
794a28cd43dSSascha Wildner ZSTD_CCtx *cctx;
795a28cd43dSSascha Wildner ZSTD_CDict *cdict;
796a28cd43dSSascha Wildner void *dst;
797a28cd43dSSascha Wildner /* Local variables */
798a28cd43dSSascha Wildner size_t dstCapacity;
799a28cd43dSSascha Wildner size_t i;
800a28cd43dSSascha Wildner /* Allocate dst with enough space to compress the maximum sized sample */
801a28cd43dSSascha Wildner {
802a28cd43dSSascha Wildner size_t maxSampleSize = 0;
803a28cd43dSSascha Wildner i = parameters.splitPoint < 1.0 ? nbTrainSamples : 0;
804a28cd43dSSascha Wildner for (; i < nbSamples; ++i) {
805a28cd43dSSascha Wildner maxSampleSize = MAX(samplesSizes[i], maxSampleSize);
806a28cd43dSSascha Wildner }
807a28cd43dSSascha Wildner dstCapacity = ZSTD_compressBound(maxSampleSize);
808a28cd43dSSascha Wildner dst = malloc(dstCapacity);
809a28cd43dSSascha Wildner }
810a28cd43dSSascha Wildner /* Create the cctx and cdict */
811a28cd43dSSascha Wildner cctx = ZSTD_createCCtx();
812a28cd43dSSascha Wildner cdict = ZSTD_createCDict(dict, dictBufferCapacity,
813a28cd43dSSascha Wildner parameters.zParams.compressionLevel);
814a28cd43dSSascha Wildner if (!dst || !cctx || !cdict) {
815a28cd43dSSascha Wildner goto _compressCleanup;
816a28cd43dSSascha Wildner }
817a28cd43dSSascha Wildner /* Compress each sample and sum their sizes (or error) */
818a28cd43dSSascha Wildner totalCompressedSize = dictBufferCapacity;
819a28cd43dSSascha Wildner i = parameters.splitPoint < 1.0 ? nbTrainSamples : 0;
820a28cd43dSSascha Wildner for (; i < nbSamples; ++i) {
821a28cd43dSSascha Wildner const size_t size = ZSTD_compress_usingCDict(
822a28cd43dSSascha Wildner cctx, dst, dstCapacity, samples + offsets[i],
823a28cd43dSSascha Wildner samplesSizes[i], cdict);
824a28cd43dSSascha Wildner if (ZSTD_isError(size)) {
825a28cd43dSSascha Wildner totalCompressedSize = size;
826a28cd43dSSascha Wildner goto _compressCleanup;
827a28cd43dSSascha Wildner }
828a28cd43dSSascha Wildner totalCompressedSize += size;
829a28cd43dSSascha Wildner }
830a28cd43dSSascha Wildner _compressCleanup:
831a28cd43dSSascha Wildner ZSTD_freeCCtx(cctx);
832a28cd43dSSascha Wildner ZSTD_freeCDict(cdict);
833a28cd43dSSascha Wildner if (dst) {
834a28cd43dSSascha Wildner free(dst);
835a28cd43dSSascha Wildner }
836a28cd43dSSascha Wildner return totalCompressedSize;
837a28cd43dSSascha Wildner }
838a28cd43dSSascha Wildner
839a28cd43dSSascha Wildner
840a28cd43dSSascha Wildner /**
841a28cd43dSSascha Wildner * Initialize the `COVER_best_t`.
842a28cd43dSSascha Wildner */
COVER_best_init(COVER_best_t * best)843a28cd43dSSascha Wildner void COVER_best_init(COVER_best_t *best) {
844a28cd43dSSascha Wildner if (best==NULL) return; /* compatible with init on NULL */
845a28cd43dSSascha Wildner (void)ZSTD_pthread_mutex_init(&best->mutex, NULL);
846a28cd43dSSascha Wildner (void)ZSTD_pthread_cond_init(&best->cond, NULL);
847a28cd43dSSascha Wildner best->liveJobs = 0;
848a28cd43dSSascha Wildner best->dict = NULL;
849a28cd43dSSascha Wildner best->dictSize = 0;
850a28cd43dSSascha Wildner best->compressedSize = (size_t)-1;
851a28cd43dSSascha Wildner memset(&best->parameters, 0, sizeof(best->parameters));
852a28cd43dSSascha Wildner }
853a28cd43dSSascha Wildner
854a28cd43dSSascha Wildner /**
855a28cd43dSSascha Wildner * Wait until liveJobs == 0.
856a28cd43dSSascha Wildner */
COVER_best_wait(COVER_best_t * best)857a28cd43dSSascha Wildner void COVER_best_wait(COVER_best_t *best) {
858a28cd43dSSascha Wildner if (!best) {
859a28cd43dSSascha Wildner return;
860a28cd43dSSascha Wildner }
861a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&best->mutex);
862a28cd43dSSascha Wildner while (best->liveJobs != 0) {
863a28cd43dSSascha Wildner ZSTD_pthread_cond_wait(&best->cond, &best->mutex);
864a28cd43dSSascha Wildner }
865a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&best->mutex);
866a28cd43dSSascha Wildner }
867a28cd43dSSascha Wildner
868a28cd43dSSascha Wildner /**
869a28cd43dSSascha Wildner * Call COVER_best_wait() and then destroy the COVER_best_t.
870a28cd43dSSascha Wildner */
COVER_best_destroy(COVER_best_t * best)871a28cd43dSSascha Wildner void COVER_best_destroy(COVER_best_t *best) {
872a28cd43dSSascha Wildner if (!best) {
873a28cd43dSSascha Wildner return;
874a28cd43dSSascha Wildner }
875a28cd43dSSascha Wildner COVER_best_wait(best);
876a28cd43dSSascha Wildner if (best->dict) {
877a28cd43dSSascha Wildner free(best->dict);
878a28cd43dSSascha Wildner }
879a28cd43dSSascha Wildner ZSTD_pthread_mutex_destroy(&best->mutex);
880a28cd43dSSascha Wildner ZSTD_pthread_cond_destroy(&best->cond);
881a28cd43dSSascha Wildner }
882a28cd43dSSascha Wildner
883a28cd43dSSascha Wildner /**
884a28cd43dSSascha Wildner * Called when a thread is about to be launched.
885a28cd43dSSascha Wildner * Increments liveJobs.
886a28cd43dSSascha Wildner */
COVER_best_start(COVER_best_t * best)887a28cd43dSSascha Wildner void COVER_best_start(COVER_best_t *best) {
888a28cd43dSSascha Wildner if (!best) {
889a28cd43dSSascha Wildner return;
890a28cd43dSSascha Wildner }
891a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&best->mutex);
892a28cd43dSSascha Wildner ++best->liveJobs;
893a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&best->mutex);
894a28cd43dSSascha Wildner }
895a28cd43dSSascha Wildner
896a28cd43dSSascha Wildner /**
897a28cd43dSSascha Wildner * Called when a thread finishes executing, both on error or success.
898a28cd43dSSascha Wildner * Decrements liveJobs and signals any waiting threads if liveJobs == 0.
899a28cd43dSSascha Wildner * If this dictionary is the best so far save it and its parameters.
900a28cd43dSSascha Wildner */
COVER_best_finish(COVER_best_t * best,ZDICT_cover_params_t parameters,COVER_dictSelection_t selection)901a28cd43dSSascha Wildner void COVER_best_finish(COVER_best_t *best, ZDICT_cover_params_t parameters,
902a28cd43dSSascha Wildner COVER_dictSelection_t selection) {
903a28cd43dSSascha Wildner void* dict = selection.dictContent;
904a28cd43dSSascha Wildner size_t compressedSize = selection.totalCompressedSize;
905a28cd43dSSascha Wildner size_t dictSize = selection.dictSize;
906a28cd43dSSascha Wildner if (!best) {
907a28cd43dSSascha Wildner return;
908a28cd43dSSascha Wildner }
909a28cd43dSSascha Wildner {
910a28cd43dSSascha Wildner size_t liveJobs;
911a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&best->mutex);
912a28cd43dSSascha Wildner --best->liveJobs;
913a28cd43dSSascha Wildner liveJobs = best->liveJobs;
914a28cd43dSSascha Wildner /* If the new dictionary is better */
915a28cd43dSSascha Wildner if (compressedSize < best->compressedSize) {
916a28cd43dSSascha Wildner /* Allocate space if necessary */
917a28cd43dSSascha Wildner if (!best->dict || best->dictSize < dictSize) {
918a28cd43dSSascha Wildner if (best->dict) {
919a28cd43dSSascha Wildner free(best->dict);
920a28cd43dSSascha Wildner }
921a28cd43dSSascha Wildner best->dict = malloc(dictSize);
922a28cd43dSSascha Wildner if (!best->dict) {
923a28cd43dSSascha Wildner best->compressedSize = ERROR(GENERIC);
924a28cd43dSSascha Wildner best->dictSize = 0;
925a28cd43dSSascha Wildner ZSTD_pthread_cond_signal(&best->cond);
926a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&best->mutex);
927a28cd43dSSascha Wildner return;
928a28cd43dSSascha Wildner }
929a28cd43dSSascha Wildner }
930a28cd43dSSascha Wildner /* Save the dictionary, parameters, and size */
931a28cd43dSSascha Wildner if (dict) {
932a28cd43dSSascha Wildner memcpy(best->dict, dict, dictSize);
933a28cd43dSSascha Wildner best->dictSize = dictSize;
934a28cd43dSSascha Wildner best->parameters = parameters;
935a28cd43dSSascha Wildner best->compressedSize = compressedSize;
936a28cd43dSSascha Wildner }
937a28cd43dSSascha Wildner }
938a28cd43dSSascha Wildner if (liveJobs == 0) {
939a28cd43dSSascha Wildner ZSTD_pthread_cond_broadcast(&best->cond);
940a28cd43dSSascha Wildner }
941a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&best->mutex);
942a28cd43dSSascha Wildner }
943a28cd43dSSascha Wildner }
944a28cd43dSSascha Wildner
COVER_dictSelectionError(size_t error)945a28cd43dSSascha Wildner COVER_dictSelection_t COVER_dictSelectionError(size_t error) {
946a28cd43dSSascha Wildner COVER_dictSelection_t selection = { NULL, 0, error };
947a28cd43dSSascha Wildner return selection;
948a28cd43dSSascha Wildner }
949a28cd43dSSascha Wildner
COVER_dictSelectionIsError(COVER_dictSelection_t selection)950a28cd43dSSascha Wildner unsigned COVER_dictSelectionIsError(COVER_dictSelection_t selection) {
951a28cd43dSSascha Wildner return (ZSTD_isError(selection.totalCompressedSize) || !selection.dictContent);
952a28cd43dSSascha Wildner }
953a28cd43dSSascha Wildner
COVER_dictSelectionFree(COVER_dictSelection_t selection)954a28cd43dSSascha Wildner void COVER_dictSelectionFree(COVER_dictSelection_t selection){
955a28cd43dSSascha Wildner free(selection.dictContent);
956a28cd43dSSascha Wildner }
957a28cd43dSSascha Wildner
COVER_selectDict(BYTE * customDictContent,size_t dictBufferCapacity,size_t dictContentSize,const BYTE * samplesBuffer,const size_t * samplesSizes,unsigned nbFinalizeSamples,size_t nbCheckSamples,size_t nbSamples,ZDICT_cover_params_t params,size_t * offsets,size_t totalCompressedSize)958a28cd43dSSascha Wildner COVER_dictSelection_t COVER_selectDict(BYTE* customDictContent, size_t dictBufferCapacity,
959a28cd43dSSascha Wildner size_t dictContentSize, const BYTE* samplesBuffer, const size_t* samplesSizes, unsigned nbFinalizeSamples,
960a28cd43dSSascha Wildner size_t nbCheckSamples, size_t nbSamples, ZDICT_cover_params_t params, size_t* offsets, size_t totalCompressedSize) {
961a28cd43dSSascha Wildner
962a28cd43dSSascha Wildner size_t largestDict = 0;
963a28cd43dSSascha Wildner size_t largestCompressed = 0;
964a28cd43dSSascha Wildner BYTE* customDictContentEnd = customDictContent + dictContentSize;
965a28cd43dSSascha Wildner
966a28cd43dSSascha Wildner BYTE * largestDictbuffer = (BYTE *)malloc(dictBufferCapacity);
967a28cd43dSSascha Wildner BYTE * candidateDictBuffer = (BYTE *)malloc(dictBufferCapacity);
968a28cd43dSSascha Wildner double regressionTolerance = ((double)params.shrinkDictMaxRegression / 100.0) + 1.00;
969a28cd43dSSascha Wildner
970a28cd43dSSascha Wildner if (!largestDictbuffer || !candidateDictBuffer) {
971a28cd43dSSascha Wildner free(largestDictbuffer);
972a28cd43dSSascha Wildner free(candidateDictBuffer);
973a28cd43dSSascha Wildner return COVER_dictSelectionError(dictContentSize);
974a28cd43dSSascha Wildner }
975a28cd43dSSascha Wildner
976a28cd43dSSascha Wildner /* Initial dictionary size and compressed size */
977a28cd43dSSascha Wildner memcpy(largestDictbuffer, customDictContent, dictContentSize);
978a28cd43dSSascha Wildner dictContentSize = ZDICT_finalizeDictionary(
979a28cd43dSSascha Wildner largestDictbuffer, dictBufferCapacity, customDictContent, dictContentSize,
980a28cd43dSSascha Wildner samplesBuffer, samplesSizes, nbFinalizeSamples, params.zParams);
981a28cd43dSSascha Wildner
982a28cd43dSSascha Wildner if (ZDICT_isError(dictContentSize)) {
983a28cd43dSSascha Wildner free(largestDictbuffer);
984a28cd43dSSascha Wildner free(candidateDictBuffer);
985a28cd43dSSascha Wildner return COVER_dictSelectionError(dictContentSize);
986a28cd43dSSascha Wildner }
987a28cd43dSSascha Wildner
988a28cd43dSSascha Wildner totalCompressedSize = COVER_checkTotalCompressedSize(params, samplesSizes,
989a28cd43dSSascha Wildner samplesBuffer, offsets,
990a28cd43dSSascha Wildner nbCheckSamples, nbSamples,
991a28cd43dSSascha Wildner largestDictbuffer, dictContentSize);
992a28cd43dSSascha Wildner
993a28cd43dSSascha Wildner if (ZSTD_isError(totalCompressedSize)) {
994a28cd43dSSascha Wildner free(largestDictbuffer);
995a28cd43dSSascha Wildner free(candidateDictBuffer);
996a28cd43dSSascha Wildner return COVER_dictSelectionError(totalCompressedSize);
997a28cd43dSSascha Wildner }
998a28cd43dSSascha Wildner
999a28cd43dSSascha Wildner if (params.shrinkDict == 0) {
1000a28cd43dSSascha Wildner COVER_dictSelection_t selection = { largestDictbuffer, dictContentSize, totalCompressedSize };
1001a28cd43dSSascha Wildner free(candidateDictBuffer);
1002a28cd43dSSascha Wildner return selection;
1003a28cd43dSSascha Wildner }
1004a28cd43dSSascha Wildner
1005a28cd43dSSascha Wildner largestDict = dictContentSize;
1006a28cd43dSSascha Wildner largestCompressed = totalCompressedSize;
1007a28cd43dSSascha Wildner dictContentSize = ZDICT_DICTSIZE_MIN;
1008a28cd43dSSascha Wildner
1009a28cd43dSSascha Wildner /* Largest dict is initially at least ZDICT_DICTSIZE_MIN */
1010a28cd43dSSascha Wildner while (dictContentSize < largestDict) {
1011a28cd43dSSascha Wildner memcpy(candidateDictBuffer, largestDictbuffer, largestDict);
1012a28cd43dSSascha Wildner dictContentSize = ZDICT_finalizeDictionary(
1013a28cd43dSSascha Wildner candidateDictBuffer, dictBufferCapacity, customDictContentEnd - dictContentSize, dictContentSize,
1014a28cd43dSSascha Wildner samplesBuffer, samplesSizes, nbFinalizeSamples, params.zParams);
1015a28cd43dSSascha Wildner
1016a28cd43dSSascha Wildner if (ZDICT_isError(dictContentSize)) {
1017a28cd43dSSascha Wildner free(largestDictbuffer);
1018a28cd43dSSascha Wildner free(candidateDictBuffer);
1019a28cd43dSSascha Wildner return COVER_dictSelectionError(dictContentSize);
1020a28cd43dSSascha Wildner
1021a28cd43dSSascha Wildner }
1022a28cd43dSSascha Wildner
1023a28cd43dSSascha Wildner totalCompressedSize = COVER_checkTotalCompressedSize(params, samplesSizes,
1024a28cd43dSSascha Wildner samplesBuffer, offsets,
1025a28cd43dSSascha Wildner nbCheckSamples, nbSamples,
1026a28cd43dSSascha Wildner candidateDictBuffer, dictContentSize);
1027a28cd43dSSascha Wildner
1028a28cd43dSSascha Wildner if (ZSTD_isError(totalCompressedSize)) {
1029a28cd43dSSascha Wildner free(largestDictbuffer);
1030a28cd43dSSascha Wildner free(candidateDictBuffer);
1031a28cd43dSSascha Wildner return COVER_dictSelectionError(totalCompressedSize);
1032a28cd43dSSascha Wildner }
1033a28cd43dSSascha Wildner
1034a28cd43dSSascha Wildner if (totalCompressedSize <= largestCompressed * regressionTolerance) {
1035a28cd43dSSascha Wildner COVER_dictSelection_t selection = { candidateDictBuffer, dictContentSize, totalCompressedSize };
1036a28cd43dSSascha Wildner free(largestDictbuffer);
1037a28cd43dSSascha Wildner return selection;
1038a28cd43dSSascha Wildner }
1039a28cd43dSSascha Wildner dictContentSize *= 2;
1040a28cd43dSSascha Wildner }
1041a28cd43dSSascha Wildner dictContentSize = largestDict;
1042a28cd43dSSascha Wildner totalCompressedSize = largestCompressed;
1043a28cd43dSSascha Wildner {
1044a28cd43dSSascha Wildner COVER_dictSelection_t selection = { largestDictbuffer, dictContentSize, totalCompressedSize };
1045a28cd43dSSascha Wildner free(candidateDictBuffer);
1046a28cd43dSSascha Wildner return selection;
1047a28cd43dSSascha Wildner }
1048a28cd43dSSascha Wildner }
1049a28cd43dSSascha Wildner
1050a28cd43dSSascha Wildner /**
1051a28cd43dSSascha Wildner * Parameters for COVER_tryParameters().
1052a28cd43dSSascha Wildner */
1053a28cd43dSSascha Wildner typedef struct COVER_tryParameters_data_s {
1054a28cd43dSSascha Wildner const COVER_ctx_t *ctx;
1055a28cd43dSSascha Wildner COVER_best_t *best;
1056a28cd43dSSascha Wildner size_t dictBufferCapacity;
1057a28cd43dSSascha Wildner ZDICT_cover_params_t parameters;
1058a28cd43dSSascha Wildner } COVER_tryParameters_data_t;
1059a28cd43dSSascha Wildner
1060a28cd43dSSascha Wildner /**
1061a28cd43dSSascha Wildner * Tries a set of parameters and updates the COVER_best_t with the results.
1062a28cd43dSSascha Wildner * This function is thread safe if zstd is compiled with multithreaded support.
1063a28cd43dSSascha Wildner * It takes its parameters as an *OWNING* opaque pointer to support threading.
1064a28cd43dSSascha Wildner */
COVER_tryParameters(void * opaque)1065a28cd43dSSascha Wildner static void COVER_tryParameters(void *opaque) {
1066a28cd43dSSascha Wildner /* Save parameters as local variables */
1067a28cd43dSSascha Wildner COVER_tryParameters_data_t *const data = (COVER_tryParameters_data_t *)opaque;
1068a28cd43dSSascha Wildner const COVER_ctx_t *const ctx = data->ctx;
1069a28cd43dSSascha Wildner const ZDICT_cover_params_t parameters = data->parameters;
1070a28cd43dSSascha Wildner size_t dictBufferCapacity = data->dictBufferCapacity;
1071a28cd43dSSascha Wildner size_t totalCompressedSize = ERROR(GENERIC);
1072a28cd43dSSascha Wildner /* Allocate space for hash table, dict, and freqs */
1073a28cd43dSSascha Wildner COVER_map_t activeDmers;
1074a28cd43dSSascha Wildner BYTE *const dict = (BYTE * const)malloc(dictBufferCapacity);
1075a28cd43dSSascha Wildner COVER_dictSelection_t selection = COVER_dictSelectionError(ERROR(GENERIC));
1076a28cd43dSSascha Wildner U32 *freqs = (U32 *)malloc(ctx->suffixSize * sizeof(U32));
1077a28cd43dSSascha Wildner if (!COVER_map_init(&activeDmers, parameters.k - parameters.d + 1)) {
1078a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Failed to allocate dmer map: out of memory\n");
1079a28cd43dSSascha Wildner goto _cleanup;
1080a28cd43dSSascha Wildner }
1081a28cd43dSSascha Wildner if (!dict || !freqs) {
1082a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Failed to allocate buffers: out of memory\n");
1083a28cd43dSSascha Wildner goto _cleanup;
1084a28cd43dSSascha Wildner }
1085a28cd43dSSascha Wildner /* Copy the frequencies because we need to modify them */
1086a28cd43dSSascha Wildner memcpy(freqs, ctx->freqs, ctx->suffixSize * sizeof(U32));
1087a28cd43dSSascha Wildner /* Build the dictionary */
1088a28cd43dSSascha Wildner {
1089a28cd43dSSascha Wildner const size_t tail = COVER_buildDictionary(ctx, freqs, &activeDmers, dict,
1090a28cd43dSSascha Wildner dictBufferCapacity, parameters);
1091a28cd43dSSascha Wildner selection = COVER_selectDict(dict + tail, dictBufferCapacity, dictBufferCapacity - tail,
1092a28cd43dSSascha Wildner ctx->samples, ctx->samplesSizes, (unsigned)ctx->nbTrainSamples, ctx->nbTrainSamples, ctx->nbSamples, parameters, ctx->offsets,
1093a28cd43dSSascha Wildner totalCompressedSize);
1094a28cd43dSSascha Wildner
1095a28cd43dSSascha Wildner if (COVER_dictSelectionIsError(selection)) {
1096a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Failed to select dictionary\n");
1097a28cd43dSSascha Wildner goto _cleanup;
1098a28cd43dSSascha Wildner }
1099a28cd43dSSascha Wildner }
1100a28cd43dSSascha Wildner _cleanup:
1101a28cd43dSSascha Wildner free(dict);
1102a28cd43dSSascha Wildner COVER_best_finish(data->best, parameters, selection);
1103a28cd43dSSascha Wildner free(data);
1104a28cd43dSSascha Wildner COVER_map_destroy(&activeDmers);
1105a28cd43dSSascha Wildner COVER_dictSelectionFree(selection);
1106a28cd43dSSascha Wildner if (freqs) {
1107a28cd43dSSascha Wildner free(freqs);
1108a28cd43dSSascha Wildner }
1109a28cd43dSSascha Wildner }
1110a28cd43dSSascha Wildner
ZDICT_optimizeTrainFromBuffer_cover(void * dictBuffer,size_t dictBufferCapacity,const void * samplesBuffer,const size_t * samplesSizes,unsigned nbSamples,ZDICT_cover_params_t * parameters)1111a28cd43dSSascha Wildner ZDICTLIB_API size_t ZDICT_optimizeTrainFromBuffer_cover(
1112a28cd43dSSascha Wildner void *dictBuffer, size_t dictBufferCapacity, const void *samplesBuffer,
1113a28cd43dSSascha Wildner const size_t *samplesSizes, unsigned nbSamples,
1114a28cd43dSSascha Wildner ZDICT_cover_params_t *parameters) {
1115a28cd43dSSascha Wildner /* constants */
1116a28cd43dSSascha Wildner const unsigned nbThreads = parameters->nbThreads;
1117a28cd43dSSascha Wildner const double splitPoint =
1118a28cd43dSSascha Wildner parameters->splitPoint <= 0.0 ? COVER_DEFAULT_SPLITPOINT : parameters->splitPoint;
1119a28cd43dSSascha Wildner const unsigned kMinD = parameters->d == 0 ? 6 : parameters->d;
1120a28cd43dSSascha Wildner const unsigned kMaxD = parameters->d == 0 ? 8 : parameters->d;
1121a28cd43dSSascha Wildner const unsigned kMinK = parameters->k == 0 ? 50 : parameters->k;
1122a28cd43dSSascha Wildner const unsigned kMaxK = parameters->k == 0 ? 2000 : parameters->k;
1123a28cd43dSSascha Wildner const unsigned kSteps = parameters->steps == 0 ? 40 : parameters->steps;
1124a28cd43dSSascha Wildner const unsigned kStepSize = MAX((kMaxK - kMinK) / kSteps, 1);
1125a28cd43dSSascha Wildner const unsigned kIterations =
1126a28cd43dSSascha Wildner (1 + (kMaxD - kMinD) / 2) * (1 + (kMaxK - kMinK) / kStepSize);
1127a28cd43dSSascha Wildner const unsigned shrinkDict = 0;
1128a28cd43dSSascha Wildner /* Local variables */
1129a28cd43dSSascha Wildner const int displayLevel = parameters->zParams.notificationLevel;
1130a28cd43dSSascha Wildner unsigned iteration = 1;
1131a28cd43dSSascha Wildner unsigned d;
1132a28cd43dSSascha Wildner unsigned k;
1133a28cd43dSSascha Wildner COVER_best_t best;
1134a28cd43dSSascha Wildner POOL_ctx *pool = NULL;
1135a28cd43dSSascha Wildner int warned = 0;
1136a28cd43dSSascha Wildner
1137a28cd43dSSascha Wildner /* Checks */
1138a28cd43dSSascha Wildner if (splitPoint <= 0 || splitPoint > 1) {
1139a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 1, "Incorrect parameters\n");
1140a28cd43dSSascha Wildner return ERROR(parameter_outOfBound);
1141a28cd43dSSascha Wildner }
1142a28cd43dSSascha Wildner if (kMinK < kMaxD || kMaxK < kMinK) {
1143a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 1, "Incorrect parameters\n");
1144a28cd43dSSascha Wildner return ERROR(parameter_outOfBound);
1145a28cd43dSSascha Wildner }
1146a28cd43dSSascha Wildner if (nbSamples == 0) {
1147a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Cover must have at least one input file\n");
1148a28cd43dSSascha Wildner return ERROR(srcSize_wrong);
1149a28cd43dSSascha Wildner }
1150a28cd43dSSascha Wildner if (dictBufferCapacity < ZDICT_DICTSIZE_MIN) {
1151a28cd43dSSascha Wildner DISPLAYLEVEL(1, "dictBufferCapacity must be at least %u\n",
1152a28cd43dSSascha Wildner ZDICT_DICTSIZE_MIN);
1153a28cd43dSSascha Wildner return ERROR(dstSize_tooSmall);
1154a28cd43dSSascha Wildner }
1155a28cd43dSSascha Wildner if (nbThreads > 1) {
1156a28cd43dSSascha Wildner pool = POOL_create(nbThreads, 1);
1157a28cd43dSSascha Wildner if (!pool) {
1158a28cd43dSSascha Wildner return ERROR(memory_allocation);
1159a28cd43dSSascha Wildner }
1160a28cd43dSSascha Wildner }
1161a28cd43dSSascha Wildner /* Initialization */
1162a28cd43dSSascha Wildner COVER_best_init(&best);
1163a28cd43dSSascha Wildner /* Turn down global display level to clean up display at level 2 and below */
1164a28cd43dSSascha Wildner g_displayLevel = displayLevel == 0 ? 0 : displayLevel - 1;
1165a28cd43dSSascha Wildner /* Loop through d first because each new value needs a new context */
1166a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 2, "Trying %u different sets of parameters\n",
1167a28cd43dSSascha Wildner kIterations);
1168a28cd43dSSascha Wildner for (d = kMinD; d <= kMaxD; d += 2) {
1169a28cd43dSSascha Wildner /* Initialize the context for this value of d */
1170a28cd43dSSascha Wildner COVER_ctx_t ctx;
1171a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 3, "d=%u\n", d);
1172a28cd43dSSascha Wildner {
1173a28cd43dSSascha Wildner const size_t initVal = COVER_ctx_init(&ctx, samplesBuffer, samplesSizes, nbSamples, d, splitPoint);
1174a28cd43dSSascha Wildner if (ZSTD_isError(initVal)) {
1175a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 1, "Failed to initialize context\n");
1176a28cd43dSSascha Wildner COVER_best_destroy(&best);
1177a28cd43dSSascha Wildner POOL_free(pool);
1178a28cd43dSSascha Wildner return initVal;
1179a28cd43dSSascha Wildner }
1180a28cd43dSSascha Wildner }
1181a28cd43dSSascha Wildner if (!warned) {
1182a28cd43dSSascha Wildner COVER_warnOnSmallCorpus(dictBufferCapacity, ctx.suffixSize, displayLevel);
1183a28cd43dSSascha Wildner warned = 1;
1184a28cd43dSSascha Wildner }
1185a28cd43dSSascha Wildner /* Loop through k reusing the same context */
1186a28cd43dSSascha Wildner for (k = kMinK; k <= kMaxK; k += kStepSize) {
1187a28cd43dSSascha Wildner /* Prepare the arguments */
1188a28cd43dSSascha Wildner COVER_tryParameters_data_t *data = (COVER_tryParameters_data_t *)malloc(
1189a28cd43dSSascha Wildner sizeof(COVER_tryParameters_data_t));
1190a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 3, "k=%u\n", k);
1191a28cd43dSSascha Wildner if (!data) {
1192a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 1, "Failed to allocate parameters\n");
1193a28cd43dSSascha Wildner COVER_best_destroy(&best);
1194a28cd43dSSascha Wildner COVER_ctx_destroy(&ctx);
1195a28cd43dSSascha Wildner POOL_free(pool);
1196a28cd43dSSascha Wildner return ERROR(memory_allocation);
1197a28cd43dSSascha Wildner }
1198a28cd43dSSascha Wildner data->ctx = &ctx;
1199a28cd43dSSascha Wildner data->best = &best;
1200a28cd43dSSascha Wildner data->dictBufferCapacity = dictBufferCapacity;
1201a28cd43dSSascha Wildner data->parameters = *parameters;
1202a28cd43dSSascha Wildner data->parameters.k = k;
1203a28cd43dSSascha Wildner data->parameters.d = d;
1204a28cd43dSSascha Wildner data->parameters.splitPoint = splitPoint;
1205a28cd43dSSascha Wildner data->parameters.steps = kSteps;
1206a28cd43dSSascha Wildner data->parameters.shrinkDict = shrinkDict;
1207a28cd43dSSascha Wildner data->parameters.zParams.notificationLevel = g_displayLevel;
1208a28cd43dSSascha Wildner /* Check the parameters */
1209a28cd43dSSascha Wildner if (!COVER_checkParameters(data->parameters, dictBufferCapacity)) {
1210a28cd43dSSascha Wildner DISPLAYLEVEL(1, "Cover parameters incorrect\n");
1211a28cd43dSSascha Wildner free(data);
1212a28cd43dSSascha Wildner continue;
1213a28cd43dSSascha Wildner }
1214a28cd43dSSascha Wildner /* Call the function and pass ownership of data to it */
1215a28cd43dSSascha Wildner COVER_best_start(&best);
1216a28cd43dSSascha Wildner if (pool) {
1217a28cd43dSSascha Wildner POOL_add(pool, &COVER_tryParameters, data);
1218a28cd43dSSascha Wildner } else {
1219a28cd43dSSascha Wildner COVER_tryParameters(data);
1220a28cd43dSSascha Wildner }
1221a28cd43dSSascha Wildner /* Print status */
1222a28cd43dSSascha Wildner LOCALDISPLAYUPDATE(displayLevel, 2, "\r%u%% ",
1223a28cd43dSSascha Wildner (unsigned)((iteration * 100) / kIterations));
1224a28cd43dSSascha Wildner ++iteration;
1225a28cd43dSSascha Wildner }
1226a28cd43dSSascha Wildner COVER_best_wait(&best);
1227a28cd43dSSascha Wildner COVER_ctx_destroy(&ctx);
1228a28cd43dSSascha Wildner }
1229a28cd43dSSascha Wildner LOCALDISPLAYLEVEL(displayLevel, 2, "\r%79s\r", "");
1230a28cd43dSSascha Wildner /* Fill the output buffer and parameters with output of the best parameters */
1231a28cd43dSSascha Wildner {
1232a28cd43dSSascha Wildner const size_t dictSize = best.dictSize;
1233a28cd43dSSascha Wildner if (ZSTD_isError(best.compressedSize)) {
1234a28cd43dSSascha Wildner const size_t compressedSize = best.compressedSize;
1235a28cd43dSSascha Wildner COVER_best_destroy(&best);
1236a28cd43dSSascha Wildner POOL_free(pool);
1237a28cd43dSSascha Wildner return compressedSize;
1238a28cd43dSSascha Wildner }
1239a28cd43dSSascha Wildner *parameters = best.parameters;
1240a28cd43dSSascha Wildner memcpy(dictBuffer, best.dict, dictSize);
1241a28cd43dSSascha Wildner COVER_best_destroy(&best);
1242a28cd43dSSascha Wildner POOL_free(pool);
1243a28cd43dSSascha Wildner return dictSize;
1244a28cd43dSSascha Wildner }
1245a28cd43dSSascha Wildner }
1246