blob: b7ed280eaacfbdeca691fba80083e7eddfadc619 [file] [log] [blame]
Yann Collet4ded9e52016-08-30 10:04:33 -07001/**
2 * Copyright (c) 2016-present, Yann Collet, Facebook, Inc.
3 * All rights reserved.
4 *
5 * This source code is licensed under the BSD-style license found in the
6 * LICENSE file in the root directory of this source tree. An additional grant
7 * of patent rights can be found in the PATENTS file in the same directory.
8 */
Yann Collet71eafdd2016-02-12 02:31:57 +01009
Yann Collet71eafdd2016-02-12 02:31:57 +010010
Yann Collet71eafdd2016-02-12 02:31:57 +010011
Przemyslaw Skibinski2f6ccee2016-12-21 13:23:34 +010012/* **************************************
13* Compiler Warnings
14****************************************/
15#ifdef _MSC_VER
Przemyslaw Skibinski2f6ccee2016-12-21 13:23:34 +010016# pragma warning(disable : 4127) /* disable: C4127: conditional expression is constant */
17#endif
18
19
Yann Collet71eafdd2016-02-12 02:31:57 +010020/*-*************************************
21* Includes
22***************************************/
Przemyslaw Skibinski7a8a03c2016-12-21 15:08:44 +010023#include "platform.h" /* Large Files support */
Przemyslaw Skibinski2f6ccee2016-12-21 13:23:34 +010024#include "util.h" /* UTIL_getFileSize, UTIL_getTotalFileSize */
Yann Collet71eafdd2016-02-12 02:31:57 +010025#include <stdlib.h> /* malloc, free */
26#include <string.h> /* memset */
27#include <stdio.h> /* fprintf, fopen, ftello64 */
inikep37337972016-05-10 14:22:55 +020028#include <time.h> /* clock_t, clock, CLOCKS_PER_SEC */
Yann Colleta3d03a32016-07-06 16:27:17 +020029#include <errno.h> /* errno */
Yann Collet71eafdd2016-02-12 02:31:57 +010030
Przemyslaw Skibinski2f6ccee2016-12-21 13:23:34 +010031#include "mem.h" /* read */
Yann Collet71eafdd2016-02-12 02:31:57 +010032#include "error_private.h"
inikep23a08892016-04-22 12:43:18 +020033#include "dibio.h"
Yann Collet71eafdd2016-02-12 02:31:57 +010034
35
36/*-*************************************
37* Constants
38***************************************/
39#define KB *(1 <<10)
40#define MB *(1 <<20)
41#define GB *(1U<<30)
42
Yann Collet1496c3d2016-12-18 11:58:23 +010043#define SAMPLESIZE_MAX (128 KB)
44#define MEMMULT 11 /* rough estimation : memory cost to analyze 1 byte of sample */
Nick Terrelldf8415c2016-12-31 21:08:24 -080045#define COVER_MEMMULT 9 /* rough estimation : memory cost to analyze 1 byte of sample */
Yann Collet71eafdd2016-02-12 02:31:57 +010046static const size_t maxMemory = (sizeof(size_t) == 4) ? (2 GB - 64 MB) : ((size_t)(512 MB) << sizeof(size_t));
47
48#define NOISELENGTH 32
Yann Collet71eafdd2016-02-12 02:31:57 +010049
50
51/*-*************************************
52* Console display
53***************************************/
54#define DISPLAY(...) fprintf(stderr, __VA_ARGS__)
55#define DISPLAYLEVEL(l, ...) if (g_displayLevel>=l) { DISPLAY(__VA_ARGS__); }
Sean Purcell042ba122017-03-23 11:13:52 -070056static int g_displayLevel = 0; /* 0 : no display; 1: errors; 2: default; 4: full information */
Yann Collet71eafdd2016-02-12 02:31:57 +010057
Yann Colletf6ca09b2016-05-09 04:44:45 +020058#define DISPLAYUPDATE(l, ...) if (g_displayLevel>=l) { \
Yann Colletbcb5f772016-07-06 15:41:03 +020059 if ((DIB_clockSpan(g_time) > refreshRate) || (g_displayLevel>=4)) \
Yann Colletf6ca09b2016-05-09 04:44:45 +020060 { g_time = clock(); DISPLAY(__VA_ARGS__); \
Sean Purcell042ba122017-03-23 11:13:52 -070061 if (g_displayLevel>=4) fflush(stderr); } }
Yann Colletbcb5f772016-07-06 15:41:03 +020062static const clock_t refreshRate = CLOCKS_PER_SEC * 2 / 10;
Yann Colletf6ca09b2016-05-09 04:44:45 +020063static clock_t g_time = 0;
64
Yann Colletbcb5f772016-07-06 15:41:03 +020065static clock_t DIB_clockSpan(clock_t nPrevious) { return clock() - nPrevious; }
Yann Colletf6ca09b2016-05-09 04:44:45 +020066
Yann Collet71eafdd2016-02-12 02:31:57 +010067
68/*-*************************************
69* Exceptions
70***************************************/
71#ifndef DEBUG
72# define DEBUG 0
73#endif
74#define DEBUGOUTPUT(...) if (DEBUG) DISPLAY(__VA_ARGS__);
75#define EXM_THROW(error, ...) \
76{ \
77 DEBUGOUTPUT("Error defined at %s, line %i : \n", __FILE__, __LINE__); \
78 DISPLAYLEVEL(1, "Error %i : ", error); \
79 DISPLAYLEVEL(1, __VA_ARGS__); \
80 DISPLAYLEVEL(1, "\n"); \
81 exit(error); \
82}
83
84
85/* ********************************************************
86* Helper functions
87**********************************************************/
88unsigned DiB_isError(size_t errorCode) { return ERR_isError(errorCode); }
89
90const char* DiB_getErrorName(size_t errorCode) { return ERR_getErrorName(errorCode); }
91
Yann Colletbcb5f772016-07-06 15:41:03 +020092#define MIN(a,b) ( (a) < (b) ? (a) : (b) )
93
Yann Collet71eafdd2016-02-12 02:31:57 +010094
95/* ********************************************************
96* File related operations
97**********************************************************/
Yann Collet290aaa72016-05-30 21:18:52 +020098/** DiB_loadFiles() :
99* @return : nb of files effectively loaded into `buffer` */
Yann Colletbcb5f772016-07-06 15:41:03 +0200100static unsigned DiB_loadFiles(void* buffer, size_t* bufferSizePtr,
Yann Collet290aaa72016-05-30 21:18:52 +0200101 size_t* fileSizes,
102 const char** fileNamesTable, unsigned nbFiles)
Yann Collet71eafdd2016-02-12 02:31:57 +0100103{
Yann Collet290aaa72016-05-30 21:18:52 +0200104 char* const buff = (char*)buffer;
Yann Collet71eafdd2016-02-12 02:31:57 +0100105 size_t pos = 0;
106 unsigned n;
107
108 for (n=0; n<nbFiles; n++) {
Yann Colletbcb5f772016-07-06 15:41:03 +0200109 const char* const fileName = fileNamesTable[n];
110 unsigned long long const fs64 = UTIL_getFileSize(fileName);
Yann Collet1496c3d2016-12-18 11:58:23 +0100111 size_t const fileSize = (size_t) MIN(fs64, SAMPLESIZE_MAX);
Yann Colletbcb5f772016-07-06 15:41:03 +0200112 if (fileSize > *bufferSizePtr-pos) break;
113 { FILE* const f = fopen(fileName, "rb");
114 if (f==NULL) EXM_THROW(10, "zstd: dictBuilder: %s %s ", fileName, strerror(errno));
115 DISPLAYUPDATE(2, "Loading %s... \r", fileName);
116 { size_t const readSize = fread(buff+pos, 1, fileSize, f);
117 if (readSize != fileSize) EXM_THROW(11, "Pb reading %s", fileName);
118 pos += readSize; }
119 fileSizes[n] = fileSize;
120 fclose(f);
121 } }
Nick Terrelldf8415c2016-12-31 21:08:24 -0800122 DISPLAYLEVEL(2, "\r%79s\r", "");
Yann Colletbcb5f772016-07-06 15:41:03 +0200123 *bufferSizePtr = pos;
Yann Collet290aaa72016-05-30 21:18:52 +0200124 return n;
Yann Collet71eafdd2016-02-12 02:31:57 +0100125}
126
Nick Terrelldf8415c2016-12-31 21:08:24 -0800127#define DiB_rotl32(x,r) ((x << r) | (x >> (32 - r)))
128static U32 DiB_rand(U32* src)
129{
130 static const U32 prime1 = 2654435761U;
131 static const U32 prime2 = 2246822519U;
132 U32 rand32 = *src;
133 rand32 *= prime1;
134 rand32 ^= prime2;
135 rand32 = DiB_rotl32(rand32, 13);
136 *src = rand32;
137 return rand32 >> 5;
138}
139
140static void DiB_shuffle(const char** fileNamesTable, unsigned nbFiles) {
141 /* Initialize the pseudorandom number generator */
142 U32 seed = 0xFD2FB528;
143 unsigned i;
144 for (i = nbFiles - 1; i > 0; --i) {
145 unsigned const j = DiB_rand(&seed) % (i + 1);
146 const char* tmp = fileNamesTable[j];
147 fileNamesTable[j] = fileNamesTable[i];
148 fileNamesTable[i] = tmp;
149 }
150}
151
Yann Collet71eafdd2016-02-12 02:31:57 +0100152
153/*-********************************************************
154* Dictionary training functions
155**********************************************************/
156static size_t DiB_findMaxMem(unsigned long long requiredMem)
157{
Yann Collet290aaa72016-05-30 21:18:52 +0200158 size_t const step = 8 MB;
Yann Collet71eafdd2016-02-12 02:31:57 +0100159 void* testmem = NULL;
160
161 requiredMem = (((requiredMem >> 23) + 1) << 23);
Yann Colletbcb5f772016-07-06 15:41:03 +0200162 requiredMem += step;
Yann Collet71eafdd2016-02-12 02:31:57 +0100163 if (requiredMem > maxMemory) requiredMem = maxMemory;
164
165 while (!testmem) {
Yann Collet71eafdd2016-02-12 02:31:57 +0100166 testmem = malloc((size_t)requiredMem);
Yann Colletbcb5f772016-07-06 15:41:03 +0200167 requiredMem -= step;
Yann Collet71eafdd2016-02-12 02:31:57 +0100168 }
169
170 free(testmem);
Yann Colletbcb5f772016-07-06 15:41:03 +0200171 return (size_t)requiredMem;
Yann Collet71eafdd2016-02-12 02:31:57 +0100172}
173
174
175static void DiB_fillNoise(void* buffer, size_t length)
176{
Yann Colletbcb5f772016-07-06 15:41:03 +0200177 unsigned const prime1 = 2654435761U;
178 unsigned const prime2 = 2246822519U;
179 unsigned acc = prime1;
Yann Collet71eafdd2016-02-12 02:31:57 +0100180 size_t p=0;;
181
182 for (p=0; p<length; p++) {
Yann Colletbcb5f772016-07-06 15:41:03 +0200183 acc *= prime2;
Yann Collet71eafdd2016-02-12 02:31:57 +0100184 ((unsigned char*)buffer)[p] = (unsigned char)(acc >> 21);
185 }
186}
187
188
189static void DiB_saveDict(const char* dictFileName,
190 const void* buff, size_t buffSize)
191{
Yann Collet290aaa72016-05-30 21:18:52 +0200192 FILE* const f = fopen(dictFileName, "wb");
Yann Collet71eafdd2016-02-12 02:31:57 +0100193 if (f==NULL) EXM_THROW(3, "cannot open %s ", dictFileName);
194
Yann Colletf6ca09b2016-05-09 04:44:45 +0200195 { size_t const n = fwrite(buff, 1, buffSize, f);
196 if (n!=buffSize) EXM_THROW(4, "%s : write error", dictFileName) }
Yann Collet71eafdd2016-02-12 02:31:57 +0100197
Yann Colletf6ca09b2016-05-09 04:44:45 +0200198 { size_t const n = (size_t)fclose(f);
199 if (n!=0) EXM_THROW(5, "%s : flush error", dictFileName) }
Yann Collet71eafdd2016-02-12 02:31:57 +0100200}
201
202
Yann Collet1496c3d2016-12-18 11:58:23 +0100203static int g_tooLargeSamples = 0;
204static U64 DiB_getTotalCappedFileSize(const char** fileNamesTable, unsigned nbFiles)
205{
206 U64 total = 0;
207 unsigned n;
208 for (n=0; n<nbFiles; n++) {
209 U64 const fileSize = UTIL_getFileSize(fileNamesTable[n]);
210 U64 const cappedFileSize = MIN(fileSize, SAMPLESIZE_MAX);
211 total += cappedFileSize;
212 g_tooLargeSamples |= (fileSize > 2*SAMPLESIZE_MAX);
213 }
214 return total;
215}
216
217
Yann Collet6f3acba2016-02-12 20:19:48 +0100218/*! ZDICT_trainFromBuffer_unsafe() :
219 Strictly Internal use only !!
220 Same as ZDICT_trainFromBuffer_advanced(), but does not control `samplesBuffer`.
221 `samplesBuffer` must be followed by noisy guard band to avoid out-of-buffer reads.
222 @return : size of dictionary stored into `dictBuffer` (<= `dictBufferCapacity`)
223 or an error code.
224*/
225size_t ZDICT_trainFromBuffer_unsafe(void* dictBuffer, size_t dictBufferCapacity,
226 const void* samplesBuffer, const size_t* samplesSizes, unsigned nbSamples,
227 ZDICT_params_t parameters);
228
229
Yann Collet71eafdd2016-02-12 02:31:57 +0100230int DiB_trainFromFiles(const char* dictFileName, unsigned maxDictSize,
231 const char** fileNamesTable, unsigned nbFiles,
Nick Terrelldf8415c2016-12-31 21:08:24 -0800232 ZDICT_params_t *params, COVER_params_t *coverParams,
233 int optimizeCover)
Yann Collet71eafdd2016-02-12 02:31:57 +0100234{
Yann Collet290aaa72016-05-30 21:18:52 +0200235 void* const dictBuffer = malloc(maxDictSize);
236 size_t* const fileSizes = (size_t*)malloc(nbFiles * sizeof(size_t));
Yann Collet1496c3d2016-12-18 11:58:23 +0100237 unsigned long long const totalSizeToLoad = DiB_getTotalCappedFileSize(fileNamesTable, nbFiles);
Nick Terrellc220d4c2017-01-09 16:49:04 -0800238 size_t const memMult = params ? MEMMULT : COVER_MEMMULT;
239 size_t const maxMem = DiB_findMaxMem(totalSizeToLoad * memMult) / memMult;
Yann Colletd46ecb52016-12-17 16:28:12 +0100240 size_t benchedSize = (size_t) MIN ((unsigned long long)maxMem, totalSizeToLoad);
Yann Collet290aaa72016-05-30 21:18:52 +0200241 void* const srcBuffer = malloc(benchedSize+NOISELENGTH);
Yann Collet71eafdd2016-02-12 02:31:57 +0100242 int result = 0;
243
Yann Collet290aaa72016-05-30 21:18:52 +0200244 /* Checks */
Nick Terrelldf8415c2016-12-31 21:08:24 -0800245 if (params) g_displayLevel = params->notificationLevel;
246 else if (coverParams) g_displayLevel = coverParams->notificationLevel;
247 else EXM_THROW(13, "Neither dictionary algorith selected"); /* should not happen */
Yann Collet290aaa72016-05-30 21:18:52 +0200248 if ((!fileSizes) || (!srcBuffer) || (!dictBuffer)) EXM_THROW(12, "not enough memory for DiB_trainFiles"); /* should not happen */
Yann Collet1496c3d2016-12-18 11:58:23 +0100249 if (g_tooLargeSamples) {
250 DISPLAYLEVEL(2, "! Warning : some samples are very large \n");
251 DISPLAYLEVEL(2, "! Note that dictionary is only useful for small files or beginning of large files. \n");
252 DISPLAYLEVEL(2, "! As a consequence, only the first %u bytes of each file are loaded \n", SAMPLESIZE_MAX);
253 }
254 if ((nbFiles < 5) || (totalSizeToLoad < 9 * (unsigned long long)maxDictSize)) {
Yann Collet49d105c2016-08-18 15:02:11 +0200255 DISPLAYLEVEL(2, "! Warning : nb of samples too low for proper processing ! \n");
256 DISPLAYLEVEL(2, "! Please provide _one file per sample_. \n");
257 DISPLAYLEVEL(2, "! Do not concatenate samples together into a single file, \n");
258 DISPLAYLEVEL(2, "! as dictBuilder will be unable to find the beginning of each sample, \n");
259 DISPLAYLEVEL(2, "! resulting in poor dictionary quality. \n");
Yann Colletdd25a272016-07-27 12:35:29 +0200260 }
Yann Collet290aaa72016-05-30 21:18:52 +0200261
Yann Collet71eafdd2016-02-12 02:31:57 +0100262 /* init */
Yann Collet71eafdd2016-02-12 02:31:57 +0100263 if (benchedSize < totalSizeToLoad)
264 DISPLAYLEVEL(1, "Not enough memory; training on %u MB only...\n", (unsigned)(benchedSize >> 20));
265
Yann Collet71eafdd2016-02-12 02:31:57 +0100266 /* Load input buffer */
Nick Terrelldf8415c2016-12-31 21:08:24 -0800267 DISPLAYLEVEL(3, "Shuffling input files\n");
268 DiB_shuffle(fileNamesTable, nbFiles);
Yann Colletbcb5f772016-07-06 15:41:03 +0200269 nbFiles = DiB_loadFiles(srcBuffer, &benchedSize, fileSizes, fileNamesTable, nbFiles);
Yann Collet71eafdd2016-02-12 02:31:57 +0100270
Nick Terrelldf8415c2016-12-31 21:08:24 -0800271 {
272 size_t dictSize;
273 if (params) {
274 DiB_fillNoise((char*)srcBuffer + benchedSize, NOISELENGTH); /* guard band, for end of buffer condition */
275 dictSize = ZDICT_trainFromBuffer_unsafe(dictBuffer, maxDictSize,
276 srcBuffer, fileSizes, nbFiles,
277 *params);
278 } else if (optimizeCover) {
279 dictSize = COVER_optimizeTrainFromBuffer(
280 dictBuffer, maxDictSize, srcBuffer, fileSizes, nbFiles,
281 coverParams);
282 if (!ZDICT_isError(dictSize)) {
Nick Terrell3a1fefc2017-01-02 12:40:43 -0800283 DISPLAYLEVEL(2, "k=%u\nd=%u\nsteps=%u\n", coverParams->k, coverParams->d, coverParams->steps);
Nick Terrelldf8415c2016-12-31 21:08:24 -0800284 }
285 } else {
286 dictSize = COVER_trainFromBuffer(dictBuffer, maxDictSize,
287 srcBuffer, fileSizes, nbFiles,
288 *coverParams);
289 }
Yann Collet290aaa72016-05-30 21:18:52 +0200290 if (ZDICT_isError(dictSize)) {
291 DISPLAYLEVEL(1, "dictionary training failed : %s \n", ZDICT_getErrorName(dictSize)); /* should not happen */
292 result = 1;
293 goto _cleanup;
294 }
295 /* save dict */
296 DISPLAYLEVEL(2, "Save dictionary of size %u into file %s \n", (U32)dictSize, dictFileName);
297 DiB_saveDict(dictFileName, dictBuffer, dictSize);
Yann Collet71eafdd2016-02-12 02:31:57 +0100298 }
299
Yann Collet71eafdd2016-02-12 02:31:57 +0100300 /* clean up */
301_cleanup:
302 free(srcBuffer);
303 free(dictBuffer);
304 free(fileSizes);
305 return result;
306}