pool.c
283 lines
| 8.7 KiB
| text/x-c
|
CLexer
Gregory Szorc
|
r37513 | /* | ||
* Copyright (c) 2016-present, Yann Collet, Facebook, Inc. | ||||
Gregory Szorc
|
r30895 | * All rights reserved. | ||
* | ||||
Gregory Szorc
|
r37513 | * This source code is licensed under both the BSD-style license (found in the | ||
* LICENSE file in the root directory of this source tree) and the GPLv2 (found | ||||
* in the COPYING file in the root directory of this source tree). | ||||
* You may select, at your option, one of the above-listed licenses. | ||||
Gregory Szorc
|
r30895 | */ | ||
/* ====== Dependencies ======= */ | ||||
#include <stddef.h> /* size_t */ | ||||
#include "pool.h" | ||||
Gregory Szorc
|
r37513 | #include "zstd_internal.h" /* ZSTD_malloc, ZSTD_free */ | ||
Gregory Szorc
|
r30895 | |||
/* ====== Compiler specifics ====== */ | ||||
#if defined(_MSC_VER) | ||||
# pragma warning(disable : 4204) /* disable: C4204: non-constant aggregate initializer */ | ||||
#endif | ||||
#ifdef ZSTD_MULTITHREAD | ||||
#include "threading.h" /* pthread adaptation */ | ||||
/* A job is a function and an opaque argument */ | ||||
typedef struct POOL_job_s { | ||||
Gregory Szorc
|
r37513 | POOL_function function; | ||
void *opaque; | ||||
Gregory Szorc
|
r30895 | } POOL_job; | ||
struct POOL_ctx_s { | ||||
Gregory Szorc
|
r37513 | ZSTD_customMem customMem; | ||
Gregory Szorc
|
r30895 | /* Keep track of the threads */ | ||
Gregory Szorc
|
r37513 | ZSTD_pthread_t *threads; | ||
Gregory Szorc
|
r30895 | size_t numThreads; | ||
/* The queue is a circular buffer */ | ||||
POOL_job *queue; | ||||
size_t queueHead; | ||||
size_t queueTail; | ||||
size_t queueSize; | ||||
Gregory Szorc
|
r37513 | |||
/* The number of threads working on jobs */ | ||||
size_t numThreadsBusy; | ||||
/* Indicates if the queue is empty */ | ||||
int queueEmpty; | ||||
Gregory Szorc
|
r30895 | /* The mutex protects the queue */ | ||
Gregory Szorc
|
r37513 | ZSTD_pthread_mutex_t queueMutex; | ||
Gregory Szorc
|
r30895 | /* Condition variable for pushers to wait on when the queue is full */ | ||
Gregory Szorc
|
r37513 | ZSTD_pthread_cond_t queuePushCond; | ||
Gregory Szorc
|
r30895 | /* Condition variables for poppers to wait on when the queue is empty */ | ||
Gregory Szorc
|
r37513 | ZSTD_pthread_cond_t queuePopCond; | ||
Gregory Szorc
|
r30895 | /* Indicates if the queue is shutting down */ | ||
int shutdown; | ||||
}; | ||||
/* POOL_thread() : | ||||
Work thread for the thread pool. | ||||
Waits for jobs and executes them. | ||||
@returns : NULL on failure else non-null. | ||||
*/ | ||||
static void* POOL_thread(void* opaque) { | ||||
POOL_ctx* const ctx = (POOL_ctx*)opaque; | ||||
if (!ctx) { return NULL; } | ||||
for (;;) { | ||||
/* Lock the mutex and wait for a non-empty queue or until shutdown */ | ||||
Gregory Szorc
|
r37513 | ZSTD_pthread_mutex_lock(&ctx->queueMutex); | ||
while (ctx->queueEmpty && !ctx->shutdown) { | ||||
ZSTD_pthread_cond_wait(&ctx->queuePopCond, &ctx->queueMutex); | ||||
Gregory Szorc
|
r30895 | } | ||
/* empty => shutting down: so stop */ | ||||
Gregory Szorc
|
r37513 | if (ctx->queueEmpty) { | ||
ZSTD_pthread_mutex_unlock(&ctx->queueMutex); | ||||
Gregory Szorc
|
r30895 | return opaque; | ||
} | ||||
/* Pop a job off the queue */ | ||||
{ POOL_job const job = ctx->queue[ctx->queueHead]; | ||||
ctx->queueHead = (ctx->queueHead + 1) % ctx->queueSize; | ||||
Gregory Szorc
|
r37513 | ctx->numThreadsBusy++; | ||
ctx->queueEmpty = ctx->queueHead == ctx->queueTail; | ||||
Gregory Szorc
|
r30895 | /* Unlock the mutex, signal a pusher, and run the job */ | ||
Gregory Szorc
|
r37513 | ZSTD_pthread_mutex_unlock(&ctx->queueMutex); | ||
ZSTD_pthread_cond_signal(&ctx->queuePushCond); | ||||
Gregory Szorc
|
r30895 | job.function(job.opaque); | ||
Gregory Szorc
|
r37513 | |||
/* If the intended queue size was 0, signal after finishing job */ | ||||
if (ctx->queueSize == 1) { | ||||
ZSTD_pthread_mutex_lock(&ctx->queueMutex); | ||||
ctx->numThreadsBusy--; | ||||
ZSTD_pthread_mutex_unlock(&ctx->queueMutex); | ||||
ZSTD_pthread_cond_signal(&ctx->queuePushCond); | ||||
} } | ||||
} /* for (;;) */ | ||||
Gregory Szorc
|
r30895 | /* Unreachable */ | ||
} | ||||
Gregory Szorc
|
r37513 | POOL_ctx* POOL_create(size_t numThreads, size_t queueSize) { | ||
return POOL_create_advanced(numThreads, queueSize, ZSTD_defaultCMem); | ||||
} | ||||
POOL_ctx* POOL_create_advanced(size_t numThreads, size_t queueSize, ZSTD_customMem customMem) { | ||||
POOL_ctx* ctx; | ||||
Gregory Szorc
|
r30895 | /* Check the parameters */ | ||
Gregory Szorc
|
r37513 | if (!numThreads) { return NULL; } | ||
Gregory Szorc
|
r30895 | /* Allocate the context and zero initialize */ | ||
Gregory Szorc
|
r37513 | ctx = (POOL_ctx*)ZSTD_calloc(sizeof(POOL_ctx), customMem); | ||
Gregory Szorc
|
r30895 | if (!ctx) { return NULL; } | ||
/* Initialize the job queue. | ||||
* It needs one extra space since one space is wasted to differentiate empty | ||||
* and full queues. | ||||
*/ | ||||
ctx->queueSize = queueSize + 1; | ||||
Gregory Szorc
|
r37513 | ctx->queue = (POOL_job*)ZSTD_malloc(ctx->queueSize * sizeof(POOL_job), customMem); | ||
Gregory Szorc
|
r30895 | ctx->queueHead = 0; | ||
ctx->queueTail = 0; | ||||
Gregory Szorc
|
r37513 | ctx->numThreadsBusy = 0; | ||
ctx->queueEmpty = 1; | ||||
(void)ZSTD_pthread_mutex_init(&ctx->queueMutex, NULL); | ||||
(void)ZSTD_pthread_cond_init(&ctx->queuePushCond, NULL); | ||||
(void)ZSTD_pthread_cond_init(&ctx->queuePopCond, NULL); | ||||
Gregory Szorc
|
r30895 | ctx->shutdown = 0; | ||
/* Allocate space for the thread handles */ | ||||
Gregory Szorc
|
r37513 | ctx->threads = (ZSTD_pthread_t*)ZSTD_malloc(numThreads * sizeof(ZSTD_pthread_t), customMem); | ||
Gregory Szorc
|
r30895 | ctx->numThreads = 0; | ||
Gregory Szorc
|
r37513 | ctx->customMem = customMem; | ||
Gregory Szorc
|
r30895 | /* Check for errors */ | ||
if (!ctx->threads || !ctx->queue) { POOL_free(ctx); return NULL; } | ||||
/* Initialize the threads */ | ||||
{ size_t i; | ||||
for (i = 0; i < numThreads; ++i) { | ||||
Gregory Szorc
|
r37513 | if (ZSTD_pthread_create(&ctx->threads[i], NULL, &POOL_thread, ctx)) { | ||
Gregory Szorc
|
r30895 | ctx->numThreads = i; | ||
POOL_free(ctx); | ||||
return NULL; | ||||
} } | ||||
ctx->numThreads = numThreads; | ||||
} | ||||
return ctx; | ||||
} | ||||
/*! POOL_join() : | ||||
Shutdown the queue, wake any sleeping threads, and join all of the threads. | ||||
*/ | ||||
Gregory Szorc
|
r37513 | static void POOL_join(POOL_ctx* ctx) { | ||
Gregory Szorc
|
r30895 | /* Shut down the queue */ | ||
Gregory Szorc
|
r37513 | ZSTD_pthread_mutex_lock(&ctx->queueMutex); | ||
Gregory Szorc
|
r30895 | ctx->shutdown = 1; | ||
Gregory Szorc
|
r37513 | ZSTD_pthread_mutex_unlock(&ctx->queueMutex); | ||
Gregory Szorc
|
r30895 | /* Wake up sleeping threads */ | ||
Gregory Szorc
|
r37513 | ZSTD_pthread_cond_broadcast(&ctx->queuePushCond); | ||
ZSTD_pthread_cond_broadcast(&ctx->queuePopCond); | ||||
Gregory Szorc
|
r30895 | /* Join all of the threads */ | ||
{ size_t i; | ||||
for (i = 0; i < ctx->numThreads; ++i) { | ||||
Gregory Szorc
|
r37513 | ZSTD_pthread_join(ctx->threads[i], NULL); | ||
Gregory Szorc
|
r30895 | } } | ||
} | ||||
void POOL_free(POOL_ctx *ctx) { | ||||
if (!ctx) { return; } | ||||
POOL_join(ctx); | ||||
Gregory Szorc
|
r37513 | ZSTD_pthread_mutex_destroy(&ctx->queueMutex); | ||
ZSTD_pthread_cond_destroy(&ctx->queuePushCond); | ||||
ZSTD_pthread_cond_destroy(&ctx->queuePopCond); | ||||
ZSTD_free(ctx->queue, ctx->customMem); | ||||
ZSTD_free(ctx->threads, ctx->customMem); | ||||
ZSTD_free(ctx, ctx->customMem); | ||||
} | ||||
size_t POOL_sizeof(POOL_ctx *ctx) { | ||||
if (ctx==NULL) return 0; /* supports sizeof NULL */ | ||||
return sizeof(*ctx) | ||||
+ ctx->queueSize * sizeof(POOL_job) | ||||
+ ctx->numThreads * sizeof(ZSTD_pthread_t); | ||||
} | ||||
/** | ||||
* Returns 1 if the queue is full and 0 otherwise. | ||||
* | ||||
* If the queueSize is 1 (the pool was created with an intended queueSize of 0), | ||||
* then a queue is empty if there is a thread free and no job is waiting. | ||||
*/ | ||||
static int isQueueFull(POOL_ctx const* ctx) { | ||||
if (ctx->queueSize > 1) { | ||||
return ctx->queueHead == ((ctx->queueTail + 1) % ctx->queueSize); | ||||
} else { | ||||
return ctx->numThreadsBusy == ctx->numThreads || | ||||
!ctx->queueEmpty; | ||||
} | ||||
} | ||||
static void POOL_add_internal(POOL_ctx* ctx, POOL_function function, void *opaque) | ||||
{ | ||||
POOL_job const job = {function, opaque}; | ||||
assert(ctx != NULL); | ||||
if (ctx->shutdown) return; | ||||
ctx->queueEmpty = 0; | ||||
ctx->queue[ctx->queueTail] = job; | ||||
ctx->queueTail = (ctx->queueTail + 1) % ctx->queueSize; | ||||
ZSTD_pthread_cond_signal(&ctx->queuePopCond); | ||||
} | ||||
void POOL_add(POOL_ctx* ctx, POOL_function function, void* opaque) | ||||
{ | ||||
assert(ctx != NULL); | ||||
ZSTD_pthread_mutex_lock(&ctx->queueMutex); | ||||
/* Wait until there is space in the queue for the new job */ | ||||
while (isQueueFull(ctx) && (!ctx->shutdown)) { | ||||
ZSTD_pthread_cond_wait(&ctx->queuePushCond, &ctx->queueMutex); | ||||
} | ||||
POOL_add_internal(ctx, function, opaque); | ||||
ZSTD_pthread_mutex_unlock(&ctx->queueMutex); | ||||
Gregory Szorc
|
r30895 | } | ||
Gregory Szorc
|
r37513 | int POOL_tryAdd(POOL_ctx* ctx, POOL_function function, void* opaque) | ||
{ | ||||
assert(ctx != NULL); | ||||
ZSTD_pthread_mutex_lock(&ctx->queueMutex); | ||||
if (isQueueFull(ctx)) { | ||||
ZSTD_pthread_mutex_unlock(&ctx->queueMutex); | ||||
return 0; | ||||
Gregory Szorc
|
r30895 | } | ||
Gregory Szorc
|
r37513 | POOL_add_internal(ctx, function, opaque); | ||
ZSTD_pthread_mutex_unlock(&ctx->queueMutex); | ||||
return 1; | ||||
Gregory Szorc
|
r30895 | } | ||
Gregory Szorc
|
r37513 | |||
Gregory Szorc
|
r30895 | #else /* ZSTD_MULTITHREAD not defined */ | ||
Gregory Szorc
|
r37513 | |||
/* ========================== */ | ||||
Gregory Szorc
|
r30895 | /* No multi-threading support */ | ||
Gregory Szorc
|
r37513 | /* ========================== */ | ||
Gregory Szorc
|
r30895 | |||
Gregory Szorc
|
r37513 | |||
/* We don't need any data, but if it is empty, malloc() might return NULL. */ | ||||
Gregory Szorc
|
r30895 | struct POOL_ctx_s { | ||
Gregory Szorc
|
r37513 | int dummy; | ||
Gregory Szorc
|
r30895 | }; | ||
Gregory Szorc
|
r37513 | static POOL_ctx g_ctx; | ||
Gregory Szorc
|
r30895 | |||
Gregory Szorc
|
r37513 | POOL_ctx* POOL_create(size_t numThreads, size_t queueSize) { | ||
return POOL_create_advanced(numThreads, queueSize, ZSTD_defaultCMem); | ||||
Gregory Szorc
|
r30895 | } | ||
Gregory Szorc
|
r37513 | POOL_ctx* POOL_create_advanced(size_t numThreads, size_t queueSize, ZSTD_customMem customMem) { | ||
(void)numThreads; | ||||
(void)queueSize; | ||||
(void)customMem; | ||||
return &g_ctx; | ||||
} | ||||
void POOL_free(POOL_ctx* ctx) { | ||||
assert(!ctx || ctx == &g_ctx); | ||||
(void)ctx; | ||||
Gregory Szorc
|
r30895 | } | ||
Gregory Szorc
|
r37513 | void POOL_add(POOL_ctx* ctx, POOL_function function, void* opaque) { | ||
(void)ctx; | ||||
function(opaque); | ||||
} | ||||
int POOL_tryAdd(POOL_ctx* ctx, POOL_function function, void* opaque) { | ||||
(void)ctx; | ||||
function(opaque); | ||||
return 1; | ||||
} | ||||
size_t POOL_sizeof(POOL_ctx* ctx) { | ||||
if (ctx==NULL) return 0; /* supports sizeof NULL */ | ||||
assert(ctx == &g_ctx); | ||||
return sizeof(*ctx); | ||||
Gregory Szorc
|
r30895 | } | ||
#endif /* ZSTD_MULTITHREAD */ | ||||