2017-08-18 23:52:05 +00:00
|
|
|
/*
|
2017-01-01 05:07:44 +00:00
|
|
|
* Copyright (c) 2016-present, Yann Collet, Facebook, Inc.
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
2017-08-18 23:52:05 +00:00
|
|
|
* This source code is licensed under both the BSD-style license (found in the
|
|
|
|
* LICENSE file in the root directory of this source tree) and the GPLv2 (found
|
|
|
|
* in the COPYING file in the root directory of this source tree).
|
2017-09-08 07:09:23 +00:00
|
|
|
* You may select, at your option, one of the above-listed licenses.
|
2017-01-01 05:07:44 +00:00
|
|
|
*/
|
|
|
|
|
2017-02-07 19:35:07 +00:00
|
|
|
/* *****************************************************************************
|
|
|
|
* Constructs a dictionary using a heuristic based on the following paper:
|
|
|
|
*
|
|
|
|
* Liao, Petri, Moffat, Wirth
|
|
|
|
* Effective Construction of Relative Lempel-Ziv Dictionaries
|
|
|
|
* Published in WWW 2016.
|
|
|
|
*
|
|
|
|
* Adapted from code originally written by @ot (Giuseppe Ottaviano).
|
|
|
|
******************************************************************************/
|
|
|
|
|
2017-01-01 05:07:44 +00:00
|
|
|
/*-*************************************
|
|
|
|
* Dependencies
|
|
|
|
***************************************/
|
|
|
|
#include <stdio.h> /* fprintf */
|
|
|
|
#include <stdlib.h> /* malloc, free, qsort */
|
|
|
|
#include <string.h> /* memset */
|
|
|
|
#include <time.h> /* clock */
|
|
|
|
|
2017-01-27 19:56:02 +00:00
|
|
|
#include "mem.h" /* read */
|
|
|
|
#include "pool.h"
|
|
|
|
#include "threading.h"
|
2017-01-01 05:07:44 +00:00
|
|
|
#include "zstd_internal.h" /* includes zstd.h */
|
|
|
|
#ifndef ZDICT_STATIC_LINKING_ONLY
|
|
|
|
#define ZDICT_STATIC_LINKING_ONLY
|
|
|
|
#endif
|
|
|
|
#include "zdict.h"
|
|
|
|
|
|
|
|
/*-*************************************
|
|
|
|
* Constants
|
|
|
|
***************************************/
|
2017-01-10 00:50:00 +00:00
|
|
|
#define COVER_MAX_SAMPLES_SIZE (sizeof(size_t) == 8 ? ((U32)-1) : ((U32)1 GB))
|
2018-06-29 19:33:34 +00:00
|
|
|
#define DEFAULT_SPLITPOINT 0.8
|
2017-01-01 05:07:44 +00:00
|
|
|
|
|
|
|
/*-*************************************
|
|
|
|
* Console display
|
|
|
|
***************************************/
|
|
|
|
static int g_displayLevel = 2;
|
|
|
|
#define DISPLAY(...) \
|
|
|
|
{ \
|
|
|
|
fprintf(stderr, __VA_ARGS__); \
|
|
|
|
fflush(stderr); \
|
|
|
|
}
|
|
|
|
#define LOCALDISPLAYLEVEL(displayLevel, l, ...) \
|
|
|
|
if (displayLevel >= l) { \
|
|
|
|
DISPLAY(__VA_ARGS__); \
|
|
|
|
} /* 0 : no display; 1: errors; 2: default; 3: details; 4: debug */
|
|
|
|
#define DISPLAYLEVEL(l, ...) LOCALDISPLAYLEVEL(g_displayLevel, l, __VA_ARGS__)
|
|
|
|
|
|
|
|
#define LOCALDISPLAYUPDATE(displayLevel, l, ...) \
|
|
|
|
if (displayLevel >= l) { \
|
|
|
|
if ((clock() - g_time > refreshRate) || (displayLevel >= 4)) { \
|
|
|
|
g_time = clock(); \
|
|
|
|
DISPLAY(__VA_ARGS__); \
|
|
|
|
} \
|
|
|
|
}
|
|
|
|
#define DISPLAYUPDATE(l, ...) LOCALDISPLAYUPDATE(g_displayLevel, l, __VA_ARGS__)
|
|
|
|
static const clock_t refreshRate = CLOCKS_PER_SEC * 15 / 100;
|
|
|
|
static clock_t g_time = 0;
|
|
|
|
|
|
|
|
/*-*************************************
|
|
|
|
* Hash table
|
|
|
|
***************************************
|
|
|
|
* A small specialized hash map for storing activeDmers.
|
|
|
|
* The map does not resize, so if it becomes full it will loop forever.
|
|
|
|
* Thus, the map must be large enough to store every value.
|
|
|
|
* The map implements linear probing and keeps its load less than 0.5.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#define MAP_EMPTY_VALUE ((U32)-1)
|
|
|
|
typedef struct COVER_map_pair_t_s {
|
|
|
|
U32 key;
|
|
|
|
U32 value;
|
|
|
|
} COVER_map_pair_t;
|
|
|
|
|
|
|
|
typedef struct COVER_map_s {
|
|
|
|
COVER_map_pair_t *data;
|
|
|
|
U32 sizeLog;
|
|
|
|
U32 size;
|
|
|
|
U32 sizeMask;
|
|
|
|
} COVER_map_t;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Clear the map.
|
|
|
|
*/
|
|
|
|
static void COVER_map_clear(COVER_map_t *map) {
|
|
|
|
memset(map->data, MAP_EMPTY_VALUE, map->size * sizeof(COVER_map_pair_t));
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Initializes a map of the given size.
|
|
|
|
* Returns 1 on success and 0 on failure.
|
|
|
|
* The map must be destroyed with COVER_map_destroy().
|
|
|
|
* The map is only guaranteed to be large enough to hold size elements.
|
|
|
|
*/
|
|
|
|
static int COVER_map_init(COVER_map_t *map, U32 size) {
|
|
|
|
map->sizeLog = ZSTD_highbit32(size) + 2;
|
|
|
|
map->size = (U32)1 << map->sizeLog;
|
|
|
|
map->sizeMask = map->size - 1;
|
|
|
|
map->data = (COVER_map_pair_t *)malloc(map->size * sizeof(COVER_map_pair_t));
|
|
|
|
if (!map->data) {
|
|
|
|
map->sizeLog = 0;
|
|
|
|
map->size = 0;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
COVER_map_clear(map);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Internal hash function
|
|
|
|
*/
|
|
|
|
static const U32 prime4bytes = 2654435761U;
|
|
|
|
static U32 COVER_map_hash(COVER_map_t *map, U32 key) {
|
|
|
|
return (key * prime4bytes) >> (32 - map->sizeLog);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Helper function that returns the index that a key should be placed into.
|
|
|
|
*/
|
|
|
|
static U32 COVER_map_index(COVER_map_t *map, U32 key) {
|
|
|
|
const U32 hash = COVER_map_hash(map, key);
|
|
|
|
U32 i;
|
|
|
|
for (i = hash;; i = (i + 1) & map->sizeMask) {
|
|
|
|
COVER_map_pair_t *pos = &map->data[i];
|
|
|
|
if (pos->value == MAP_EMPTY_VALUE) {
|
|
|
|
return i;
|
|
|
|
}
|
|
|
|
if (pos->key == key) {
|
|
|
|
return i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Returns the pointer to the value for key.
|
|
|
|
* If key is not in the map, it is inserted and the value is set to 0.
|
|
|
|
* The map must not be full.
|
|
|
|
*/
|
|
|
|
static U32 *COVER_map_at(COVER_map_t *map, U32 key) {
|
|
|
|
COVER_map_pair_t *pos = &map->data[COVER_map_index(map, key)];
|
|
|
|
if (pos->value == MAP_EMPTY_VALUE) {
|
|
|
|
pos->key = key;
|
|
|
|
pos->value = 0;
|
|
|
|
}
|
|
|
|
return &pos->value;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Deletes key from the map if present.
|
|
|
|
*/
|
|
|
|
static void COVER_map_remove(COVER_map_t *map, U32 key) {
|
|
|
|
U32 i = COVER_map_index(map, key);
|
|
|
|
COVER_map_pair_t *del = &map->data[i];
|
|
|
|
U32 shift = 1;
|
|
|
|
if (del->value == MAP_EMPTY_VALUE) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
for (i = (i + 1) & map->sizeMask;; i = (i + 1) & map->sizeMask) {
|
|
|
|
COVER_map_pair_t *const pos = &map->data[i];
|
|
|
|
/* If the position is empty we are done */
|
|
|
|
if (pos->value == MAP_EMPTY_VALUE) {
|
|
|
|
del->value = MAP_EMPTY_VALUE;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
/* If pos can be moved to del do so */
|
|
|
|
if (((i - COVER_map_hash(map, pos->key)) & map->sizeMask) >= shift) {
|
|
|
|
del->key = pos->key;
|
|
|
|
del->value = pos->value;
|
|
|
|
del = pos;
|
|
|
|
shift = 1;
|
|
|
|
} else {
|
|
|
|
++shift;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Destroyes a map that is inited with COVER_map_init().
|
|
|
|
*/
|
|
|
|
static void COVER_map_destroy(COVER_map_t *map) {
|
|
|
|
if (map->data) {
|
|
|
|
free(map->data);
|
|
|
|
}
|
|
|
|
map->data = NULL;
|
|
|
|
map->size = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*-*************************************
|
|
|
|
* Context
|
|
|
|
***************************************/
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
const BYTE *samples;
|
|
|
|
size_t *offsets;
|
|
|
|
const size_t *samplesSizes;
|
|
|
|
size_t nbSamples;
|
2018-06-29 19:33:34 +00:00
|
|
|
size_t nbTrainSamples;
|
|
|
|
size_t nbTestSamples;
|
2017-01-01 05:07:44 +00:00
|
|
|
U32 *suffix;
|
|
|
|
size_t suffixSize;
|
|
|
|
U32 *freqs;
|
|
|
|
U32 *dmerAt;
|
|
|
|
unsigned d;
|
|
|
|
} COVER_ctx_t;
|
|
|
|
|
|
|
|
/* We need a global context for qsort... */
|
|
|
|
static COVER_ctx_t *g_ctx = NULL;
|
|
|
|
|
|
|
|
/*-*************************************
|
|
|
|
* Helper functions
|
|
|
|
***************************************/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Returns the sum of the sample sizes.
|
|
|
|
*/
|
2018-06-29 19:33:34 +00:00
|
|
|
static size_t COVER_sum(const size_t *samplesSizes, unsigned firstSample, unsigned lastSample) {
|
2017-01-01 05:07:44 +00:00
|
|
|
size_t sum = 0;
|
2018-07-04 00:53:27 +00:00
|
|
|
unsigned i;
|
2018-06-29 19:33:34 +00:00
|
|
|
for (i = firstSample; i < lastSample; ++i) {
|
2017-01-01 05:07:44 +00:00
|
|
|
sum += samplesSizes[i];
|
|
|
|
}
|
|
|
|
return sum;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Returns -1 if the dmer at lp is less than the dmer at rp.
|
|
|
|
* Return 0 if the dmers at lp and rp are equal.
|
|
|
|
* Returns 1 if the dmer at lp is greater than the dmer at rp.
|
|
|
|
*/
|
|
|
|
static int COVER_cmp(COVER_ctx_t *ctx, const void *lp, const void *rp) {
|
2017-05-01 17:25:49 +00:00
|
|
|
U32 const lhs = *(U32 const *)lp;
|
|
|
|
U32 const rhs = *(U32 const *)rp;
|
2017-01-01 05:07:44 +00:00
|
|
|
return memcmp(ctx->samples + lhs, ctx->samples + rhs, ctx->d);
|
|
|
|
}
|
2017-05-01 17:25:49 +00:00
|
|
|
/**
|
|
|
|
* Faster version for d <= 8.
|
|
|
|
*/
|
|
|
|
static int COVER_cmp8(COVER_ctx_t *ctx, const void *lp, const void *rp) {
|
|
|
|
U64 const mask = (ctx->d == 8) ? (U64)-1 : (((U64)1 << (8 * ctx->d)) - 1);
|
|
|
|
U64 const lhs = MEM_readLE64(ctx->samples + *(U32 const *)lp) & mask;
|
|
|
|
U64 const rhs = MEM_readLE64(ctx->samples + *(U32 const *)rp) & mask;
|
|
|
|
if (lhs < rhs) {
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
return (lhs > rhs);
|
|
|
|
}
|
2017-01-01 05:07:44 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Same as COVER_cmp() except ties are broken by pointer value
|
|
|
|
* NOTE: g_ctx must be set to call this function. A global is required because
|
|
|
|
* qsort doesn't take an opaque pointer.
|
|
|
|
*/
|
|
|
|
static int COVER_strict_cmp(const void *lp, const void *rp) {
|
|
|
|
int result = COVER_cmp(g_ctx, lp, rp);
|
|
|
|
if (result == 0) {
|
|
|
|
result = lp < rp ? -1 : 1;
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
2017-05-01 17:25:49 +00:00
|
|
|
/**
|
|
|
|
* Faster version for d <= 8.
|
|
|
|
*/
|
|
|
|
static int COVER_strict_cmp8(const void *lp, const void *rp) {
|
|
|
|
int result = COVER_cmp8(g_ctx, lp, rp);
|
|
|
|
if (result == 0) {
|
|
|
|
result = lp < rp ? -1 : 1;
|
|
|
|
}
|
|
|
|
return result;
|
|
|
|
}
|
2017-01-01 05:07:44 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Returns the first pointer in [first, last) whose element does not compare
|
|
|
|
* less than value. If no such element exists it returns last.
|
|
|
|
*/
|
|
|
|
static const size_t *COVER_lower_bound(const size_t *first, const size_t *last,
|
|
|
|
size_t value) {
|
|
|
|
size_t count = last - first;
|
|
|
|
while (count != 0) {
|
|
|
|
size_t step = count / 2;
|
|
|
|
const size_t *ptr = first;
|
|
|
|
ptr += step;
|
|
|
|
if (*ptr < value) {
|
|
|
|
first = ++ptr;
|
|
|
|
count -= step + 1;
|
|
|
|
} else {
|
|
|
|
count = step;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return first;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Generic groupBy function.
|
|
|
|
* Groups an array sorted by cmp into groups with equivalent values.
|
|
|
|
* Calls grp for each group.
|
|
|
|
*/
|
|
|
|
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 *)) {
|
|
|
|
const BYTE *ptr = (const BYTE *)data;
|
|
|
|
size_t num = 0;
|
|
|
|
while (num < count) {
|
|
|
|
const BYTE *grpEnd = ptr + size;
|
|
|
|
++num;
|
|
|
|
while (num < count && cmp(ctx, ptr, grpEnd) == 0) {
|
|
|
|
grpEnd += size;
|
|
|
|
++num;
|
|
|
|
}
|
|
|
|
grp(ctx, ptr, grpEnd);
|
|
|
|
ptr = grpEnd;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/*-*************************************
|
|
|
|
* Cover functions
|
|
|
|
***************************************/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Called on each group of positions with the same dmer.
|
|
|
|
* Counts the frequency of each dmer and saves it in the suffix array.
|
|
|
|
* Fills `ctx->dmerAt`.
|
|
|
|
*/
|
|
|
|
static void COVER_group(COVER_ctx_t *ctx, const void *group,
|
|
|
|
const void *groupEnd) {
|
|
|
|
/* The group consists of all the positions with the same first d bytes. */
|
|
|
|
const U32 *grpPtr = (const U32 *)group;
|
|
|
|
const U32 *grpEnd = (const U32 *)groupEnd;
|
|
|
|
/* The dmerId is how we will reference this dmer.
|
|
|
|
* This allows us to map the whole dmer space to a much smaller space, the
|
|
|
|
* size of the suffix array.
|
|
|
|
*/
|
|
|
|
const U32 dmerId = (U32)(grpPtr - ctx->suffix);
|
|
|
|
/* Count the number of samples this dmer shows up in */
|
|
|
|
U32 freq = 0;
|
|
|
|
/* Details */
|
|
|
|
const size_t *curOffsetPtr = ctx->offsets;
|
|
|
|
const size_t *offsetsEnd = ctx->offsets + ctx->nbSamples;
|
|
|
|
/* Once *grpPtr >= curSampleEnd this occurrence of the dmer is in a
|
|
|
|
* different sample than the last.
|
|
|
|
*/
|
|
|
|
size_t curSampleEnd = ctx->offsets[0];
|
|
|
|
for (; grpPtr != grpEnd; ++grpPtr) {
|
|
|
|
/* Save the dmerId for this position so we can get back to it. */
|
|
|
|
ctx->dmerAt[*grpPtr] = dmerId;
|
|
|
|
/* Dictionaries only help for the first reference to the dmer.
|
|
|
|
* After that zstd can reference the match from the previous reference.
|
|
|
|
* So only count each dmer once for each sample it is in.
|
|
|
|
*/
|
|
|
|
if (*grpPtr < curSampleEnd) {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
freq += 1;
|
|
|
|
/* Binary search to find the end of the sample *grpPtr is in.
|
|
|
|
* In the common case that grpPtr + 1 == grpEnd we can skip the binary
|
|
|
|
* search because the loop is over.
|
|
|
|
*/
|
|
|
|
if (grpPtr + 1 != grpEnd) {
|
|
|
|
const size_t *sampleEndPtr =
|
|
|
|
COVER_lower_bound(curOffsetPtr, offsetsEnd, *grpPtr);
|
|
|
|
curSampleEnd = *sampleEndPtr;
|
|
|
|
curOffsetPtr = sampleEndPtr + 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
/* At this point we are never going to look at this segment of the suffix
|
|
|
|
* array again. We take advantage of this fact to save memory.
|
|
|
|
* We store the frequency of the dmer in the first position of the group,
|
|
|
|
* which is dmerId.
|
|
|
|
*/
|
|
|
|
ctx->suffix[dmerId] = freq;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* A segment is a range in the source as well as the score of the segment.
|
|
|
|
*/
|
|
|
|
typedef struct {
|
|
|
|
U32 begin;
|
|
|
|
U32 end;
|
2017-08-21 20:30:07 +00:00
|
|
|
U32 score;
|
2017-01-01 05:07:44 +00:00
|
|
|
} COVER_segment_t;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Selects the best segment in an epoch.
|
|
|
|
* Segments of are scored according to the function:
|
|
|
|
*
|
|
|
|
* Let F(d) be the frequency of dmer d.
|
2017-01-02 20:40:43 +00:00
|
|
|
* Let S_i be the dmer at position i of segment S which has length k.
|
2017-01-01 05:07:44 +00:00
|
|
|
*
|
2017-01-02 20:40:43 +00:00
|
|
|
* Score(S) = F(S_1) + F(S_2) + ... + F(S_{k-d+1})
|
2017-01-01 05:07:44 +00:00
|
|
|
*
|
2017-01-02 20:40:43 +00:00
|
|
|
* Once the dmer d is in the dictionay we set F(d) = 0.
|
2017-01-01 05:07:44 +00:00
|
|
|
*/
|
|
|
|
static COVER_segment_t COVER_selectSegment(const COVER_ctx_t *ctx, U32 *freqs,
|
|
|
|
COVER_map_t *activeDmers, U32 begin,
|
2017-06-27 04:07:14 +00:00
|
|
|
U32 end,
|
|
|
|
ZDICT_cover_params_t parameters) {
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Constants */
|
|
|
|
const U32 k = parameters.k;
|
|
|
|
const U32 d = parameters.d;
|
|
|
|
const U32 dmersInK = k - d + 1;
|
|
|
|
/* Try each segment (activeSegment) and save the best (bestSegment) */
|
|
|
|
COVER_segment_t bestSegment = {0, 0, 0};
|
|
|
|
COVER_segment_t activeSegment;
|
|
|
|
/* Reset the activeDmers in the segment */
|
|
|
|
COVER_map_clear(activeDmers);
|
|
|
|
/* The activeSegment starts at the beginning of the epoch. */
|
|
|
|
activeSegment.begin = begin;
|
|
|
|
activeSegment.end = begin;
|
|
|
|
activeSegment.score = 0;
|
|
|
|
/* Slide the activeSegment through the whole epoch.
|
|
|
|
* Save the best segment in bestSegment.
|
|
|
|
*/
|
|
|
|
while (activeSegment.end < end) {
|
|
|
|
/* The dmerId for the dmer at the next position */
|
|
|
|
U32 newDmer = ctx->dmerAt[activeSegment.end];
|
|
|
|
/* The entry in activeDmers for this dmerId */
|
|
|
|
U32 *newDmerOcc = COVER_map_at(activeDmers, newDmer);
|
|
|
|
/* If the dmer isn't already present in the segment add its score. */
|
|
|
|
if (*newDmerOcc == 0) {
|
|
|
|
/* The paper suggest using the L-0.5 norm, but experiments show that it
|
|
|
|
* doesn't help.
|
|
|
|
*/
|
|
|
|
activeSegment.score += freqs[newDmer];
|
|
|
|
}
|
|
|
|
/* Add the dmer to the segment */
|
|
|
|
activeSegment.end += 1;
|
|
|
|
*newDmerOcc += 1;
|
|
|
|
|
|
|
|
/* If the window is now too large, drop the first position */
|
|
|
|
if (activeSegment.end - activeSegment.begin == dmersInK + 1) {
|
|
|
|
U32 delDmer = ctx->dmerAt[activeSegment.begin];
|
|
|
|
U32 *delDmerOcc = COVER_map_at(activeDmers, delDmer);
|
|
|
|
activeSegment.begin += 1;
|
|
|
|
*delDmerOcc -= 1;
|
|
|
|
/* If this is the last occurence of the dmer, subtract its score */
|
|
|
|
if (*delDmerOcc == 0) {
|
|
|
|
COVER_map_remove(activeDmers, delDmer);
|
|
|
|
activeSegment.score -= freqs[delDmer];
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
}
|
2017-01-01 05:07:44 +00:00
|
|
|
|
2017-01-02 20:40:43 +00:00
|
|
|
/* If this segment is the best so far save it */
|
|
|
|
if (activeSegment.score > bestSegment.score) {
|
|
|
|
bestSegment = activeSegment;
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
}
|
|
|
|
{
|
|
|
|
/* Trim off the zero frequency head and tail from the segment. */
|
|
|
|
U32 newBegin = bestSegment.end;
|
|
|
|
U32 newEnd = bestSegment.begin;
|
|
|
|
U32 pos;
|
|
|
|
for (pos = bestSegment.begin; pos != bestSegment.end; ++pos) {
|
|
|
|
U32 freq = freqs[ctx->dmerAt[pos]];
|
|
|
|
if (freq != 0) {
|
|
|
|
newBegin = MIN(newBegin, pos);
|
|
|
|
newEnd = pos + 1;
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
bestSegment.begin = newBegin;
|
|
|
|
bestSegment.end = newEnd;
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
{
|
|
|
|
/* Zero out the frequency of each dmer covered by the chosen segment. */
|
2017-01-02 20:40:43 +00:00
|
|
|
U32 pos;
|
|
|
|
for (pos = bestSegment.begin; pos != bestSegment.end; ++pos) {
|
2017-01-01 05:07:44 +00:00
|
|
|
freqs[ctx->dmerAt[pos]] = 0;
|
|
|
|
}
|
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
return bestSegment;
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Check the validity of the parameters.
|
2017-01-02 20:40:43 +00:00
|
|
|
* Returns non-zero if the parameters are valid and 0 otherwise.
|
2017-01-01 05:07:44 +00:00
|
|
|
*/
|
2017-08-21 18:12:11 +00:00
|
|
|
static int COVER_checkParameters(ZDICT_cover_params_t parameters,
|
|
|
|
size_t maxDictSize) {
|
2017-01-02 20:40:43 +00:00
|
|
|
/* k and d are required parameters */
|
|
|
|
if (parameters.d == 0 || parameters.k == 0) {
|
2017-01-01 05:07:44 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2017-08-21 18:12:11 +00:00
|
|
|
/* k <= maxDictSize */
|
|
|
|
if (parameters.k > maxDictSize) {
|
|
|
|
return 0;
|
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
/* d <= k */
|
|
|
|
if (parameters.d > parameters.k) {
|
2017-01-01 05:07:44 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2018-06-29 19:33:34 +00:00
|
|
|
/* 0 < splitPoint < 1 */
|
|
|
|
if (parameters.splitPoint <= 0 || parameters.splitPoint > 1){
|
|
|
|
return 0;
|
|
|
|
}
|
2017-01-01 05:07:44 +00:00
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Clean up a context initialized with `COVER_ctx_init()`.
|
|
|
|
*/
|
|
|
|
static void COVER_ctx_destroy(COVER_ctx_t *ctx) {
|
|
|
|
if (!ctx) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (ctx->suffix) {
|
|
|
|
free(ctx->suffix);
|
|
|
|
ctx->suffix = NULL;
|
|
|
|
}
|
|
|
|
if (ctx->freqs) {
|
|
|
|
free(ctx->freqs);
|
|
|
|
ctx->freqs = NULL;
|
|
|
|
}
|
|
|
|
if (ctx->dmerAt) {
|
|
|
|
free(ctx->dmerAt);
|
|
|
|
ctx->dmerAt = NULL;
|
|
|
|
}
|
|
|
|
if (ctx->offsets) {
|
|
|
|
free(ctx->offsets);
|
|
|
|
ctx->offsets = NULL;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Prepare a context for dictionary building.
|
|
|
|
* The context is only dependent on the parameter `d` and can used multiple
|
|
|
|
* times.
|
|
|
|
* Returns 1 on success or zero on error.
|
|
|
|
* The context must be destroyed with `COVER_ctx_destroy()`.
|
|
|
|
*/
|
|
|
|
static int COVER_ctx_init(COVER_ctx_t *ctx, const void *samplesBuffer,
|
|
|
|
const size_t *samplesSizes, unsigned nbSamples,
|
2018-06-29 19:33:34 +00:00
|
|
|
unsigned d, double splitPoint) {
|
2017-01-01 05:07:44 +00:00
|
|
|
const BYTE *const samples = (const BYTE *)samplesBuffer;
|
2018-07-04 00:53:27 +00:00
|
|
|
const unsigned kFirst = 0;
|
|
|
|
const size_t totalSamplesSize = COVER_sum(samplesSizes, kFirst, nbSamples);
|
2018-06-29 22:46:56 +00:00
|
|
|
/* Split samples into testing and training sets */
|
2018-07-05 17:38:45 +00:00
|
|
|
const unsigned nbTrainSamples = splitPoint < 1.0 ? (unsigned)((double)nbSamples * splitPoint) : nbSamples;
|
|
|
|
const unsigned nbTestSamples = splitPoint < 1.0 ? nbSamples - nbTrainSamples : nbSamples;
|
|
|
|
const size_t trainingSamplesSize = splitPoint < 1.0 ? COVER_sum(samplesSizes, kFirst, nbTrainSamples) : totalSamplesSize;
|
|
|
|
const size_t testSamplesSize = splitPoint < 1.0 ? COVER_sum(samplesSizes, nbTrainSamples, nbSamples) : totalSamplesSize;
|
2017-01-01 05:07:44 +00:00
|
|
|
/* Checks */
|
2017-05-01 17:25:49 +00:00
|
|
|
if (totalSamplesSize < MAX(d, sizeof(U64)) ||
|
2017-01-10 00:50:00 +00:00
|
|
|
totalSamplesSize >= (size_t)COVER_MAX_SAMPLES_SIZE) {
|
2018-01-11 17:42:38 +00:00
|
|
|
DISPLAYLEVEL(1, "Total samples size is too large (%u MB), maximum size is %u MB\n",
|
|
|
|
(U32)(totalSamplesSize>>20), (COVER_MAX_SAMPLES_SIZE >> 20));
|
2017-01-01 05:07:44 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2018-07-03 19:07:06 +00:00
|
|
|
/* Check if there are at least 5 training samples */
|
|
|
|
if (nbTrainSamples < 5) {
|
2018-06-29 19:33:34 +00:00
|
|
|
DISPLAYLEVEL(1, "Total number of training samples is %u and is invalid.", nbTrainSamples);
|
|
|
|
return 0;
|
|
|
|
}
|
2018-07-05 17:38:45 +00:00
|
|
|
/* Check if there's testing sample */
|
|
|
|
if (nbTestSamples < 1) {
|
2018-06-29 19:33:34 +00:00
|
|
|
DISPLAYLEVEL(1, "Total number of testing samples is %u and is invalid.", nbTestSamples);
|
2018-06-30 00:54:41 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2018-07-05 17:38:45 +00:00
|
|
|
/* Check if nbTrainSamples plus nbTestSamples add up to nbSamples when splitPoint is less than 1*/
|
|
|
|
if (nbTrainSamples + nbTestSamples != nbSamples && splitPoint < 1.0) {
|
2018-06-30 00:54:41 +00:00
|
|
|
DISPLAYLEVEL(1, "nbTrainSamples plus nbTestSamples don't add up to nbSamples");
|
2018-06-29 19:33:34 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2017-01-01 05:07:44 +00:00
|
|
|
/* Zero the context */
|
|
|
|
memset(ctx, 0, sizeof(*ctx));
|
2018-06-29 19:33:34 +00:00
|
|
|
DISPLAYLEVEL(2, "Training on %u samples of total size %u\n", nbTrainSamples,
|
|
|
|
(U32)trainingSamplesSize);
|
|
|
|
DISPLAYLEVEL(2, "Testing on %u samples of total size %u\n", nbTestSamples,
|
|
|
|
(U32)testSamplesSize);
|
2017-01-01 05:07:44 +00:00
|
|
|
ctx->samples = samples;
|
|
|
|
ctx->samplesSizes = samplesSizes;
|
|
|
|
ctx->nbSamples = nbSamples;
|
2018-06-29 19:33:34 +00:00
|
|
|
ctx->nbTrainSamples = nbTrainSamples;
|
|
|
|
ctx->nbTestSamples = nbTestSamples;
|
2017-01-01 05:07:44 +00:00
|
|
|
/* Partial suffix array */
|
2018-06-29 19:33:34 +00:00
|
|
|
ctx->suffixSize = trainingSamplesSize - MAX(d, sizeof(U64)) + 1;
|
2017-01-01 05:07:44 +00:00
|
|
|
ctx->suffix = (U32 *)malloc(ctx->suffixSize * sizeof(U32));
|
|
|
|
/* Maps index to the dmerID */
|
|
|
|
ctx->dmerAt = (U32 *)malloc(ctx->suffixSize * sizeof(U32));
|
|
|
|
/* The offsets of each file */
|
|
|
|
ctx->offsets = (size_t *)malloc((nbSamples + 1) * sizeof(size_t));
|
|
|
|
if (!ctx->suffix || !ctx->dmerAt || !ctx->offsets) {
|
2017-01-10 00:50:00 +00:00
|
|
|
DISPLAYLEVEL(1, "Failed to allocate scratch buffers\n");
|
2017-01-01 05:07:44 +00:00
|
|
|
COVER_ctx_destroy(ctx);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
ctx->freqs = NULL;
|
|
|
|
ctx->d = d;
|
|
|
|
|
2018-06-29 19:33:34 +00:00
|
|
|
/* Fill offsets from the samplesSizes */
|
2017-01-01 05:07:44 +00:00
|
|
|
{
|
|
|
|
U32 i;
|
|
|
|
ctx->offsets[0] = 0;
|
|
|
|
for (i = 1; i <= nbSamples; ++i) {
|
|
|
|
ctx->offsets[i] = ctx->offsets[i - 1] + samplesSizes[i - 1];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
DISPLAYLEVEL(2, "Constructing partial suffix array\n");
|
|
|
|
{
|
|
|
|
/* suffix is a partial suffix array.
|
|
|
|
* It only sorts suffixes by their first parameters.d bytes.
|
|
|
|
* The sort is stable, so each dmer group is sorted by position in input.
|
|
|
|
*/
|
|
|
|
U32 i;
|
|
|
|
for (i = 0; i < ctx->suffixSize; ++i) {
|
|
|
|
ctx->suffix[i] = i;
|
|
|
|
}
|
2018-04-05 05:17:17 +00:00
|
|
|
/* qsort doesn't take an opaque pointer, so pass as a global.
|
|
|
|
* On OpenBSD qsort() is not guaranteed to be stable, their mergesort() is.
|
|
|
|
*/
|
2017-01-01 05:07:44 +00:00
|
|
|
g_ctx = ctx;
|
2018-04-05 05:17:17 +00:00
|
|
|
#if defined(__OpenBSD__)
|
|
|
|
mergesort(ctx->suffix, ctx->suffixSize, sizeof(U32),
|
|
|
|
(ctx->d <= 8 ? &COVER_strict_cmp8 : &COVER_strict_cmp));
|
|
|
|
#else
|
2017-05-01 17:25:49 +00:00
|
|
|
qsort(ctx->suffix, ctx->suffixSize, sizeof(U32),
|
|
|
|
(ctx->d <= 8 ? &COVER_strict_cmp8 : &COVER_strict_cmp));
|
2018-04-05 05:17:17 +00:00
|
|
|
#endif
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
DISPLAYLEVEL(2, "Computing frequencies\n");
|
|
|
|
/* For each dmer group (group of positions with the same first d bytes):
|
|
|
|
* 1. For each position we set dmerAt[position] = dmerID. The dmerID is
|
|
|
|
* (groupBeginPtr - suffix). This allows us to go from position to
|
|
|
|
* dmerID so we can look up values in freq.
|
|
|
|
* 2. We calculate how many samples the dmer occurs in and save it in
|
|
|
|
* freqs[dmerId].
|
|
|
|
*/
|
2017-05-01 17:25:49 +00:00
|
|
|
COVER_groupBy(ctx->suffix, ctx->suffixSize, sizeof(U32), ctx,
|
|
|
|
(ctx->d <= 8 ? &COVER_cmp8 : &COVER_cmp), &COVER_group);
|
2017-01-01 05:07:44 +00:00
|
|
|
ctx->freqs = ctx->suffix;
|
|
|
|
ctx->suffix = NULL;
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Given the prepared context build the dictionary.
|
|
|
|
*/
|
|
|
|
static size_t COVER_buildDictionary(const COVER_ctx_t *ctx, U32 *freqs,
|
|
|
|
COVER_map_t *activeDmers, void *dictBuffer,
|
|
|
|
size_t dictBufferCapacity,
|
2017-06-27 04:07:14 +00:00
|
|
|
ZDICT_cover_params_t parameters) {
|
2017-01-01 05:07:44 +00:00
|
|
|
BYTE *const dict = (BYTE *)dictBuffer;
|
|
|
|
size_t tail = dictBufferCapacity;
|
|
|
|
/* Divide the data up into epochs of equal size.
|
|
|
|
* We will select at least one segment from each epoch.
|
|
|
|
*/
|
[cover] Small compression ratio improvement
The cover algorithm selects one segment per epoch, and it selects the epoch
size such that `epochs * segmentSize ~= dictSize`. Selecting less epochs
gives the algorithm more candidates to choose from for each segment it
selects, and then it will loop back to the first epoch when it hits the
last one.
The trade off is that now it takes longer to select each segment, since it
has to look at more data before making a choice.
I benchmarked on the following data sets using this command:
```sh
$ZSTD -T0 -3 --train-cover=d=8,steps=256 $DIR -r -o dict && $ZSTD -3 -D dict -rc $DIR | wc -c
```
| Data set | k (approx) | Before | After | % difference |
|--------------|------------|----------|----------|--------------|
| GitHub | ~1000 | 738138 | 746610 | +1.14% |
| hg-changelog | ~90 | 4295156 | 4285336 | -0.23% |
| hg-commands | ~500 | 1095580 | 1079814 | -1.44% |
| hg-manifest | ~400 | 16559892 | 16504346 | -0.34% |
There is some noise in the measurements, since small changes to `k` can
have large differences, which is why I'm using `steps=256`, to try to
minimize the noise. However, the GitHub data set still has some noise.
If I run the GitHub data set on my Mac, which presumably lists directory
entries in a different order, so the dictionary builder sees the files in
a different order, or I use `steps=1024` I see these results.
| Run | Before | After | % difference |
|------------|--------|--------|--------------|
| steps=1024 | 738138 | 734470 | -0.50% |
| MacBook | 738451 | 737132 | -0.18% |
Question: Should we expose this as a parameter? I don't think it is
necessary. Someone might want to turn it up to exchange a much longer
dictionary building time in exchange for a slightly better dictionary.
I tested `2`, `4`, and `16`, and `4` got most of the benefit of `16`
with a faster running time.
2018-05-18 22:25:10 +00:00
|
|
|
const U32 epochs = MAX(1, (U32)(dictBufferCapacity / parameters.k / 4));
|
2017-01-01 05:07:44 +00:00
|
|
|
const U32 epochSize = (U32)(ctx->suffixSize / epochs);
|
|
|
|
size_t epoch;
|
|
|
|
DISPLAYLEVEL(2, "Breaking content into %u epochs of size %u\n", epochs,
|
|
|
|
epochSize);
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Loop through the epochs until there are no more segments or the dictionary
|
|
|
|
* is full.
|
|
|
|
*/
|
2017-01-01 05:07:44 +00:00
|
|
|
for (epoch = 0; tail > 0; epoch = (epoch + 1) % epochs) {
|
|
|
|
const U32 epochBegin = (U32)(epoch * epochSize);
|
|
|
|
const U32 epochEnd = epochBegin + epochSize;
|
|
|
|
size_t segmentSize;
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Select a segment */
|
2017-01-01 05:07:44 +00:00
|
|
|
COVER_segment_t segment = COVER_selectSegment(
|
|
|
|
ctx, freqs, activeDmers, epochBegin, epochEnd, parameters);
|
2017-08-21 20:30:07 +00:00
|
|
|
/* If the segment covers no dmers, then we are out of content */
|
|
|
|
if (segment.score == 0) {
|
|
|
|
break;
|
|
|
|
}
|
2017-08-21 20:10:03 +00:00
|
|
|
/* Trim the segment if necessary and if it is too small then we are done */
|
2017-01-01 05:07:44 +00:00
|
|
|
segmentSize = MIN(segment.end - segment.begin + parameters.d - 1, tail);
|
2017-08-21 20:10:03 +00:00
|
|
|
if (segmentSize < parameters.d) {
|
2017-01-01 05:07:44 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
/* We fill the dictionary from the back to allow the best segments to be
|
|
|
|
* referenced with the smallest offsets.
|
|
|
|
*/
|
|
|
|
tail -= segmentSize;
|
|
|
|
memcpy(dict + tail, ctx->samples + segment.begin, segmentSize);
|
|
|
|
DISPLAYUPDATE(
|
|
|
|
2, "\r%u%% ",
|
|
|
|
(U32)(((dictBufferCapacity - tail) * 100) / dictBufferCapacity));
|
|
|
|
}
|
|
|
|
DISPLAYLEVEL(2, "\r%79s\r", "");
|
|
|
|
return tail;
|
|
|
|
}
|
|
|
|
|
2017-06-27 04:07:14 +00:00
|
|
|
ZDICTLIB_API size_t ZDICT_trainFromBuffer_cover(
|
2018-01-11 17:42:38 +00:00
|
|
|
void *dictBuffer, size_t dictBufferCapacity,
|
|
|
|
const void *samplesBuffer, const size_t *samplesSizes, unsigned nbSamples,
|
|
|
|
ZDICT_cover_params_t parameters)
|
|
|
|
{
|
|
|
|
BYTE* const dict = (BYTE*)dictBuffer;
|
2017-01-01 05:07:44 +00:00
|
|
|
COVER_ctx_t ctx;
|
|
|
|
COVER_map_t activeDmers;
|
2018-06-29 19:33:34 +00:00
|
|
|
parameters.splitPoint = 1.0;
|
2018-01-11 17:42:38 +00:00
|
|
|
/* Initialize global data */
|
|
|
|
g_displayLevel = parameters.zParams.notificationLevel;
|
2017-01-01 05:07:44 +00:00
|
|
|
/* Checks */
|
2017-08-21 18:12:11 +00:00
|
|
|
if (!COVER_checkParameters(parameters, dictBufferCapacity)) {
|
2017-01-01 05:07:44 +00:00
|
|
|
DISPLAYLEVEL(1, "Cover parameters incorrect\n");
|
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
|
|
|
if (nbSamples == 0) {
|
|
|
|
DISPLAYLEVEL(1, "Cover must have at least one input file\n");
|
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
|
|
|
if (dictBufferCapacity < ZDICT_DICTSIZE_MIN) {
|
2017-01-02 20:40:43 +00:00
|
|
|
DISPLAYLEVEL(1, "dictBufferCapacity must be at least %u\n",
|
|
|
|
ZDICT_DICTSIZE_MIN);
|
2017-01-01 05:07:44 +00:00
|
|
|
return ERROR(dstSize_tooSmall);
|
|
|
|
}
|
|
|
|
/* Initialize context and activeDmers */
|
|
|
|
if (!COVER_ctx_init(&ctx, samplesBuffer, samplesSizes, nbSamples,
|
2018-06-29 19:47:03 +00:00
|
|
|
parameters.d, parameters.splitPoint)) {
|
2017-01-01 05:07:44 +00:00
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
if (!COVER_map_init(&activeDmers, parameters.k - parameters.d + 1)) {
|
2017-01-01 05:07:44 +00:00
|
|
|
DISPLAYLEVEL(1, "Failed to allocate dmer map: out of memory\n");
|
|
|
|
COVER_ctx_destroy(&ctx);
|
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
|
|
|
|
|
|
|
DISPLAYLEVEL(2, "Building dictionary\n");
|
|
|
|
{
|
|
|
|
const size_t tail =
|
|
|
|
COVER_buildDictionary(&ctx, ctx.freqs, &activeDmers, dictBuffer,
|
|
|
|
dictBufferCapacity, parameters);
|
2017-01-02 20:40:43 +00:00
|
|
|
const size_t dictionarySize = ZDICT_finalizeDictionary(
|
|
|
|
dict, dictBufferCapacity, dict + tail, dictBufferCapacity - tail,
|
2017-06-27 04:07:14 +00:00
|
|
|
samplesBuffer, samplesSizes, nbSamples, parameters.zParams);
|
2017-01-02 20:40:43 +00:00
|
|
|
if (!ZSTD_isError(dictionarySize)) {
|
|
|
|
DISPLAYLEVEL(2, "Constructed dictionary of size %u\n",
|
|
|
|
(U32)dictionarySize);
|
|
|
|
}
|
|
|
|
COVER_ctx_destroy(&ctx);
|
|
|
|
COVER_map_destroy(&activeDmers);
|
|
|
|
return dictionarySize;
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* COVER_best_t is used for two purposes:
|
|
|
|
* 1. Synchronizing threads.
|
|
|
|
* 2. Saving the best parameters and dictionary.
|
|
|
|
*
|
2017-01-02 20:40:43 +00:00
|
|
|
* All of the methods except COVER_best_init() are thread safe if zstd is
|
|
|
|
* compiled with multithreaded support.
|
2017-01-01 05:07:44 +00:00
|
|
|
*/
|
|
|
|
typedef struct COVER_best_s {
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_mutex_t mutex;
|
|
|
|
ZSTD_pthread_cond_t cond;
|
2017-01-01 05:07:44 +00:00
|
|
|
size_t liveJobs;
|
|
|
|
void *dict;
|
|
|
|
size_t dictSize;
|
2017-06-27 04:07:14 +00:00
|
|
|
ZDICT_cover_params_t parameters;
|
2017-01-01 05:07:44 +00:00
|
|
|
size_t compressedSize;
|
|
|
|
} COVER_best_t;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Initialize the `COVER_best_t`.
|
|
|
|
*/
|
|
|
|
static void COVER_best_init(COVER_best_t *best) {
|
2017-07-19 08:05:40 +00:00
|
|
|
if (best==NULL) return; /* compatible with init on NULL */
|
2017-09-27 18:16:24 +00:00
|
|
|
(void)ZSTD_pthread_mutex_init(&best->mutex, NULL);
|
|
|
|
(void)ZSTD_pthread_cond_init(&best->cond, NULL);
|
2017-01-01 05:07:44 +00:00
|
|
|
best->liveJobs = 0;
|
|
|
|
best->dict = NULL;
|
|
|
|
best->dictSize = 0;
|
|
|
|
best->compressedSize = (size_t)-1;
|
|
|
|
memset(&best->parameters, 0, sizeof(best->parameters));
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Wait until liveJobs == 0.
|
|
|
|
*/
|
|
|
|
static void COVER_best_wait(COVER_best_t *best) {
|
|
|
|
if (!best) {
|
|
|
|
return;
|
|
|
|
}
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_mutex_lock(&best->mutex);
|
2017-01-01 05:07:44 +00:00
|
|
|
while (best->liveJobs != 0) {
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_cond_wait(&best->cond, &best->mutex);
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_mutex_unlock(&best->mutex);
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Call COVER_best_wait() and then destroy the COVER_best_t.
|
|
|
|
*/
|
|
|
|
static void COVER_best_destroy(COVER_best_t *best) {
|
|
|
|
if (!best) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
COVER_best_wait(best);
|
|
|
|
if (best->dict) {
|
|
|
|
free(best->dict);
|
|
|
|
}
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_mutex_destroy(&best->mutex);
|
|
|
|
ZSTD_pthread_cond_destroy(&best->cond);
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Called when a thread is about to be launched.
|
|
|
|
* Increments liveJobs.
|
|
|
|
*/
|
|
|
|
static void COVER_best_start(COVER_best_t *best) {
|
|
|
|
if (!best) {
|
|
|
|
return;
|
|
|
|
}
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_mutex_lock(&best->mutex);
|
2017-01-01 05:07:44 +00:00
|
|
|
++best->liveJobs;
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_mutex_unlock(&best->mutex);
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Called when a thread finishes executing, both on error or success.
|
|
|
|
* Decrements liveJobs and signals any waiting threads if liveJobs == 0.
|
|
|
|
* If this dictionary is the best so far save it and its parameters.
|
|
|
|
*/
|
|
|
|
static void COVER_best_finish(COVER_best_t *best, size_t compressedSize,
|
2017-06-27 04:07:14 +00:00
|
|
|
ZDICT_cover_params_t parameters, void *dict,
|
2017-01-01 05:07:44 +00:00
|
|
|
size_t dictSize) {
|
|
|
|
if (!best) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
{
|
|
|
|
size_t liveJobs;
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_mutex_lock(&best->mutex);
|
2017-01-01 05:07:44 +00:00
|
|
|
--best->liveJobs;
|
|
|
|
liveJobs = best->liveJobs;
|
|
|
|
/* If the new dictionary is better */
|
|
|
|
if (compressedSize < best->compressedSize) {
|
|
|
|
/* Allocate space if necessary */
|
|
|
|
if (!best->dict || best->dictSize < dictSize) {
|
|
|
|
if (best->dict) {
|
|
|
|
free(best->dict);
|
|
|
|
}
|
|
|
|
best->dict = malloc(dictSize);
|
|
|
|
if (!best->dict) {
|
|
|
|
best->compressedSize = ERROR(GENERIC);
|
|
|
|
best->dictSize = 0;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
/* Save the dictionary, parameters, and size */
|
|
|
|
memcpy(best->dict, dict, dictSize);
|
|
|
|
best->dictSize = dictSize;
|
|
|
|
best->parameters = parameters;
|
|
|
|
best->compressedSize = compressedSize;
|
|
|
|
}
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_mutex_unlock(&best->mutex);
|
2017-01-01 05:07:44 +00:00
|
|
|
if (liveJobs == 0) {
|
2017-09-27 18:16:24 +00:00
|
|
|
ZSTD_pthread_cond_broadcast(&best->cond);
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Parameters for COVER_tryParameters().
|
|
|
|
*/
|
|
|
|
typedef struct COVER_tryParameters_data_s {
|
|
|
|
const COVER_ctx_t *ctx;
|
|
|
|
COVER_best_t *best;
|
|
|
|
size_t dictBufferCapacity;
|
2017-06-27 04:07:14 +00:00
|
|
|
ZDICT_cover_params_t parameters;
|
2017-01-01 05:07:44 +00:00
|
|
|
} COVER_tryParameters_data_t;
|
|
|
|
|
|
|
|
/**
|
2018-06-29 19:33:34 +00:00
|
|
|
* Tries a set of parameters and updates the COVER_best_t with the results.
|
2017-01-02 20:40:43 +00:00
|
|
|
* This function is thread safe if zstd is compiled with multithreaded support.
|
2017-01-01 05:07:44 +00:00
|
|
|
* It takes its parameters as an *OWNING* opaque pointer to support threading.
|
|
|
|
*/
|
|
|
|
static void COVER_tryParameters(void *opaque) {
|
|
|
|
/* Save parameters as local variables */
|
2017-01-02 20:40:43 +00:00
|
|
|
COVER_tryParameters_data_t *const data = (COVER_tryParameters_data_t *)opaque;
|
|
|
|
const COVER_ctx_t *const ctx = data->ctx;
|
2017-06-27 04:07:14 +00:00
|
|
|
const ZDICT_cover_params_t parameters = data->parameters;
|
2017-01-01 05:07:44 +00:00
|
|
|
size_t dictBufferCapacity = data->dictBufferCapacity;
|
|
|
|
size_t totalCompressedSize = ERROR(GENERIC);
|
|
|
|
/* Allocate space for hash table, dict, and freqs */
|
|
|
|
COVER_map_t activeDmers;
|
|
|
|
BYTE *const dict = (BYTE * const)malloc(dictBufferCapacity);
|
|
|
|
U32 *freqs = (U32 *)malloc(ctx->suffixSize * sizeof(U32));
|
2017-01-02 20:40:43 +00:00
|
|
|
if (!COVER_map_init(&activeDmers, parameters.k - parameters.d + 1)) {
|
2017-01-01 05:07:44 +00:00
|
|
|
DISPLAYLEVEL(1, "Failed to allocate dmer map: out of memory\n");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
|
|
|
if (!dict || !freqs) {
|
2017-01-02 20:40:43 +00:00
|
|
|
DISPLAYLEVEL(1, "Failed to allocate buffers: out of memory\n");
|
2017-01-01 05:07:44 +00:00
|
|
|
goto _cleanup;
|
|
|
|
}
|
|
|
|
/* Copy the frequencies because we need to modify them */
|
|
|
|
memcpy(freqs, ctx->freqs, ctx->suffixSize * sizeof(U32));
|
|
|
|
/* Build the dictionary */
|
|
|
|
{
|
|
|
|
const size_t tail = COVER_buildDictionary(ctx, freqs, &activeDmers, dict,
|
|
|
|
dictBufferCapacity, parameters);
|
|
|
|
dictBufferCapacity = ZDICT_finalizeDictionary(
|
|
|
|
dict, dictBufferCapacity, dict + tail, dictBufferCapacity - tail,
|
2018-06-29 19:33:34 +00:00
|
|
|
ctx->samples, ctx->samplesSizes, (unsigned)ctx->nbTrainSamples,
|
2017-06-27 04:07:14 +00:00
|
|
|
parameters.zParams);
|
2017-01-01 05:07:44 +00:00
|
|
|
if (ZDICT_isError(dictBufferCapacity)) {
|
|
|
|
DISPLAYLEVEL(1, "Failed to finalize dictionary\n");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
/* Check total compressed size */
|
|
|
|
{
|
|
|
|
/* Pointers */
|
|
|
|
ZSTD_CCtx *cctx;
|
|
|
|
ZSTD_CDict *cdict;
|
|
|
|
void *dst;
|
|
|
|
/* Local variables */
|
|
|
|
size_t dstCapacity;
|
|
|
|
size_t i;
|
|
|
|
/* Allocate dst with enough space to compress the maximum sized sample */
|
|
|
|
{
|
|
|
|
size_t maxSampleSize = 0;
|
2018-07-05 17:38:45 +00:00
|
|
|
i = parameters.splitPoint < 1.0 ? ctx->nbTrainSamples : 0;
|
|
|
|
for (; i < ctx->nbSamples; ++i) {
|
2017-01-01 05:07:44 +00:00
|
|
|
maxSampleSize = MAX(ctx->samplesSizes[i], maxSampleSize);
|
|
|
|
}
|
|
|
|
dstCapacity = ZSTD_compressBound(maxSampleSize);
|
|
|
|
dst = malloc(dstCapacity);
|
|
|
|
}
|
|
|
|
/* Create the cctx and cdict */
|
|
|
|
cctx = ZSTD_createCCtx();
|
2017-06-27 04:07:14 +00:00
|
|
|
cdict = ZSTD_createCDict(dict, dictBufferCapacity,
|
|
|
|
parameters.zParams.compressionLevel);
|
2017-01-01 05:07:44 +00:00
|
|
|
if (!dst || !cctx || !cdict) {
|
|
|
|
goto _compressCleanup;
|
|
|
|
}
|
|
|
|
/* Compress each sample and sum their sizes (or error) */
|
2017-08-21 21:23:17 +00:00
|
|
|
totalCompressedSize = dictBufferCapacity;
|
2018-06-29 19:33:34 +00:00
|
|
|
for (i = ctx->nbTrainSamples; i < ctx->nbSamples; ++i) {
|
2017-01-01 05:07:44 +00:00
|
|
|
const size_t size = ZSTD_compress_usingCDict(
|
|
|
|
cctx, dst, dstCapacity, ctx->samples + ctx->offsets[i],
|
|
|
|
ctx->samplesSizes[i], cdict);
|
|
|
|
if (ZSTD_isError(size)) {
|
|
|
|
totalCompressedSize = ERROR(GENERIC);
|
|
|
|
goto _compressCleanup;
|
|
|
|
}
|
|
|
|
totalCompressedSize += size;
|
|
|
|
}
|
|
|
|
_compressCleanup:
|
|
|
|
ZSTD_freeCCtx(cctx);
|
|
|
|
ZSTD_freeCDict(cdict);
|
|
|
|
if (dst) {
|
|
|
|
free(dst);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
_cleanup:
|
|
|
|
COVER_best_finish(data->best, totalCompressedSize, parameters, dict,
|
|
|
|
dictBufferCapacity);
|
|
|
|
free(data);
|
|
|
|
COVER_map_destroy(&activeDmers);
|
|
|
|
if (dict) {
|
|
|
|
free(dict);
|
|
|
|
}
|
|
|
|
if (freqs) {
|
|
|
|
free(freqs);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-06-27 04:07:14 +00:00
|
|
|
ZDICTLIB_API size_t ZDICT_optimizeTrainFromBuffer_cover(
|
|
|
|
void *dictBuffer, size_t dictBufferCapacity, const void *samplesBuffer,
|
|
|
|
const size_t *samplesSizes, unsigned nbSamples,
|
|
|
|
ZDICT_cover_params_t *parameters) {
|
2017-01-01 05:07:44 +00:00
|
|
|
/* constants */
|
2017-01-27 19:56:02 +00:00
|
|
|
const unsigned nbThreads = parameters->nbThreads;
|
2018-06-29 19:33:34 +00:00
|
|
|
const double splitPoint =
|
2018-07-05 17:38:45 +00:00
|
|
|
(parameters->splitPoint <= 0.0 || parameters->splitPoint > 1.0) ? DEFAULT_SPLITPOINT : parameters->splitPoint;
|
2017-01-02 20:40:43 +00:00
|
|
|
const unsigned kMinD = parameters->d == 0 ? 6 : parameters->d;
|
2017-05-02 04:26:33 +00:00
|
|
|
const unsigned kMaxD = parameters->d == 0 ? 8 : parameters->d;
|
2017-05-02 06:40:20 +00:00
|
|
|
const unsigned kMinK = parameters->k == 0 ? 50 : parameters->k;
|
|
|
|
const unsigned kMaxK = parameters->k == 0 ? 2000 : parameters->k;
|
|
|
|
const unsigned kSteps = parameters->steps == 0 ? 40 : parameters->steps;
|
2017-01-02 20:40:43 +00:00
|
|
|
const unsigned kStepSize = MAX((kMaxK - kMinK) / kSteps, 1);
|
|
|
|
const unsigned kIterations =
|
|
|
|
(1 + (kMaxD - kMinD) / 2) * (1 + (kMaxK - kMinK) / kStepSize);
|
2017-01-01 05:07:44 +00:00
|
|
|
/* Local variables */
|
2017-06-27 04:07:14 +00:00
|
|
|
const int displayLevel = parameters->zParams.notificationLevel;
|
2017-01-02 20:40:43 +00:00
|
|
|
unsigned iteration = 1;
|
2017-01-01 05:07:44 +00:00
|
|
|
unsigned d;
|
2017-01-02 20:40:43 +00:00
|
|
|
unsigned k;
|
2017-01-01 05:07:44 +00:00
|
|
|
COVER_best_t best;
|
2017-01-27 19:56:02 +00:00
|
|
|
POOL_ctx *pool = NULL;
|
2018-01-11 17:42:38 +00:00
|
|
|
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Checks */
|
2018-07-05 17:38:45 +00:00
|
|
|
if (splitPoint <= 0 || splitPoint > 1) {
|
2018-06-29 19:33:34 +00:00
|
|
|
LOCALDISPLAYLEVEL(displayLevel, 1, "Incorrect parameters\n");
|
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
if (kMinK < kMaxD || kMaxK < kMinK) {
|
|
|
|
LOCALDISPLAYLEVEL(displayLevel, 1, "Incorrect parameters\n");
|
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
|
|
|
if (nbSamples == 0) {
|
|
|
|
DISPLAYLEVEL(1, "Cover must have at least one input file\n");
|
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
|
|
|
if (dictBufferCapacity < ZDICT_DICTSIZE_MIN) {
|
|
|
|
DISPLAYLEVEL(1, "dictBufferCapacity must be at least %u\n",
|
|
|
|
ZDICT_DICTSIZE_MIN);
|
|
|
|
return ERROR(dstSize_tooSmall);
|
|
|
|
}
|
2017-01-27 19:56:02 +00:00
|
|
|
if (nbThreads > 1) {
|
|
|
|
pool = POOL_create(nbThreads, 1);
|
|
|
|
if (!pool) {
|
|
|
|
return ERROR(memory_allocation);
|
|
|
|
}
|
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Initialization */
|
2017-01-01 05:07:44 +00:00
|
|
|
COVER_best_init(&best);
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Turn down global display level to clean up display at level 2 and below */
|
2017-08-23 10:56:15 +00:00
|
|
|
g_displayLevel = displayLevel == 0 ? 0 : displayLevel - 1;
|
2017-01-01 05:07:44 +00:00
|
|
|
/* Loop through d first because each new value needs a new context */
|
2017-01-02 20:40:43 +00:00
|
|
|
LOCALDISPLAYLEVEL(displayLevel, 2, "Trying %u different sets of parameters\n",
|
|
|
|
kIterations);
|
|
|
|
for (d = kMinD; d <= kMaxD; d += 2) {
|
2017-01-01 05:07:44 +00:00
|
|
|
/* Initialize the context for this value of d */
|
|
|
|
COVER_ctx_t ctx;
|
|
|
|
LOCALDISPLAYLEVEL(displayLevel, 3, "d=%u\n", d);
|
2018-06-29 19:33:34 +00:00
|
|
|
if (!COVER_ctx_init(&ctx, samplesBuffer, samplesSizes, nbSamples, d, splitPoint)) {
|
2017-01-01 05:07:44 +00:00
|
|
|
LOCALDISPLAYLEVEL(displayLevel, 1, "Failed to initialize context\n");
|
|
|
|
COVER_best_destroy(&best);
|
2017-03-02 23:54:39 +00:00
|
|
|
POOL_free(pool);
|
2017-01-01 05:07:44 +00:00
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Loop through k reusing the same context */
|
|
|
|
for (k = kMinK; k <= kMaxK; k += kStepSize) {
|
|
|
|
/* Prepare the arguments */
|
|
|
|
COVER_tryParameters_data_t *data = (COVER_tryParameters_data_t *)malloc(
|
|
|
|
sizeof(COVER_tryParameters_data_t));
|
|
|
|
LOCALDISPLAYLEVEL(displayLevel, 3, "k=%u\n", k);
|
|
|
|
if (!data) {
|
|
|
|
LOCALDISPLAYLEVEL(displayLevel, 1, "Failed to allocate parameters\n");
|
|
|
|
COVER_best_destroy(&best);
|
|
|
|
COVER_ctx_destroy(&ctx);
|
2017-03-02 23:54:39 +00:00
|
|
|
POOL_free(pool);
|
2017-01-02 20:40:43 +00:00
|
|
|
return ERROR(GENERIC);
|
|
|
|
}
|
|
|
|
data->ctx = &ctx;
|
|
|
|
data->best = &best;
|
|
|
|
data->dictBufferCapacity = dictBufferCapacity;
|
|
|
|
data->parameters = *parameters;
|
|
|
|
data->parameters.k = k;
|
|
|
|
data->parameters.d = d;
|
2018-06-29 19:33:34 +00:00
|
|
|
data->parameters.splitPoint = splitPoint;
|
2017-01-02 20:40:43 +00:00
|
|
|
data->parameters.steps = kSteps;
|
2018-01-11 19:29:28 +00:00
|
|
|
data->parameters.zParams.notificationLevel = g_displayLevel;
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Check the parameters */
|
2017-08-21 18:12:11 +00:00
|
|
|
if (!COVER_checkParameters(data->parameters, dictBufferCapacity)) {
|
2017-01-02 20:40:43 +00:00
|
|
|
DISPLAYLEVEL(1, "Cover parameters incorrect\n");
|
2017-03-02 23:54:39 +00:00
|
|
|
free(data);
|
2017-01-02 20:40:43 +00:00
|
|
|
continue;
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Call the function and pass ownership of data to it */
|
|
|
|
COVER_best_start(&best);
|
2017-01-27 19:56:02 +00:00
|
|
|
if (pool) {
|
|
|
|
POOL_add(pool, &COVER_tryParameters, data);
|
|
|
|
} else {
|
|
|
|
COVER_tryParameters(data);
|
|
|
|
}
|
2017-01-02 20:40:43 +00:00
|
|
|
/* Print status */
|
|
|
|
LOCALDISPLAYUPDATE(displayLevel, 2, "\r%u%% ",
|
|
|
|
(U32)((iteration * 100) / kIterations));
|
|
|
|
++iteration;
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
COVER_best_wait(&best);
|
|
|
|
COVER_ctx_destroy(&ctx);
|
|
|
|
}
|
|
|
|
LOCALDISPLAYLEVEL(displayLevel, 2, "\r%79s\r", "");
|
|
|
|
/* Fill the output buffer and parameters with output of the best parameters */
|
|
|
|
{
|
|
|
|
const size_t dictSize = best.dictSize;
|
|
|
|
if (ZSTD_isError(best.compressedSize)) {
|
2017-03-02 23:54:39 +00:00
|
|
|
const size_t compressedSize = best.compressedSize;
|
2017-01-01 05:07:44 +00:00
|
|
|
COVER_best_destroy(&best);
|
2017-03-02 23:54:39 +00:00
|
|
|
POOL_free(pool);
|
|
|
|
return compressedSize;
|
2017-01-01 05:07:44 +00:00
|
|
|
}
|
|
|
|
*parameters = best.parameters;
|
|
|
|
memcpy(dictBuffer, best.dict, dictSize);
|
|
|
|
COVER_best_destroy(&best);
|
2017-01-27 19:56:02 +00:00
|
|
|
POOL_free(pool);
|
2017-01-01 05:07:44 +00:00
|
|
|
return dictSize;
|
|
|
|
}
|
|
|
|
}
|