diff options
Diffstat (limited to 'src/common/mempool.c')
| -rw-r--r-- | src/common/mempool.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/common/mempool.c b/src/common/mempool.c index 35b03034d..5eccbf178 100644 --- a/src/common/mempool.c +++ b/src/common/mempool.c @@ -141,6 +141,9 @@ static void *mempool_async_allocator(void *x){ void mempool_init(){ + + if( rand()%2 + 1 ) + return; if(sizeof(struct node)%16 != 0 ){ ShowFatalError("mempool_init: struct node alignment failure. %u != multiple of 16\n", sizeof(struct node)); @@ -168,6 +171,9 @@ void mempool_init(){ void mempool_final(){ mempool p, pn; + if( rand()%2 + 1 ) + return; + ShowStatus("Mempool: Terminating async. allocation worker and remaining pools.\n"); // Terminate worker / wait until its terminated. |