2016-01-27 23:29:58 +00:00
|
|
|
/*
|
2016-02-11 23:07:30 +00:00
|
|
|
dictBuilder - dictionary builder for zstd
|
2016-01-27 23:29:58 +00:00
|
|
|
Copyright (C) Yann Collet 2016
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
BSD 2-Clause License (http://www.opensource.org/licenses/bsd-license.php)
|
|
|
|
|
|
|
|
Redistribution and use in source and binary forms, with or without
|
|
|
|
modification, are permitted provided that the following conditions are
|
|
|
|
met:
|
|
|
|
|
|
|
|
* Redistributions of source code must retain the above copyright
|
|
|
|
notice, this list of conditions and the following disclaimer.
|
|
|
|
* Redistributions in binary form must reproduce the above
|
|
|
|
copyright notice, this list of conditions and the following disclaimer
|
|
|
|
in the documentation and/or other materials provided with the
|
|
|
|
distribution.
|
|
|
|
|
|
|
|
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
|
|
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
|
|
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
|
|
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
|
|
OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
|
|
SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
|
|
LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
|
|
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
|
|
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
|
|
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
You can contact the author at :
|
2016-02-12 01:31:57 +00:00
|
|
|
- Zstd homepage : https://www.zstd.net
|
2016-01-27 23:29:58 +00:00
|
|
|
*/
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
/*-**************************************
|
2016-01-27 23:29:58 +00:00
|
|
|
* Compiler Options
|
|
|
|
****************************************/
|
|
|
|
/* Disable some Visual warning messages */
|
|
|
|
#ifdef _MSC_VER
|
|
|
|
# pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */
|
|
|
|
#endif
|
|
|
|
|
|
|
|
/* Unix Large Files support (>4GB) */
|
|
|
|
#define _FILE_OFFSET_BITS 64
|
|
|
|
#if (defined(__sun__) && (!defined(__LP64__))) /* Sun Solaris 32-bits requires specific definitions */
|
|
|
|
# define _LARGEFILE_SOURCE
|
|
|
|
#elif ! defined(__LP64__) /* No point defining Large file for 64 bit */
|
|
|
|
# define _LARGEFILE64_SOURCE
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
2016-01-28 16:56:33 +00:00
|
|
|
/*-*************************************
|
2016-02-11 23:07:30 +00:00
|
|
|
* Dependencies
|
2016-01-27 23:29:58 +00:00
|
|
|
***************************************/
|
2016-01-31 22:45:35 +00:00
|
|
|
#include <stdlib.h> /* malloc, free */
|
|
|
|
#include <string.h> /* memset */
|
|
|
|
#include <stdio.h> /* fprintf, fopen, ftello64 */
|
|
|
|
#include <sys/types.h> /* stat64 */
|
|
|
|
#include <sys/stat.h> /* stat64 */
|
|
|
|
#include <time.h> /* clock */
|
|
|
|
|
|
|
|
#include "mem.h" /* read */
|
2016-01-29 01:45:26 +00:00
|
|
|
#include "error_private.h"
|
2016-02-11 23:07:30 +00:00
|
|
|
#include "fse.h"
|
2016-01-27 23:29:58 +00:00
|
|
|
#include "huff0_static.h"
|
2016-02-11 23:07:30 +00:00
|
|
|
#include "zstd_internal.h"
|
2016-02-12 17:45:02 +00:00
|
|
|
#include "divsufsort.h"
|
|
|
|
#include "zdict_static.h"
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
|
2016-01-31 22:45:35 +00:00
|
|
|
/*-*************************************
|
2016-01-27 23:29:58 +00:00
|
|
|
* Compiler specifics
|
|
|
|
***************************************/
|
|
|
|
#if !defined(S_ISREG)
|
|
|
|
# define S_ISREG(x) (((x) & S_IFMT) == S_IFREG)
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
2016-01-28 16:56:33 +00:00
|
|
|
/*-*************************************
|
2016-01-27 23:29:58 +00:00
|
|
|
* Constants
|
|
|
|
***************************************/
|
|
|
|
#define KB *(1 <<10)
|
|
|
|
#define MB *(1 <<20)
|
|
|
|
#define GB *(1U<<30)
|
|
|
|
|
|
|
|
#define DICTLISTSIZE 10000
|
|
|
|
|
|
|
|
#define NOISELENGTH 32
|
|
|
|
#define PRIME1 2654435761U
|
|
|
|
#define PRIME2 2246822519U
|
|
|
|
|
|
|
|
#define MINRATIO 4
|
2016-01-29 01:45:26 +00:00
|
|
|
static const U32 g_compressionLevel_default = 5;
|
2016-01-31 22:45:35 +00:00
|
|
|
static const U32 g_selectivity_default = 9;
|
|
|
|
static const size_t g_provision_entropySize = 200;
|
|
|
|
static const size_t g_min_fast_dictContent = 192;
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
|
2016-01-28 16:56:33 +00:00
|
|
|
/*-*************************************
|
|
|
|
* Console display
|
2016-01-27 23:29:58 +00:00
|
|
|
***************************************/
|
|
|
|
#define DISPLAY(...) fprintf(stderr, __VA_ARGS__)
|
|
|
|
#define DISPLAYLEVEL(l, ...) if (g_displayLevel>=l) { DISPLAY(__VA_ARGS__); }
|
2016-01-28 09:30:02 +00:00
|
|
|
static unsigned g_displayLevel = 0; /* 0 : no display; 1: errors; 2: default; 4: full information */
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
#define DISPLAYUPDATE(l, ...) if (g_displayLevel>=l) { \
|
2016-02-11 23:07:30 +00:00
|
|
|
if (ZDICT_GetMilliSpan(g_time) > refreshRate) \
|
2016-01-27 23:29:58 +00:00
|
|
|
{ g_time = clock(); DISPLAY(__VA_ARGS__); \
|
|
|
|
if (g_displayLevel>=4) fflush(stdout); } }
|
|
|
|
static const unsigned refreshRate = 300;
|
|
|
|
static clock_t g_time = 0;
|
|
|
|
|
2016-02-12 19:19:48 +00:00
|
|
|
static void ZDICT_printHex(U32 dlevel, const void* ptr, size_t length)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
const BYTE* const b = (const BYTE*)ptr;
|
|
|
|
size_t u;
|
|
|
|
for (u=0; u<length; u++)
|
|
|
|
{
|
|
|
|
BYTE c = b[u];
|
|
|
|
if (c<32 || c>126) c = '.'; /* non-printable char */
|
|
|
|
DISPLAYLEVEL(dlevel, "%c", c);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
/*-********************************************************
|
2016-01-27 23:29:58 +00:00
|
|
|
* Helper functions
|
|
|
|
**********************************************************/
|
2016-02-11 23:07:30 +00:00
|
|
|
static unsigned ZDICT_GetMilliSpan(clock_t nPrevious)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
clock_t nCurrent = clock();
|
|
|
|
unsigned nSpan = (unsigned)(((nCurrent - nPrevious) * 1000) / CLOCKS_PER_SEC);
|
|
|
|
return nSpan;
|
|
|
|
}
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
unsigned ZDICT_isError(size_t errorCode) { return ERR_isError(errorCode); }
|
2016-01-31 22:45:35 +00:00
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
const char* ZDICT_getErrorName(size_t errorCode) { return ERR_getErrorName(errorCode); }
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
|
|
|
|
/*-********************************************************
|
|
|
|
* Dictionary training functions
|
|
|
|
**********************************************************/
|
2016-02-11 23:07:30 +00:00
|
|
|
static unsigned ZDICT_NbCommonBytes (register size_t val)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
if (MEM_isLittleEndian()) {
|
|
|
|
if (MEM_64bits()) {
|
|
|
|
# if defined(_MSC_VER) && defined(_WIN64)
|
|
|
|
unsigned long r = 0;
|
|
|
|
_BitScanForward64( &r, (U64)val );
|
|
|
|
return (unsigned)(r>>3);
|
|
|
|
# elif defined(__GNUC__) && (__GNUC__ >= 3)
|
|
|
|
return (__builtin_ctzll((U64)val) >> 3);
|
|
|
|
# else
|
|
|
|
static const int DeBruijnBytePos[64] = { 0, 0, 0, 0, 0, 1, 1, 2, 0, 3, 1, 3, 1, 4, 2, 7, 0, 2, 3, 6, 1, 5, 3, 5, 1, 3, 4, 4, 2, 5, 6, 7, 7, 0, 1, 2, 3, 3, 4, 6, 2, 6, 5, 5, 3, 4, 5, 6, 7, 1, 2, 4, 6, 4, 4, 5, 7, 2, 6, 5, 7, 6, 7, 7 };
|
|
|
|
return DeBruijnBytePos[((U64)((val & -(long long)val) * 0x0218A392CDABBD3FULL)) >> 58];
|
|
|
|
# endif
|
|
|
|
} else { /* 32 bits */
|
|
|
|
# if defined(_MSC_VER)
|
|
|
|
unsigned long r=0;
|
|
|
|
_BitScanForward( &r, (U32)val );
|
|
|
|
return (unsigned)(r>>3);
|
|
|
|
# elif defined(__GNUC__) && (__GNUC__ >= 3)
|
|
|
|
return (__builtin_ctz((U32)val) >> 3);
|
|
|
|
# else
|
|
|
|
static const int DeBruijnBytePos[32] = { 0, 0, 3, 0, 3, 1, 3, 0, 3, 2, 2, 1, 3, 2, 0, 1, 3, 3, 1, 2, 2, 2, 2, 0, 3, 1, 2, 0, 1, 0, 1, 1 };
|
|
|
|
return DeBruijnBytePos[((U32)((val & -(S32)val) * 0x077CB531U)) >> 27];
|
|
|
|
# endif
|
|
|
|
}
|
|
|
|
} else { /* Big Endian CPU */
|
|
|
|
if (MEM_64bits()) {
|
|
|
|
# if defined(_MSC_VER) && defined(_WIN64)
|
|
|
|
unsigned long r = 0;
|
|
|
|
_BitScanReverse64( &r, val );
|
|
|
|
return (unsigned)(r>>3);
|
|
|
|
# elif defined(__GNUC__) && (__GNUC__ >= 3)
|
|
|
|
return (__builtin_clzll(val) >> 3);
|
|
|
|
# else
|
|
|
|
unsigned r;
|
|
|
|
const unsigned n32 = sizeof(size_t)*4; /* calculate this way due to compiler complaining in 32-bits mode */
|
|
|
|
if (!(val>>n32)) { r=4; } else { r=0; val>>=n32; }
|
|
|
|
if (!(val>>16)) { r+=2; val>>=8; } else { val>>=24; }
|
|
|
|
r += (!val);
|
|
|
|
return r;
|
|
|
|
# endif
|
|
|
|
} else { /* 32 bits */
|
|
|
|
# if defined(_MSC_VER)
|
|
|
|
unsigned long r = 0;
|
|
|
|
_BitScanReverse( &r, (unsigned long)val );
|
|
|
|
return (unsigned)(r>>3);
|
|
|
|
# elif defined(__GNUC__) && (__GNUC__ >= 3)
|
|
|
|
return (__builtin_clz((U32)val) >> 3);
|
|
|
|
# else
|
|
|
|
unsigned r;
|
|
|
|
if (!(val>>16)) { r=2; val>>=8; } else { r=0; val>>=24; }
|
|
|
|
r += (!val);
|
|
|
|
return r;
|
|
|
|
# endif
|
|
|
|
} }
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
/*! ZDICT_count() :
|
2016-01-27 23:29:58 +00:00
|
|
|
Count the nb of common bytes between 2 pointers.
|
|
|
|
Note : this function presumes end of buffer followed by noisy guard band.
|
|
|
|
*/
|
2016-02-11 23:07:30 +00:00
|
|
|
static size_t ZDICT_count(const void* pIn, const void* pMatch)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
const char* const pStart = (const char*)pIn;
|
|
|
|
for (;;) {
|
2016-02-11 23:07:30 +00:00
|
|
|
size_t diff = MEM_readST(pMatch) ^ MEM_readST(pIn);
|
2016-01-27 23:29:58 +00:00
|
|
|
if (!diff) { pIn = (const char*)pIn+sizeof(size_t); pMatch = (const char*)pMatch+sizeof(size_t); continue; }
|
2016-02-11 23:07:30 +00:00
|
|
|
pIn = (const char*)pIn+ZDICT_NbCommonBytes(diff);
|
2016-01-27 23:29:58 +00:00
|
|
|
return (size_t)((const char*)pIn - pStart);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
U32 pos;
|
|
|
|
U32 length;
|
|
|
|
U32 savings;
|
|
|
|
} dictItem;
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
static void ZDICT_initDictItem(dictItem* d)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
d->pos = 1;
|
|
|
|
d->length = 0;
|
|
|
|
d->savings = (U32)(-1);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
#define LLIMIT 64 /* heuristic determined experimentally */
|
|
|
|
#define MINMATCHLENGTH 7 /* heuristic determined experimentally */
|
2016-02-11 23:07:30 +00:00
|
|
|
static dictItem ZDICT_analyzePos(
|
2016-01-27 23:29:58 +00:00
|
|
|
BYTE* doneMarks,
|
2016-02-11 23:07:30 +00:00
|
|
|
const int* suffix, U32 start,
|
2016-01-27 23:29:58 +00:00
|
|
|
const void* buffer, U32 minRatio)
|
|
|
|
{
|
|
|
|
U32 lengthList[LLIMIT] = {0};
|
|
|
|
U32 cumulLength[LLIMIT] = {0};
|
|
|
|
U32 savings[LLIMIT] = {0};
|
|
|
|
const BYTE* b = (const BYTE*)buffer;
|
|
|
|
size_t length;
|
|
|
|
size_t maxLength = LLIMIT;
|
|
|
|
size_t pos = suffix[start];
|
|
|
|
U32 end = start;
|
|
|
|
dictItem solution;
|
|
|
|
|
|
|
|
/* init */
|
|
|
|
memset(&solution, 0, sizeof(solution));
|
|
|
|
doneMarks[pos] = 1;
|
|
|
|
|
|
|
|
/* trivial repetition cases */
|
|
|
|
if ( (MEM_read16(b+pos+0) == MEM_read16(b+pos+2))
|
|
|
|
||(MEM_read16(b+pos+1) == MEM_read16(b+pos+3))
|
|
|
|
||(MEM_read16(b+pos+2) == MEM_read16(b+pos+4)) ) {
|
|
|
|
/* skip and mark segment */
|
|
|
|
U16 u16 = MEM_read16(b+pos+4);
|
|
|
|
U32 u, e = 6;
|
|
|
|
while (MEM_read16(b+pos+e) == u16) e+=2 ;
|
|
|
|
if (b[pos+e] == b[pos+e-1]) e++;
|
|
|
|
for (u=1; u<e; u++)
|
|
|
|
doneMarks[pos+u] = 1;
|
|
|
|
return solution;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* look forward */
|
|
|
|
do {
|
|
|
|
end++;
|
2016-02-11 23:07:30 +00:00
|
|
|
length = ZDICT_count(b + pos, b + suffix[end]);
|
2016-01-27 23:29:58 +00:00
|
|
|
} while (length >=MINMATCHLENGTH);
|
|
|
|
|
|
|
|
/* look backward */
|
|
|
|
do {
|
2016-02-11 23:07:30 +00:00
|
|
|
length = ZDICT_count(b + pos, b + *(suffix+start-1));
|
2016-01-27 23:29:58 +00:00
|
|
|
if (length >=MINMATCHLENGTH) start--;
|
|
|
|
} while(length >= MINMATCHLENGTH);
|
|
|
|
|
|
|
|
/* exit if not found a minimum nb of repetitions */
|
|
|
|
if (end-start < minRatio) {
|
|
|
|
U32 idx;
|
|
|
|
for(idx=start; idx<end; idx++)
|
|
|
|
doneMarks[suffix[idx]] = 1;
|
|
|
|
return solution;
|
|
|
|
}
|
|
|
|
|
2016-03-20 18:14:22 +00:00
|
|
|
{ int i;
|
2016-01-27 23:29:58 +00:00
|
|
|
U32 searchLength;
|
|
|
|
U32 refinedStart = start;
|
|
|
|
U32 refinedEnd = end;
|
|
|
|
|
|
|
|
DISPLAYLEVEL(4, "\n");
|
|
|
|
DISPLAYLEVEL(4, "found %3u matches of length >= %u at pos %7u ", (U32)(end-start), MINMATCHLENGTH, (U32)pos);
|
|
|
|
DISPLAYLEVEL(4, "\n");
|
|
|
|
|
|
|
|
for (searchLength = MINMATCHLENGTH ; ; searchLength++) {
|
|
|
|
BYTE currentChar = 0;
|
|
|
|
U32 currentCount = 0;
|
|
|
|
U32 currentID = refinedStart;
|
|
|
|
U32 id;
|
|
|
|
U32 selectedCount = 0;
|
|
|
|
U32 selectedID = currentID;
|
|
|
|
for (id =refinedStart; id < refinedEnd; id++) {
|
|
|
|
if (b[ suffix[id] + searchLength] != currentChar) {
|
|
|
|
if (currentCount > selectedCount) {
|
|
|
|
selectedCount = currentCount;
|
|
|
|
selectedID = currentID;
|
|
|
|
}
|
|
|
|
currentID = id;
|
|
|
|
currentChar = b[ suffix[id] + searchLength];
|
|
|
|
currentCount = 0;
|
|
|
|
}
|
|
|
|
currentCount ++;
|
|
|
|
}
|
|
|
|
if (currentCount > selectedCount) { /* for last */
|
|
|
|
selectedCount = currentCount;
|
|
|
|
selectedID = currentID;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (selectedCount < minRatio)
|
|
|
|
break;
|
|
|
|
refinedStart = selectedID;
|
|
|
|
refinedEnd = refinedStart + selectedCount;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* evaluate gain based on new ref */
|
|
|
|
start = refinedStart;
|
|
|
|
pos = suffix[refinedStart];
|
|
|
|
end = start;
|
|
|
|
memset(lengthList, 0, sizeof(lengthList));
|
|
|
|
|
|
|
|
/* look forward */
|
|
|
|
do {
|
|
|
|
end++;
|
2016-02-11 23:07:30 +00:00
|
|
|
length = ZDICT_count(b + pos, b + suffix[end]);
|
2016-01-27 23:29:58 +00:00
|
|
|
if (length >= LLIMIT) length = LLIMIT-1;
|
|
|
|
lengthList[length]++;
|
|
|
|
} while (length >=MINMATCHLENGTH);
|
|
|
|
|
|
|
|
/* look backward */
|
|
|
|
do {
|
2016-02-11 23:07:30 +00:00
|
|
|
length = ZDICT_count(b + pos, b + suffix[start-1]);
|
2016-01-27 23:29:58 +00:00
|
|
|
if (length >= LLIMIT) length = LLIMIT-1;
|
|
|
|
lengthList[length]++;
|
|
|
|
if (length >=MINMATCHLENGTH) start--;
|
|
|
|
} while(length >= MINMATCHLENGTH);
|
|
|
|
|
|
|
|
/* largest useful length */
|
|
|
|
memset(cumulLength, 0, sizeof(cumulLength));
|
|
|
|
cumulLength[maxLength-1] = lengthList[maxLength-1];
|
2016-01-28 14:39:52 +00:00
|
|
|
for (i=(int)(maxLength-2); i>=0; i--)
|
2016-01-27 23:29:58 +00:00
|
|
|
cumulLength[i] = cumulLength[i+1] + lengthList[i];
|
|
|
|
|
|
|
|
for (i=LLIMIT-1; i>=MINMATCHLENGTH; i--) if (cumulLength[i]>=minRatio) break;
|
|
|
|
maxLength = i;
|
|
|
|
|
|
|
|
/* reduce maxLength in case of final into repetitive data */
|
|
|
|
{
|
2016-01-28 14:39:52 +00:00
|
|
|
U32 l = (U32)maxLength;
|
2016-01-27 23:29:58 +00:00
|
|
|
BYTE c = b[pos + maxLength-1];
|
|
|
|
while (b[pos+l-2]==c) l--;
|
|
|
|
maxLength = l;
|
|
|
|
}
|
|
|
|
if (maxLength < MINMATCHLENGTH) return solution; /* skip : no long-enough solution */
|
|
|
|
|
|
|
|
/* calculate savings */
|
|
|
|
savings[5] = 0;
|
|
|
|
for (i=MINMATCHLENGTH; i<=(int)maxLength; i++)
|
|
|
|
savings[i] = savings[i-1] + (lengthList[i] * (i-3));
|
|
|
|
|
|
|
|
DISPLAYLEVEL(4, "Selected ref at position %u, of length %u : saves %u (ratio: %.2f) \n",
|
|
|
|
(U32)pos, (U32)maxLength, savings[maxLength], (double)savings[maxLength] / maxLength);
|
|
|
|
|
2016-01-28 14:39:52 +00:00
|
|
|
solution.pos = (U32)pos;
|
|
|
|
solution.length = (U32)maxLength;
|
2016-01-27 23:29:58 +00:00
|
|
|
solution.savings = savings[maxLength];
|
|
|
|
|
|
|
|
/* mark positions done */
|
|
|
|
{
|
|
|
|
U32 id;
|
|
|
|
U32 testedPos;
|
|
|
|
for (id=start; id<end; id++) {
|
|
|
|
U32 p, pEnd;
|
|
|
|
testedPos = suffix[id];
|
|
|
|
if (testedPos == pos)
|
|
|
|
length = solution.length;
|
|
|
|
else {
|
2016-02-11 23:07:30 +00:00
|
|
|
length = ZDICT_count(b+pos, b+testedPos);
|
2016-01-27 23:29:58 +00:00
|
|
|
if (length > solution.length) length = solution.length;
|
|
|
|
}
|
2016-01-28 14:39:52 +00:00
|
|
|
pEnd = (U32)(testedPos + length);
|
2016-01-27 23:29:58 +00:00
|
|
|
for (p=testedPos; p<pEnd; p++)
|
|
|
|
doneMarks[p] = 1;
|
|
|
|
} } }
|
|
|
|
|
|
|
|
return solution;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
/*! ZDICT_checkMerge
|
2016-01-27 23:29:58 +00:00
|
|
|
check if dictItem can be merged, do it if possible
|
|
|
|
@return : id of destination elt, 0 if not merged
|
|
|
|
*/
|
2016-02-11 23:07:30 +00:00
|
|
|
static U32 ZDICT_checkMerge(dictItem* table, dictItem elt, U32 eltNbToSkip)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
const U32 tableSize = table->pos;
|
|
|
|
const U32 max = elt.pos + (elt.length-1);
|
|
|
|
|
|
|
|
/* tail overlap */
|
|
|
|
U32 u; for (u=1; u<tableSize; u++) {
|
|
|
|
if (u==eltNbToSkip) continue;
|
|
|
|
if ((table[u].pos > elt.pos) && (table[u].pos < max)) { /* overlap */
|
|
|
|
/* append */
|
|
|
|
U32 addedLength = table[u].pos - elt.pos;
|
|
|
|
table[u].length += addedLength;
|
|
|
|
table[u].pos = elt.pos;
|
|
|
|
table[u].savings += elt.savings * addedLength / elt.length; /* rough approx */
|
|
|
|
table[u].savings += elt.length / 8; /* rough approx */
|
|
|
|
elt = table[u];
|
|
|
|
while ((u>1) && (table[u-1].savings < elt.savings))
|
|
|
|
table[u] = table[u-1], u--;
|
|
|
|
table[u] = elt;
|
|
|
|
return u;
|
|
|
|
} }
|
|
|
|
|
|
|
|
/* front overlap */
|
|
|
|
for (u=1; u<tableSize; u++) {
|
|
|
|
if (u==eltNbToSkip) continue;
|
|
|
|
if ((table[u].pos + table[u].length > elt.pos) && (table[u].pos < elt.pos)) { /* overlap */
|
|
|
|
/* append */
|
|
|
|
int addedLength = (elt.pos + elt.length) - (table[u].pos + table[u].length);
|
|
|
|
table[u].savings += elt.length / 8; /* rough approx */
|
|
|
|
if (addedLength > 0) { /* otherwise, already included */
|
|
|
|
table[u].length += addedLength;
|
|
|
|
table[u].savings += elt.savings * addedLength / elt.length; /* rough approx */
|
|
|
|
}
|
|
|
|
elt = table[u];
|
|
|
|
while ((u>1) && (table[u-1].savings < elt.savings))
|
|
|
|
table[u] = table[u-1], u--;
|
|
|
|
table[u] = elt;
|
|
|
|
return u;
|
|
|
|
} }
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
static void ZDICT_removeDictItem(dictItem* table, U32 id)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
/* convention : first element is nb of elts */
|
|
|
|
U32 max = table->pos;
|
|
|
|
U32 u;
|
|
|
|
if (!id) return; /* protection, should never happen */
|
2016-01-28 14:39:52 +00:00
|
|
|
for (u=id; u<max-1; u++)
|
2016-01-27 23:29:58 +00:00
|
|
|
table[u] = table[u+1];
|
|
|
|
table->pos--;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
static void ZDICT_insertDictItem(dictItem* table, U32 maxSize, dictItem elt)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
/* merge if possible */
|
2016-02-11 23:07:30 +00:00
|
|
|
U32 mergeId = ZDICT_checkMerge(table, elt, 0);
|
2016-01-27 23:29:58 +00:00
|
|
|
if (mergeId) {
|
|
|
|
U32 newMerge = 1;
|
|
|
|
while (newMerge) {
|
2016-02-11 23:07:30 +00:00
|
|
|
newMerge = ZDICT_checkMerge(table, table[mergeId], mergeId);
|
|
|
|
if (newMerge) ZDICT_removeDictItem(table, mergeId);
|
2016-01-27 23:29:58 +00:00
|
|
|
mergeId = newMerge;
|
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* insert */
|
|
|
|
{
|
|
|
|
U32 current;
|
|
|
|
U32 nextElt = table->pos;
|
|
|
|
if (nextElt >= maxSize) nextElt = maxSize-1;
|
|
|
|
current = nextElt-1;
|
|
|
|
while (table[current].savings < elt.savings) {
|
|
|
|
table[current+1] = table[current];
|
|
|
|
current--;
|
|
|
|
}
|
|
|
|
table[current+1] = elt;
|
|
|
|
table->pos = nextElt+1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
static U32 ZDICT_dictSize(const dictItem* dictList)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
U32 u, dictSize = 0;
|
|
|
|
for (u=1; u<dictList[0].pos; u++)
|
|
|
|
dictSize += dictList[u].length;
|
|
|
|
return dictSize;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-12 01:31:57 +00:00
|
|
|
static size_t ZDICT_trainBuffer(dictItem* dictList, U32 dictListSize,
|
2016-01-27 23:29:58 +00:00
|
|
|
const void* const buffer, const size_t bufferSize, /* buffer must end with noisy guard band */
|
2016-01-31 22:45:35 +00:00
|
|
|
const size_t* fileSizes, unsigned nbFiles,
|
|
|
|
U32 shiftRatio, unsigned maxDictSize)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
2016-02-11 23:07:30 +00:00
|
|
|
int* const suffix0 = (int*)malloc((bufferSize+2)*sizeof(*suffix0));
|
|
|
|
int* const suffix = suffix0+1;
|
2016-01-27 23:29:58 +00:00
|
|
|
U32* reverseSuffix = (U32*)malloc((bufferSize)*sizeof(*reverseSuffix));
|
|
|
|
BYTE* doneMarks = (BYTE*)malloc((bufferSize+16)*sizeof(*doneMarks)); /* +16 for overflow security */
|
|
|
|
U32* filePos = (U32*)malloc(nbFiles * sizeof(*filePos));
|
|
|
|
U32 minRatio = nbFiles >> shiftRatio;
|
2016-02-11 23:07:30 +00:00
|
|
|
int divSuftSortResult;
|
2016-02-12 01:31:57 +00:00
|
|
|
size_t result = 0;
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
/* init */
|
|
|
|
DISPLAYLEVEL(2, "\r%70s\r", ""); /* clean display line */
|
2016-02-12 01:31:57 +00:00
|
|
|
if (!suffix0 || !reverseSuffix || !doneMarks || !filePos) {
|
|
|
|
result = ERROR(memory_allocation);
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
if (minRatio < MINRATIO) minRatio = MINRATIO;
|
|
|
|
memset(doneMarks, 0, bufferSize+16);
|
|
|
|
|
|
|
|
/* sort */
|
2016-01-31 22:45:35 +00:00
|
|
|
DISPLAYLEVEL(2, "sorting %u files of total size %u MB ...\n", nbFiles, (U32)(bufferSize>>20));
|
2016-02-11 23:07:30 +00:00
|
|
|
divSuftSortResult = divsufsort((const unsigned char*)buffer, suffix, (int)bufferSize, 0);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (divSuftSortResult != 0) { result = ERROR(GENERIC); goto _cleanup; }
|
2016-02-11 23:07:30 +00:00
|
|
|
suffix[bufferSize] = (int)bufferSize; /* leads into noise */
|
|
|
|
suffix0[0] = (int)bufferSize; /* leads into noise */
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
/* build reverse suffix sort */
|
|
|
|
size_t pos;
|
|
|
|
for (pos=0; pos < bufferSize; pos++)
|
2016-01-28 14:39:52 +00:00
|
|
|
reverseSuffix[suffix[pos]] = (U32)pos;
|
2016-01-27 23:29:58 +00:00
|
|
|
/* build file pos */
|
|
|
|
filePos[0] = 0;
|
|
|
|
for (pos=1; pos<nbFiles; pos++)
|
2016-01-28 14:39:52 +00:00
|
|
|
filePos[pos] = (U32)(filePos[pos-1] + fileSizes[pos-1]);
|
2016-01-27 23:29:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
DISPLAYLEVEL(2, "finding patterns ... \n");
|
2016-01-29 15:48:10 +00:00
|
|
|
DISPLAYLEVEL(3, "minimum ratio : %u \n", minRatio);
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
{
|
|
|
|
U32 cursor; for (cursor=0; cursor < bufferSize; ) {
|
|
|
|
dictItem solution;
|
|
|
|
if (doneMarks[cursor]) { cursor++; continue; }
|
2016-02-11 23:07:30 +00:00
|
|
|
solution = ZDICT_analyzePos(doneMarks, suffix, reverseSuffix[cursor], buffer, minRatio);
|
2016-01-27 23:29:58 +00:00
|
|
|
if (solution.length==0) { cursor++; continue; }
|
2016-02-11 23:07:30 +00:00
|
|
|
ZDICT_insertDictItem(dictList, dictListSize, solution);
|
2016-01-27 23:29:58 +00:00
|
|
|
cursor += solution.length;
|
|
|
|
DISPLAYUPDATE(2, "\r%4.2f %% \r", (double)cursor / bufferSize * 100);
|
2016-01-29 15:48:10 +00:00
|
|
|
} }
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
/* limit dictionary size */
|
|
|
|
{
|
|
|
|
U32 max = dictList->pos; /* convention : nb of useful elts within dictList */
|
|
|
|
U32 currentSize = 0;
|
|
|
|
U32 n; for (n=1; n<max; n++) {
|
|
|
|
currentSize += dictList[n].length;
|
|
|
|
if (currentSize > maxDictSize) break;
|
|
|
|
}
|
|
|
|
dictList->pos = n;
|
|
|
|
}
|
|
|
|
|
2016-02-12 01:31:57 +00:00
|
|
|
_cleanup:
|
2016-01-27 23:29:58 +00:00
|
|
|
free(suffix0);
|
|
|
|
free(reverseSuffix);
|
|
|
|
free(doneMarks);
|
|
|
|
free(filePos);
|
2016-02-12 01:31:57 +00:00
|
|
|
return result;
|
2016-01-27 23:29:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
static void ZDICT_fillNoise(void* buffer, size_t length)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
|
|
|
unsigned acc = PRIME1;
|
|
|
|
size_t p=0;;
|
|
|
|
for (p=0; p<length; p++) {
|
|
|
|
acc *= PRIME2;
|
|
|
|
((unsigned char*)buffer)[p] = (unsigned char)(acc >> 21);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
typedef struct
|
|
|
|
{
|
|
|
|
ZSTD_CCtx* ref;
|
|
|
|
ZSTD_CCtx* zc;
|
2016-03-16 14:26:51 +00:00
|
|
|
void* workPlace; /* must be ZSTD_BLOCKSIZE_MAX allocated */
|
2016-01-27 23:29:58 +00:00
|
|
|
} EStats_ress_t;
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
static void ZDICT_countEStats(EStats_ress_t esr,
|
2016-01-27 23:29:58 +00:00
|
|
|
U32* countLit, U32* offsetcodeCount, U32* matchlengthCount, U32* litlengthCount,
|
|
|
|
const void* src, size_t srcSize)
|
|
|
|
{
|
2016-03-26 19:52:14 +00:00
|
|
|
const seqStore_t* seqStorePtr;
|
2016-01-27 23:29:58 +00:00
|
|
|
|
2016-03-16 14:26:51 +00:00
|
|
|
if (srcSize > ZSTD_BLOCKSIZE_MAX) srcSize = ZSTD_BLOCKSIZE_MAX; /* protection vs large samples */
|
2016-01-27 23:29:58 +00:00
|
|
|
ZSTD_copyCCtx(esr.zc, esr.ref);
|
2016-03-16 14:26:51 +00:00
|
|
|
ZSTD_compressBlock(esr.zc, esr.workPlace, ZSTD_BLOCKSIZE_MAX, src, srcSize);
|
2016-03-26 19:52:14 +00:00
|
|
|
seqStorePtr = ZSTD_getSeqStore(esr.zc);
|
|
|
|
|
|
|
|
/* literals stats */
|
|
|
|
{ const BYTE* bytePtr;
|
|
|
|
for(bytePtr = seqStorePtr->litStart; bytePtr < seqStorePtr->lit; bytePtr++)
|
|
|
|
countLit[*bytePtr]++;
|
2016-01-27 23:29:58 +00:00
|
|
|
}
|
2016-03-26 19:52:14 +00:00
|
|
|
|
|
|
|
/* seqStats */
|
|
|
|
{ size_t const nbSeq = (size_t)(seqStorePtr->offset - seqStorePtr->offsetStart);
|
|
|
|
ZSTD_seqToCodes(seqStorePtr, nbSeq);
|
|
|
|
|
|
|
|
{ const BYTE* codePtr = seqStorePtr->offCodeStart;
|
|
|
|
size_t u;
|
|
|
|
for (u=0; u<nbSeq; u++) offsetcodeCount[codePtr[u]]++;
|
|
|
|
}
|
|
|
|
|
|
|
|
{ const BYTE* codePtr = seqStorePtr->mlCodeStart;
|
|
|
|
size_t u;
|
|
|
|
for (u=0; u<nbSeq; u++) matchlengthCount[codePtr[u]]++;
|
|
|
|
}
|
|
|
|
|
|
|
|
{ const BYTE* codePtr = seqStorePtr->llCodeStart;
|
|
|
|
size_t u;
|
|
|
|
for (u=0; u<nbSeq; u++) litlengthCount[codePtr[u]]++;
|
|
|
|
} }
|
2016-01-27 23:29:58 +00:00
|
|
|
}
|
|
|
|
|
2016-03-30 17:48:05 +00:00
|
|
|
/*
|
2016-02-23 20:28:59 +00:00
|
|
|
static size_t ZDICT_maxSampleSize(const size_t* fileSizes, unsigned nbFiles)
|
|
|
|
{
|
|
|
|
unsigned u;
|
|
|
|
size_t max=0;
|
|
|
|
for (u=0; u<nbFiles; u++)
|
|
|
|
if (max < fileSizes[u]) max = fileSizes[u];
|
|
|
|
return max;
|
|
|
|
}
|
2016-03-30 17:48:05 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
static size_t ZDICT_totalSampleSize(const size_t* fileSizes, unsigned nbFiles)
|
|
|
|
{
|
|
|
|
size_t total;
|
|
|
|
unsigned u;
|
|
|
|
for (u=0, total=0; u<nbFiles; u++) total += fileSizes[u];
|
|
|
|
return total;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
#define OFFCODE_MAX 18 /* only applicable to first block */
|
|
|
|
static size_t ZDICT_analyzeEntropy(void* dstBuffer, size_t maxDstSize,
|
2016-01-29 01:45:26 +00:00
|
|
|
unsigned compressionLevel,
|
2016-01-31 22:45:35 +00:00
|
|
|
const void* srcBuffer, const size_t* fileSizes, unsigned nbFiles,
|
2016-01-27 23:29:58 +00:00
|
|
|
const void* dictBuffer, size_t dictBufferSize)
|
|
|
|
{
|
|
|
|
U32 countLit[256];
|
|
|
|
HUF_CREATE_STATIC_CTABLE(hufTable, 255);
|
2016-03-26 19:52:14 +00:00
|
|
|
U32 offcodeCount[OFFCODE_MAX+1];
|
|
|
|
short offcodeNCount[OFFCODE_MAX+1];
|
2016-01-27 23:29:58 +00:00
|
|
|
U32 matchLengthCount[MaxML+1];
|
|
|
|
short matchLengthNCount[MaxML+1];
|
2016-03-26 19:52:14 +00:00
|
|
|
U32 litLengthCount[MaxLL+1];
|
|
|
|
short litLengthNCount[MaxLL+1];
|
2016-01-27 23:29:58 +00:00
|
|
|
EStats_ress_t esr;
|
|
|
|
ZSTD_parameters params;
|
|
|
|
U32 u, huffLog = 12, Offlog = OffFSELog, mlLog = MLFSELog, llLog = LLFSELog, total;
|
|
|
|
size_t pos = 0, errorCode;
|
|
|
|
size_t eSize = 0;
|
2016-03-30 17:48:05 +00:00
|
|
|
size_t const totalSrcSize = ZDICT_totalSampleSize(fileSizes, nbFiles);
|
|
|
|
size_t const averageSampleSize = totalSrcSize / nbFiles;
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
/* init */
|
|
|
|
for (u=0; u<256; u++) countLit[u]=1; /* any character must be described */
|
|
|
|
for (u=0; u<=OFFCODE_MAX; u++) offcodeCount[u]=1;
|
|
|
|
for (u=0; u<=MaxML; u++) matchLengthCount[u]=1;
|
2016-03-26 19:52:14 +00:00
|
|
|
for (u=0; u<=MaxLL; u++) litLengthCount[u]=1;
|
2016-01-27 23:29:58 +00:00
|
|
|
esr.ref = ZSTD_createCCtx();
|
|
|
|
esr.zc = ZSTD_createCCtx();
|
2016-03-16 14:26:51 +00:00
|
|
|
esr.workPlace = malloc(ZSTD_BLOCKSIZE_MAX);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (!esr.ref || !esr.zc || !esr.workPlace) {
|
|
|
|
eSize = ERROR(memory_allocation);
|
|
|
|
DISPLAYLEVEL(1, "Not enough memory");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-29 01:45:26 +00:00
|
|
|
if (compressionLevel==0) compressionLevel=g_compressionLevel_default;
|
2016-03-30 17:48:05 +00:00
|
|
|
params.cParams = ZSTD_getCParams(compressionLevel, averageSampleSize, dictBufferSize);
|
|
|
|
params.cParams.strategy = ZSTD_greedy;
|
|
|
|
params.fParams.contentSizeFlag = 0;
|
|
|
|
ZSTD_compressBegin_advanced(esr.ref, dictBuffer, dictBufferSize, params, 0);
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
/* collect stats on all files */
|
|
|
|
for (u=0; u<nbFiles; u++) {
|
2016-02-11 23:07:30 +00:00
|
|
|
ZDICT_countEStats(esr,
|
2016-03-26 19:52:14 +00:00
|
|
|
countLit, offcodeCount, matchLengthCount, litLengthCount,
|
2016-01-27 23:29:58 +00:00
|
|
|
(const char*)srcBuffer + pos, fileSizes[u]);
|
|
|
|
pos += fileSizes[u];
|
|
|
|
}
|
|
|
|
|
|
|
|
/* analyze */
|
|
|
|
errorCode = HUF_buildCTable (hufTable, countLit, 255, huffLog);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (HUF_isError(errorCode)) {
|
|
|
|
eSize = ERROR(GENERIC);
|
|
|
|
DISPLAYLEVEL(1, "HUF_buildCTable error");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
huffLog = (U32)errorCode;
|
|
|
|
|
|
|
|
total=0; for (u=0; u<=OFFCODE_MAX; u++) total+=offcodeCount[u];
|
|
|
|
errorCode = FSE_normalizeCount(offcodeNCount, Offlog, offcodeCount, total, OFFCODE_MAX);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (FSE_isError(errorCode)) {
|
|
|
|
eSize = ERROR(GENERIC);
|
|
|
|
DISPLAYLEVEL(1, "FSE_normalizeCount error with offcodeCount");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
Offlog = (U32)errorCode;
|
|
|
|
|
|
|
|
total=0; for (u=0; u<=MaxML; u++) total+=matchLengthCount[u];
|
|
|
|
errorCode = FSE_normalizeCount(matchLengthNCount, mlLog, matchLengthCount, total, MaxML);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (FSE_isError(errorCode)) {
|
|
|
|
eSize = ERROR(GENERIC);
|
|
|
|
DISPLAYLEVEL(1, "FSE_normalizeCount error with matchLengthCount");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
mlLog = (U32)errorCode;
|
|
|
|
|
2016-03-26 19:52:14 +00:00
|
|
|
total=0; for (u=0; u<=MaxLL; u++) total+=litLengthCount[u];
|
|
|
|
errorCode = FSE_normalizeCount(litLengthNCount, llLog, litLengthCount, total, MaxLL);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (FSE_isError(errorCode)) {
|
|
|
|
eSize = ERROR(GENERIC);
|
2016-03-26 19:52:14 +00:00
|
|
|
DISPLAYLEVEL(1, "FSE_normalizeCount error with litLengthCount");
|
2016-02-12 01:31:57 +00:00
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
llLog = (U32)errorCode;
|
|
|
|
|
|
|
|
/* write result to buffer */
|
|
|
|
errorCode = HUF_writeCTable(dstBuffer, maxDstSize, hufTable, 255, huffLog);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (HUF_isError(errorCode)) {
|
|
|
|
eSize = ERROR(GENERIC);
|
|
|
|
DISPLAYLEVEL(1, "HUF_writeCTable error");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
dstBuffer = (char*)dstBuffer + errorCode;
|
|
|
|
maxDstSize -= errorCode;
|
|
|
|
eSize += errorCode;
|
|
|
|
|
|
|
|
errorCode = FSE_writeNCount(dstBuffer, maxDstSize, offcodeNCount, OFFCODE_MAX, Offlog);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (FSE_isError(errorCode)) {
|
|
|
|
eSize = ERROR(GENERIC);
|
|
|
|
DISPLAYLEVEL(1, "FSE_writeNCount error with offcodeNCount");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
dstBuffer = (char*)dstBuffer + errorCode;
|
|
|
|
maxDstSize -= errorCode;
|
|
|
|
eSize += errorCode;
|
|
|
|
|
|
|
|
errorCode = FSE_writeNCount(dstBuffer, maxDstSize, matchLengthNCount, MaxML, mlLog);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (FSE_isError(errorCode)) {
|
|
|
|
eSize = ERROR(GENERIC);
|
|
|
|
DISPLAYLEVEL(1, "FSE_writeNCount error with matchLengthNCount");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
dstBuffer = (char*)dstBuffer + errorCode;
|
|
|
|
maxDstSize -= errorCode;
|
|
|
|
eSize += errorCode;
|
|
|
|
|
2016-03-26 19:52:14 +00:00
|
|
|
errorCode = FSE_writeNCount(dstBuffer, maxDstSize, litLengthNCount, MaxLL, llLog);
|
2016-02-12 01:31:57 +00:00
|
|
|
if (FSE_isError(errorCode)) {
|
|
|
|
eSize = ERROR(GENERIC);
|
|
|
|
DISPLAYLEVEL(1, "FSE_writeNCount error with litlengthNCount");
|
|
|
|
goto _cleanup;
|
|
|
|
}
|
2016-01-27 23:29:58 +00:00
|
|
|
dstBuffer = (char*)dstBuffer + errorCode;
|
|
|
|
maxDstSize -= errorCode;
|
|
|
|
eSize += errorCode;
|
|
|
|
|
2016-02-12 01:31:57 +00:00
|
|
|
_cleanup:
|
2016-01-27 23:29:58 +00:00
|
|
|
ZSTD_freeCCtx(esr.ref);
|
|
|
|
ZSTD_freeCCtx(esr.zc);
|
|
|
|
free(esr.workPlace);
|
|
|
|
|
|
|
|
return eSize;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-01-29 01:45:26 +00:00
|
|
|
#define DIB_FASTSEGMENTSIZE 64
|
2016-02-12 01:31:57 +00:00
|
|
|
/*! ZDICT_fastSampling() (based on an idea proposed by Giuseppe Ottaviano) :
|
|
|
|
Fill `dictBuffer` with stripes of size DIB_FASTSEGMENTSIZE from `samplesBuffer`,
|
2016-02-11 23:07:30 +00:00
|
|
|
up to `dictSize`.
|
|
|
|
Filling starts from the end of `dictBuffer`, down to maximum possible.
|
|
|
|
if `dictSize` is not a multiply of DIB_FASTSEGMENTSIZE, some bytes at beginning of `dictBuffer` won't be used.
|
2016-02-12 01:31:57 +00:00
|
|
|
@return : amount of data written into `dictBuffer`,
|
2016-02-11 23:07:30 +00:00
|
|
|
or an error code
|
2016-01-29 01:45:26 +00:00
|
|
|
*/
|
2016-02-11 23:07:30 +00:00
|
|
|
static size_t ZDICT_fastSampling(void* dictBuffer, size_t dictSize,
|
2016-01-29 01:45:26 +00:00
|
|
|
const void* samplesBuffer, size_t samplesSize)
|
|
|
|
{
|
|
|
|
char* dstPtr = (char*)dictBuffer + dictSize;
|
|
|
|
const char* srcPtr = (const char*)samplesBuffer;
|
|
|
|
size_t nbSegments = dictSize / DIB_FASTSEGMENTSIZE;
|
|
|
|
size_t segNb, interSize;
|
|
|
|
|
|
|
|
if (nbSegments <= 2) return ERROR(srcSize_wrong);
|
|
|
|
if (samplesSize < dictSize) return ERROR(srcSize_wrong);
|
|
|
|
|
|
|
|
/* first and last segments are part of dictionary, in case they contain interesting header/footer */
|
|
|
|
dstPtr -= DIB_FASTSEGMENTSIZE;
|
|
|
|
memcpy(dstPtr, srcPtr, DIB_FASTSEGMENTSIZE);
|
|
|
|
dstPtr -= DIB_FASTSEGMENTSIZE;
|
|
|
|
memcpy(dstPtr, srcPtr+samplesSize-DIB_FASTSEGMENTSIZE, DIB_FASTSEGMENTSIZE);
|
|
|
|
|
|
|
|
/* regularly copy a segment */
|
|
|
|
interSize = (samplesSize - nbSegments*DIB_FASTSEGMENTSIZE) / (nbSegments-1);
|
|
|
|
srcPtr += DIB_FASTSEGMENTSIZE;
|
|
|
|
for (segNb=2; segNb < nbSegments; segNb++) {
|
|
|
|
srcPtr += interSize;
|
|
|
|
dstPtr -= DIB_FASTSEGMENTSIZE;
|
|
|
|
memcpy(dstPtr, srcPtr, DIB_FASTSEGMENTSIZE);
|
|
|
|
srcPtr += DIB_FASTSEGMENTSIZE;
|
|
|
|
}
|
|
|
|
|
|
|
|
return nbSegments * DIB_FASTSEGMENTSIZE;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-03-26 19:52:14 +00:00
|
|
|
#define DIB_MINSAMPLESSIZE (DIB_FASTSEGMENTSIZE*3)
|
|
|
|
/*! ZDICT_trainFromBuffer_unsafe() :
|
|
|
|
* `samplesBuffer` must be followed by noisy guard band.
|
|
|
|
* @return : size of dictionary.
|
|
|
|
*/
|
2016-02-11 23:07:30 +00:00
|
|
|
size_t ZDICT_trainFromBuffer_unsafe(
|
2016-01-31 22:45:35 +00:00
|
|
|
void* dictBuffer, size_t maxDictSize,
|
|
|
|
const void* samplesBuffer, const size_t* sampleSizes, unsigned nbSamples,
|
2016-02-11 23:07:30 +00:00
|
|
|
ZDICT_params_t params)
|
2016-01-27 23:29:58 +00:00
|
|
|
{
|
2016-03-26 19:52:14 +00:00
|
|
|
U32 const dictListSize = MAX( MAX(DICTLISTSIZE, nbSamples), (U32)(maxDictSize/16));
|
2016-01-27 23:29:58 +00:00
|
|
|
dictItem* dictList = (dictItem*)malloc(dictListSize * sizeof(*dictList));
|
2016-01-31 22:45:35 +00:00
|
|
|
unsigned selectivity = params.selectivityLevel;
|
|
|
|
unsigned compressionLevel = params.compressionLevel;
|
2016-02-23 20:28:59 +00:00
|
|
|
size_t targetDictSize = maxDictSize;
|
2016-01-31 22:45:35 +00:00
|
|
|
size_t sBuffSize;
|
|
|
|
size_t dictSize = 0;
|
2016-01-27 23:29:58 +00:00
|
|
|
|
2016-01-31 22:45:35 +00:00
|
|
|
/* checks */
|
|
|
|
if (maxDictSize <= g_provision_entropySize + g_min_fast_dictContent) return ERROR(dstSize_tooSmall);
|
2016-03-26 19:52:14 +00:00
|
|
|
if (!dictList) return ERROR(memory_allocation);
|
2016-01-27 23:29:58 +00:00
|
|
|
|
2016-01-31 22:45:35 +00:00
|
|
|
/* init */
|
|
|
|
{ unsigned u; for (u=0, sBuffSize=0; u<nbSamples; u++) sBuffSize += sampleSizes[u]; }
|
2016-03-26 19:52:14 +00:00
|
|
|
if (sBuffSize < DIB_MINSAMPLESSIZE) return 0; /* not enough source to create dictionary */
|
2016-02-11 23:07:30 +00:00
|
|
|
ZDICT_initDictItem(dictList);
|
2016-02-12 19:19:48 +00:00
|
|
|
g_displayLevel = params.notificationLevel;
|
2016-01-31 22:45:35 +00:00
|
|
|
if (selectivity==0) selectivity = g_selectivity_default;
|
|
|
|
if (compressionLevel==0) compressionLevel = g_compressionLevel_default;
|
2016-01-27 23:29:58 +00:00
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
/* build dictionary */
|
|
|
|
if (selectivity>1) { /* selectivity == 1 => fast mode */
|
|
|
|
ZDICT_trainBuffer(dictList, dictListSize,
|
2016-01-31 22:45:35 +00:00
|
|
|
samplesBuffer, sBuffSize,
|
|
|
|
sampleSizes, nbSamples,
|
2016-01-31 23:03:10 +00:00
|
|
|
selectivity, (U32)targetDictSize);
|
2016-01-29 01:45:26 +00:00
|
|
|
|
|
|
|
/* display best matches */
|
|
|
|
if (g_displayLevel>= 3) {
|
2016-03-26 19:52:14 +00:00
|
|
|
U32 const nb = 25;
|
|
|
|
U32 const dictContentSize = ZDICT_dictSize(dictList);
|
2016-01-29 01:45:26 +00:00
|
|
|
U32 u;
|
|
|
|
DISPLAYLEVEL(3, "\n %u segments found, of total size %u \n", dictList[0].pos, dictContentSize);
|
|
|
|
DISPLAYLEVEL(3, "list %u best segments \n", nb);
|
|
|
|
for (u=1; u<=nb; u++) {
|
|
|
|
U32 p = dictList[u].pos;
|
|
|
|
U32 l = dictList[u].length;
|
|
|
|
U32 d = MIN(40, l);
|
|
|
|
DISPLAYLEVEL(3, "%3u:%3u bytes at pos %8u, savings %7u bytes |",
|
|
|
|
u, l, p, dictList[u].savings);
|
2016-02-11 23:07:30 +00:00
|
|
|
ZDICT_printHex(3, (const char*)samplesBuffer+p, d);
|
2016-01-29 01:45:26 +00:00
|
|
|
DISPLAYLEVEL(3, "| \n");
|
|
|
|
} } }
|
2016-01-27 23:29:58 +00:00
|
|
|
|
|
|
|
/* create dictionary */
|
2016-03-26 19:52:14 +00:00
|
|
|
{ U32 dictContentSize = ZDICT_dictSize(dictList);
|
2016-01-31 22:45:35 +00:00
|
|
|
size_t hSize;
|
2016-01-27 23:29:58 +00:00
|
|
|
BYTE* ptr;
|
|
|
|
U32 u;
|
|
|
|
|
|
|
|
/* build dict content */
|
2016-01-31 22:45:35 +00:00
|
|
|
ptr = (BYTE*)dictBuffer + maxDictSize;
|
2016-01-27 23:29:58 +00:00
|
|
|
for (u=1; u<dictList->pos; u++) {
|
|
|
|
U32 l = dictList[u].length;
|
|
|
|
ptr -= l;
|
2016-01-31 22:45:35 +00:00
|
|
|
if (ptr<(BYTE*)dictBuffer) return ERROR(GENERIC); /* should not happen */
|
|
|
|
memcpy(ptr, (const char*)samplesBuffer+dictList[u].pos, l);
|
2016-01-27 23:29:58 +00:00
|
|
|
}
|
|
|
|
|
2016-01-29 15:48:10 +00:00
|
|
|
/* fast mode dict content */
|
2016-01-31 22:45:35 +00:00
|
|
|
if (selectivity==1) { /* note could also be used to complete a dictionary, but not necessarily better */
|
|
|
|
DISPLAYLEVEL(3, "\r%70s\r", ""); /* clean display line */
|
|
|
|
DISPLAYLEVEL(3, "Adding %u KB with fast sampling \n", (U32)(targetDictSize>>10));
|
2016-02-23 20:28:59 +00:00
|
|
|
dictContentSize = (U32)ZDICT_fastSampling(dictBuffer, targetDictSize,
|
|
|
|
samplesBuffer, sBuffSize);
|
2016-01-29 01:45:26 +00:00
|
|
|
}
|
|
|
|
|
2016-01-31 22:45:35 +00:00
|
|
|
/* dictionary header */
|
|
|
|
MEM_writeLE32(dictBuffer, ZSTD_DICT_MAGIC);
|
2016-01-27 23:29:58 +00:00
|
|
|
hSize = 4;
|
|
|
|
|
|
|
|
/* entropic tables */
|
2016-01-31 22:45:35 +00:00
|
|
|
DISPLAYLEVEL(2, "\r%70s\r", ""); /* clean display line */
|
2016-01-27 23:29:58 +00:00
|
|
|
DISPLAYLEVEL(2, "statistics ... \n");
|
2016-02-11 23:07:30 +00:00
|
|
|
hSize += ZDICT_analyzeEntropy((char*)dictBuffer+4, maxDictSize-4,
|
2016-01-29 01:45:26 +00:00
|
|
|
compressionLevel,
|
2016-01-31 22:45:35 +00:00
|
|
|
samplesBuffer, sampleSizes, nbSamples,
|
|
|
|
(char*)dictBuffer + maxDictSize - dictContentSize, dictContentSize);
|
2016-01-27 23:29:58 +00:00
|
|
|
|
2016-01-31 22:45:35 +00:00
|
|
|
if (hSize + dictContentSize < maxDictSize)
|
|
|
|
memmove((char*)dictBuffer + hSize, (char*)dictBuffer + maxDictSize - dictContentSize, dictContentSize);
|
|
|
|
dictSize = MIN(maxDictSize, hSize+dictContentSize);
|
2016-01-27 23:29:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* clean up */
|
|
|
|
free(dictList);
|
2016-01-31 22:45:35 +00:00
|
|
|
return dictSize;
|
2016-01-27 23:29:58 +00:00
|
|
|
}
|
|
|
|
|
2016-01-31 22:45:35 +00:00
|
|
|
|
2016-03-26 19:52:14 +00:00
|
|
|
/* issue : samplesBuffer need to be followed by a noisy guard band.
|
|
|
|
* work around : duplicate the buffer, and add the noise */
|
2016-02-11 23:07:30 +00:00
|
|
|
size_t ZDICT_trainFromBuffer_advanced(void* dictBuffer, size_t dictBufferCapacity,
|
|
|
|
const void* samplesBuffer, const size_t* samplesSizes, unsigned nbSamples,
|
|
|
|
ZDICT_params_t params)
|
2016-01-31 22:45:35 +00:00
|
|
|
{
|
|
|
|
void* newBuff;
|
2016-03-26 19:52:14 +00:00
|
|
|
size_t sBuffSize;
|
2016-01-31 22:45:35 +00:00
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
{ unsigned u; for (u=0, sBuffSize=0; u<nbSamples; u++) sBuffSize += samplesSizes[u]; }
|
2016-03-26 19:52:14 +00:00
|
|
|
if (sBuffSize==0) return 0; /* empty content => no dictionary */
|
2016-01-31 22:45:35 +00:00
|
|
|
newBuff = malloc(sBuffSize + NOISELENGTH);
|
|
|
|
if (!newBuff) return ERROR(memory_allocation);
|
|
|
|
|
|
|
|
memcpy(newBuff, samplesBuffer, sBuffSize);
|
2016-02-11 23:07:30 +00:00
|
|
|
ZDICT_fillNoise((char*)newBuff + sBuffSize, NOISELENGTH); /* guard band, for end of buffer condition */
|
2016-01-31 22:45:35 +00:00
|
|
|
|
2016-03-26 19:52:14 +00:00
|
|
|
{ size_t const result = ZDICT_trainFromBuffer_unsafe(
|
|
|
|
dictBuffer, dictBufferCapacity,
|
2016-02-11 23:07:30 +00:00
|
|
|
newBuff, samplesSizes, nbSamples,
|
2016-01-31 22:45:35 +00:00
|
|
|
params);
|
2016-03-26 19:52:14 +00:00
|
|
|
free(newBuff);
|
|
|
|
return result; }
|
2016-01-31 22:45:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2016-02-11 23:07:30 +00:00
|
|
|
size_t ZDICT_trainFromBuffer(void* dictBuffer, size_t dictBufferCapacity,
|
|
|
|
const void* samplesBuffer, const size_t* samplesSizes, unsigned nbSamples)
|
2016-01-31 22:45:35 +00:00
|
|
|
{
|
2016-02-11 23:07:30 +00:00
|
|
|
ZDICT_params_t params;
|
|
|
|
memset(¶ms, 0, sizeof(params));
|
|
|
|
return ZDICT_trainFromBuffer_advanced(dictBuffer, dictBufferCapacity,
|
|
|
|
samplesBuffer, samplesSizes, nbSamples,
|
|
|
|
params);
|
2016-01-31 22:45:35 +00:00
|
|
|
}
|
2016-02-11 23:07:30 +00:00
|
|
|
|