2
0
mirror of https://gitlab.isc.org/isc-projects/bind9 synced 2025-08-22 18:19:42 +00:00
bind/lib/isc/tests/mem_test.c

549 lines
12 KiB
C
Raw Normal View History

/*
* Copyright (C) Internet Systems Consortium, Inc. ("ISC")
*
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
*
* See the COPYRIGHT file distributed with this work for additional
* information regarding copyright ownership.
*/
2018-10-25 15:40:27 +08:00
#if HAVE_CMOCKA
#include <stdarg.h>
#include <stddef.h>
#include <setjmp.h>
Include <sched.h> where necessary for musl libc All unit tests define the UNIT_TESTING macro, which causes <cmocka.h> to replace malloc(), calloc(), realloc(), and free() with its own functions tracking memory allocations. In order for this not to break compilation, the system header declaring the prototypes for these standard functions must be included before <cmocka.h>. Normally, these prototypes are only present in <stdlib.h>, so we make sure it is included before <cmocka.h>. However, musl libc also defines the prototypes for calloc() and free() in <sched.h>, which is included by <pthread.h>, which is included e.g. by <isc/mutex.h>. Thus, unit tests including "dnstest.h" (which includes <isc/mem.h>, which includes <isc/mutex.h>) after <cmocka.h> will not compile with musl libc as for these programs, <sched.h> will be included after <cmocka.h>. Always including <cmocka.h> after all other header files is not a feasible solution as that causes the mock assertion macros defined in <isc/util.h> to mangle the contents of <cmocka.h>, thus breaking compilation. We cannot really use the __noreturn__ or analyzer_noreturn attributes with cmocka assertion functions because they do return if the tested condition is true. The problem is that what BIND unit tests do is incompatible with Clang Static Analyzer's assumptions: since we use cmocka, our custom assertion handlers are present in a shared library (i.e. it is the cmocka library that checks the assertion condition, not a macro in unit test code). Redefining cmocka's assertion macros in <isc/util.h> is an ugly hack to overcome that problem - unfortunately, this is the only way we can think of to make Clang Static Analyzer properly process unit test code. Giving up on Clang Static Analyzer being able to properly process unit test code is not a satisfactory solution. Undefining _GNU_SOURCE for unit test code could work around the problem (musl libc's <sched.h> only defines the prototypes for calloc() and free() when _GNU_SOURCE is defined), but doing that could introduce discrepancies for unit tests including entire *.c files, so it is also not a good solution. All in all, including <sched.h> before <cmocka.h> for all affected unit tests seems to be the most benign way of working around this musl libc quirk. While quite an ugly solution, it achieves our goals here, which are to keep the benefit of proper static analysis of unit test code and to fix compilation against musl libc.
2019-07-30 21:08:40 +02:00
#include <fcntl.h>
#include <sched.h> /* IWYU pragma: keep */
#include <stdlib.h>
#include <unistd.h>
2018-10-25 15:40:27 +08:00
#define UNIT_TESTING
#include <cmocka.h>
2017-08-24 10:58:20 +05:30
#include <isc/file.h>
#include <isc/mem.h>
#include <isc/mutex.h>
#include <isc/os.h>
#include <isc/print.h>
#include <isc/result.h>
2017-08-24 10:58:20 +05:30
#include <isc/stdio.h>
2018-10-25 15:40:27 +08:00
#include <isc/util.h>
#include <isc/thread.h>
#include <isc/time.h>
#include "../mem_p.h"
#include "isctest.h"
2018-10-25 15:40:27 +08:00
static int
_setup(void **state) {
isc_result_t result;
UNUSED(state);
result = isc_test_begin(NULL, true, 0);
assert_int_equal(result, ISC_R_SUCCESS);
return (0);
}
static int
_teardown(void **state) {
UNUSED(state);
isc_test_end();
return (0);
}
#define MP1_FREEMAX 10
#define MP1_FILLCNT 10
#define MP1_MAXALLOC 30
#define MP2_FREEMAX 25
#define MP2_FILLCNT 25
2018-10-25 15:40:27 +08:00
/* general memory system tests */
static void
isc_mem_test(void **state) {
isc_result_t result;
void *items1[50];
void *items2[50];
void *tmp;
isc_mem_t *localmctx = NULL;
isc_mempool_t *mp1 = NULL, *mp2 = NULL;
unsigned int i, j;
int rval;
2018-10-25 15:40:27 +08:00
UNUSED(state);
isc_mem_create(&localmctx);
result = isc_mempool_create(localmctx, 24, &mp1);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_SUCCESS);
result = isc_mempool_create(localmctx, 31, &mp2);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_SUCCESS);
isc_mempool_setfreemax(mp1, MP1_FREEMAX);
isc_mempool_setfillcount(mp1, MP1_FILLCNT);
isc_mempool_setmaxalloc(mp1, MP1_MAXALLOC);
/*
* Allocate MP1_MAXALLOC items from the pool. This is our max.
*/
for (i = 0; i < MP1_MAXALLOC; i++) {
items1[i] = isc_mempool_get(mp1);
2018-10-25 15:40:27 +08:00
assert_non_null(items1[i]);
}
/*
* Try to allocate one more. This should fail.
*/
tmp = isc_mempool_get(mp1);
2018-10-25 15:40:27 +08:00
assert_null(tmp);
/*
* Free the first 11 items. Verify that there are 10 free items on
* the free list (which is our max).
*/
for (i = 0; i < 11; i++) {
isc_mempool_put(mp1, items1[i]);
items1[i] = NULL;
}
rval = isc_mempool_getfreecount(mp1);
2018-10-25 15:40:27 +08:00
assert_int_equal(rval, 10);
rval = isc_mempool_getallocated(mp1);
2018-10-25 15:40:27 +08:00
assert_int_equal(rval, 19);
/*
* Now, beat up on mp2 for a while. Allocate 50 items, then free
* them, then allocate 50 more, etc.
*/
isc_mempool_setfreemax(mp2, 25);
isc_mempool_setfillcount(mp2, 25);
for (j = 0; j < 500000; j++) {
for (i = 0; i < 50; i++) {
items2[i] = isc_mempool_get(mp2);
2018-10-25 15:40:27 +08:00
assert_non_null(items2[i]);
}
for (i = 0; i < 50; i++) {
isc_mempool_put(mp2, items2[i]);
items2[i] = NULL;
}
}
/*
* Free all the other items and blow away this pool.
*/
for (i = 11; i < MP1_MAXALLOC; i++) {
isc_mempool_put(mp1, items1[i]);
items1[i] = NULL;
}
isc_mempool_destroy(&mp1);
isc_mempool_destroy(&mp2);
isc_mem_destroy(&localmctx);
isc_mem_create(&localmctx);
result = isc_mempool_create(localmctx, 2, &mp1);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_SUCCESS);
tmp = isc_mempool_get(mp1);
2018-10-25 15:40:27 +08:00
assert_non_null(tmp);
isc_mempool_put(mp1, tmp);
isc_mempool_destroy(&mp1);
2018-10-25 15:40:27 +08:00
isc_mem_destroy(&localmctx);
}
2018-10-25 15:40:27 +08:00
/* test TotalUse calculation */
static void
isc_mem_total_test(void **state) {
isc_mem_t *mctx2 = NULL;
size_t before, after;
ssize_t diff;
int i;
2018-10-25 15:40:27 +08:00
UNUSED(state);
/* Local alloc, free */
mctx2 = NULL;
isc_mem_create(&mctx2);
before = isc_mem_total(mctx2);
for (i = 0; i < 100000; i++) {
void *ptr;
ptr = isc_mem_allocate(mctx2, 2048);
isc_mem_free(mctx2, ptr);
}
after = isc_mem_total(mctx2);
diff = after - before;
/* 2048 +8 bytes extra for size_info */
2018-10-25 15:40:27 +08:00
assert_int_equal(diff, (2048 + 8) * 100000);
/* ISC_MEMFLAG_INTERNAL */
before = isc_mem_total(mctx);
for (i = 0; i < 100000; i++) {
void *ptr;
ptr = isc_mem_allocate(mctx, 2048);
isc_mem_free(mctx, ptr);
}
after = isc_mem_total(mctx);
diff = after - before;
/* 2048 +8 bytes extra for size_info */
2018-10-25 15:40:27 +08:00
assert_int_equal(diff, (2048 + 8) * 100000);
isc_mem_destroy(&mctx2);
}
2018-10-25 15:40:27 +08:00
/* test InUse calculation */
static void
isc_mem_inuse_test(void **state) {
isc_mem_t *mctx2 = NULL;
2018-10-25 15:40:27 +08:00
size_t before, after;
ssize_t diff;
void *ptr;
2018-10-25 15:40:27 +08:00
UNUSED(state);
mctx2 = NULL;
isc_mem_create(&mctx2);
before = isc_mem_inuse(mctx2);
ptr = isc_mem_allocate(mctx2, 1024000);
isc_mem_free(mctx2, ptr);
after = isc_mem_inuse(mctx2);
diff = after - before;
2018-10-25 15:40:27 +08:00
assert_int_equal(diff, 0);
isc_mem_destroy(&mctx2);
}
2017-08-24 10:58:20 +05:30
#if ISC_MEM_TRACKLINES
2018-10-25 15:40:27 +08:00
/* test mem with no flags */
static void
isc_mem_noflags_test(void **state) {
2017-08-24 10:58:20 +05:30
isc_result_t result;
isc_mem_t *mctx2 = NULL;
char buf[4096], *p, *q;
FILE *f;
void *ptr;
result = isc_stdio_open("mem.output", "w", &f);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_SUCCESS);
2017-08-24 10:58:20 +05:30
2018-10-25 15:40:27 +08:00
UNUSED(state);
2017-08-24 10:58:20 +05:30
isc_mem_create(&mctx2);
2017-08-24 10:58:20 +05:30
isc_mem_debugging = 0;
ptr = isc_mem_get(mctx2, 2048);
2018-10-25 15:40:27 +08:00
assert_non_null(ptr);
isc__mem_printactive(mctx2, f);
2017-08-24 10:58:20 +05:30
isc_mem_put(mctx2, ptr, 2048);
isc_mem_destroy(&mctx2);
isc_stdio_close(f);
memset(buf, 0, sizeof(buf));
2017-08-24 10:58:20 +05:30
result = isc_stdio_open("mem.output", "r", &f);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_SUCCESS);
result = isc_stdio_read(buf, sizeof(buf), 1, f, NULL);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_EOF);
2017-08-24 10:58:20 +05:30
isc_stdio_close(f);
isc_file_remove("mem.output");
buf[sizeof(buf) - 1] = 0;
2017-08-24 10:58:20 +05:30
p = strchr(buf, '\n');
2018-10-25 15:40:27 +08:00
assert_non_null(p);
assert_in_range(p, 0, buf + sizeof(buf) - 3);
2017-08-24 10:58:20 +05:30
p += 2;
q = strchr(p, '\n');
2018-10-25 15:40:27 +08:00
assert_non_null(q);
2017-08-24 10:58:20 +05:30
*q = '\0';
2018-10-25 15:40:27 +08:00
assert_string_equal(p, "None.");
2017-08-24 10:58:20 +05:30
isc_mem_debugging = ISC_MEM_DEBUGRECORD;
}
2018-10-25 15:40:27 +08:00
/* test mem with record flag */
static void
isc_mem_recordflag_test(void **state) {
2017-08-24 10:58:20 +05:30
isc_result_t result;
isc_mem_t *mctx2 = NULL;
char buf[4096], *p;
FILE *f;
void *ptr;
result = isc_stdio_open("mem.output", "w", &f);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_SUCCESS);
2017-08-24 10:58:20 +05:30
2018-10-25 15:40:27 +08:00
UNUSED(state);
2017-08-24 10:58:20 +05:30
isc_mem_create(&mctx2);
2017-08-24 10:58:20 +05:30
ptr = isc_mem_get(mctx2, 2048);
2018-10-25 15:40:27 +08:00
assert_non_null(ptr);
isc__mem_printactive(mctx2, f);
2017-08-24 10:58:20 +05:30
isc_mem_put(mctx2, ptr, 2048);
isc_mem_destroy(&mctx2);
isc_stdio_close(f);
memset(buf, 0, sizeof(buf));
2017-08-24 10:58:20 +05:30
result = isc_stdio_open("mem.output", "r", &f);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_SUCCESS);
result = isc_stdio_read(buf, sizeof(buf), 1, f, NULL);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_EOF);
2017-08-24 10:58:20 +05:30
isc_stdio_close(f);
isc_file_remove("mem.output");
buf[sizeof(buf) - 1] = 0;
2017-08-24 10:58:20 +05:30
p = strchr(buf, '\n');
2018-10-25 15:40:27 +08:00
assert_non_null(p);
assert_in_range(p, 0, buf + sizeof(buf) - 3);
assert_memory_equal(p + 2, "ptr ", 4);
2017-08-24 10:58:20 +05:30
p = strchr(p + 1, '\n');
2018-10-25 15:40:27 +08:00
assert_non_null(p);
assert_int_equal(strlen(p), 1);
2017-08-24 10:58:20 +05:30
}
2018-10-25 15:40:27 +08:00
/* test mem with trace flag */
static void
isc_mem_traceflag_test(void **state) {
2017-08-24 10:58:20 +05:30
isc_result_t result;
isc_mem_t *mctx2 = NULL;
char buf[4096], *p;
FILE *f;
void *ptr;
/* redirect stderr so we can check trace output */
f = freopen("mem.output", "w", stderr);
2018-10-25 15:40:27 +08:00
assert_non_null(f);
2017-08-24 10:58:20 +05:30
2018-10-25 15:40:27 +08:00
UNUSED(state);
2017-08-24 10:58:20 +05:30
isc_mem_create(&mctx2);
2017-08-24 10:58:20 +05:30
isc_mem_debugging = ISC_MEM_DEBUGTRACE;
ptr = isc_mem_get(mctx2, 2048);
2018-10-25 15:40:27 +08:00
assert_non_null(ptr);
isc__mem_printactive(mctx2, f);
2017-08-24 10:58:20 +05:30
isc_mem_put(mctx2, ptr, 2048);
isc_mem_destroy(&mctx2);
isc_stdio_close(f);
memset(buf, 0, sizeof(buf));
2017-08-24 10:58:20 +05:30
result = isc_stdio_open("mem.output", "r", &f);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_SUCCESS);
result = isc_stdio_read(buf, sizeof(buf), 1, f, NULL);
2018-10-25 15:40:27 +08:00
assert_int_equal(result, ISC_R_EOF);
2017-08-24 10:58:20 +05:30
isc_stdio_close(f);
isc_file_remove("mem.output");
/* return stderr to TTY so we can see errors */
f = freopen("/dev/tty", "w", stderr);
buf[sizeof(buf) - 1] = 0;
2018-10-25 15:40:27 +08:00
assert_memory_equal(buf, "add ", 4);
2017-08-24 10:58:20 +05:30
p = strchr(buf, '\n');
2018-10-25 15:40:27 +08:00
assert_non_null(p);
2017-08-24 10:58:20 +05:30
p = strchr(p + 1, '\n');
2018-10-25 15:40:27 +08:00
assert_non_null(p);
assert_in_range(p, 0, buf + sizeof(buf) - 3);
assert_memory_equal(p + 2, "ptr ", 4);
2017-08-24 10:58:20 +05:30
p = strchr(p + 1, '\n');
2018-10-25 15:40:27 +08:00
assert_non_null(p);
assert_memory_equal(p + 1, "del ", 4);
2017-08-24 10:58:20 +05:30
isc_mem_debugging = ISC_MEM_DEBUGRECORD;
}
#endif
#define ITERS 512
#define NUM_ITEMS 1024 //768
#define ITEM_SIZE 65534
static void *
mem_thread(void *arg) {
void *items[NUM_ITEMS];
size_t size = *((size_t *)arg);
for (int i = 0; i < ITERS; i++) {
for (int j = 0; j < NUM_ITEMS; j++) {
items[j] = isc_mem_get(mctx, size);
}
for (int j = 0; j < NUM_ITEMS; j++) {
isc_mem_put(mctx, items[j], size);
}
}
return (NULL);
}
static void
isc_mem_benchmark(void **state) {
int nthreads = ISC_MAX(ISC_MIN(isc_os_ncpus(), 32), 1);
isc_thread_t threads[32];
isc_time_t ts1, ts2;
double t;
isc_result_t result;
size_t size = ITEM_SIZE;
UNUSED(state);
result = isc_time_now(&ts1);
assert_int_equal(result, ISC_R_SUCCESS);
for (int i = 0; i < nthreads; i++) {
isc_thread_create(mem_thread, &size, &threads[i]);
size = size / 2;
}
for (int i = 0; i < nthreads; i++) {
isc_thread_join(threads[i], NULL);
}
result = isc_time_now(&ts2);
assert_int_equal(result, ISC_R_SUCCESS);
t = isc_time_microdiff(&ts2, &ts1);
printf("[ TIME ] isc_mem_benchmark: "
"%d isc_mem_{get,put} calls, %f seconds, %f calls/second\n",
nthreads * ITERS * NUM_ITEMS, t / 1000000.0,
(nthreads * ITERS * NUM_ITEMS) / (t / 1000000.0));
}
static void *
mempool_thread(void *arg) {
isc_mempool_t *mp = (isc_mempool_t *)arg;
void *items[NUM_ITEMS];
for (int i = 0; i < ITERS; i++) {
for (int j = 0; j < NUM_ITEMS; j++) {
items[j] = isc_mempool_get(mp);
}
for (int j = 0; j < NUM_ITEMS; j++) {
isc_mempool_put(mp, items[j]);
}
}
return (NULL);
}
static void
isc_mempool_benchmark(void **state) {
int nthreads = ISC_MAX(ISC_MIN(isc_os_ncpus(), 32), 1);
isc_thread_t threads[32];
isc_time_t ts1, ts2;
double t;
isc_result_t result;
size_t size = ITEM_SIZE;
isc_mempool_t *mp = NULL;
isc_mutex_t mplock;
isc_mutex_init(&mplock);
result = isc_mempool_create(mctx, ITEM_SIZE, &mp);
assert_int_equal(result, ISC_R_SUCCESS);
isc_mempool_associatelock(mp, &mplock);
isc_mempool_setfreemax(mp, 32768);
isc_mempool_setfillcount(mp, ISC_MAX(NUM_ITEMS / nthreads, 1));
UNUSED(state);
result = isc_time_now(&ts1);
assert_int_equal(result, ISC_R_SUCCESS);
for (int i = 0; i < nthreads; i++) {
isc_thread_create(mempool_thread, mp, &threads[i]);
size = size / 2;
}
for (int i = 0; i < nthreads; i++) {
isc_thread_join(threads[i], NULL);
}
result = isc_time_now(&ts2);
assert_int_equal(result, ISC_R_SUCCESS);
t = isc_time_microdiff(&ts2, &ts1);
printf("[ TIME ] isc_mempool_benchmark: "
"%d isc_mempool_{get,put} calls, %f seconds, %f calls/second\n",
nthreads * ITERS * NUM_ITEMS, t / 1000000.0,
(nthreads * ITERS * NUM_ITEMS) / (t / 1000000.0));
isc_mempool_destroy(&mp);
isc_mutex_destroy(&mplock);
}
/*
* Main
*/
2018-10-25 15:40:27 +08:00
int
main(void) {
const struct CMUnitTest tests[] = {
cmocka_unit_test_setup_teardown(isc_mem_test,
_setup, _teardown),
cmocka_unit_test_setup_teardown(isc_mem_total_test,
_setup, _teardown),
cmocka_unit_test_setup_teardown(isc_mem_inuse_test,
_setup, _teardown),
2017-08-24 10:58:20 +05:30
#if ISC_MEM_TRACKLINES
2018-10-25 15:40:27 +08:00
cmocka_unit_test_setup_teardown(isc_mem_noflags_test,
_setup, _teardown),
cmocka_unit_test_setup_teardown(isc_mem_recordflag_test,
_setup, _teardown),
cmocka_unit_test_setup_teardown(isc_mem_traceflag_test,
_setup, _teardown),
2017-08-24 10:58:20 +05:30
#endif
cmocka_unit_test_setup_teardown(isc_mem_benchmark,
_setup, _teardown),
cmocka_unit_test_setup_teardown(isc_mempool_benchmark,
_setup, _teardown),
2018-10-25 15:40:27 +08:00
};
2018-10-25 15:40:27 +08:00
return (cmocka_run_group_tests(tests, NULL, NULL));
}
2018-10-25 15:40:27 +08:00
#else /* HAVE_CMOCKA */
#include <stdio.h>
int
main(void) {
printf("1..0 # Skipped: cmocka not available\n");
return (0);
}
#endif