1*a28cd43dSSascha Wildner /*
2*a28cd43dSSascha Wildner * Copyright (c) 2016-2020, Yann Collet, Facebook, Inc.
3*a28cd43dSSascha Wildner * All rights reserved.
4*a28cd43dSSascha Wildner *
5*a28cd43dSSascha Wildner * This source code is licensed under both the BSD-style license (found in the
6*a28cd43dSSascha Wildner * LICENSE file in the root directory of this source tree) and the GPLv2 (found
7*a28cd43dSSascha Wildner * in the COPYING file in the root directory of this source tree).
8*a28cd43dSSascha Wildner * You may select, at your option, one of the above-listed licenses.
9*a28cd43dSSascha Wildner */
10*a28cd43dSSascha Wildner
11*a28cd43dSSascha Wildner
12*a28cd43dSSascha Wildner /* ====== Compiler specifics ====== */
13*a28cd43dSSascha Wildner #if defined(_MSC_VER)
14*a28cd43dSSascha Wildner # pragma warning(disable : 4204) /* disable: C4204: non-constant aggregate initializer */
15*a28cd43dSSascha Wildner #endif
16*a28cd43dSSascha Wildner
17*a28cd43dSSascha Wildner
18*a28cd43dSSascha Wildner /* ====== Constants ====== */
19*a28cd43dSSascha Wildner #define ZSTDMT_OVERLAPLOG_DEFAULT 0
20*a28cd43dSSascha Wildner
21*a28cd43dSSascha Wildner
22*a28cd43dSSascha Wildner /* ====== Dependencies ====== */
23*a28cd43dSSascha Wildner #include "../common/zstd_deps.h" /* ZSTD_memcpy, ZSTD_memset, INT_MAX, UINT_MAX */
24*a28cd43dSSascha Wildner #include "../common/mem.h" /* MEM_STATIC */
25*a28cd43dSSascha Wildner #include "../common/pool.h" /* threadpool */
26*a28cd43dSSascha Wildner #include "../common/threading.h" /* mutex */
27*a28cd43dSSascha Wildner #include "zstd_compress_internal.h" /* MIN, ERROR, ZSTD_*, ZSTD_highbit32 */
28*a28cd43dSSascha Wildner #include "zstd_ldm.h"
29*a28cd43dSSascha Wildner #include "zstdmt_compress.h"
30*a28cd43dSSascha Wildner
31*a28cd43dSSascha Wildner /* Guards code to support resizing the SeqPool.
32*a28cd43dSSascha Wildner * We will want to resize the SeqPool to save memory in the future.
33*a28cd43dSSascha Wildner * Until then, comment the code out since it is unused.
34*a28cd43dSSascha Wildner */
35*a28cd43dSSascha Wildner #define ZSTD_RESIZE_SEQPOOL 0
36*a28cd43dSSascha Wildner
37*a28cd43dSSascha Wildner /* ====== Debug ====== */
38*a28cd43dSSascha Wildner #if defined(DEBUGLEVEL) && (DEBUGLEVEL>=2) \
39*a28cd43dSSascha Wildner && !defined(_MSC_VER) \
40*a28cd43dSSascha Wildner && !defined(__MINGW32__)
41*a28cd43dSSascha Wildner
42*a28cd43dSSascha Wildner # include <stdio.h>
43*a28cd43dSSascha Wildner # include <unistd.h>
44*a28cd43dSSascha Wildner # include <sys/times.h>
45*a28cd43dSSascha Wildner
46*a28cd43dSSascha Wildner # define DEBUG_PRINTHEX(l,p,n) { \
47*a28cd43dSSascha Wildner unsigned debug_u; \
48*a28cd43dSSascha Wildner for (debug_u=0; debug_u<(n); debug_u++) \
49*a28cd43dSSascha Wildner RAWLOG(l, "%02X ", ((const unsigned char*)(p))[debug_u]); \
50*a28cd43dSSascha Wildner RAWLOG(l, " \n"); \
51*a28cd43dSSascha Wildner }
52*a28cd43dSSascha Wildner
GetCurrentClockTimeMicroseconds(void)53*a28cd43dSSascha Wildner static unsigned long long GetCurrentClockTimeMicroseconds(void)
54*a28cd43dSSascha Wildner {
55*a28cd43dSSascha Wildner static clock_t _ticksPerSecond = 0;
56*a28cd43dSSascha Wildner if (_ticksPerSecond <= 0) _ticksPerSecond = sysconf(_SC_CLK_TCK);
57*a28cd43dSSascha Wildner
58*a28cd43dSSascha Wildner { struct tms junk; clock_t newTicks = (clock_t) times(&junk);
59*a28cd43dSSascha Wildner return ((((unsigned long long)newTicks)*(1000000))/_ticksPerSecond);
60*a28cd43dSSascha Wildner } }
61*a28cd43dSSascha Wildner
62*a28cd43dSSascha Wildner #define MUTEX_WAIT_TIME_DLEVEL 6
63*a28cd43dSSascha Wildner #define ZSTD_PTHREAD_MUTEX_LOCK(mutex) { \
64*a28cd43dSSascha Wildner if (DEBUGLEVEL >= MUTEX_WAIT_TIME_DLEVEL) { \
65*a28cd43dSSascha Wildner unsigned long long const beforeTime = GetCurrentClockTimeMicroseconds(); \
66*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(mutex); \
67*a28cd43dSSascha Wildner { unsigned long long const afterTime = GetCurrentClockTimeMicroseconds(); \
68*a28cd43dSSascha Wildner unsigned long long const elapsedTime = (afterTime-beforeTime); \
69*a28cd43dSSascha Wildner if (elapsedTime > 1000) { /* or whatever threshold you like; I'm using 1 millisecond here */ \
70*a28cd43dSSascha Wildner DEBUGLOG(MUTEX_WAIT_TIME_DLEVEL, "Thread took %llu microseconds to acquire mutex %s \n", \
71*a28cd43dSSascha Wildner elapsedTime, #mutex); \
72*a28cd43dSSascha Wildner } } \
73*a28cd43dSSascha Wildner } else { \
74*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(mutex); \
75*a28cd43dSSascha Wildner } \
76*a28cd43dSSascha Wildner }
77*a28cd43dSSascha Wildner
78*a28cd43dSSascha Wildner #else
79*a28cd43dSSascha Wildner
80*a28cd43dSSascha Wildner # define ZSTD_PTHREAD_MUTEX_LOCK(m) ZSTD_pthread_mutex_lock(m)
81*a28cd43dSSascha Wildner # define DEBUG_PRINTHEX(l,p,n) {}
82*a28cd43dSSascha Wildner
83*a28cd43dSSascha Wildner #endif
84*a28cd43dSSascha Wildner
85*a28cd43dSSascha Wildner
86*a28cd43dSSascha Wildner /* ===== Buffer Pool ===== */
87*a28cd43dSSascha Wildner /* a single Buffer Pool can be invoked from multiple threads in parallel */
88*a28cd43dSSascha Wildner
89*a28cd43dSSascha Wildner typedef struct buffer_s {
90*a28cd43dSSascha Wildner void* start;
91*a28cd43dSSascha Wildner size_t capacity;
92*a28cd43dSSascha Wildner } buffer_t;
93*a28cd43dSSascha Wildner
94*a28cd43dSSascha Wildner static const buffer_t g_nullBuffer = { NULL, 0 };
95*a28cd43dSSascha Wildner
96*a28cd43dSSascha Wildner typedef struct ZSTDMT_bufferPool_s {
97*a28cd43dSSascha Wildner ZSTD_pthread_mutex_t poolMutex;
98*a28cd43dSSascha Wildner size_t bufferSize;
99*a28cd43dSSascha Wildner unsigned totalBuffers;
100*a28cd43dSSascha Wildner unsigned nbBuffers;
101*a28cd43dSSascha Wildner ZSTD_customMem cMem;
102*a28cd43dSSascha Wildner buffer_t bTable[1]; /* variable size */
103*a28cd43dSSascha Wildner } ZSTDMT_bufferPool;
104*a28cd43dSSascha Wildner
ZSTDMT_createBufferPool(unsigned nbWorkers,ZSTD_customMem cMem)105*a28cd43dSSascha Wildner static ZSTDMT_bufferPool* ZSTDMT_createBufferPool(unsigned nbWorkers, ZSTD_customMem cMem)
106*a28cd43dSSascha Wildner {
107*a28cd43dSSascha Wildner unsigned const maxNbBuffers = 2*nbWorkers + 3;
108*a28cd43dSSascha Wildner ZSTDMT_bufferPool* const bufPool = (ZSTDMT_bufferPool*)ZSTD_customCalloc(
109*a28cd43dSSascha Wildner sizeof(ZSTDMT_bufferPool) + (maxNbBuffers-1) * sizeof(buffer_t), cMem);
110*a28cd43dSSascha Wildner if (bufPool==NULL) return NULL;
111*a28cd43dSSascha Wildner if (ZSTD_pthread_mutex_init(&bufPool->poolMutex, NULL)) {
112*a28cd43dSSascha Wildner ZSTD_customFree(bufPool, cMem);
113*a28cd43dSSascha Wildner return NULL;
114*a28cd43dSSascha Wildner }
115*a28cd43dSSascha Wildner bufPool->bufferSize = 64 KB;
116*a28cd43dSSascha Wildner bufPool->totalBuffers = maxNbBuffers;
117*a28cd43dSSascha Wildner bufPool->nbBuffers = 0;
118*a28cd43dSSascha Wildner bufPool->cMem = cMem;
119*a28cd43dSSascha Wildner return bufPool;
120*a28cd43dSSascha Wildner }
121*a28cd43dSSascha Wildner
ZSTDMT_freeBufferPool(ZSTDMT_bufferPool * bufPool)122*a28cd43dSSascha Wildner static void ZSTDMT_freeBufferPool(ZSTDMT_bufferPool* bufPool)
123*a28cd43dSSascha Wildner {
124*a28cd43dSSascha Wildner unsigned u;
125*a28cd43dSSascha Wildner DEBUGLOG(3, "ZSTDMT_freeBufferPool (address:%08X)", (U32)(size_t)bufPool);
126*a28cd43dSSascha Wildner if (!bufPool) return; /* compatibility with free on NULL */
127*a28cd43dSSascha Wildner for (u=0; u<bufPool->totalBuffers; u++) {
128*a28cd43dSSascha Wildner DEBUGLOG(4, "free buffer %2u (address:%08X)", u, (U32)(size_t)bufPool->bTable[u].start);
129*a28cd43dSSascha Wildner ZSTD_customFree(bufPool->bTable[u].start, bufPool->cMem);
130*a28cd43dSSascha Wildner }
131*a28cd43dSSascha Wildner ZSTD_pthread_mutex_destroy(&bufPool->poolMutex);
132*a28cd43dSSascha Wildner ZSTD_customFree(bufPool, bufPool->cMem);
133*a28cd43dSSascha Wildner }
134*a28cd43dSSascha Wildner
135*a28cd43dSSascha Wildner /* only works at initialization, not during compression */
ZSTDMT_sizeof_bufferPool(ZSTDMT_bufferPool * bufPool)136*a28cd43dSSascha Wildner static size_t ZSTDMT_sizeof_bufferPool(ZSTDMT_bufferPool* bufPool)
137*a28cd43dSSascha Wildner {
138*a28cd43dSSascha Wildner size_t const poolSize = sizeof(*bufPool)
139*a28cd43dSSascha Wildner + (bufPool->totalBuffers - 1) * sizeof(buffer_t);
140*a28cd43dSSascha Wildner unsigned u;
141*a28cd43dSSascha Wildner size_t totalBufferSize = 0;
142*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&bufPool->poolMutex);
143*a28cd43dSSascha Wildner for (u=0; u<bufPool->totalBuffers; u++)
144*a28cd43dSSascha Wildner totalBufferSize += bufPool->bTable[u].capacity;
145*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&bufPool->poolMutex);
146*a28cd43dSSascha Wildner
147*a28cd43dSSascha Wildner return poolSize + totalBufferSize;
148*a28cd43dSSascha Wildner }
149*a28cd43dSSascha Wildner
150*a28cd43dSSascha Wildner /* ZSTDMT_setBufferSize() :
151*a28cd43dSSascha Wildner * all future buffers provided by this buffer pool will have _at least_ this size
152*a28cd43dSSascha Wildner * note : it's better for all buffers to have same size,
153*a28cd43dSSascha Wildner * as they become freely interchangeable, reducing malloc/free usages and memory fragmentation */
ZSTDMT_setBufferSize(ZSTDMT_bufferPool * const bufPool,size_t const bSize)154*a28cd43dSSascha Wildner static void ZSTDMT_setBufferSize(ZSTDMT_bufferPool* const bufPool, size_t const bSize)
155*a28cd43dSSascha Wildner {
156*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&bufPool->poolMutex);
157*a28cd43dSSascha Wildner DEBUGLOG(4, "ZSTDMT_setBufferSize: bSize = %u", (U32)bSize);
158*a28cd43dSSascha Wildner bufPool->bufferSize = bSize;
159*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&bufPool->poolMutex);
160*a28cd43dSSascha Wildner }
161*a28cd43dSSascha Wildner
162*a28cd43dSSascha Wildner
ZSTDMT_expandBufferPool(ZSTDMT_bufferPool * srcBufPool,U32 nbWorkers)163*a28cd43dSSascha Wildner static ZSTDMT_bufferPool* ZSTDMT_expandBufferPool(ZSTDMT_bufferPool* srcBufPool, U32 nbWorkers)
164*a28cd43dSSascha Wildner {
165*a28cd43dSSascha Wildner unsigned const maxNbBuffers = 2*nbWorkers + 3;
166*a28cd43dSSascha Wildner if (srcBufPool==NULL) return NULL;
167*a28cd43dSSascha Wildner if (srcBufPool->totalBuffers >= maxNbBuffers) /* good enough */
168*a28cd43dSSascha Wildner return srcBufPool;
169*a28cd43dSSascha Wildner /* need a larger buffer pool */
170*a28cd43dSSascha Wildner { ZSTD_customMem const cMem = srcBufPool->cMem;
171*a28cd43dSSascha Wildner size_t const bSize = srcBufPool->bufferSize; /* forward parameters */
172*a28cd43dSSascha Wildner ZSTDMT_bufferPool* newBufPool;
173*a28cd43dSSascha Wildner ZSTDMT_freeBufferPool(srcBufPool);
174*a28cd43dSSascha Wildner newBufPool = ZSTDMT_createBufferPool(nbWorkers, cMem);
175*a28cd43dSSascha Wildner if (newBufPool==NULL) return newBufPool;
176*a28cd43dSSascha Wildner ZSTDMT_setBufferSize(newBufPool, bSize);
177*a28cd43dSSascha Wildner return newBufPool;
178*a28cd43dSSascha Wildner }
179*a28cd43dSSascha Wildner }
180*a28cd43dSSascha Wildner
181*a28cd43dSSascha Wildner /** ZSTDMT_getBuffer() :
182*a28cd43dSSascha Wildner * assumption : bufPool must be valid
183*a28cd43dSSascha Wildner * @return : a buffer, with start pointer and size
184*a28cd43dSSascha Wildner * note: allocation may fail, in this case, start==NULL and size==0 */
ZSTDMT_getBuffer(ZSTDMT_bufferPool * bufPool)185*a28cd43dSSascha Wildner static buffer_t ZSTDMT_getBuffer(ZSTDMT_bufferPool* bufPool)
186*a28cd43dSSascha Wildner {
187*a28cd43dSSascha Wildner size_t const bSize = bufPool->bufferSize;
188*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_getBuffer: bSize = %u", (U32)bufPool->bufferSize);
189*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&bufPool->poolMutex);
190*a28cd43dSSascha Wildner if (bufPool->nbBuffers) { /* try to use an existing buffer */
191*a28cd43dSSascha Wildner buffer_t const buf = bufPool->bTable[--(bufPool->nbBuffers)];
192*a28cd43dSSascha Wildner size_t const availBufferSize = buf.capacity;
193*a28cd43dSSascha Wildner bufPool->bTable[bufPool->nbBuffers] = g_nullBuffer;
194*a28cd43dSSascha Wildner if ((availBufferSize >= bSize) & ((availBufferSize>>3) <= bSize)) {
195*a28cd43dSSascha Wildner /* large enough, but not too much */
196*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_getBuffer: provide buffer %u of size %u",
197*a28cd43dSSascha Wildner bufPool->nbBuffers, (U32)buf.capacity);
198*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&bufPool->poolMutex);
199*a28cd43dSSascha Wildner return buf;
200*a28cd43dSSascha Wildner }
201*a28cd43dSSascha Wildner /* size conditions not respected : scratch this buffer, create new one */
202*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_getBuffer: existing buffer does not meet size conditions => freeing");
203*a28cd43dSSascha Wildner ZSTD_customFree(buf.start, bufPool->cMem);
204*a28cd43dSSascha Wildner }
205*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&bufPool->poolMutex);
206*a28cd43dSSascha Wildner /* create new buffer */
207*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_getBuffer: create a new buffer");
208*a28cd43dSSascha Wildner { buffer_t buffer;
209*a28cd43dSSascha Wildner void* const start = ZSTD_customMalloc(bSize, bufPool->cMem);
210*a28cd43dSSascha Wildner buffer.start = start; /* note : start can be NULL if malloc fails ! */
211*a28cd43dSSascha Wildner buffer.capacity = (start==NULL) ? 0 : bSize;
212*a28cd43dSSascha Wildner if (start==NULL) {
213*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_getBuffer: buffer allocation failure !!");
214*a28cd43dSSascha Wildner } else {
215*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_getBuffer: created buffer of size %u", (U32)bSize);
216*a28cd43dSSascha Wildner }
217*a28cd43dSSascha Wildner return buffer;
218*a28cd43dSSascha Wildner }
219*a28cd43dSSascha Wildner }
220*a28cd43dSSascha Wildner
221*a28cd43dSSascha Wildner #if ZSTD_RESIZE_SEQPOOL
222*a28cd43dSSascha Wildner /** ZSTDMT_resizeBuffer() :
223*a28cd43dSSascha Wildner * assumption : bufPool must be valid
224*a28cd43dSSascha Wildner * @return : a buffer that is at least the buffer pool buffer size.
225*a28cd43dSSascha Wildner * If a reallocation happens, the data in the input buffer is copied.
226*a28cd43dSSascha Wildner */
ZSTDMT_resizeBuffer(ZSTDMT_bufferPool * bufPool,buffer_t buffer)227*a28cd43dSSascha Wildner static buffer_t ZSTDMT_resizeBuffer(ZSTDMT_bufferPool* bufPool, buffer_t buffer)
228*a28cd43dSSascha Wildner {
229*a28cd43dSSascha Wildner size_t const bSize = bufPool->bufferSize;
230*a28cd43dSSascha Wildner if (buffer.capacity < bSize) {
231*a28cd43dSSascha Wildner void* const start = ZSTD_customMalloc(bSize, bufPool->cMem);
232*a28cd43dSSascha Wildner buffer_t newBuffer;
233*a28cd43dSSascha Wildner newBuffer.start = start;
234*a28cd43dSSascha Wildner newBuffer.capacity = start == NULL ? 0 : bSize;
235*a28cd43dSSascha Wildner if (start != NULL) {
236*a28cd43dSSascha Wildner assert(newBuffer.capacity >= buffer.capacity);
237*a28cd43dSSascha Wildner ZSTD_memcpy(newBuffer.start, buffer.start, buffer.capacity);
238*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_resizeBuffer: created buffer of size %u", (U32)bSize);
239*a28cd43dSSascha Wildner return newBuffer;
240*a28cd43dSSascha Wildner }
241*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_resizeBuffer: buffer allocation failure !!");
242*a28cd43dSSascha Wildner }
243*a28cd43dSSascha Wildner return buffer;
244*a28cd43dSSascha Wildner }
245*a28cd43dSSascha Wildner #endif
246*a28cd43dSSascha Wildner
247*a28cd43dSSascha Wildner /* store buffer for later re-use, up to pool capacity */
ZSTDMT_releaseBuffer(ZSTDMT_bufferPool * bufPool,buffer_t buf)248*a28cd43dSSascha Wildner static void ZSTDMT_releaseBuffer(ZSTDMT_bufferPool* bufPool, buffer_t buf)
249*a28cd43dSSascha Wildner {
250*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_releaseBuffer");
251*a28cd43dSSascha Wildner if (buf.start == NULL) return; /* compatible with release on NULL */
252*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&bufPool->poolMutex);
253*a28cd43dSSascha Wildner if (bufPool->nbBuffers < bufPool->totalBuffers) {
254*a28cd43dSSascha Wildner bufPool->bTable[bufPool->nbBuffers++] = buf; /* stored for later use */
255*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_releaseBuffer: stored buffer of size %u in slot %u",
256*a28cd43dSSascha Wildner (U32)buf.capacity, (U32)(bufPool->nbBuffers-1));
257*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&bufPool->poolMutex);
258*a28cd43dSSascha Wildner return;
259*a28cd43dSSascha Wildner }
260*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&bufPool->poolMutex);
261*a28cd43dSSascha Wildner /* Reached bufferPool capacity (should not happen) */
262*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_releaseBuffer: pool capacity reached => freeing ");
263*a28cd43dSSascha Wildner ZSTD_customFree(buf.start, bufPool->cMem);
264*a28cd43dSSascha Wildner }
265*a28cd43dSSascha Wildner
266*a28cd43dSSascha Wildner
267*a28cd43dSSascha Wildner /* ===== Seq Pool Wrapper ====== */
268*a28cd43dSSascha Wildner
269*a28cd43dSSascha Wildner typedef ZSTDMT_bufferPool ZSTDMT_seqPool;
270*a28cd43dSSascha Wildner
ZSTDMT_sizeof_seqPool(ZSTDMT_seqPool * seqPool)271*a28cd43dSSascha Wildner static size_t ZSTDMT_sizeof_seqPool(ZSTDMT_seqPool* seqPool)
272*a28cd43dSSascha Wildner {
273*a28cd43dSSascha Wildner return ZSTDMT_sizeof_bufferPool(seqPool);
274*a28cd43dSSascha Wildner }
275*a28cd43dSSascha Wildner
bufferToSeq(buffer_t buffer)276*a28cd43dSSascha Wildner static rawSeqStore_t bufferToSeq(buffer_t buffer)
277*a28cd43dSSascha Wildner {
278*a28cd43dSSascha Wildner rawSeqStore_t seq = kNullRawSeqStore;
279*a28cd43dSSascha Wildner seq.seq = (rawSeq*)buffer.start;
280*a28cd43dSSascha Wildner seq.capacity = buffer.capacity / sizeof(rawSeq);
281*a28cd43dSSascha Wildner return seq;
282*a28cd43dSSascha Wildner }
283*a28cd43dSSascha Wildner
seqToBuffer(rawSeqStore_t seq)284*a28cd43dSSascha Wildner static buffer_t seqToBuffer(rawSeqStore_t seq)
285*a28cd43dSSascha Wildner {
286*a28cd43dSSascha Wildner buffer_t buffer;
287*a28cd43dSSascha Wildner buffer.start = seq.seq;
288*a28cd43dSSascha Wildner buffer.capacity = seq.capacity * sizeof(rawSeq);
289*a28cd43dSSascha Wildner return buffer;
290*a28cd43dSSascha Wildner }
291*a28cd43dSSascha Wildner
ZSTDMT_getSeq(ZSTDMT_seqPool * seqPool)292*a28cd43dSSascha Wildner static rawSeqStore_t ZSTDMT_getSeq(ZSTDMT_seqPool* seqPool)
293*a28cd43dSSascha Wildner {
294*a28cd43dSSascha Wildner if (seqPool->bufferSize == 0) {
295*a28cd43dSSascha Wildner return kNullRawSeqStore;
296*a28cd43dSSascha Wildner }
297*a28cd43dSSascha Wildner return bufferToSeq(ZSTDMT_getBuffer(seqPool));
298*a28cd43dSSascha Wildner }
299*a28cd43dSSascha Wildner
300*a28cd43dSSascha Wildner #if ZSTD_RESIZE_SEQPOOL
ZSTDMT_resizeSeq(ZSTDMT_seqPool * seqPool,rawSeqStore_t seq)301*a28cd43dSSascha Wildner static rawSeqStore_t ZSTDMT_resizeSeq(ZSTDMT_seqPool* seqPool, rawSeqStore_t seq)
302*a28cd43dSSascha Wildner {
303*a28cd43dSSascha Wildner return bufferToSeq(ZSTDMT_resizeBuffer(seqPool, seqToBuffer(seq)));
304*a28cd43dSSascha Wildner }
305*a28cd43dSSascha Wildner #endif
306*a28cd43dSSascha Wildner
ZSTDMT_releaseSeq(ZSTDMT_seqPool * seqPool,rawSeqStore_t seq)307*a28cd43dSSascha Wildner static void ZSTDMT_releaseSeq(ZSTDMT_seqPool* seqPool, rawSeqStore_t seq)
308*a28cd43dSSascha Wildner {
309*a28cd43dSSascha Wildner ZSTDMT_releaseBuffer(seqPool, seqToBuffer(seq));
310*a28cd43dSSascha Wildner }
311*a28cd43dSSascha Wildner
ZSTDMT_setNbSeq(ZSTDMT_seqPool * const seqPool,size_t const nbSeq)312*a28cd43dSSascha Wildner static void ZSTDMT_setNbSeq(ZSTDMT_seqPool* const seqPool, size_t const nbSeq)
313*a28cd43dSSascha Wildner {
314*a28cd43dSSascha Wildner ZSTDMT_setBufferSize(seqPool, nbSeq * sizeof(rawSeq));
315*a28cd43dSSascha Wildner }
316*a28cd43dSSascha Wildner
ZSTDMT_createSeqPool(unsigned nbWorkers,ZSTD_customMem cMem)317*a28cd43dSSascha Wildner static ZSTDMT_seqPool* ZSTDMT_createSeqPool(unsigned nbWorkers, ZSTD_customMem cMem)
318*a28cd43dSSascha Wildner {
319*a28cd43dSSascha Wildner ZSTDMT_seqPool* const seqPool = ZSTDMT_createBufferPool(nbWorkers, cMem);
320*a28cd43dSSascha Wildner if (seqPool == NULL) return NULL;
321*a28cd43dSSascha Wildner ZSTDMT_setNbSeq(seqPool, 0);
322*a28cd43dSSascha Wildner return seqPool;
323*a28cd43dSSascha Wildner }
324*a28cd43dSSascha Wildner
ZSTDMT_freeSeqPool(ZSTDMT_seqPool * seqPool)325*a28cd43dSSascha Wildner static void ZSTDMT_freeSeqPool(ZSTDMT_seqPool* seqPool)
326*a28cd43dSSascha Wildner {
327*a28cd43dSSascha Wildner ZSTDMT_freeBufferPool(seqPool);
328*a28cd43dSSascha Wildner }
329*a28cd43dSSascha Wildner
ZSTDMT_expandSeqPool(ZSTDMT_seqPool * pool,U32 nbWorkers)330*a28cd43dSSascha Wildner static ZSTDMT_seqPool* ZSTDMT_expandSeqPool(ZSTDMT_seqPool* pool, U32 nbWorkers)
331*a28cd43dSSascha Wildner {
332*a28cd43dSSascha Wildner return ZSTDMT_expandBufferPool(pool, nbWorkers);
333*a28cd43dSSascha Wildner }
334*a28cd43dSSascha Wildner
335*a28cd43dSSascha Wildner
336*a28cd43dSSascha Wildner /* ===== CCtx Pool ===== */
337*a28cd43dSSascha Wildner /* a single CCtx Pool can be invoked from multiple threads in parallel */
338*a28cd43dSSascha Wildner
339*a28cd43dSSascha Wildner typedef struct {
340*a28cd43dSSascha Wildner ZSTD_pthread_mutex_t poolMutex;
341*a28cd43dSSascha Wildner int totalCCtx;
342*a28cd43dSSascha Wildner int availCCtx;
343*a28cd43dSSascha Wildner ZSTD_customMem cMem;
344*a28cd43dSSascha Wildner ZSTD_CCtx* cctx[1]; /* variable size */
345*a28cd43dSSascha Wildner } ZSTDMT_CCtxPool;
346*a28cd43dSSascha Wildner
347*a28cd43dSSascha Wildner /* note : all CCtx borrowed from the pool should be released back to the pool _before_ freeing the pool */
ZSTDMT_freeCCtxPool(ZSTDMT_CCtxPool * pool)348*a28cd43dSSascha Wildner static void ZSTDMT_freeCCtxPool(ZSTDMT_CCtxPool* pool)
349*a28cd43dSSascha Wildner {
350*a28cd43dSSascha Wildner int cid;
351*a28cd43dSSascha Wildner for (cid=0; cid<pool->totalCCtx; cid++)
352*a28cd43dSSascha Wildner ZSTD_freeCCtx(pool->cctx[cid]); /* note : compatible with free on NULL */
353*a28cd43dSSascha Wildner ZSTD_pthread_mutex_destroy(&pool->poolMutex);
354*a28cd43dSSascha Wildner ZSTD_customFree(pool, pool->cMem);
355*a28cd43dSSascha Wildner }
356*a28cd43dSSascha Wildner
357*a28cd43dSSascha Wildner /* ZSTDMT_createCCtxPool() :
358*a28cd43dSSascha Wildner * implies nbWorkers >= 1 , checked by caller ZSTDMT_createCCtx() */
ZSTDMT_createCCtxPool(int nbWorkers,ZSTD_customMem cMem)359*a28cd43dSSascha Wildner static ZSTDMT_CCtxPool* ZSTDMT_createCCtxPool(int nbWorkers,
360*a28cd43dSSascha Wildner ZSTD_customMem cMem)
361*a28cd43dSSascha Wildner {
362*a28cd43dSSascha Wildner ZSTDMT_CCtxPool* const cctxPool = (ZSTDMT_CCtxPool*) ZSTD_customCalloc(
363*a28cd43dSSascha Wildner sizeof(ZSTDMT_CCtxPool) + (nbWorkers-1)*sizeof(ZSTD_CCtx*), cMem);
364*a28cd43dSSascha Wildner assert(nbWorkers > 0);
365*a28cd43dSSascha Wildner if (!cctxPool) return NULL;
366*a28cd43dSSascha Wildner if (ZSTD_pthread_mutex_init(&cctxPool->poolMutex, NULL)) {
367*a28cd43dSSascha Wildner ZSTD_customFree(cctxPool, cMem);
368*a28cd43dSSascha Wildner return NULL;
369*a28cd43dSSascha Wildner }
370*a28cd43dSSascha Wildner cctxPool->cMem = cMem;
371*a28cd43dSSascha Wildner cctxPool->totalCCtx = nbWorkers;
372*a28cd43dSSascha Wildner cctxPool->availCCtx = 1; /* at least one cctx for single-thread mode */
373*a28cd43dSSascha Wildner cctxPool->cctx[0] = ZSTD_createCCtx_advanced(cMem);
374*a28cd43dSSascha Wildner if (!cctxPool->cctx[0]) { ZSTDMT_freeCCtxPool(cctxPool); return NULL; }
375*a28cd43dSSascha Wildner DEBUGLOG(3, "cctxPool created, with %u workers", nbWorkers);
376*a28cd43dSSascha Wildner return cctxPool;
377*a28cd43dSSascha Wildner }
378*a28cd43dSSascha Wildner
ZSTDMT_expandCCtxPool(ZSTDMT_CCtxPool * srcPool,int nbWorkers)379*a28cd43dSSascha Wildner static ZSTDMT_CCtxPool* ZSTDMT_expandCCtxPool(ZSTDMT_CCtxPool* srcPool,
380*a28cd43dSSascha Wildner int nbWorkers)
381*a28cd43dSSascha Wildner {
382*a28cd43dSSascha Wildner if (srcPool==NULL) return NULL;
383*a28cd43dSSascha Wildner if (nbWorkers <= srcPool->totalCCtx) return srcPool; /* good enough */
384*a28cd43dSSascha Wildner /* need a larger cctx pool */
385*a28cd43dSSascha Wildner { ZSTD_customMem const cMem = srcPool->cMem;
386*a28cd43dSSascha Wildner ZSTDMT_freeCCtxPool(srcPool);
387*a28cd43dSSascha Wildner return ZSTDMT_createCCtxPool(nbWorkers, cMem);
388*a28cd43dSSascha Wildner }
389*a28cd43dSSascha Wildner }
390*a28cd43dSSascha Wildner
391*a28cd43dSSascha Wildner /* only works during initialization phase, not during compression */
ZSTDMT_sizeof_CCtxPool(ZSTDMT_CCtxPool * cctxPool)392*a28cd43dSSascha Wildner static size_t ZSTDMT_sizeof_CCtxPool(ZSTDMT_CCtxPool* cctxPool)
393*a28cd43dSSascha Wildner {
394*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&cctxPool->poolMutex);
395*a28cd43dSSascha Wildner { unsigned const nbWorkers = cctxPool->totalCCtx;
396*a28cd43dSSascha Wildner size_t const poolSize = sizeof(*cctxPool)
397*a28cd43dSSascha Wildner + (nbWorkers-1) * sizeof(ZSTD_CCtx*);
398*a28cd43dSSascha Wildner unsigned u;
399*a28cd43dSSascha Wildner size_t totalCCtxSize = 0;
400*a28cd43dSSascha Wildner for (u=0; u<nbWorkers; u++) {
401*a28cd43dSSascha Wildner totalCCtxSize += ZSTD_sizeof_CCtx(cctxPool->cctx[u]);
402*a28cd43dSSascha Wildner }
403*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&cctxPool->poolMutex);
404*a28cd43dSSascha Wildner assert(nbWorkers > 0);
405*a28cd43dSSascha Wildner return poolSize + totalCCtxSize;
406*a28cd43dSSascha Wildner }
407*a28cd43dSSascha Wildner }
408*a28cd43dSSascha Wildner
ZSTDMT_getCCtx(ZSTDMT_CCtxPool * cctxPool)409*a28cd43dSSascha Wildner static ZSTD_CCtx* ZSTDMT_getCCtx(ZSTDMT_CCtxPool* cctxPool)
410*a28cd43dSSascha Wildner {
411*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_getCCtx");
412*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&cctxPool->poolMutex);
413*a28cd43dSSascha Wildner if (cctxPool->availCCtx) {
414*a28cd43dSSascha Wildner cctxPool->availCCtx--;
415*a28cd43dSSascha Wildner { ZSTD_CCtx* const cctx = cctxPool->cctx[cctxPool->availCCtx];
416*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&cctxPool->poolMutex);
417*a28cd43dSSascha Wildner return cctx;
418*a28cd43dSSascha Wildner } }
419*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&cctxPool->poolMutex);
420*a28cd43dSSascha Wildner DEBUGLOG(5, "create one more CCtx");
421*a28cd43dSSascha Wildner return ZSTD_createCCtx_advanced(cctxPool->cMem); /* note : can be NULL, when creation fails ! */
422*a28cd43dSSascha Wildner }
423*a28cd43dSSascha Wildner
ZSTDMT_releaseCCtx(ZSTDMT_CCtxPool * pool,ZSTD_CCtx * cctx)424*a28cd43dSSascha Wildner static void ZSTDMT_releaseCCtx(ZSTDMT_CCtxPool* pool, ZSTD_CCtx* cctx)
425*a28cd43dSSascha Wildner {
426*a28cd43dSSascha Wildner if (cctx==NULL) return; /* compatibility with release on NULL */
427*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&pool->poolMutex);
428*a28cd43dSSascha Wildner if (pool->availCCtx < pool->totalCCtx)
429*a28cd43dSSascha Wildner pool->cctx[pool->availCCtx++] = cctx;
430*a28cd43dSSascha Wildner else {
431*a28cd43dSSascha Wildner /* pool overflow : should not happen, since totalCCtx==nbWorkers */
432*a28cd43dSSascha Wildner DEBUGLOG(4, "CCtx pool overflow : free cctx");
433*a28cd43dSSascha Wildner ZSTD_freeCCtx(cctx);
434*a28cd43dSSascha Wildner }
435*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&pool->poolMutex);
436*a28cd43dSSascha Wildner }
437*a28cd43dSSascha Wildner
438*a28cd43dSSascha Wildner /* ==== Serial State ==== */
439*a28cd43dSSascha Wildner
440*a28cd43dSSascha Wildner typedef struct {
441*a28cd43dSSascha Wildner void const* start;
442*a28cd43dSSascha Wildner size_t size;
443*a28cd43dSSascha Wildner } range_t;
444*a28cd43dSSascha Wildner
445*a28cd43dSSascha Wildner typedef struct {
446*a28cd43dSSascha Wildner /* All variables in the struct are protected by mutex. */
447*a28cd43dSSascha Wildner ZSTD_pthread_mutex_t mutex;
448*a28cd43dSSascha Wildner ZSTD_pthread_cond_t cond;
449*a28cd43dSSascha Wildner ZSTD_CCtx_params params;
450*a28cd43dSSascha Wildner ldmState_t ldmState;
451*a28cd43dSSascha Wildner XXH64_state_t xxhState;
452*a28cd43dSSascha Wildner unsigned nextJobID;
453*a28cd43dSSascha Wildner /* Protects ldmWindow.
454*a28cd43dSSascha Wildner * Must be acquired after the main mutex when acquiring both.
455*a28cd43dSSascha Wildner */
456*a28cd43dSSascha Wildner ZSTD_pthread_mutex_t ldmWindowMutex;
457*a28cd43dSSascha Wildner ZSTD_pthread_cond_t ldmWindowCond; /* Signaled when ldmWindow is updated */
458*a28cd43dSSascha Wildner ZSTD_window_t ldmWindow; /* A thread-safe copy of ldmState.window */
459*a28cd43dSSascha Wildner } serialState_t;
460*a28cd43dSSascha Wildner
461*a28cd43dSSascha Wildner static int
ZSTDMT_serialState_reset(serialState_t * serialState,ZSTDMT_seqPool * seqPool,ZSTD_CCtx_params params,size_t jobSize,const void * dict,size_t const dictSize,ZSTD_dictContentType_e dictContentType)462*a28cd43dSSascha Wildner ZSTDMT_serialState_reset(serialState_t* serialState,
463*a28cd43dSSascha Wildner ZSTDMT_seqPool* seqPool,
464*a28cd43dSSascha Wildner ZSTD_CCtx_params params,
465*a28cd43dSSascha Wildner size_t jobSize,
466*a28cd43dSSascha Wildner const void* dict, size_t const dictSize,
467*a28cd43dSSascha Wildner ZSTD_dictContentType_e dictContentType)
468*a28cd43dSSascha Wildner {
469*a28cd43dSSascha Wildner /* Adjust parameters */
470*a28cd43dSSascha Wildner if (params.ldmParams.enableLdm) {
471*a28cd43dSSascha Wildner DEBUGLOG(4, "LDM window size = %u KB", (1U << params.cParams.windowLog) >> 10);
472*a28cd43dSSascha Wildner ZSTD_ldm_adjustParameters(¶ms.ldmParams, ¶ms.cParams);
473*a28cd43dSSascha Wildner assert(params.ldmParams.hashLog >= params.ldmParams.bucketSizeLog);
474*a28cd43dSSascha Wildner assert(params.ldmParams.hashRateLog < 32);
475*a28cd43dSSascha Wildner serialState->ldmState.hashPower =
476*a28cd43dSSascha Wildner ZSTD_rollingHash_primePower(params.ldmParams.minMatchLength);
477*a28cd43dSSascha Wildner } else {
478*a28cd43dSSascha Wildner ZSTD_memset(¶ms.ldmParams, 0, sizeof(params.ldmParams));
479*a28cd43dSSascha Wildner }
480*a28cd43dSSascha Wildner serialState->nextJobID = 0;
481*a28cd43dSSascha Wildner if (params.fParams.checksumFlag)
482*a28cd43dSSascha Wildner XXH64_reset(&serialState->xxhState, 0);
483*a28cd43dSSascha Wildner if (params.ldmParams.enableLdm) {
484*a28cd43dSSascha Wildner ZSTD_customMem cMem = params.customMem;
485*a28cd43dSSascha Wildner unsigned const hashLog = params.ldmParams.hashLog;
486*a28cd43dSSascha Wildner size_t const hashSize = ((size_t)1 << hashLog) * sizeof(ldmEntry_t);
487*a28cd43dSSascha Wildner unsigned const bucketLog =
488*a28cd43dSSascha Wildner params.ldmParams.hashLog - params.ldmParams.bucketSizeLog;
489*a28cd43dSSascha Wildner size_t const bucketSize = (size_t)1 << bucketLog;
490*a28cd43dSSascha Wildner unsigned const prevBucketLog =
491*a28cd43dSSascha Wildner serialState->params.ldmParams.hashLog -
492*a28cd43dSSascha Wildner serialState->params.ldmParams.bucketSizeLog;
493*a28cd43dSSascha Wildner /* Size the seq pool tables */
494*a28cd43dSSascha Wildner ZSTDMT_setNbSeq(seqPool, ZSTD_ldm_getMaxNbSeq(params.ldmParams, jobSize));
495*a28cd43dSSascha Wildner /* Reset the window */
496*a28cd43dSSascha Wildner ZSTD_window_init(&serialState->ldmState.window);
497*a28cd43dSSascha Wildner /* Resize tables and output space if necessary. */
498*a28cd43dSSascha Wildner if (serialState->ldmState.hashTable == NULL || serialState->params.ldmParams.hashLog < hashLog) {
499*a28cd43dSSascha Wildner ZSTD_customFree(serialState->ldmState.hashTable, cMem);
500*a28cd43dSSascha Wildner serialState->ldmState.hashTable = (ldmEntry_t*)ZSTD_customMalloc(hashSize, cMem);
501*a28cd43dSSascha Wildner }
502*a28cd43dSSascha Wildner if (serialState->ldmState.bucketOffsets == NULL || prevBucketLog < bucketLog) {
503*a28cd43dSSascha Wildner ZSTD_customFree(serialState->ldmState.bucketOffsets, cMem);
504*a28cd43dSSascha Wildner serialState->ldmState.bucketOffsets = (BYTE*)ZSTD_customMalloc(bucketSize, cMem);
505*a28cd43dSSascha Wildner }
506*a28cd43dSSascha Wildner if (!serialState->ldmState.hashTable || !serialState->ldmState.bucketOffsets)
507*a28cd43dSSascha Wildner return 1;
508*a28cd43dSSascha Wildner /* Zero the tables */
509*a28cd43dSSascha Wildner ZSTD_memset(serialState->ldmState.hashTable, 0, hashSize);
510*a28cd43dSSascha Wildner ZSTD_memset(serialState->ldmState.bucketOffsets, 0, bucketSize);
511*a28cd43dSSascha Wildner
512*a28cd43dSSascha Wildner /* Update window state and fill hash table with dict */
513*a28cd43dSSascha Wildner serialState->ldmState.loadedDictEnd = 0;
514*a28cd43dSSascha Wildner if (dictSize > 0) {
515*a28cd43dSSascha Wildner if (dictContentType == ZSTD_dct_rawContent) {
516*a28cd43dSSascha Wildner BYTE const* const dictEnd = (const BYTE*)dict + dictSize;
517*a28cd43dSSascha Wildner ZSTD_window_update(&serialState->ldmState.window, dict, dictSize);
518*a28cd43dSSascha Wildner ZSTD_ldm_fillHashTable(&serialState->ldmState, (const BYTE*)dict, dictEnd, ¶ms.ldmParams);
519*a28cd43dSSascha Wildner serialState->ldmState.loadedDictEnd = params.forceWindow ? 0 : (U32)(dictEnd - serialState->ldmState.window.base);
520*a28cd43dSSascha Wildner } else {
521*a28cd43dSSascha Wildner /* don't even load anything */
522*a28cd43dSSascha Wildner }
523*a28cd43dSSascha Wildner }
524*a28cd43dSSascha Wildner
525*a28cd43dSSascha Wildner /* Initialize serialState's copy of ldmWindow. */
526*a28cd43dSSascha Wildner serialState->ldmWindow = serialState->ldmState.window;
527*a28cd43dSSascha Wildner }
528*a28cd43dSSascha Wildner
529*a28cd43dSSascha Wildner serialState->params = params;
530*a28cd43dSSascha Wildner serialState->params.jobSize = (U32)jobSize;
531*a28cd43dSSascha Wildner return 0;
532*a28cd43dSSascha Wildner }
533*a28cd43dSSascha Wildner
ZSTDMT_serialState_init(serialState_t * serialState)534*a28cd43dSSascha Wildner static int ZSTDMT_serialState_init(serialState_t* serialState)
535*a28cd43dSSascha Wildner {
536*a28cd43dSSascha Wildner int initError = 0;
537*a28cd43dSSascha Wildner ZSTD_memset(serialState, 0, sizeof(*serialState));
538*a28cd43dSSascha Wildner initError |= ZSTD_pthread_mutex_init(&serialState->mutex, NULL);
539*a28cd43dSSascha Wildner initError |= ZSTD_pthread_cond_init(&serialState->cond, NULL);
540*a28cd43dSSascha Wildner initError |= ZSTD_pthread_mutex_init(&serialState->ldmWindowMutex, NULL);
541*a28cd43dSSascha Wildner initError |= ZSTD_pthread_cond_init(&serialState->ldmWindowCond, NULL);
542*a28cd43dSSascha Wildner return initError;
543*a28cd43dSSascha Wildner }
544*a28cd43dSSascha Wildner
ZSTDMT_serialState_free(serialState_t * serialState)545*a28cd43dSSascha Wildner static void ZSTDMT_serialState_free(serialState_t* serialState)
546*a28cd43dSSascha Wildner {
547*a28cd43dSSascha Wildner ZSTD_customMem cMem = serialState->params.customMem;
548*a28cd43dSSascha Wildner ZSTD_pthread_mutex_destroy(&serialState->mutex);
549*a28cd43dSSascha Wildner ZSTD_pthread_cond_destroy(&serialState->cond);
550*a28cd43dSSascha Wildner ZSTD_pthread_mutex_destroy(&serialState->ldmWindowMutex);
551*a28cd43dSSascha Wildner ZSTD_pthread_cond_destroy(&serialState->ldmWindowCond);
552*a28cd43dSSascha Wildner ZSTD_customFree(serialState->ldmState.hashTable, cMem);
553*a28cd43dSSascha Wildner ZSTD_customFree(serialState->ldmState.bucketOffsets, cMem);
554*a28cd43dSSascha Wildner }
555*a28cd43dSSascha Wildner
ZSTDMT_serialState_update(serialState_t * serialState,ZSTD_CCtx * jobCCtx,rawSeqStore_t seqStore,range_t src,unsigned jobID)556*a28cd43dSSascha Wildner static void ZSTDMT_serialState_update(serialState_t* serialState,
557*a28cd43dSSascha Wildner ZSTD_CCtx* jobCCtx, rawSeqStore_t seqStore,
558*a28cd43dSSascha Wildner range_t src, unsigned jobID)
559*a28cd43dSSascha Wildner {
560*a28cd43dSSascha Wildner /* Wait for our turn */
561*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&serialState->mutex);
562*a28cd43dSSascha Wildner while (serialState->nextJobID < jobID) {
563*a28cd43dSSascha Wildner DEBUGLOG(5, "wait for serialState->cond");
564*a28cd43dSSascha Wildner ZSTD_pthread_cond_wait(&serialState->cond, &serialState->mutex);
565*a28cd43dSSascha Wildner }
566*a28cd43dSSascha Wildner /* A future job may error and skip our job */
567*a28cd43dSSascha Wildner if (serialState->nextJobID == jobID) {
568*a28cd43dSSascha Wildner /* It is now our turn, do any processing necessary */
569*a28cd43dSSascha Wildner if (serialState->params.ldmParams.enableLdm) {
570*a28cd43dSSascha Wildner size_t error;
571*a28cd43dSSascha Wildner assert(seqStore.seq != NULL && seqStore.pos == 0 &&
572*a28cd43dSSascha Wildner seqStore.size == 0 && seqStore.capacity > 0);
573*a28cd43dSSascha Wildner assert(src.size <= serialState->params.jobSize);
574*a28cd43dSSascha Wildner ZSTD_window_update(&serialState->ldmState.window, src.start, src.size);
575*a28cd43dSSascha Wildner error = ZSTD_ldm_generateSequences(
576*a28cd43dSSascha Wildner &serialState->ldmState, &seqStore,
577*a28cd43dSSascha Wildner &serialState->params.ldmParams, src.start, src.size);
578*a28cd43dSSascha Wildner /* We provide a large enough buffer to never fail. */
579*a28cd43dSSascha Wildner assert(!ZSTD_isError(error)); (void)error;
580*a28cd43dSSascha Wildner /* Update ldmWindow to match the ldmState.window and signal the main
581*a28cd43dSSascha Wildner * thread if it is waiting for a buffer.
582*a28cd43dSSascha Wildner */
583*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&serialState->ldmWindowMutex);
584*a28cd43dSSascha Wildner serialState->ldmWindow = serialState->ldmState.window;
585*a28cd43dSSascha Wildner ZSTD_pthread_cond_signal(&serialState->ldmWindowCond);
586*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&serialState->ldmWindowMutex);
587*a28cd43dSSascha Wildner }
588*a28cd43dSSascha Wildner if (serialState->params.fParams.checksumFlag && src.size > 0)
589*a28cd43dSSascha Wildner XXH64_update(&serialState->xxhState, src.start, src.size);
590*a28cd43dSSascha Wildner }
591*a28cd43dSSascha Wildner /* Now it is the next jobs turn */
592*a28cd43dSSascha Wildner serialState->nextJobID++;
593*a28cd43dSSascha Wildner ZSTD_pthread_cond_broadcast(&serialState->cond);
594*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&serialState->mutex);
595*a28cd43dSSascha Wildner
596*a28cd43dSSascha Wildner if (seqStore.size > 0) {
597*a28cd43dSSascha Wildner size_t const err = ZSTD_referenceExternalSequences(
598*a28cd43dSSascha Wildner jobCCtx, seqStore.seq, seqStore.size);
599*a28cd43dSSascha Wildner assert(serialState->params.ldmParams.enableLdm);
600*a28cd43dSSascha Wildner assert(!ZSTD_isError(err));
601*a28cd43dSSascha Wildner (void)err;
602*a28cd43dSSascha Wildner }
603*a28cd43dSSascha Wildner }
604*a28cd43dSSascha Wildner
ZSTDMT_serialState_ensureFinished(serialState_t * serialState,unsigned jobID,size_t cSize)605*a28cd43dSSascha Wildner static void ZSTDMT_serialState_ensureFinished(serialState_t* serialState,
606*a28cd43dSSascha Wildner unsigned jobID, size_t cSize)
607*a28cd43dSSascha Wildner {
608*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&serialState->mutex);
609*a28cd43dSSascha Wildner if (serialState->nextJobID <= jobID) {
610*a28cd43dSSascha Wildner assert(ZSTD_isError(cSize)); (void)cSize;
611*a28cd43dSSascha Wildner DEBUGLOG(5, "Skipping past job %u because of error", jobID);
612*a28cd43dSSascha Wildner serialState->nextJobID = jobID + 1;
613*a28cd43dSSascha Wildner ZSTD_pthread_cond_broadcast(&serialState->cond);
614*a28cd43dSSascha Wildner
615*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&serialState->ldmWindowMutex);
616*a28cd43dSSascha Wildner ZSTD_window_clear(&serialState->ldmWindow);
617*a28cd43dSSascha Wildner ZSTD_pthread_cond_signal(&serialState->ldmWindowCond);
618*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&serialState->ldmWindowMutex);
619*a28cd43dSSascha Wildner }
620*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&serialState->mutex);
621*a28cd43dSSascha Wildner
622*a28cd43dSSascha Wildner }
623*a28cd43dSSascha Wildner
624*a28cd43dSSascha Wildner
625*a28cd43dSSascha Wildner /* ------------------------------------------ */
626*a28cd43dSSascha Wildner /* ===== Worker thread ===== */
627*a28cd43dSSascha Wildner /* ------------------------------------------ */
628*a28cd43dSSascha Wildner
629*a28cd43dSSascha Wildner static const range_t kNullRange = { NULL, 0 };
630*a28cd43dSSascha Wildner
631*a28cd43dSSascha Wildner typedef struct {
632*a28cd43dSSascha Wildner size_t consumed; /* SHARED - set0 by mtctx, then modified by worker AND read by mtctx */
633*a28cd43dSSascha Wildner size_t cSize; /* SHARED - set0 by mtctx, then modified by worker AND read by mtctx, then set0 by mtctx */
634*a28cd43dSSascha Wildner ZSTD_pthread_mutex_t job_mutex; /* Thread-safe - used by mtctx and worker */
635*a28cd43dSSascha Wildner ZSTD_pthread_cond_t job_cond; /* Thread-safe - used by mtctx and worker */
636*a28cd43dSSascha Wildner ZSTDMT_CCtxPool* cctxPool; /* Thread-safe - used by mtctx and (all) workers */
637*a28cd43dSSascha Wildner ZSTDMT_bufferPool* bufPool; /* Thread-safe - used by mtctx and (all) workers */
638*a28cd43dSSascha Wildner ZSTDMT_seqPool* seqPool; /* Thread-safe - used by mtctx and (all) workers */
639*a28cd43dSSascha Wildner serialState_t* serial; /* Thread-safe - used by mtctx and (all) workers */
640*a28cd43dSSascha Wildner buffer_t dstBuff; /* set by worker (or mtctx), then read by worker & mtctx, then modified by mtctx => no barrier */
641*a28cd43dSSascha Wildner range_t prefix; /* set by mtctx, then read by worker & mtctx => no barrier */
642*a28cd43dSSascha Wildner range_t src; /* set by mtctx, then read by worker & mtctx => no barrier */
643*a28cd43dSSascha Wildner unsigned jobID; /* set by mtctx, then read by worker => no barrier */
644*a28cd43dSSascha Wildner unsigned firstJob; /* set by mtctx, then read by worker => no barrier */
645*a28cd43dSSascha Wildner unsigned lastJob; /* set by mtctx, then read by worker => no barrier */
646*a28cd43dSSascha Wildner ZSTD_CCtx_params params; /* set by mtctx, then read by worker => no barrier */
647*a28cd43dSSascha Wildner const ZSTD_CDict* cdict; /* set by mtctx, then read by worker => no barrier */
648*a28cd43dSSascha Wildner unsigned long long fullFrameSize; /* set by mtctx, then read by worker => no barrier */
649*a28cd43dSSascha Wildner size_t dstFlushed; /* used only by mtctx */
650*a28cd43dSSascha Wildner unsigned frameChecksumNeeded; /* used only by mtctx */
651*a28cd43dSSascha Wildner } ZSTDMT_jobDescription;
652*a28cd43dSSascha Wildner
653*a28cd43dSSascha Wildner #define JOB_ERROR(e) { \
654*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&job->job_mutex); \
655*a28cd43dSSascha Wildner job->cSize = e; \
656*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&job->job_mutex); \
657*a28cd43dSSascha Wildner goto _endJob; \
658*a28cd43dSSascha Wildner }
659*a28cd43dSSascha Wildner
660*a28cd43dSSascha Wildner /* ZSTDMT_compressionJob() is a POOL_function type */
ZSTDMT_compressionJob(void * jobDescription)661*a28cd43dSSascha Wildner static void ZSTDMT_compressionJob(void* jobDescription)
662*a28cd43dSSascha Wildner {
663*a28cd43dSSascha Wildner ZSTDMT_jobDescription* const job = (ZSTDMT_jobDescription*)jobDescription;
664*a28cd43dSSascha Wildner ZSTD_CCtx_params jobParams = job->params; /* do not modify job->params ! copy it, modify the copy */
665*a28cd43dSSascha Wildner ZSTD_CCtx* const cctx = ZSTDMT_getCCtx(job->cctxPool);
666*a28cd43dSSascha Wildner rawSeqStore_t rawSeqStore = ZSTDMT_getSeq(job->seqPool);
667*a28cd43dSSascha Wildner buffer_t dstBuff = job->dstBuff;
668*a28cd43dSSascha Wildner size_t lastCBlockSize = 0;
669*a28cd43dSSascha Wildner
670*a28cd43dSSascha Wildner /* resources */
671*a28cd43dSSascha Wildner if (cctx==NULL) JOB_ERROR(ERROR(memory_allocation));
672*a28cd43dSSascha Wildner if (dstBuff.start == NULL) { /* streaming job : doesn't provide a dstBuffer */
673*a28cd43dSSascha Wildner dstBuff = ZSTDMT_getBuffer(job->bufPool);
674*a28cd43dSSascha Wildner if (dstBuff.start==NULL) JOB_ERROR(ERROR(memory_allocation));
675*a28cd43dSSascha Wildner job->dstBuff = dstBuff; /* this value can be read in ZSTDMT_flush, when it copies the whole job */
676*a28cd43dSSascha Wildner }
677*a28cd43dSSascha Wildner if (jobParams.ldmParams.enableLdm && rawSeqStore.seq == NULL)
678*a28cd43dSSascha Wildner JOB_ERROR(ERROR(memory_allocation));
679*a28cd43dSSascha Wildner
680*a28cd43dSSascha Wildner /* Don't compute the checksum for chunks, since we compute it externally,
681*a28cd43dSSascha Wildner * but write it in the header.
682*a28cd43dSSascha Wildner */
683*a28cd43dSSascha Wildner if (job->jobID != 0) jobParams.fParams.checksumFlag = 0;
684*a28cd43dSSascha Wildner /* Don't run LDM for the chunks, since we handle it externally */
685*a28cd43dSSascha Wildner jobParams.ldmParams.enableLdm = 0;
686*a28cd43dSSascha Wildner
687*a28cd43dSSascha Wildner
688*a28cd43dSSascha Wildner /* init */
689*a28cd43dSSascha Wildner if (job->cdict) {
690*a28cd43dSSascha Wildner size_t const initError = ZSTD_compressBegin_advanced_internal(cctx, NULL, 0, ZSTD_dct_auto, ZSTD_dtlm_fast, job->cdict, &jobParams, job->fullFrameSize);
691*a28cd43dSSascha Wildner assert(job->firstJob); /* only allowed for first job */
692*a28cd43dSSascha Wildner if (ZSTD_isError(initError)) JOB_ERROR(initError);
693*a28cd43dSSascha Wildner } else { /* srcStart points at reloaded section */
694*a28cd43dSSascha Wildner U64 const pledgedSrcSize = job->firstJob ? job->fullFrameSize : job->src.size;
695*a28cd43dSSascha Wildner { size_t const forceWindowError = ZSTD_CCtxParams_setParameter(&jobParams, ZSTD_c_forceMaxWindow, !job->firstJob);
696*a28cd43dSSascha Wildner if (ZSTD_isError(forceWindowError)) JOB_ERROR(forceWindowError);
697*a28cd43dSSascha Wildner }
698*a28cd43dSSascha Wildner { size_t const initError = ZSTD_compressBegin_advanced_internal(cctx,
699*a28cd43dSSascha Wildner job->prefix.start, job->prefix.size, ZSTD_dct_rawContent, /* load dictionary in "content-only" mode (no header analysis) */
700*a28cd43dSSascha Wildner ZSTD_dtlm_fast,
701*a28cd43dSSascha Wildner NULL, /*cdict*/
702*a28cd43dSSascha Wildner &jobParams, pledgedSrcSize);
703*a28cd43dSSascha Wildner if (ZSTD_isError(initError)) JOB_ERROR(initError);
704*a28cd43dSSascha Wildner } }
705*a28cd43dSSascha Wildner
706*a28cd43dSSascha Wildner /* Perform serial step as early as possible, but after CCtx initialization */
707*a28cd43dSSascha Wildner ZSTDMT_serialState_update(job->serial, cctx, rawSeqStore, job->src, job->jobID);
708*a28cd43dSSascha Wildner
709*a28cd43dSSascha Wildner if (!job->firstJob) { /* flush and overwrite frame header when it's not first job */
710*a28cd43dSSascha Wildner size_t const hSize = ZSTD_compressContinue(cctx, dstBuff.start, dstBuff.capacity, job->src.start, 0);
711*a28cd43dSSascha Wildner if (ZSTD_isError(hSize)) JOB_ERROR(hSize);
712*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_compressionJob: flush and overwrite %u bytes of frame header (not first job)", (U32)hSize);
713*a28cd43dSSascha Wildner ZSTD_invalidateRepCodes(cctx);
714*a28cd43dSSascha Wildner }
715*a28cd43dSSascha Wildner
716*a28cd43dSSascha Wildner /* compress */
717*a28cd43dSSascha Wildner { size_t const chunkSize = 4*ZSTD_BLOCKSIZE_MAX;
718*a28cd43dSSascha Wildner int const nbChunks = (int)((job->src.size + (chunkSize-1)) / chunkSize);
719*a28cd43dSSascha Wildner const BYTE* ip = (const BYTE*) job->src.start;
720*a28cd43dSSascha Wildner BYTE* const ostart = (BYTE*)dstBuff.start;
721*a28cd43dSSascha Wildner BYTE* op = ostart;
722*a28cd43dSSascha Wildner BYTE* oend = op + dstBuff.capacity;
723*a28cd43dSSascha Wildner int chunkNb;
724*a28cd43dSSascha Wildner if (sizeof(size_t) > sizeof(int)) assert(job->src.size < ((size_t)INT_MAX) * chunkSize); /* check overflow */
725*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_compressionJob: compress %u bytes in %i blocks", (U32)job->src.size, nbChunks);
726*a28cd43dSSascha Wildner assert(job->cSize == 0);
727*a28cd43dSSascha Wildner for (chunkNb = 1; chunkNb < nbChunks; chunkNb++) {
728*a28cd43dSSascha Wildner size_t const cSize = ZSTD_compressContinue(cctx, op, oend-op, ip, chunkSize);
729*a28cd43dSSascha Wildner if (ZSTD_isError(cSize)) JOB_ERROR(cSize);
730*a28cd43dSSascha Wildner ip += chunkSize;
731*a28cd43dSSascha Wildner op += cSize; assert(op < oend);
732*a28cd43dSSascha Wildner /* stats */
733*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&job->job_mutex);
734*a28cd43dSSascha Wildner job->cSize += cSize;
735*a28cd43dSSascha Wildner job->consumed = chunkSize * chunkNb;
736*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_compressionJob: compress new block : cSize==%u bytes (total: %u)",
737*a28cd43dSSascha Wildner (U32)cSize, (U32)job->cSize);
738*a28cd43dSSascha Wildner ZSTD_pthread_cond_signal(&job->job_cond); /* warns some more data is ready to be flushed */
739*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&job->job_mutex);
740*a28cd43dSSascha Wildner }
741*a28cd43dSSascha Wildner /* last block */
742*a28cd43dSSascha Wildner assert(chunkSize > 0);
743*a28cd43dSSascha Wildner assert((chunkSize & (chunkSize - 1)) == 0); /* chunkSize must be power of 2 for mask==(chunkSize-1) to work */
744*a28cd43dSSascha Wildner if ((nbChunks > 0) | job->lastJob /*must output a "last block" flag*/ ) {
745*a28cd43dSSascha Wildner size_t const lastBlockSize1 = job->src.size & (chunkSize-1);
746*a28cd43dSSascha Wildner size_t const lastBlockSize = ((lastBlockSize1==0) & (job->src.size>=chunkSize)) ? chunkSize : lastBlockSize1;
747*a28cd43dSSascha Wildner size_t const cSize = (job->lastJob) ?
748*a28cd43dSSascha Wildner ZSTD_compressEnd (cctx, op, oend-op, ip, lastBlockSize) :
749*a28cd43dSSascha Wildner ZSTD_compressContinue(cctx, op, oend-op, ip, lastBlockSize);
750*a28cd43dSSascha Wildner if (ZSTD_isError(cSize)) JOB_ERROR(cSize);
751*a28cd43dSSascha Wildner lastCBlockSize = cSize;
752*a28cd43dSSascha Wildner } }
753*a28cd43dSSascha Wildner
754*a28cd43dSSascha Wildner _endJob:
755*a28cd43dSSascha Wildner ZSTDMT_serialState_ensureFinished(job->serial, job->jobID, job->cSize);
756*a28cd43dSSascha Wildner if (job->prefix.size > 0)
757*a28cd43dSSascha Wildner DEBUGLOG(5, "Finished with prefix: %zx", (size_t)job->prefix.start);
758*a28cd43dSSascha Wildner DEBUGLOG(5, "Finished with source: %zx", (size_t)job->src.start);
759*a28cd43dSSascha Wildner /* release resources */
760*a28cd43dSSascha Wildner ZSTDMT_releaseSeq(job->seqPool, rawSeqStore);
761*a28cd43dSSascha Wildner ZSTDMT_releaseCCtx(job->cctxPool, cctx);
762*a28cd43dSSascha Wildner /* report */
763*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&job->job_mutex);
764*a28cd43dSSascha Wildner if (ZSTD_isError(job->cSize)) assert(lastCBlockSize == 0);
765*a28cd43dSSascha Wildner job->cSize += lastCBlockSize;
766*a28cd43dSSascha Wildner job->consumed = job->src.size; /* when job->consumed == job->src.size , compression job is presumed completed */
767*a28cd43dSSascha Wildner ZSTD_pthread_cond_signal(&job->job_cond);
768*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&job->job_mutex);
769*a28cd43dSSascha Wildner }
770*a28cd43dSSascha Wildner
771*a28cd43dSSascha Wildner
772*a28cd43dSSascha Wildner /* ------------------------------------------ */
773*a28cd43dSSascha Wildner /* ===== Multi-threaded compression ===== */
774*a28cd43dSSascha Wildner /* ------------------------------------------ */
775*a28cd43dSSascha Wildner
776*a28cd43dSSascha Wildner typedef struct {
777*a28cd43dSSascha Wildner range_t prefix; /* read-only non-owned prefix buffer */
778*a28cd43dSSascha Wildner buffer_t buffer;
779*a28cd43dSSascha Wildner size_t filled;
780*a28cd43dSSascha Wildner } inBuff_t;
781*a28cd43dSSascha Wildner
782*a28cd43dSSascha Wildner typedef struct {
783*a28cd43dSSascha Wildner BYTE* buffer; /* The round input buffer. All jobs get references
784*a28cd43dSSascha Wildner * to pieces of the buffer. ZSTDMT_tryGetInputRange()
785*a28cd43dSSascha Wildner * handles handing out job input buffers, and makes
786*a28cd43dSSascha Wildner * sure it doesn't overlap with any pieces still in use.
787*a28cd43dSSascha Wildner */
788*a28cd43dSSascha Wildner size_t capacity; /* The capacity of buffer. */
789*a28cd43dSSascha Wildner size_t pos; /* The position of the current inBuff in the round
790*a28cd43dSSascha Wildner * buffer. Updated past the end if the inBuff once
791*a28cd43dSSascha Wildner * the inBuff is sent to the worker thread.
792*a28cd43dSSascha Wildner * pos <= capacity.
793*a28cd43dSSascha Wildner */
794*a28cd43dSSascha Wildner } roundBuff_t;
795*a28cd43dSSascha Wildner
796*a28cd43dSSascha Wildner static const roundBuff_t kNullRoundBuff = {NULL, 0, 0};
797*a28cd43dSSascha Wildner
798*a28cd43dSSascha Wildner #define RSYNC_LENGTH 32
799*a28cd43dSSascha Wildner
800*a28cd43dSSascha Wildner typedef struct {
801*a28cd43dSSascha Wildner U64 hash;
802*a28cd43dSSascha Wildner U64 hitMask;
803*a28cd43dSSascha Wildner U64 primePower;
804*a28cd43dSSascha Wildner } rsyncState_t;
805*a28cd43dSSascha Wildner
806*a28cd43dSSascha Wildner struct ZSTDMT_CCtx_s {
807*a28cd43dSSascha Wildner POOL_ctx* factory;
808*a28cd43dSSascha Wildner ZSTDMT_jobDescription* jobs;
809*a28cd43dSSascha Wildner ZSTDMT_bufferPool* bufPool;
810*a28cd43dSSascha Wildner ZSTDMT_CCtxPool* cctxPool;
811*a28cd43dSSascha Wildner ZSTDMT_seqPool* seqPool;
812*a28cd43dSSascha Wildner ZSTD_CCtx_params params;
813*a28cd43dSSascha Wildner size_t targetSectionSize;
814*a28cd43dSSascha Wildner size_t targetPrefixSize;
815*a28cd43dSSascha Wildner int jobReady; /* 1 => one job is already prepared, but pool has shortage of workers. Don't create a new job. */
816*a28cd43dSSascha Wildner inBuff_t inBuff;
817*a28cd43dSSascha Wildner roundBuff_t roundBuff;
818*a28cd43dSSascha Wildner serialState_t serial;
819*a28cd43dSSascha Wildner rsyncState_t rsync;
820*a28cd43dSSascha Wildner unsigned jobIDMask;
821*a28cd43dSSascha Wildner unsigned doneJobID;
822*a28cd43dSSascha Wildner unsigned nextJobID;
823*a28cd43dSSascha Wildner unsigned frameEnded;
824*a28cd43dSSascha Wildner unsigned allJobsCompleted;
825*a28cd43dSSascha Wildner unsigned long long frameContentSize;
826*a28cd43dSSascha Wildner unsigned long long consumed;
827*a28cd43dSSascha Wildner unsigned long long produced;
828*a28cd43dSSascha Wildner ZSTD_customMem cMem;
829*a28cd43dSSascha Wildner ZSTD_CDict* cdictLocal;
830*a28cd43dSSascha Wildner const ZSTD_CDict* cdict;
831*a28cd43dSSascha Wildner unsigned providedFactory: 1;
832*a28cd43dSSascha Wildner };
833*a28cd43dSSascha Wildner
ZSTDMT_freeJobsTable(ZSTDMT_jobDescription * jobTable,U32 nbJobs,ZSTD_customMem cMem)834*a28cd43dSSascha Wildner static void ZSTDMT_freeJobsTable(ZSTDMT_jobDescription* jobTable, U32 nbJobs, ZSTD_customMem cMem)
835*a28cd43dSSascha Wildner {
836*a28cd43dSSascha Wildner U32 jobNb;
837*a28cd43dSSascha Wildner if (jobTable == NULL) return;
838*a28cd43dSSascha Wildner for (jobNb=0; jobNb<nbJobs; jobNb++) {
839*a28cd43dSSascha Wildner ZSTD_pthread_mutex_destroy(&jobTable[jobNb].job_mutex);
840*a28cd43dSSascha Wildner ZSTD_pthread_cond_destroy(&jobTable[jobNb].job_cond);
841*a28cd43dSSascha Wildner }
842*a28cd43dSSascha Wildner ZSTD_customFree(jobTable, cMem);
843*a28cd43dSSascha Wildner }
844*a28cd43dSSascha Wildner
845*a28cd43dSSascha Wildner /* ZSTDMT_allocJobsTable()
846*a28cd43dSSascha Wildner * allocate and init a job table.
847*a28cd43dSSascha Wildner * update *nbJobsPtr to next power of 2 value, as size of table */
ZSTDMT_createJobsTable(U32 * nbJobsPtr,ZSTD_customMem cMem)848*a28cd43dSSascha Wildner static ZSTDMT_jobDescription* ZSTDMT_createJobsTable(U32* nbJobsPtr, ZSTD_customMem cMem)
849*a28cd43dSSascha Wildner {
850*a28cd43dSSascha Wildner U32 const nbJobsLog2 = ZSTD_highbit32(*nbJobsPtr) + 1;
851*a28cd43dSSascha Wildner U32 const nbJobs = 1 << nbJobsLog2;
852*a28cd43dSSascha Wildner U32 jobNb;
853*a28cd43dSSascha Wildner ZSTDMT_jobDescription* const jobTable = (ZSTDMT_jobDescription*)
854*a28cd43dSSascha Wildner ZSTD_customCalloc(nbJobs * sizeof(ZSTDMT_jobDescription), cMem);
855*a28cd43dSSascha Wildner int initError = 0;
856*a28cd43dSSascha Wildner if (jobTable==NULL) return NULL;
857*a28cd43dSSascha Wildner *nbJobsPtr = nbJobs;
858*a28cd43dSSascha Wildner for (jobNb=0; jobNb<nbJobs; jobNb++) {
859*a28cd43dSSascha Wildner initError |= ZSTD_pthread_mutex_init(&jobTable[jobNb].job_mutex, NULL);
860*a28cd43dSSascha Wildner initError |= ZSTD_pthread_cond_init(&jobTable[jobNb].job_cond, NULL);
861*a28cd43dSSascha Wildner }
862*a28cd43dSSascha Wildner if (initError != 0) {
863*a28cd43dSSascha Wildner ZSTDMT_freeJobsTable(jobTable, nbJobs, cMem);
864*a28cd43dSSascha Wildner return NULL;
865*a28cd43dSSascha Wildner }
866*a28cd43dSSascha Wildner return jobTable;
867*a28cd43dSSascha Wildner }
868*a28cd43dSSascha Wildner
ZSTDMT_expandJobsTable(ZSTDMT_CCtx * mtctx,U32 nbWorkers)869*a28cd43dSSascha Wildner static size_t ZSTDMT_expandJobsTable (ZSTDMT_CCtx* mtctx, U32 nbWorkers) {
870*a28cd43dSSascha Wildner U32 nbJobs = nbWorkers + 2;
871*a28cd43dSSascha Wildner if (nbJobs > mtctx->jobIDMask+1) { /* need more job capacity */
872*a28cd43dSSascha Wildner ZSTDMT_freeJobsTable(mtctx->jobs, mtctx->jobIDMask+1, mtctx->cMem);
873*a28cd43dSSascha Wildner mtctx->jobIDMask = 0;
874*a28cd43dSSascha Wildner mtctx->jobs = ZSTDMT_createJobsTable(&nbJobs, mtctx->cMem);
875*a28cd43dSSascha Wildner if (mtctx->jobs==NULL) return ERROR(memory_allocation);
876*a28cd43dSSascha Wildner assert((nbJobs != 0) && ((nbJobs & (nbJobs - 1)) == 0)); /* ensure nbJobs is a power of 2 */
877*a28cd43dSSascha Wildner mtctx->jobIDMask = nbJobs - 1;
878*a28cd43dSSascha Wildner }
879*a28cd43dSSascha Wildner return 0;
880*a28cd43dSSascha Wildner }
881*a28cd43dSSascha Wildner
882*a28cd43dSSascha Wildner
883*a28cd43dSSascha Wildner /* ZSTDMT_CCtxParam_setNbWorkers():
884*a28cd43dSSascha Wildner * Internal use only */
ZSTDMT_CCtxParam_setNbWorkers(ZSTD_CCtx_params * params,unsigned nbWorkers)885*a28cd43dSSascha Wildner static size_t ZSTDMT_CCtxParam_setNbWorkers(ZSTD_CCtx_params* params, unsigned nbWorkers)
886*a28cd43dSSascha Wildner {
887*a28cd43dSSascha Wildner return ZSTD_CCtxParams_setParameter(params, ZSTD_c_nbWorkers, (int)nbWorkers);
888*a28cd43dSSascha Wildner }
889*a28cd43dSSascha Wildner
ZSTDMT_createCCtx_advanced_internal(unsigned nbWorkers,ZSTD_customMem cMem,ZSTD_threadPool * pool)890*a28cd43dSSascha Wildner MEM_STATIC ZSTDMT_CCtx* ZSTDMT_createCCtx_advanced_internal(unsigned nbWorkers, ZSTD_customMem cMem, ZSTD_threadPool* pool)
891*a28cd43dSSascha Wildner {
892*a28cd43dSSascha Wildner ZSTDMT_CCtx* mtctx;
893*a28cd43dSSascha Wildner U32 nbJobs = nbWorkers + 2;
894*a28cd43dSSascha Wildner int initError;
895*a28cd43dSSascha Wildner DEBUGLOG(3, "ZSTDMT_createCCtx_advanced (nbWorkers = %u)", nbWorkers);
896*a28cd43dSSascha Wildner
897*a28cd43dSSascha Wildner if (nbWorkers < 1) return NULL;
898*a28cd43dSSascha Wildner nbWorkers = MIN(nbWorkers , ZSTDMT_NBWORKERS_MAX);
899*a28cd43dSSascha Wildner if ((cMem.customAlloc!=NULL) ^ (cMem.customFree!=NULL))
900*a28cd43dSSascha Wildner /* invalid custom allocator */
901*a28cd43dSSascha Wildner return NULL;
902*a28cd43dSSascha Wildner
903*a28cd43dSSascha Wildner mtctx = (ZSTDMT_CCtx*) ZSTD_customCalloc(sizeof(ZSTDMT_CCtx), cMem);
904*a28cd43dSSascha Wildner if (!mtctx) return NULL;
905*a28cd43dSSascha Wildner ZSTDMT_CCtxParam_setNbWorkers(&mtctx->params, nbWorkers);
906*a28cd43dSSascha Wildner mtctx->cMem = cMem;
907*a28cd43dSSascha Wildner mtctx->allJobsCompleted = 1;
908*a28cd43dSSascha Wildner if (pool != NULL) {
909*a28cd43dSSascha Wildner mtctx->factory = pool;
910*a28cd43dSSascha Wildner mtctx->providedFactory = 1;
911*a28cd43dSSascha Wildner }
912*a28cd43dSSascha Wildner else {
913*a28cd43dSSascha Wildner mtctx->factory = POOL_create_advanced(nbWorkers, 0, cMem);
914*a28cd43dSSascha Wildner mtctx->providedFactory = 0;
915*a28cd43dSSascha Wildner }
916*a28cd43dSSascha Wildner mtctx->jobs = ZSTDMT_createJobsTable(&nbJobs, cMem);
917*a28cd43dSSascha Wildner assert(nbJobs > 0); assert((nbJobs & (nbJobs - 1)) == 0); /* ensure nbJobs is a power of 2 */
918*a28cd43dSSascha Wildner mtctx->jobIDMask = nbJobs - 1;
919*a28cd43dSSascha Wildner mtctx->bufPool = ZSTDMT_createBufferPool(nbWorkers, cMem);
920*a28cd43dSSascha Wildner mtctx->cctxPool = ZSTDMT_createCCtxPool(nbWorkers, cMem);
921*a28cd43dSSascha Wildner mtctx->seqPool = ZSTDMT_createSeqPool(nbWorkers, cMem);
922*a28cd43dSSascha Wildner initError = ZSTDMT_serialState_init(&mtctx->serial);
923*a28cd43dSSascha Wildner mtctx->roundBuff = kNullRoundBuff;
924*a28cd43dSSascha Wildner if (!mtctx->factory | !mtctx->jobs | !mtctx->bufPool | !mtctx->cctxPool | !mtctx->seqPool | initError) {
925*a28cd43dSSascha Wildner ZSTDMT_freeCCtx(mtctx);
926*a28cd43dSSascha Wildner return NULL;
927*a28cd43dSSascha Wildner }
928*a28cd43dSSascha Wildner DEBUGLOG(3, "mt_cctx created, for %u threads", nbWorkers);
929*a28cd43dSSascha Wildner return mtctx;
930*a28cd43dSSascha Wildner }
931*a28cd43dSSascha Wildner
ZSTDMT_createCCtx_advanced(unsigned nbWorkers,ZSTD_customMem cMem,ZSTD_threadPool * pool)932*a28cd43dSSascha Wildner ZSTDMT_CCtx* ZSTDMT_createCCtx_advanced(unsigned nbWorkers, ZSTD_customMem cMem, ZSTD_threadPool* pool)
933*a28cd43dSSascha Wildner {
934*a28cd43dSSascha Wildner #ifdef ZSTD_MULTITHREAD
935*a28cd43dSSascha Wildner return ZSTDMT_createCCtx_advanced_internal(nbWorkers, cMem, pool);
936*a28cd43dSSascha Wildner #else
937*a28cd43dSSascha Wildner (void)nbWorkers;
938*a28cd43dSSascha Wildner (void)cMem;
939*a28cd43dSSascha Wildner (void)pool;
940*a28cd43dSSascha Wildner return NULL;
941*a28cd43dSSascha Wildner #endif
942*a28cd43dSSascha Wildner }
943*a28cd43dSSascha Wildner
944*a28cd43dSSascha Wildner
945*a28cd43dSSascha Wildner /* ZSTDMT_releaseAllJobResources() :
946*a28cd43dSSascha Wildner * note : ensure all workers are killed first ! */
ZSTDMT_releaseAllJobResources(ZSTDMT_CCtx * mtctx)947*a28cd43dSSascha Wildner static void ZSTDMT_releaseAllJobResources(ZSTDMT_CCtx* mtctx)
948*a28cd43dSSascha Wildner {
949*a28cd43dSSascha Wildner unsigned jobID;
950*a28cd43dSSascha Wildner DEBUGLOG(3, "ZSTDMT_releaseAllJobResources");
951*a28cd43dSSascha Wildner for (jobID=0; jobID <= mtctx->jobIDMask; jobID++) {
952*a28cd43dSSascha Wildner /* Copy the mutex/cond out */
953*a28cd43dSSascha Wildner ZSTD_pthread_mutex_t const mutex = mtctx->jobs[jobID].job_mutex;
954*a28cd43dSSascha Wildner ZSTD_pthread_cond_t const cond = mtctx->jobs[jobID].job_cond;
955*a28cd43dSSascha Wildner
956*a28cd43dSSascha Wildner DEBUGLOG(4, "job%02u: release dst address %08X", jobID, (U32)(size_t)mtctx->jobs[jobID].dstBuff.start);
957*a28cd43dSSascha Wildner ZSTDMT_releaseBuffer(mtctx->bufPool, mtctx->jobs[jobID].dstBuff);
958*a28cd43dSSascha Wildner
959*a28cd43dSSascha Wildner /* Clear the job description, but keep the mutex/cond */
960*a28cd43dSSascha Wildner ZSTD_memset(&mtctx->jobs[jobID], 0, sizeof(mtctx->jobs[jobID]));
961*a28cd43dSSascha Wildner mtctx->jobs[jobID].job_mutex = mutex;
962*a28cd43dSSascha Wildner mtctx->jobs[jobID].job_cond = cond;
963*a28cd43dSSascha Wildner }
964*a28cd43dSSascha Wildner mtctx->inBuff.buffer = g_nullBuffer;
965*a28cd43dSSascha Wildner mtctx->inBuff.filled = 0;
966*a28cd43dSSascha Wildner mtctx->allJobsCompleted = 1;
967*a28cd43dSSascha Wildner }
968*a28cd43dSSascha Wildner
ZSTDMT_waitForAllJobsCompleted(ZSTDMT_CCtx * mtctx)969*a28cd43dSSascha Wildner static void ZSTDMT_waitForAllJobsCompleted(ZSTDMT_CCtx* mtctx)
970*a28cd43dSSascha Wildner {
971*a28cd43dSSascha Wildner DEBUGLOG(4, "ZSTDMT_waitForAllJobsCompleted");
972*a28cd43dSSascha Wildner while (mtctx->doneJobID < mtctx->nextJobID) {
973*a28cd43dSSascha Wildner unsigned const jobID = mtctx->doneJobID & mtctx->jobIDMask;
974*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&mtctx->jobs[jobID].job_mutex);
975*a28cd43dSSascha Wildner while (mtctx->jobs[jobID].consumed < mtctx->jobs[jobID].src.size) {
976*a28cd43dSSascha Wildner DEBUGLOG(4, "waiting for jobCompleted signal from job %u", mtctx->doneJobID); /* we want to block when waiting for data to flush */
977*a28cd43dSSascha Wildner ZSTD_pthread_cond_wait(&mtctx->jobs[jobID].job_cond, &mtctx->jobs[jobID].job_mutex);
978*a28cd43dSSascha Wildner }
979*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&mtctx->jobs[jobID].job_mutex);
980*a28cd43dSSascha Wildner mtctx->doneJobID++;
981*a28cd43dSSascha Wildner }
982*a28cd43dSSascha Wildner }
983*a28cd43dSSascha Wildner
ZSTDMT_freeCCtx(ZSTDMT_CCtx * mtctx)984*a28cd43dSSascha Wildner size_t ZSTDMT_freeCCtx(ZSTDMT_CCtx* mtctx)
985*a28cd43dSSascha Wildner {
986*a28cd43dSSascha Wildner if (mtctx==NULL) return 0; /* compatible with free on NULL */
987*a28cd43dSSascha Wildner if (!mtctx->providedFactory)
988*a28cd43dSSascha Wildner POOL_free(mtctx->factory); /* stop and free worker threads */
989*a28cd43dSSascha Wildner ZSTDMT_releaseAllJobResources(mtctx); /* release job resources into pools first */
990*a28cd43dSSascha Wildner ZSTDMT_freeJobsTable(mtctx->jobs, mtctx->jobIDMask+1, mtctx->cMem);
991*a28cd43dSSascha Wildner ZSTDMT_freeBufferPool(mtctx->bufPool);
992*a28cd43dSSascha Wildner ZSTDMT_freeCCtxPool(mtctx->cctxPool);
993*a28cd43dSSascha Wildner ZSTDMT_freeSeqPool(mtctx->seqPool);
994*a28cd43dSSascha Wildner ZSTDMT_serialState_free(&mtctx->serial);
995*a28cd43dSSascha Wildner ZSTD_freeCDict(mtctx->cdictLocal);
996*a28cd43dSSascha Wildner if (mtctx->roundBuff.buffer)
997*a28cd43dSSascha Wildner ZSTD_customFree(mtctx->roundBuff.buffer, mtctx->cMem);
998*a28cd43dSSascha Wildner ZSTD_customFree(mtctx, mtctx->cMem);
999*a28cd43dSSascha Wildner return 0;
1000*a28cd43dSSascha Wildner }
1001*a28cd43dSSascha Wildner
ZSTDMT_sizeof_CCtx(ZSTDMT_CCtx * mtctx)1002*a28cd43dSSascha Wildner size_t ZSTDMT_sizeof_CCtx(ZSTDMT_CCtx* mtctx)
1003*a28cd43dSSascha Wildner {
1004*a28cd43dSSascha Wildner if (mtctx == NULL) return 0; /* supports sizeof NULL */
1005*a28cd43dSSascha Wildner return sizeof(*mtctx)
1006*a28cd43dSSascha Wildner + POOL_sizeof(mtctx->factory)
1007*a28cd43dSSascha Wildner + ZSTDMT_sizeof_bufferPool(mtctx->bufPool)
1008*a28cd43dSSascha Wildner + (mtctx->jobIDMask+1) * sizeof(ZSTDMT_jobDescription)
1009*a28cd43dSSascha Wildner + ZSTDMT_sizeof_CCtxPool(mtctx->cctxPool)
1010*a28cd43dSSascha Wildner + ZSTDMT_sizeof_seqPool(mtctx->seqPool)
1011*a28cd43dSSascha Wildner + ZSTD_sizeof_CDict(mtctx->cdictLocal)
1012*a28cd43dSSascha Wildner + mtctx->roundBuff.capacity;
1013*a28cd43dSSascha Wildner }
1014*a28cd43dSSascha Wildner
1015*a28cd43dSSascha Wildner
1016*a28cd43dSSascha Wildner /* ZSTDMT_resize() :
1017*a28cd43dSSascha Wildner * @return : error code if fails, 0 on success */
ZSTDMT_resize(ZSTDMT_CCtx * mtctx,unsigned nbWorkers)1018*a28cd43dSSascha Wildner static size_t ZSTDMT_resize(ZSTDMT_CCtx* mtctx, unsigned nbWorkers)
1019*a28cd43dSSascha Wildner {
1020*a28cd43dSSascha Wildner if (POOL_resize(mtctx->factory, nbWorkers)) return ERROR(memory_allocation);
1021*a28cd43dSSascha Wildner FORWARD_IF_ERROR( ZSTDMT_expandJobsTable(mtctx, nbWorkers) , "");
1022*a28cd43dSSascha Wildner mtctx->bufPool = ZSTDMT_expandBufferPool(mtctx->bufPool, nbWorkers);
1023*a28cd43dSSascha Wildner if (mtctx->bufPool == NULL) return ERROR(memory_allocation);
1024*a28cd43dSSascha Wildner mtctx->cctxPool = ZSTDMT_expandCCtxPool(mtctx->cctxPool, nbWorkers);
1025*a28cd43dSSascha Wildner if (mtctx->cctxPool == NULL) return ERROR(memory_allocation);
1026*a28cd43dSSascha Wildner mtctx->seqPool = ZSTDMT_expandSeqPool(mtctx->seqPool, nbWorkers);
1027*a28cd43dSSascha Wildner if (mtctx->seqPool == NULL) return ERROR(memory_allocation);
1028*a28cd43dSSascha Wildner ZSTDMT_CCtxParam_setNbWorkers(&mtctx->params, nbWorkers);
1029*a28cd43dSSascha Wildner return 0;
1030*a28cd43dSSascha Wildner }
1031*a28cd43dSSascha Wildner
1032*a28cd43dSSascha Wildner
1033*a28cd43dSSascha Wildner /*! ZSTDMT_updateCParams_whileCompressing() :
1034*a28cd43dSSascha Wildner * Updates a selected set of compression parameters, remaining compatible with currently active frame.
1035*a28cd43dSSascha Wildner * New parameters will be applied to next compression job. */
ZSTDMT_updateCParams_whileCompressing(ZSTDMT_CCtx * mtctx,const ZSTD_CCtx_params * cctxParams)1036*a28cd43dSSascha Wildner void ZSTDMT_updateCParams_whileCompressing(ZSTDMT_CCtx* mtctx, const ZSTD_CCtx_params* cctxParams)
1037*a28cd43dSSascha Wildner {
1038*a28cd43dSSascha Wildner U32 const saved_wlog = mtctx->params.cParams.windowLog; /* Do not modify windowLog while compressing */
1039*a28cd43dSSascha Wildner int const compressionLevel = cctxParams->compressionLevel;
1040*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_updateCParams_whileCompressing (level:%i)",
1041*a28cd43dSSascha Wildner compressionLevel);
1042*a28cd43dSSascha Wildner mtctx->params.compressionLevel = compressionLevel;
1043*a28cd43dSSascha Wildner { ZSTD_compressionParameters cParams = ZSTD_getCParamsFromCCtxParams(cctxParams, ZSTD_CONTENTSIZE_UNKNOWN, 0, ZSTD_cpm_noAttachDict);
1044*a28cd43dSSascha Wildner cParams.windowLog = saved_wlog;
1045*a28cd43dSSascha Wildner mtctx->params.cParams = cParams;
1046*a28cd43dSSascha Wildner }
1047*a28cd43dSSascha Wildner }
1048*a28cd43dSSascha Wildner
1049*a28cd43dSSascha Wildner /* ZSTDMT_getFrameProgression():
1050*a28cd43dSSascha Wildner * tells how much data has been consumed (input) and produced (output) for current frame.
1051*a28cd43dSSascha Wildner * able to count progression inside worker threads.
1052*a28cd43dSSascha Wildner * Note : mutex will be acquired during statistics collection inside workers. */
ZSTDMT_getFrameProgression(ZSTDMT_CCtx * mtctx)1053*a28cd43dSSascha Wildner ZSTD_frameProgression ZSTDMT_getFrameProgression(ZSTDMT_CCtx* mtctx)
1054*a28cd43dSSascha Wildner {
1055*a28cd43dSSascha Wildner ZSTD_frameProgression fps;
1056*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_getFrameProgression");
1057*a28cd43dSSascha Wildner fps.ingested = mtctx->consumed + mtctx->inBuff.filled;
1058*a28cd43dSSascha Wildner fps.consumed = mtctx->consumed;
1059*a28cd43dSSascha Wildner fps.produced = fps.flushed = mtctx->produced;
1060*a28cd43dSSascha Wildner fps.currentJobID = mtctx->nextJobID;
1061*a28cd43dSSascha Wildner fps.nbActiveWorkers = 0;
1062*a28cd43dSSascha Wildner { unsigned jobNb;
1063*a28cd43dSSascha Wildner unsigned lastJobNb = mtctx->nextJobID + mtctx->jobReady; assert(mtctx->jobReady <= 1);
1064*a28cd43dSSascha Wildner DEBUGLOG(6, "ZSTDMT_getFrameProgression: jobs: from %u to <%u (jobReady:%u)",
1065*a28cd43dSSascha Wildner mtctx->doneJobID, lastJobNb, mtctx->jobReady)
1066*a28cd43dSSascha Wildner for (jobNb = mtctx->doneJobID ; jobNb < lastJobNb ; jobNb++) {
1067*a28cd43dSSascha Wildner unsigned const wJobID = jobNb & mtctx->jobIDMask;
1068*a28cd43dSSascha Wildner ZSTDMT_jobDescription* jobPtr = &mtctx->jobs[wJobID];
1069*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&jobPtr->job_mutex);
1070*a28cd43dSSascha Wildner { size_t const cResult = jobPtr->cSize;
1071*a28cd43dSSascha Wildner size_t const produced = ZSTD_isError(cResult) ? 0 : cResult;
1072*a28cd43dSSascha Wildner size_t const flushed = ZSTD_isError(cResult) ? 0 : jobPtr->dstFlushed;
1073*a28cd43dSSascha Wildner assert(flushed <= produced);
1074*a28cd43dSSascha Wildner fps.ingested += jobPtr->src.size;
1075*a28cd43dSSascha Wildner fps.consumed += jobPtr->consumed;
1076*a28cd43dSSascha Wildner fps.produced += produced;
1077*a28cd43dSSascha Wildner fps.flushed += flushed;
1078*a28cd43dSSascha Wildner fps.nbActiveWorkers += (jobPtr->consumed < jobPtr->src.size);
1079*a28cd43dSSascha Wildner }
1080*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&mtctx->jobs[wJobID].job_mutex);
1081*a28cd43dSSascha Wildner }
1082*a28cd43dSSascha Wildner }
1083*a28cd43dSSascha Wildner return fps;
1084*a28cd43dSSascha Wildner }
1085*a28cd43dSSascha Wildner
1086*a28cd43dSSascha Wildner
ZSTDMT_toFlushNow(ZSTDMT_CCtx * mtctx)1087*a28cd43dSSascha Wildner size_t ZSTDMT_toFlushNow(ZSTDMT_CCtx* mtctx)
1088*a28cd43dSSascha Wildner {
1089*a28cd43dSSascha Wildner size_t toFlush;
1090*a28cd43dSSascha Wildner unsigned const jobID = mtctx->doneJobID;
1091*a28cd43dSSascha Wildner assert(jobID <= mtctx->nextJobID);
1092*a28cd43dSSascha Wildner if (jobID == mtctx->nextJobID) return 0; /* no active job => nothing to flush */
1093*a28cd43dSSascha Wildner
1094*a28cd43dSSascha Wildner /* look into oldest non-fully-flushed job */
1095*a28cd43dSSascha Wildner { unsigned const wJobID = jobID & mtctx->jobIDMask;
1096*a28cd43dSSascha Wildner ZSTDMT_jobDescription* const jobPtr = &mtctx->jobs[wJobID];
1097*a28cd43dSSascha Wildner ZSTD_pthread_mutex_lock(&jobPtr->job_mutex);
1098*a28cd43dSSascha Wildner { size_t const cResult = jobPtr->cSize;
1099*a28cd43dSSascha Wildner size_t const produced = ZSTD_isError(cResult) ? 0 : cResult;
1100*a28cd43dSSascha Wildner size_t const flushed = ZSTD_isError(cResult) ? 0 : jobPtr->dstFlushed;
1101*a28cd43dSSascha Wildner assert(flushed <= produced);
1102*a28cd43dSSascha Wildner assert(jobPtr->consumed <= jobPtr->src.size);
1103*a28cd43dSSascha Wildner toFlush = produced - flushed;
1104*a28cd43dSSascha Wildner /* if toFlush==0, nothing is available to flush.
1105*a28cd43dSSascha Wildner * However, jobID is expected to still be active:
1106*a28cd43dSSascha Wildner * if jobID was already completed and fully flushed,
1107*a28cd43dSSascha Wildner * ZSTDMT_flushProduced() should have already moved onto next job.
1108*a28cd43dSSascha Wildner * Therefore, some input has not yet been consumed. */
1109*a28cd43dSSascha Wildner if (toFlush==0) {
1110*a28cd43dSSascha Wildner assert(jobPtr->consumed < jobPtr->src.size);
1111*a28cd43dSSascha Wildner }
1112*a28cd43dSSascha Wildner }
1113*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&mtctx->jobs[wJobID].job_mutex);
1114*a28cd43dSSascha Wildner }
1115*a28cd43dSSascha Wildner
1116*a28cd43dSSascha Wildner return toFlush;
1117*a28cd43dSSascha Wildner }
1118*a28cd43dSSascha Wildner
1119*a28cd43dSSascha Wildner
1120*a28cd43dSSascha Wildner /* ------------------------------------------ */
1121*a28cd43dSSascha Wildner /* ===== Multi-threaded compression ===== */
1122*a28cd43dSSascha Wildner /* ------------------------------------------ */
1123*a28cd43dSSascha Wildner
ZSTDMT_computeTargetJobLog(const ZSTD_CCtx_params * params)1124*a28cd43dSSascha Wildner static unsigned ZSTDMT_computeTargetJobLog(const ZSTD_CCtx_params* params)
1125*a28cd43dSSascha Wildner {
1126*a28cd43dSSascha Wildner unsigned jobLog;
1127*a28cd43dSSascha Wildner if (params->ldmParams.enableLdm) {
1128*a28cd43dSSascha Wildner /* In Long Range Mode, the windowLog is typically oversized.
1129*a28cd43dSSascha Wildner * In which case, it's preferable to determine the jobSize
1130*a28cd43dSSascha Wildner * based on cycleLog instead. */
1131*a28cd43dSSascha Wildner jobLog = MAX(21, ZSTD_cycleLog(params->cParams.chainLog, params->cParams.strategy) + 3);
1132*a28cd43dSSascha Wildner } else {
1133*a28cd43dSSascha Wildner jobLog = MAX(20, params->cParams.windowLog + 2);
1134*a28cd43dSSascha Wildner }
1135*a28cd43dSSascha Wildner return MIN(jobLog, (unsigned)ZSTDMT_JOBLOG_MAX);
1136*a28cd43dSSascha Wildner }
1137*a28cd43dSSascha Wildner
ZSTDMT_overlapLog_default(ZSTD_strategy strat)1138*a28cd43dSSascha Wildner static int ZSTDMT_overlapLog_default(ZSTD_strategy strat)
1139*a28cd43dSSascha Wildner {
1140*a28cd43dSSascha Wildner switch(strat)
1141*a28cd43dSSascha Wildner {
1142*a28cd43dSSascha Wildner case ZSTD_btultra2:
1143*a28cd43dSSascha Wildner return 9;
1144*a28cd43dSSascha Wildner case ZSTD_btultra:
1145*a28cd43dSSascha Wildner case ZSTD_btopt:
1146*a28cd43dSSascha Wildner return 8;
1147*a28cd43dSSascha Wildner case ZSTD_btlazy2:
1148*a28cd43dSSascha Wildner case ZSTD_lazy2:
1149*a28cd43dSSascha Wildner return 7;
1150*a28cd43dSSascha Wildner case ZSTD_lazy:
1151*a28cd43dSSascha Wildner case ZSTD_greedy:
1152*a28cd43dSSascha Wildner case ZSTD_dfast:
1153*a28cd43dSSascha Wildner case ZSTD_fast:
1154*a28cd43dSSascha Wildner default:;
1155*a28cd43dSSascha Wildner }
1156*a28cd43dSSascha Wildner return 6;
1157*a28cd43dSSascha Wildner }
1158*a28cd43dSSascha Wildner
ZSTDMT_overlapLog(int ovlog,ZSTD_strategy strat)1159*a28cd43dSSascha Wildner static int ZSTDMT_overlapLog(int ovlog, ZSTD_strategy strat)
1160*a28cd43dSSascha Wildner {
1161*a28cd43dSSascha Wildner assert(0 <= ovlog && ovlog <= 9);
1162*a28cd43dSSascha Wildner if (ovlog == 0) return ZSTDMT_overlapLog_default(strat);
1163*a28cd43dSSascha Wildner return ovlog;
1164*a28cd43dSSascha Wildner }
1165*a28cd43dSSascha Wildner
ZSTDMT_computeOverlapSize(const ZSTD_CCtx_params * params)1166*a28cd43dSSascha Wildner static size_t ZSTDMT_computeOverlapSize(const ZSTD_CCtx_params* params)
1167*a28cd43dSSascha Wildner {
1168*a28cd43dSSascha Wildner int const overlapRLog = 9 - ZSTDMT_overlapLog(params->overlapLog, params->cParams.strategy);
1169*a28cd43dSSascha Wildner int ovLog = (overlapRLog >= 8) ? 0 : (params->cParams.windowLog - overlapRLog);
1170*a28cd43dSSascha Wildner assert(0 <= overlapRLog && overlapRLog <= 8);
1171*a28cd43dSSascha Wildner if (params->ldmParams.enableLdm) {
1172*a28cd43dSSascha Wildner /* In Long Range Mode, the windowLog is typically oversized.
1173*a28cd43dSSascha Wildner * In which case, it's preferable to determine the jobSize
1174*a28cd43dSSascha Wildner * based on chainLog instead.
1175*a28cd43dSSascha Wildner * Then, ovLog becomes a fraction of the jobSize, rather than windowSize */
1176*a28cd43dSSascha Wildner ovLog = MIN(params->cParams.windowLog, ZSTDMT_computeTargetJobLog(params) - 2)
1177*a28cd43dSSascha Wildner - overlapRLog;
1178*a28cd43dSSascha Wildner }
1179*a28cd43dSSascha Wildner assert(0 <= ovLog && ovLog <= ZSTD_WINDOWLOG_MAX);
1180*a28cd43dSSascha Wildner DEBUGLOG(4, "overlapLog : %i", params->overlapLog);
1181*a28cd43dSSascha Wildner DEBUGLOG(4, "overlap size : %i", 1 << ovLog);
1182*a28cd43dSSascha Wildner return (ovLog==0) ? 0 : (size_t)1 << ovLog;
1183*a28cd43dSSascha Wildner }
1184*a28cd43dSSascha Wildner
1185*a28cd43dSSascha Wildner /* ====================================== */
1186*a28cd43dSSascha Wildner /* ======= Streaming API ======= */
1187*a28cd43dSSascha Wildner /* ====================================== */
1188*a28cd43dSSascha Wildner
ZSTDMT_initCStream_internal(ZSTDMT_CCtx * mtctx,const void * dict,size_t dictSize,ZSTD_dictContentType_e dictContentType,const ZSTD_CDict * cdict,ZSTD_CCtx_params params,unsigned long long pledgedSrcSize)1189*a28cd43dSSascha Wildner size_t ZSTDMT_initCStream_internal(
1190*a28cd43dSSascha Wildner ZSTDMT_CCtx* mtctx,
1191*a28cd43dSSascha Wildner const void* dict, size_t dictSize, ZSTD_dictContentType_e dictContentType,
1192*a28cd43dSSascha Wildner const ZSTD_CDict* cdict, ZSTD_CCtx_params params,
1193*a28cd43dSSascha Wildner unsigned long long pledgedSrcSize)
1194*a28cd43dSSascha Wildner {
1195*a28cd43dSSascha Wildner DEBUGLOG(4, "ZSTDMT_initCStream_internal (pledgedSrcSize=%u, nbWorkers=%u, cctxPool=%u)",
1196*a28cd43dSSascha Wildner (U32)pledgedSrcSize, params.nbWorkers, mtctx->cctxPool->totalCCtx);
1197*a28cd43dSSascha Wildner
1198*a28cd43dSSascha Wildner /* params supposed partially fully validated at this point */
1199*a28cd43dSSascha Wildner assert(!ZSTD_isError(ZSTD_checkCParams(params.cParams)));
1200*a28cd43dSSascha Wildner assert(!((dict) && (cdict))); /* either dict or cdict, not both */
1201*a28cd43dSSascha Wildner
1202*a28cd43dSSascha Wildner /* init */
1203*a28cd43dSSascha Wildner if (params.nbWorkers != mtctx->params.nbWorkers)
1204*a28cd43dSSascha Wildner FORWARD_IF_ERROR( ZSTDMT_resize(mtctx, params.nbWorkers) , "");
1205*a28cd43dSSascha Wildner
1206*a28cd43dSSascha Wildner if (params.jobSize != 0 && params.jobSize < ZSTDMT_JOBSIZE_MIN) params.jobSize = ZSTDMT_JOBSIZE_MIN;
1207*a28cd43dSSascha Wildner if (params.jobSize > (size_t)ZSTDMT_JOBSIZE_MAX) params.jobSize = (size_t)ZSTDMT_JOBSIZE_MAX;
1208*a28cd43dSSascha Wildner
1209*a28cd43dSSascha Wildner DEBUGLOG(4, "ZSTDMT_initCStream_internal: %u workers", params.nbWorkers);
1210*a28cd43dSSascha Wildner
1211*a28cd43dSSascha Wildner if (mtctx->allJobsCompleted == 0) { /* previous compression not correctly finished */
1212*a28cd43dSSascha Wildner ZSTDMT_waitForAllJobsCompleted(mtctx);
1213*a28cd43dSSascha Wildner ZSTDMT_releaseAllJobResources(mtctx);
1214*a28cd43dSSascha Wildner mtctx->allJobsCompleted = 1;
1215*a28cd43dSSascha Wildner }
1216*a28cd43dSSascha Wildner
1217*a28cd43dSSascha Wildner mtctx->params = params;
1218*a28cd43dSSascha Wildner mtctx->frameContentSize = pledgedSrcSize;
1219*a28cd43dSSascha Wildner if (dict) {
1220*a28cd43dSSascha Wildner ZSTD_freeCDict(mtctx->cdictLocal);
1221*a28cd43dSSascha Wildner mtctx->cdictLocal = ZSTD_createCDict_advanced(dict, dictSize,
1222*a28cd43dSSascha Wildner ZSTD_dlm_byCopy, dictContentType, /* note : a loadPrefix becomes an internal CDict */
1223*a28cd43dSSascha Wildner params.cParams, mtctx->cMem);
1224*a28cd43dSSascha Wildner mtctx->cdict = mtctx->cdictLocal;
1225*a28cd43dSSascha Wildner if (mtctx->cdictLocal == NULL) return ERROR(memory_allocation);
1226*a28cd43dSSascha Wildner } else {
1227*a28cd43dSSascha Wildner ZSTD_freeCDict(mtctx->cdictLocal);
1228*a28cd43dSSascha Wildner mtctx->cdictLocal = NULL;
1229*a28cd43dSSascha Wildner mtctx->cdict = cdict;
1230*a28cd43dSSascha Wildner }
1231*a28cd43dSSascha Wildner
1232*a28cd43dSSascha Wildner mtctx->targetPrefixSize = ZSTDMT_computeOverlapSize(¶ms);
1233*a28cd43dSSascha Wildner DEBUGLOG(4, "overlapLog=%i => %u KB", params.overlapLog, (U32)(mtctx->targetPrefixSize>>10));
1234*a28cd43dSSascha Wildner mtctx->targetSectionSize = params.jobSize;
1235*a28cd43dSSascha Wildner if (mtctx->targetSectionSize == 0) {
1236*a28cd43dSSascha Wildner mtctx->targetSectionSize = 1ULL << ZSTDMT_computeTargetJobLog(¶ms);
1237*a28cd43dSSascha Wildner }
1238*a28cd43dSSascha Wildner assert(mtctx->targetSectionSize <= (size_t)ZSTDMT_JOBSIZE_MAX);
1239*a28cd43dSSascha Wildner
1240*a28cd43dSSascha Wildner if (params.rsyncable) {
1241*a28cd43dSSascha Wildner /* Aim for the targetsectionSize as the average job size. */
1242*a28cd43dSSascha Wildner U32 const jobSizeMB = (U32)(mtctx->targetSectionSize >> 20);
1243*a28cd43dSSascha Wildner U32 const rsyncBits = ZSTD_highbit32(jobSizeMB) + 20;
1244*a28cd43dSSascha Wildner assert(jobSizeMB >= 1);
1245*a28cd43dSSascha Wildner DEBUGLOG(4, "rsyncLog = %u", rsyncBits);
1246*a28cd43dSSascha Wildner mtctx->rsync.hash = 0;
1247*a28cd43dSSascha Wildner mtctx->rsync.hitMask = (1ULL << rsyncBits) - 1;
1248*a28cd43dSSascha Wildner mtctx->rsync.primePower = ZSTD_rollingHash_primePower(RSYNC_LENGTH);
1249*a28cd43dSSascha Wildner }
1250*a28cd43dSSascha Wildner if (mtctx->targetSectionSize < mtctx->targetPrefixSize) mtctx->targetSectionSize = mtctx->targetPrefixSize; /* job size must be >= overlap size */
1251*a28cd43dSSascha Wildner DEBUGLOG(4, "Job Size : %u KB (note : set to %u)", (U32)(mtctx->targetSectionSize>>10), (U32)params.jobSize);
1252*a28cd43dSSascha Wildner DEBUGLOG(4, "inBuff Size : %u KB", (U32)(mtctx->targetSectionSize>>10));
1253*a28cd43dSSascha Wildner ZSTDMT_setBufferSize(mtctx->bufPool, ZSTD_compressBound(mtctx->targetSectionSize));
1254*a28cd43dSSascha Wildner {
1255*a28cd43dSSascha Wildner /* If ldm is enabled we need windowSize space. */
1256*a28cd43dSSascha Wildner size_t const windowSize = mtctx->params.ldmParams.enableLdm ? (1U << mtctx->params.cParams.windowLog) : 0;
1257*a28cd43dSSascha Wildner /* Two buffers of slack, plus extra space for the overlap
1258*a28cd43dSSascha Wildner * This is the minimum slack that LDM works with. One extra because
1259*a28cd43dSSascha Wildner * flush might waste up to targetSectionSize-1 bytes. Another extra
1260*a28cd43dSSascha Wildner * for the overlap (if > 0), then one to fill which doesn't overlap
1261*a28cd43dSSascha Wildner * with the LDM window.
1262*a28cd43dSSascha Wildner */
1263*a28cd43dSSascha Wildner size_t const nbSlackBuffers = 2 + (mtctx->targetPrefixSize > 0);
1264*a28cd43dSSascha Wildner size_t const slackSize = mtctx->targetSectionSize * nbSlackBuffers;
1265*a28cd43dSSascha Wildner /* Compute the total size, and always have enough slack */
1266*a28cd43dSSascha Wildner size_t const nbWorkers = MAX(mtctx->params.nbWorkers, 1);
1267*a28cd43dSSascha Wildner size_t const sectionsSize = mtctx->targetSectionSize * nbWorkers;
1268*a28cd43dSSascha Wildner size_t const capacity = MAX(windowSize, sectionsSize) + slackSize;
1269*a28cd43dSSascha Wildner if (mtctx->roundBuff.capacity < capacity) {
1270*a28cd43dSSascha Wildner if (mtctx->roundBuff.buffer)
1271*a28cd43dSSascha Wildner ZSTD_customFree(mtctx->roundBuff.buffer, mtctx->cMem);
1272*a28cd43dSSascha Wildner mtctx->roundBuff.buffer = (BYTE*)ZSTD_customMalloc(capacity, mtctx->cMem);
1273*a28cd43dSSascha Wildner if (mtctx->roundBuff.buffer == NULL) {
1274*a28cd43dSSascha Wildner mtctx->roundBuff.capacity = 0;
1275*a28cd43dSSascha Wildner return ERROR(memory_allocation);
1276*a28cd43dSSascha Wildner }
1277*a28cd43dSSascha Wildner mtctx->roundBuff.capacity = capacity;
1278*a28cd43dSSascha Wildner }
1279*a28cd43dSSascha Wildner }
1280*a28cd43dSSascha Wildner DEBUGLOG(4, "roundBuff capacity : %u KB", (U32)(mtctx->roundBuff.capacity>>10));
1281*a28cd43dSSascha Wildner mtctx->roundBuff.pos = 0;
1282*a28cd43dSSascha Wildner mtctx->inBuff.buffer = g_nullBuffer;
1283*a28cd43dSSascha Wildner mtctx->inBuff.filled = 0;
1284*a28cd43dSSascha Wildner mtctx->inBuff.prefix = kNullRange;
1285*a28cd43dSSascha Wildner mtctx->doneJobID = 0;
1286*a28cd43dSSascha Wildner mtctx->nextJobID = 0;
1287*a28cd43dSSascha Wildner mtctx->frameEnded = 0;
1288*a28cd43dSSascha Wildner mtctx->allJobsCompleted = 0;
1289*a28cd43dSSascha Wildner mtctx->consumed = 0;
1290*a28cd43dSSascha Wildner mtctx->produced = 0;
1291*a28cd43dSSascha Wildner if (ZSTDMT_serialState_reset(&mtctx->serial, mtctx->seqPool, params, mtctx->targetSectionSize,
1292*a28cd43dSSascha Wildner dict, dictSize, dictContentType))
1293*a28cd43dSSascha Wildner return ERROR(memory_allocation);
1294*a28cd43dSSascha Wildner return 0;
1295*a28cd43dSSascha Wildner }
1296*a28cd43dSSascha Wildner
1297*a28cd43dSSascha Wildner
1298*a28cd43dSSascha Wildner /* ZSTDMT_writeLastEmptyBlock()
1299*a28cd43dSSascha Wildner * Write a single empty block with an end-of-frame to finish a frame.
1300*a28cd43dSSascha Wildner * Job must be created from streaming variant.
1301*a28cd43dSSascha Wildner * This function is always successful if expected conditions are fulfilled.
1302*a28cd43dSSascha Wildner */
ZSTDMT_writeLastEmptyBlock(ZSTDMT_jobDescription * job)1303*a28cd43dSSascha Wildner static void ZSTDMT_writeLastEmptyBlock(ZSTDMT_jobDescription* job)
1304*a28cd43dSSascha Wildner {
1305*a28cd43dSSascha Wildner assert(job->lastJob == 1);
1306*a28cd43dSSascha Wildner assert(job->src.size == 0); /* last job is empty -> will be simplified into a last empty block */
1307*a28cd43dSSascha Wildner assert(job->firstJob == 0); /* cannot be first job, as it also needs to create frame header */
1308*a28cd43dSSascha Wildner assert(job->dstBuff.start == NULL); /* invoked from streaming variant only (otherwise, dstBuff might be user's output) */
1309*a28cd43dSSascha Wildner job->dstBuff = ZSTDMT_getBuffer(job->bufPool);
1310*a28cd43dSSascha Wildner if (job->dstBuff.start == NULL) {
1311*a28cd43dSSascha Wildner job->cSize = ERROR(memory_allocation);
1312*a28cd43dSSascha Wildner return;
1313*a28cd43dSSascha Wildner }
1314*a28cd43dSSascha Wildner assert(job->dstBuff.capacity >= ZSTD_blockHeaderSize); /* no buffer should ever be that small */
1315*a28cd43dSSascha Wildner job->src = kNullRange;
1316*a28cd43dSSascha Wildner job->cSize = ZSTD_writeLastEmptyBlock(job->dstBuff.start, job->dstBuff.capacity);
1317*a28cd43dSSascha Wildner assert(!ZSTD_isError(job->cSize));
1318*a28cd43dSSascha Wildner assert(job->consumed == 0);
1319*a28cd43dSSascha Wildner }
1320*a28cd43dSSascha Wildner
ZSTDMT_createCompressionJob(ZSTDMT_CCtx * mtctx,size_t srcSize,ZSTD_EndDirective endOp)1321*a28cd43dSSascha Wildner static size_t ZSTDMT_createCompressionJob(ZSTDMT_CCtx* mtctx, size_t srcSize, ZSTD_EndDirective endOp)
1322*a28cd43dSSascha Wildner {
1323*a28cd43dSSascha Wildner unsigned const jobID = mtctx->nextJobID & mtctx->jobIDMask;
1324*a28cd43dSSascha Wildner int const endFrame = (endOp == ZSTD_e_end);
1325*a28cd43dSSascha Wildner
1326*a28cd43dSSascha Wildner if (mtctx->nextJobID > mtctx->doneJobID + mtctx->jobIDMask) {
1327*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_createCompressionJob: will not create new job : table is full");
1328*a28cd43dSSascha Wildner assert((mtctx->nextJobID & mtctx->jobIDMask) == (mtctx->doneJobID & mtctx->jobIDMask));
1329*a28cd43dSSascha Wildner return 0;
1330*a28cd43dSSascha Wildner }
1331*a28cd43dSSascha Wildner
1332*a28cd43dSSascha Wildner if (!mtctx->jobReady) {
1333*a28cd43dSSascha Wildner BYTE const* src = (BYTE const*)mtctx->inBuff.buffer.start;
1334*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_createCompressionJob: preparing job %u to compress %u bytes with %u preload ",
1335*a28cd43dSSascha Wildner mtctx->nextJobID, (U32)srcSize, (U32)mtctx->inBuff.prefix.size);
1336*a28cd43dSSascha Wildner mtctx->jobs[jobID].src.start = src;
1337*a28cd43dSSascha Wildner mtctx->jobs[jobID].src.size = srcSize;
1338*a28cd43dSSascha Wildner assert(mtctx->inBuff.filled >= srcSize);
1339*a28cd43dSSascha Wildner mtctx->jobs[jobID].prefix = mtctx->inBuff.prefix;
1340*a28cd43dSSascha Wildner mtctx->jobs[jobID].consumed = 0;
1341*a28cd43dSSascha Wildner mtctx->jobs[jobID].cSize = 0;
1342*a28cd43dSSascha Wildner mtctx->jobs[jobID].params = mtctx->params;
1343*a28cd43dSSascha Wildner mtctx->jobs[jobID].cdict = mtctx->nextJobID==0 ? mtctx->cdict : NULL;
1344*a28cd43dSSascha Wildner mtctx->jobs[jobID].fullFrameSize = mtctx->frameContentSize;
1345*a28cd43dSSascha Wildner mtctx->jobs[jobID].dstBuff = g_nullBuffer;
1346*a28cd43dSSascha Wildner mtctx->jobs[jobID].cctxPool = mtctx->cctxPool;
1347*a28cd43dSSascha Wildner mtctx->jobs[jobID].bufPool = mtctx->bufPool;
1348*a28cd43dSSascha Wildner mtctx->jobs[jobID].seqPool = mtctx->seqPool;
1349*a28cd43dSSascha Wildner mtctx->jobs[jobID].serial = &mtctx->serial;
1350*a28cd43dSSascha Wildner mtctx->jobs[jobID].jobID = mtctx->nextJobID;
1351*a28cd43dSSascha Wildner mtctx->jobs[jobID].firstJob = (mtctx->nextJobID==0);
1352*a28cd43dSSascha Wildner mtctx->jobs[jobID].lastJob = endFrame;
1353*a28cd43dSSascha Wildner mtctx->jobs[jobID].frameChecksumNeeded = mtctx->params.fParams.checksumFlag && endFrame && (mtctx->nextJobID>0);
1354*a28cd43dSSascha Wildner mtctx->jobs[jobID].dstFlushed = 0;
1355*a28cd43dSSascha Wildner
1356*a28cd43dSSascha Wildner /* Update the round buffer pos and clear the input buffer to be reset */
1357*a28cd43dSSascha Wildner mtctx->roundBuff.pos += srcSize;
1358*a28cd43dSSascha Wildner mtctx->inBuff.buffer = g_nullBuffer;
1359*a28cd43dSSascha Wildner mtctx->inBuff.filled = 0;
1360*a28cd43dSSascha Wildner /* Set the prefix */
1361*a28cd43dSSascha Wildner if (!endFrame) {
1362*a28cd43dSSascha Wildner size_t const newPrefixSize = MIN(srcSize, mtctx->targetPrefixSize);
1363*a28cd43dSSascha Wildner mtctx->inBuff.prefix.start = src + srcSize - newPrefixSize;
1364*a28cd43dSSascha Wildner mtctx->inBuff.prefix.size = newPrefixSize;
1365*a28cd43dSSascha Wildner } else { /* endFrame==1 => no need for another input buffer */
1366*a28cd43dSSascha Wildner mtctx->inBuff.prefix = kNullRange;
1367*a28cd43dSSascha Wildner mtctx->frameEnded = endFrame;
1368*a28cd43dSSascha Wildner if (mtctx->nextJobID == 0) {
1369*a28cd43dSSascha Wildner /* single job exception : checksum is already calculated directly within worker thread */
1370*a28cd43dSSascha Wildner mtctx->params.fParams.checksumFlag = 0;
1371*a28cd43dSSascha Wildner } }
1372*a28cd43dSSascha Wildner
1373*a28cd43dSSascha Wildner if ( (srcSize == 0)
1374*a28cd43dSSascha Wildner && (mtctx->nextJobID>0)/*single job must also write frame header*/ ) {
1375*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_createCompressionJob: creating a last empty block to end frame");
1376*a28cd43dSSascha Wildner assert(endOp == ZSTD_e_end); /* only possible case : need to end the frame with an empty last block */
1377*a28cd43dSSascha Wildner ZSTDMT_writeLastEmptyBlock(mtctx->jobs + jobID);
1378*a28cd43dSSascha Wildner mtctx->nextJobID++;
1379*a28cd43dSSascha Wildner return 0;
1380*a28cd43dSSascha Wildner }
1381*a28cd43dSSascha Wildner }
1382*a28cd43dSSascha Wildner
1383*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_createCompressionJob: posting job %u : %u bytes (end:%u, jobNb == %u (mod:%u))",
1384*a28cd43dSSascha Wildner mtctx->nextJobID,
1385*a28cd43dSSascha Wildner (U32)mtctx->jobs[jobID].src.size,
1386*a28cd43dSSascha Wildner mtctx->jobs[jobID].lastJob,
1387*a28cd43dSSascha Wildner mtctx->nextJobID,
1388*a28cd43dSSascha Wildner jobID);
1389*a28cd43dSSascha Wildner if (POOL_tryAdd(mtctx->factory, ZSTDMT_compressionJob, &mtctx->jobs[jobID])) {
1390*a28cd43dSSascha Wildner mtctx->nextJobID++;
1391*a28cd43dSSascha Wildner mtctx->jobReady = 0;
1392*a28cd43dSSascha Wildner } else {
1393*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_createCompressionJob: no worker available for job %u", mtctx->nextJobID);
1394*a28cd43dSSascha Wildner mtctx->jobReady = 1;
1395*a28cd43dSSascha Wildner }
1396*a28cd43dSSascha Wildner return 0;
1397*a28cd43dSSascha Wildner }
1398*a28cd43dSSascha Wildner
1399*a28cd43dSSascha Wildner
1400*a28cd43dSSascha Wildner /*! ZSTDMT_flushProduced() :
1401*a28cd43dSSascha Wildner * flush whatever data has been produced but not yet flushed in current job.
1402*a28cd43dSSascha Wildner * move to next job if current one is fully flushed.
1403*a28cd43dSSascha Wildner * `output` : `pos` will be updated with amount of data flushed .
1404*a28cd43dSSascha Wildner * `blockToFlush` : if >0, the function will block and wait if there is no data available to flush .
1405*a28cd43dSSascha Wildner * @return : amount of data remaining within internal buffer, 0 if no more, 1 if unknown but > 0, or an error code */
ZSTDMT_flushProduced(ZSTDMT_CCtx * mtctx,ZSTD_outBuffer * output,unsigned blockToFlush,ZSTD_EndDirective end)1406*a28cd43dSSascha Wildner static size_t ZSTDMT_flushProduced(ZSTDMT_CCtx* mtctx, ZSTD_outBuffer* output, unsigned blockToFlush, ZSTD_EndDirective end)
1407*a28cd43dSSascha Wildner {
1408*a28cd43dSSascha Wildner unsigned const wJobID = mtctx->doneJobID & mtctx->jobIDMask;
1409*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_flushProduced (blocking:%u , job %u <= %u)",
1410*a28cd43dSSascha Wildner blockToFlush, mtctx->doneJobID, mtctx->nextJobID);
1411*a28cd43dSSascha Wildner assert(output->size >= output->pos);
1412*a28cd43dSSascha Wildner
1413*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&mtctx->jobs[wJobID].job_mutex);
1414*a28cd43dSSascha Wildner if ( blockToFlush
1415*a28cd43dSSascha Wildner && (mtctx->doneJobID < mtctx->nextJobID) ) {
1416*a28cd43dSSascha Wildner assert(mtctx->jobs[wJobID].dstFlushed <= mtctx->jobs[wJobID].cSize);
1417*a28cd43dSSascha Wildner while (mtctx->jobs[wJobID].dstFlushed == mtctx->jobs[wJobID].cSize) { /* nothing to flush */
1418*a28cd43dSSascha Wildner if (mtctx->jobs[wJobID].consumed == mtctx->jobs[wJobID].src.size) {
1419*a28cd43dSSascha Wildner DEBUGLOG(5, "job %u is completely consumed (%u == %u) => don't wait for cond, there will be none",
1420*a28cd43dSSascha Wildner mtctx->doneJobID, (U32)mtctx->jobs[wJobID].consumed, (U32)mtctx->jobs[wJobID].src.size);
1421*a28cd43dSSascha Wildner break;
1422*a28cd43dSSascha Wildner }
1423*a28cd43dSSascha Wildner DEBUGLOG(5, "waiting for something to flush from job %u (currently flushed: %u bytes)",
1424*a28cd43dSSascha Wildner mtctx->doneJobID, (U32)mtctx->jobs[wJobID].dstFlushed);
1425*a28cd43dSSascha Wildner ZSTD_pthread_cond_wait(&mtctx->jobs[wJobID].job_cond, &mtctx->jobs[wJobID].job_mutex); /* block when nothing to flush but some to come */
1426*a28cd43dSSascha Wildner } }
1427*a28cd43dSSascha Wildner
1428*a28cd43dSSascha Wildner /* try to flush something */
1429*a28cd43dSSascha Wildner { size_t cSize = mtctx->jobs[wJobID].cSize; /* shared */
1430*a28cd43dSSascha Wildner size_t const srcConsumed = mtctx->jobs[wJobID].consumed; /* shared */
1431*a28cd43dSSascha Wildner size_t const srcSize = mtctx->jobs[wJobID].src.size; /* read-only, could be done after mutex lock, but no-declaration-after-statement */
1432*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&mtctx->jobs[wJobID].job_mutex);
1433*a28cd43dSSascha Wildner if (ZSTD_isError(cSize)) {
1434*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_flushProduced: job %u : compression error detected : %s",
1435*a28cd43dSSascha Wildner mtctx->doneJobID, ZSTD_getErrorName(cSize));
1436*a28cd43dSSascha Wildner ZSTDMT_waitForAllJobsCompleted(mtctx);
1437*a28cd43dSSascha Wildner ZSTDMT_releaseAllJobResources(mtctx);
1438*a28cd43dSSascha Wildner return cSize;
1439*a28cd43dSSascha Wildner }
1440*a28cd43dSSascha Wildner /* add frame checksum if necessary (can only happen once) */
1441*a28cd43dSSascha Wildner assert(srcConsumed <= srcSize);
1442*a28cd43dSSascha Wildner if ( (srcConsumed == srcSize) /* job completed -> worker no longer active */
1443*a28cd43dSSascha Wildner && mtctx->jobs[wJobID].frameChecksumNeeded ) {
1444*a28cd43dSSascha Wildner U32 const checksum = (U32)XXH64_digest(&mtctx->serial.xxhState);
1445*a28cd43dSSascha Wildner DEBUGLOG(4, "ZSTDMT_flushProduced: writing checksum : %08X \n", checksum);
1446*a28cd43dSSascha Wildner MEM_writeLE32((char*)mtctx->jobs[wJobID].dstBuff.start + mtctx->jobs[wJobID].cSize, checksum);
1447*a28cd43dSSascha Wildner cSize += 4;
1448*a28cd43dSSascha Wildner mtctx->jobs[wJobID].cSize += 4; /* can write this shared value, as worker is no longer active */
1449*a28cd43dSSascha Wildner mtctx->jobs[wJobID].frameChecksumNeeded = 0;
1450*a28cd43dSSascha Wildner }
1451*a28cd43dSSascha Wildner
1452*a28cd43dSSascha Wildner if (cSize > 0) { /* compression is ongoing or completed */
1453*a28cd43dSSascha Wildner size_t const toFlush = MIN(cSize - mtctx->jobs[wJobID].dstFlushed, output->size - output->pos);
1454*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_flushProduced: Flushing %u bytes from job %u (completion:%u/%u, generated:%u)",
1455*a28cd43dSSascha Wildner (U32)toFlush, mtctx->doneJobID, (U32)srcConsumed, (U32)srcSize, (U32)cSize);
1456*a28cd43dSSascha Wildner assert(mtctx->doneJobID < mtctx->nextJobID);
1457*a28cd43dSSascha Wildner assert(cSize >= mtctx->jobs[wJobID].dstFlushed);
1458*a28cd43dSSascha Wildner assert(mtctx->jobs[wJobID].dstBuff.start != NULL);
1459*a28cd43dSSascha Wildner if (toFlush > 0) {
1460*a28cd43dSSascha Wildner ZSTD_memcpy((char*)output->dst + output->pos,
1461*a28cd43dSSascha Wildner (const char*)mtctx->jobs[wJobID].dstBuff.start + mtctx->jobs[wJobID].dstFlushed,
1462*a28cd43dSSascha Wildner toFlush);
1463*a28cd43dSSascha Wildner }
1464*a28cd43dSSascha Wildner output->pos += toFlush;
1465*a28cd43dSSascha Wildner mtctx->jobs[wJobID].dstFlushed += toFlush; /* can write : this value is only used by mtctx */
1466*a28cd43dSSascha Wildner
1467*a28cd43dSSascha Wildner if ( (srcConsumed == srcSize) /* job is completed */
1468*a28cd43dSSascha Wildner && (mtctx->jobs[wJobID].dstFlushed == cSize) ) { /* output buffer fully flushed => free this job position */
1469*a28cd43dSSascha Wildner DEBUGLOG(5, "Job %u completed (%u bytes), moving to next one",
1470*a28cd43dSSascha Wildner mtctx->doneJobID, (U32)mtctx->jobs[wJobID].dstFlushed);
1471*a28cd43dSSascha Wildner ZSTDMT_releaseBuffer(mtctx->bufPool, mtctx->jobs[wJobID].dstBuff);
1472*a28cd43dSSascha Wildner DEBUGLOG(5, "dstBuffer released");
1473*a28cd43dSSascha Wildner mtctx->jobs[wJobID].dstBuff = g_nullBuffer;
1474*a28cd43dSSascha Wildner mtctx->jobs[wJobID].cSize = 0; /* ensure this job slot is considered "not started" in future check */
1475*a28cd43dSSascha Wildner mtctx->consumed += srcSize;
1476*a28cd43dSSascha Wildner mtctx->produced += cSize;
1477*a28cd43dSSascha Wildner mtctx->doneJobID++;
1478*a28cd43dSSascha Wildner } }
1479*a28cd43dSSascha Wildner
1480*a28cd43dSSascha Wildner /* return value : how many bytes left in buffer ; fake it to 1 when unknown but >0 */
1481*a28cd43dSSascha Wildner if (cSize > mtctx->jobs[wJobID].dstFlushed) return (cSize - mtctx->jobs[wJobID].dstFlushed);
1482*a28cd43dSSascha Wildner if (srcSize > srcConsumed) return 1; /* current job not completely compressed */
1483*a28cd43dSSascha Wildner }
1484*a28cd43dSSascha Wildner if (mtctx->doneJobID < mtctx->nextJobID) return 1; /* some more jobs ongoing */
1485*a28cd43dSSascha Wildner if (mtctx->jobReady) return 1; /* one job is ready to push, just not yet in the list */
1486*a28cd43dSSascha Wildner if (mtctx->inBuff.filled > 0) return 1; /* input is not empty, and still needs to be converted into a job */
1487*a28cd43dSSascha Wildner mtctx->allJobsCompleted = mtctx->frameEnded; /* all jobs are entirely flushed => if this one is last one, frame is completed */
1488*a28cd43dSSascha Wildner if (end == ZSTD_e_end) return !mtctx->frameEnded; /* for ZSTD_e_end, question becomes : is frame completed ? instead of : are internal buffers fully flushed ? */
1489*a28cd43dSSascha Wildner return 0; /* internal buffers fully flushed */
1490*a28cd43dSSascha Wildner }
1491*a28cd43dSSascha Wildner
1492*a28cd43dSSascha Wildner /**
1493*a28cd43dSSascha Wildner * Returns the range of data used by the earliest job that is not yet complete.
1494*a28cd43dSSascha Wildner * If the data of the first job is broken up into two segments, we cover both
1495*a28cd43dSSascha Wildner * sections.
1496*a28cd43dSSascha Wildner */
ZSTDMT_getInputDataInUse(ZSTDMT_CCtx * mtctx)1497*a28cd43dSSascha Wildner static range_t ZSTDMT_getInputDataInUse(ZSTDMT_CCtx* mtctx)
1498*a28cd43dSSascha Wildner {
1499*a28cd43dSSascha Wildner unsigned const firstJobID = mtctx->doneJobID;
1500*a28cd43dSSascha Wildner unsigned const lastJobID = mtctx->nextJobID;
1501*a28cd43dSSascha Wildner unsigned jobID;
1502*a28cd43dSSascha Wildner
1503*a28cd43dSSascha Wildner for (jobID = firstJobID; jobID < lastJobID; ++jobID) {
1504*a28cd43dSSascha Wildner unsigned const wJobID = jobID & mtctx->jobIDMask;
1505*a28cd43dSSascha Wildner size_t consumed;
1506*a28cd43dSSascha Wildner
1507*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(&mtctx->jobs[wJobID].job_mutex);
1508*a28cd43dSSascha Wildner consumed = mtctx->jobs[wJobID].consumed;
1509*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(&mtctx->jobs[wJobID].job_mutex);
1510*a28cd43dSSascha Wildner
1511*a28cd43dSSascha Wildner if (consumed < mtctx->jobs[wJobID].src.size) {
1512*a28cd43dSSascha Wildner range_t range = mtctx->jobs[wJobID].prefix;
1513*a28cd43dSSascha Wildner if (range.size == 0) {
1514*a28cd43dSSascha Wildner /* Empty prefix */
1515*a28cd43dSSascha Wildner range = mtctx->jobs[wJobID].src;
1516*a28cd43dSSascha Wildner }
1517*a28cd43dSSascha Wildner /* Job source in multiple segments not supported yet */
1518*a28cd43dSSascha Wildner assert(range.start <= mtctx->jobs[wJobID].src.start);
1519*a28cd43dSSascha Wildner return range;
1520*a28cd43dSSascha Wildner }
1521*a28cd43dSSascha Wildner }
1522*a28cd43dSSascha Wildner return kNullRange;
1523*a28cd43dSSascha Wildner }
1524*a28cd43dSSascha Wildner
1525*a28cd43dSSascha Wildner /**
1526*a28cd43dSSascha Wildner * Returns non-zero iff buffer and range overlap.
1527*a28cd43dSSascha Wildner */
ZSTDMT_isOverlapped(buffer_t buffer,range_t range)1528*a28cd43dSSascha Wildner static int ZSTDMT_isOverlapped(buffer_t buffer, range_t range)
1529*a28cd43dSSascha Wildner {
1530*a28cd43dSSascha Wildner BYTE const* const bufferStart = (BYTE const*)buffer.start;
1531*a28cd43dSSascha Wildner BYTE const* const bufferEnd = bufferStart + buffer.capacity;
1532*a28cd43dSSascha Wildner BYTE const* const rangeStart = (BYTE const*)range.start;
1533*a28cd43dSSascha Wildner BYTE const* const rangeEnd = range.size != 0 ? rangeStart + range.size : rangeStart;
1534*a28cd43dSSascha Wildner
1535*a28cd43dSSascha Wildner if (rangeStart == NULL || bufferStart == NULL)
1536*a28cd43dSSascha Wildner return 0;
1537*a28cd43dSSascha Wildner /* Empty ranges cannot overlap */
1538*a28cd43dSSascha Wildner if (bufferStart == bufferEnd || rangeStart == rangeEnd)
1539*a28cd43dSSascha Wildner return 0;
1540*a28cd43dSSascha Wildner
1541*a28cd43dSSascha Wildner return bufferStart < rangeEnd && rangeStart < bufferEnd;
1542*a28cd43dSSascha Wildner }
1543*a28cd43dSSascha Wildner
ZSTDMT_doesOverlapWindow(buffer_t buffer,ZSTD_window_t window)1544*a28cd43dSSascha Wildner static int ZSTDMT_doesOverlapWindow(buffer_t buffer, ZSTD_window_t window)
1545*a28cd43dSSascha Wildner {
1546*a28cd43dSSascha Wildner range_t extDict;
1547*a28cd43dSSascha Wildner range_t prefix;
1548*a28cd43dSSascha Wildner
1549*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_doesOverlapWindow");
1550*a28cd43dSSascha Wildner extDict.start = window.dictBase + window.lowLimit;
1551*a28cd43dSSascha Wildner extDict.size = window.dictLimit - window.lowLimit;
1552*a28cd43dSSascha Wildner
1553*a28cd43dSSascha Wildner prefix.start = window.base + window.dictLimit;
1554*a28cd43dSSascha Wildner prefix.size = window.nextSrc - (window.base + window.dictLimit);
1555*a28cd43dSSascha Wildner DEBUGLOG(5, "extDict [0x%zx, 0x%zx)",
1556*a28cd43dSSascha Wildner (size_t)extDict.start,
1557*a28cd43dSSascha Wildner (size_t)extDict.start + extDict.size);
1558*a28cd43dSSascha Wildner DEBUGLOG(5, "prefix [0x%zx, 0x%zx)",
1559*a28cd43dSSascha Wildner (size_t)prefix.start,
1560*a28cd43dSSascha Wildner (size_t)prefix.start + prefix.size);
1561*a28cd43dSSascha Wildner
1562*a28cd43dSSascha Wildner return ZSTDMT_isOverlapped(buffer, extDict)
1563*a28cd43dSSascha Wildner || ZSTDMT_isOverlapped(buffer, prefix);
1564*a28cd43dSSascha Wildner }
1565*a28cd43dSSascha Wildner
ZSTDMT_waitForLdmComplete(ZSTDMT_CCtx * mtctx,buffer_t buffer)1566*a28cd43dSSascha Wildner static void ZSTDMT_waitForLdmComplete(ZSTDMT_CCtx* mtctx, buffer_t buffer)
1567*a28cd43dSSascha Wildner {
1568*a28cd43dSSascha Wildner if (mtctx->params.ldmParams.enableLdm) {
1569*a28cd43dSSascha Wildner ZSTD_pthread_mutex_t* mutex = &mtctx->serial.ldmWindowMutex;
1570*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_waitForLdmComplete");
1571*a28cd43dSSascha Wildner DEBUGLOG(5, "source [0x%zx, 0x%zx)",
1572*a28cd43dSSascha Wildner (size_t)buffer.start,
1573*a28cd43dSSascha Wildner (size_t)buffer.start + buffer.capacity);
1574*a28cd43dSSascha Wildner ZSTD_PTHREAD_MUTEX_LOCK(mutex);
1575*a28cd43dSSascha Wildner while (ZSTDMT_doesOverlapWindow(buffer, mtctx->serial.ldmWindow)) {
1576*a28cd43dSSascha Wildner DEBUGLOG(5, "Waiting for LDM to finish...");
1577*a28cd43dSSascha Wildner ZSTD_pthread_cond_wait(&mtctx->serial.ldmWindowCond, mutex);
1578*a28cd43dSSascha Wildner }
1579*a28cd43dSSascha Wildner DEBUGLOG(6, "Done waiting for LDM to finish");
1580*a28cd43dSSascha Wildner ZSTD_pthread_mutex_unlock(mutex);
1581*a28cd43dSSascha Wildner }
1582*a28cd43dSSascha Wildner }
1583*a28cd43dSSascha Wildner
1584*a28cd43dSSascha Wildner /**
1585*a28cd43dSSascha Wildner * Attempts to set the inBuff to the next section to fill.
1586*a28cd43dSSascha Wildner * If any part of the new section is still in use we give up.
1587*a28cd43dSSascha Wildner * Returns non-zero if the buffer is filled.
1588*a28cd43dSSascha Wildner */
ZSTDMT_tryGetInputRange(ZSTDMT_CCtx * mtctx)1589*a28cd43dSSascha Wildner static int ZSTDMT_tryGetInputRange(ZSTDMT_CCtx* mtctx)
1590*a28cd43dSSascha Wildner {
1591*a28cd43dSSascha Wildner range_t const inUse = ZSTDMT_getInputDataInUse(mtctx);
1592*a28cd43dSSascha Wildner size_t const spaceLeft = mtctx->roundBuff.capacity - mtctx->roundBuff.pos;
1593*a28cd43dSSascha Wildner size_t const target = mtctx->targetSectionSize;
1594*a28cd43dSSascha Wildner buffer_t buffer;
1595*a28cd43dSSascha Wildner
1596*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_tryGetInputRange");
1597*a28cd43dSSascha Wildner assert(mtctx->inBuff.buffer.start == NULL);
1598*a28cd43dSSascha Wildner assert(mtctx->roundBuff.capacity >= target);
1599*a28cd43dSSascha Wildner
1600*a28cd43dSSascha Wildner if (spaceLeft < target) {
1601*a28cd43dSSascha Wildner /* ZSTD_invalidateRepCodes() doesn't work for extDict variants.
1602*a28cd43dSSascha Wildner * Simply copy the prefix to the beginning in that case.
1603*a28cd43dSSascha Wildner */
1604*a28cd43dSSascha Wildner BYTE* const start = (BYTE*)mtctx->roundBuff.buffer;
1605*a28cd43dSSascha Wildner size_t const prefixSize = mtctx->inBuff.prefix.size;
1606*a28cd43dSSascha Wildner
1607*a28cd43dSSascha Wildner buffer.start = start;
1608*a28cd43dSSascha Wildner buffer.capacity = prefixSize;
1609*a28cd43dSSascha Wildner if (ZSTDMT_isOverlapped(buffer, inUse)) {
1610*a28cd43dSSascha Wildner DEBUGLOG(5, "Waiting for buffer...");
1611*a28cd43dSSascha Wildner return 0;
1612*a28cd43dSSascha Wildner }
1613*a28cd43dSSascha Wildner ZSTDMT_waitForLdmComplete(mtctx, buffer);
1614*a28cd43dSSascha Wildner ZSTD_memmove(start, mtctx->inBuff.prefix.start, prefixSize);
1615*a28cd43dSSascha Wildner mtctx->inBuff.prefix.start = start;
1616*a28cd43dSSascha Wildner mtctx->roundBuff.pos = prefixSize;
1617*a28cd43dSSascha Wildner }
1618*a28cd43dSSascha Wildner buffer.start = mtctx->roundBuff.buffer + mtctx->roundBuff.pos;
1619*a28cd43dSSascha Wildner buffer.capacity = target;
1620*a28cd43dSSascha Wildner
1621*a28cd43dSSascha Wildner if (ZSTDMT_isOverlapped(buffer, inUse)) {
1622*a28cd43dSSascha Wildner DEBUGLOG(5, "Waiting for buffer...");
1623*a28cd43dSSascha Wildner return 0;
1624*a28cd43dSSascha Wildner }
1625*a28cd43dSSascha Wildner assert(!ZSTDMT_isOverlapped(buffer, mtctx->inBuff.prefix));
1626*a28cd43dSSascha Wildner
1627*a28cd43dSSascha Wildner ZSTDMT_waitForLdmComplete(mtctx, buffer);
1628*a28cd43dSSascha Wildner
1629*a28cd43dSSascha Wildner DEBUGLOG(5, "Using prefix range [%zx, %zx)",
1630*a28cd43dSSascha Wildner (size_t)mtctx->inBuff.prefix.start,
1631*a28cd43dSSascha Wildner (size_t)mtctx->inBuff.prefix.start + mtctx->inBuff.prefix.size);
1632*a28cd43dSSascha Wildner DEBUGLOG(5, "Using source range [%zx, %zx)",
1633*a28cd43dSSascha Wildner (size_t)buffer.start,
1634*a28cd43dSSascha Wildner (size_t)buffer.start + buffer.capacity);
1635*a28cd43dSSascha Wildner
1636*a28cd43dSSascha Wildner
1637*a28cd43dSSascha Wildner mtctx->inBuff.buffer = buffer;
1638*a28cd43dSSascha Wildner mtctx->inBuff.filled = 0;
1639*a28cd43dSSascha Wildner assert(mtctx->roundBuff.pos + buffer.capacity <= mtctx->roundBuff.capacity);
1640*a28cd43dSSascha Wildner return 1;
1641*a28cd43dSSascha Wildner }
1642*a28cd43dSSascha Wildner
1643*a28cd43dSSascha Wildner typedef struct {
1644*a28cd43dSSascha Wildner size_t toLoad; /* The number of bytes to load from the input. */
1645*a28cd43dSSascha Wildner int flush; /* Boolean declaring if we must flush because we found a synchronization point. */
1646*a28cd43dSSascha Wildner } syncPoint_t;
1647*a28cd43dSSascha Wildner
1648*a28cd43dSSascha Wildner /**
1649*a28cd43dSSascha Wildner * Searches through the input for a synchronization point. If one is found, we
1650*a28cd43dSSascha Wildner * will instruct the caller to flush, and return the number of bytes to load.
1651*a28cd43dSSascha Wildner * Otherwise, we will load as many bytes as possible and instruct the caller
1652*a28cd43dSSascha Wildner * to continue as normal.
1653*a28cd43dSSascha Wildner */
1654*a28cd43dSSascha Wildner static syncPoint_t
findSynchronizationPoint(ZSTDMT_CCtx const * mtctx,ZSTD_inBuffer const input)1655*a28cd43dSSascha Wildner findSynchronizationPoint(ZSTDMT_CCtx const* mtctx, ZSTD_inBuffer const input)
1656*a28cd43dSSascha Wildner {
1657*a28cd43dSSascha Wildner BYTE const* const istart = (BYTE const*)input.src + input.pos;
1658*a28cd43dSSascha Wildner U64 const primePower = mtctx->rsync.primePower;
1659*a28cd43dSSascha Wildner U64 const hitMask = mtctx->rsync.hitMask;
1660*a28cd43dSSascha Wildner
1661*a28cd43dSSascha Wildner syncPoint_t syncPoint;
1662*a28cd43dSSascha Wildner U64 hash;
1663*a28cd43dSSascha Wildner BYTE const* prev;
1664*a28cd43dSSascha Wildner size_t pos;
1665*a28cd43dSSascha Wildner
1666*a28cd43dSSascha Wildner syncPoint.toLoad = MIN(input.size - input.pos, mtctx->targetSectionSize - mtctx->inBuff.filled);
1667*a28cd43dSSascha Wildner syncPoint.flush = 0;
1668*a28cd43dSSascha Wildner if (!mtctx->params.rsyncable)
1669*a28cd43dSSascha Wildner /* Rsync is disabled. */
1670*a28cd43dSSascha Wildner return syncPoint;
1671*a28cd43dSSascha Wildner if (mtctx->inBuff.filled + syncPoint.toLoad < RSYNC_LENGTH)
1672*a28cd43dSSascha Wildner /* Not enough to compute the hash.
1673*a28cd43dSSascha Wildner * We will miss any synchronization points in this RSYNC_LENGTH byte
1674*a28cd43dSSascha Wildner * window. However, since it depends only in the internal buffers, if the
1675*a28cd43dSSascha Wildner * state is already synchronized, we will remain synchronized.
1676*a28cd43dSSascha Wildner * Additionally, the probability that we miss a synchronization point is
1677*a28cd43dSSascha Wildner * low: RSYNC_LENGTH / targetSectionSize.
1678*a28cd43dSSascha Wildner */
1679*a28cd43dSSascha Wildner return syncPoint;
1680*a28cd43dSSascha Wildner /* Initialize the loop variables. */
1681*a28cd43dSSascha Wildner if (mtctx->inBuff.filled >= RSYNC_LENGTH) {
1682*a28cd43dSSascha Wildner /* We have enough bytes buffered to initialize the hash.
1683*a28cd43dSSascha Wildner * Start scanning at the beginning of the input.
1684*a28cd43dSSascha Wildner */
1685*a28cd43dSSascha Wildner pos = 0;
1686*a28cd43dSSascha Wildner prev = (BYTE const*)mtctx->inBuff.buffer.start + mtctx->inBuff.filled - RSYNC_LENGTH;
1687*a28cd43dSSascha Wildner hash = ZSTD_rollingHash_compute(prev, RSYNC_LENGTH);
1688*a28cd43dSSascha Wildner if ((hash & hitMask) == hitMask) {
1689*a28cd43dSSascha Wildner /* We're already at a sync point so don't load any more until
1690*a28cd43dSSascha Wildner * we're able to flush this sync point.
1691*a28cd43dSSascha Wildner * This likely happened because the job table was full so we
1692*a28cd43dSSascha Wildner * couldn't add our job.
1693*a28cd43dSSascha Wildner */
1694*a28cd43dSSascha Wildner syncPoint.toLoad = 0;
1695*a28cd43dSSascha Wildner syncPoint.flush = 1;
1696*a28cd43dSSascha Wildner return syncPoint;
1697*a28cd43dSSascha Wildner }
1698*a28cd43dSSascha Wildner } else {
1699*a28cd43dSSascha Wildner /* We don't have enough bytes buffered to initialize the hash, but
1700*a28cd43dSSascha Wildner * we know we have at least RSYNC_LENGTH bytes total.
1701*a28cd43dSSascha Wildner * Start scanning after the first RSYNC_LENGTH bytes less the bytes
1702*a28cd43dSSascha Wildner * already buffered.
1703*a28cd43dSSascha Wildner */
1704*a28cd43dSSascha Wildner pos = RSYNC_LENGTH - mtctx->inBuff.filled;
1705*a28cd43dSSascha Wildner prev = (BYTE const*)mtctx->inBuff.buffer.start - pos;
1706*a28cd43dSSascha Wildner hash = ZSTD_rollingHash_compute(mtctx->inBuff.buffer.start, mtctx->inBuff.filled);
1707*a28cd43dSSascha Wildner hash = ZSTD_rollingHash_append(hash, istart, pos);
1708*a28cd43dSSascha Wildner }
1709*a28cd43dSSascha Wildner /* Starting with the hash of the previous RSYNC_LENGTH bytes, roll
1710*a28cd43dSSascha Wildner * through the input. If we hit a synchronization point, then cut the
1711*a28cd43dSSascha Wildner * job off, and tell the compressor to flush the job. Otherwise, load
1712*a28cd43dSSascha Wildner * all the bytes and continue as normal.
1713*a28cd43dSSascha Wildner * If we go too long without a synchronization point (targetSectionSize)
1714*a28cd43dSSascha Wildner * then a block will be emitted anyways, but this is okay, since if we
1715*a28cd43dSSascha Wildner * are already synchronized we will remain synchronized.
1716*a28cd43dSSascha Wildner */
1717*a28cd43dSSascha Wildner for (; pos < syncPoint.toLoad; ++pos) {
1718*a28cd43dSSascha Wildner BYTE const toRemove = pos < RSYNC_LENGTH ? prev[pos] : istart[pos - RSYNC_LENGTH];
1719*a28cd43dSSascha Wildner /* if (pos >= RSYNC_LENGTH) assert(ZSTD_rollingHash_compute(istart + pos - RSYNC_LENGTH, RSYNC_LENGTH) == hash); */
1720*a28cd43dSSascha Wildner hash = ZSTD_rollingHash_rotate(hash, toRemove, istart[pos], primePower);
1721*a28cd43dSSascha Wildner if ((hash & hitMask) == hitMask) {
1722*a28cd43dSSascha Wildner syncPoint.toLoad = pos + 1;
1723*a28cd43dSSascha Wildner syncPoint.flush = 1;
1724*a28cd43dSSascha Wildner break;
1725*a28cd43dSSascha Wildner }
1726*a28cd43dSSascha Wildner }
1727*a28cd43dSSascha Wildner return syncPoint;
1728*a28cd43dSSascha Wildner }
1729*a28cd43dSSascha Wildner
ZSTDMT_nextInputSizeHint(const ZSTDMT_CCtx * mtctx)1730*a28cd43dSSascha Wildner size_t ZSTDMT_nextInputSizeHint(const ZSTDMT_CCtx* mtctx)
1731*a28cd43dSSascha Wildner {
1732*a28cd43dSSascha Wildner size_t hintInSize = mtctx->targetSectionSize - mtctx->inBuff.filled;
1733*a28cd43dSSascha Wildner if (hintInSize==0) hintInSize = mtctx->targetSectionSize;
1734*a28cd43dSSascha Wildner return hintInSize;
1735*a28cd43dSSascha Wildner }
1736*a28cd43dSSascha Wildner
1737*a28cd43dSSascha Wildner /** ZSTDMT_compressStream_generic() :
1738*a28cd43dSSascha Wildner * internal use only - exposed to be invoked from zstd_compress.c
1739*a28cd43dSSascha Wildner * assumption : output and input are valid (pos <= size)
1740*a28cd43dSSascha Wildner * @return : minimum amount of data remaining to flush, 0 if none */
ZSTDMT_compressStream_generic(ZSTDMT_CCtx * mtctx,ZSTD_outBuffer * output,ZSTD_inBuffer * input,ZSTD_EndDirective endOp)1741*a28cd43dSSascha Wildner size_t ZSTDMT_compressStream_generic(ZSTDMT_CCtx* mtctx,
1742*a28cd43dSSascha Wildner ZSTD_outBuffer* output,
1743*a28cd43dSSascha Wildner ZSTD_inBuffer* input,
1744*a28cd43dSSascha Wildner ZSTD_EndDirective endOp)
1745*a28cd43dSSascha Wildner {
1746*a28cd43dSSascha Wildner unsigned forwardInputProgress = 0;
1747*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_compressStream_generic (endOp=%u, srcSize=%u)",
1748*a28cd43dSSascha Wildner (U32)endOp, (U32)(input->size - input->pos));
1749*a28cd43dSSascha Wildner assert(output->pos <= output->size);
1750*a28cd43dSSascha Wildner assert(input->pos <= input->size);
1751*a28cd43dSSascha Wildner
1752*a28cd43dSSascha Wildner if ((mtctx->frameEnded) && (endOp==ZSTD_e_continue)) {
1753*a28cd43dSSascha Wildner /* current frame being ended. Only flush/end are allowed */
1754*a28cd43dSSascha Wildner return ERROR(stage_wrong);
1755*a28cd43dSSascha Wildner }
1756*a28cd43dSSascha Wildner
1757*a28cd43dSSascha Wildner /* fill input buffer */
1758*a28cd43dSSascha Wildner if ( (!mtctx->jobReady)
1759*a28cd43dSSascha Wildner && (input->size > input->pos) ) { /* support NULL input */
1760*a28cd43dSSascha Wildner if (mtctx->inBuff.buffer.start == NULL) {
1761*a28cd43dSSascha Wildner assert(mtctx->inBuff.filled == 0); /* Can't fill an empty buffer */
1762*a28cd43dSSascha Wildner if (!ZSTDMT_tryGetInputRange(mtctx)) {
1763*a28cd43dSSascha Wildner /* It is only possible for this operation to fail if there are
1764*a28cd43dSSascha Wildner * still compression jobs ongoing.
1765*a28cd43dSSascha Wildner */
1766*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_tryGetInputRange failed");
1767*a28cd43dSSascha Wildner assert(mtctx->doneJobID != mtctx->nextJobID);
1768*a28cd43dSSascha Wildner } else
1769*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_tryGetInputRange completed successfully : mtctx->inBuff.buffer.start = %p", mtctx->inBuff.buffer.start);
1770*a28cd43dSSascha Wildner }
1771*a28cd43dSSascha Wildner if (mtctx->inBuff.buffer.start != NULL) {
1772*a28cd43dSSascha Wildner syncPoint_t const syncPoint = findSynchronizationPoint(mtctx, *input);
1773*a28cd43dSSascha Wildner if (syncPoint.flush && endOp == ZSTD_e_continue) {
1774*a28cd43dSSascha Wildner endOp = ZSTD_e_flush;
1775*a28cd43dSSascha Wildner }
1776*a28cd43dSSascha Wildner assert(mtctx->inBuff.buffer.capacity >= mtctx->targetSectionSize);
1777*a28cd43dSSascha Wildner DEBUGLOG(5, "ZSTDMT_compressStream_generic: adding %u bytes on top of %u to buffer of size %u",
1778*a28cd43dSSascha Wildner (U32)syncPoint.toLoad, (U32)mtctx->inBuff.filled, (U32)mtctx->targetSectionSize);
1779*a28cd43dSSascha Wildner ZSTD_memcpy((char*)mtctx->inBuff.buffer.start + mtctx->inBuff.filled, (const char*)input->src + input->pos, syncPoint.toLoad);
1780*a28cd43dSSascha Wildner input->pos += syncPoint.toLoad;
1781*a28cd43dSSascha Wildner mtctx->inBuff.filled += syncPoint.toLoad;
1782*a28cd43dSSascha Wildner forwardInputProgress = syncPoint.toLoad>0;
1783*a28cd43dSSascha Wildner }
1784*a28cd43dSSascha Wildner }
1785*a28cd43dSSascha Wildner if ((input->pos < input->size) && (endOp == ZSTD_e_end)) {
1786*a28cd43dSSascha Wildner /* Can't end yet because the input is not fully consumed.
1787*a28cd43dSSascha Wildner * We are in one of these cases:
1788*a28cd43dSSascha Wildner * - mtctx->inBuff is NULL & empty: we couldn't get an input buffer so don't create a new job.
1789*a28cd43dSSascha Wildner * - We filled the input buffer: flush this job but don't end the frame.
1790*a28cd43dSSascha Wildner * - We hit a synchronization point: flush this job but don't end the frame.
1791*a28cd43dSSascha Wildner */
1792*a28cd43dSSascha Wildner assert(mtctx->inBuff.filled == 0 || mtctx->inBuff.filled == mtctx->targetSectionSize || mtctx->params.rsyncable);
1793*a28cd43dSSascha Wildner endOp = ZSTD_e_flush;
1794*a28cd43dSSascha Wildner }
1795*a28cd43dSSascha Wildner
1796*a28cd43dSSascha Wildner if ( (mtctx->jobReady)
1797*a28cd43dSSascha Wildner || (mtctx->inBuff.filled >= mtctx->targetSectionSize) /* filled enough : let's compress */
1798*a28cd43dSSascha Wildner || ((endOp != ZSTD_e_continue) && (mtctx->inBuff.filled > 0)) /* something to flush : let's go */
1799*a28cd43dSSascha Wildner || ((endOp == ZSTD_e_end) && (!mtctx->frameEnded)) ) { /* must finish the frame with a zero-size block */
1800*a28cd43dSSascha Wildner size_t const jobSize = mtctx->inBuff.filled;
1801*a28cd43dSSascha Wildner assert(mtctx->inBuff.filled <= mtctx->targetSectionSize);
1802*a28cd43dSSascha Wildner FORWARD_IF_ERROR( ZSTDMT_createCompressionJob(mtctx, jobSize, endOp) , "");
1803*a28cd43dSSascha Wildner }
1804*a28cd43dSSascha Wildner
1805*a28cd43dSSascha Wildner /* check for potential compressed data ready to be flushed */
1806*a28cd43dSSascha Wildner { size_t const remainingToFlush = ZSTDMT_flushProduced(mtctx, output, !forwardInputProgress, endOp); /* block if there was no forward input progress */
1807*a28cd43dSSascha Wildner if (input->pos < input->size) return MAX(remainingToFlush, 1); /* input not consumed : do not end flush yet */
1808*a28cd43dSSascha Wildner DEBUGLOG(5, "end of ZSTDMT_compressStream_generic: remainingToFlush = %u", (U32)remainingToFlush);
1809*a28cd43dSSascha Wildner return remainingToFlush;
1810*a28cd43dSSascha Wildner }
1811*a28cd43dSSascha Wildner }
1812