mirror of
https://sourceware.org/git/glibc.git
synced 2024-12-27 05:00:15 +00:00
0edbf12301
Current allocate_stack logic for create stacks is to first mmap all the required memory with the desirable memory and then mprotect the guard area with PROT_NONE if required. Although it works as expected, it pessimizes the allocation because it requires the kernel to actually increase commit charge (it counts against the available physical/swap memory available for the system). The only issue is to actually check this change since side-effects are really Linux specific and to actually account them it would require a kernel specific tests to parse the system wide information. On the kernel I checked /proc/self/statm does not show any meaningful difference for vmm and/or rss before and after thread creation. I could only see really meaningful information checking on system wide /proc/meminfo between thread creation: MemFree, MemAvailable, and Committed_AS shows large difference without the patch. I think trying to use these kind of information on a testcase is fragile. The BZ#18988 reports shows that the commit pages are easily seen with mlockall (MCL_FUTURE) (with lock all pages that become mapped in the process) however a more straighfoward testcase shows that pthread_create could be faster using this patch: -- static const int inner_count = 256; static const int outer_count = 128; static void *thread1(void *arg) { return NULL; } static void *sleeper(void *arg) { pthread_t ts[inner_count]; for (int i = 0; i < inner_count; i++) pthread_create (&ts[i], &a, thread1, NULL); for (int i = 0; i < inner_count; i++) pthread_join (ts[i], NULL); return NULL; } int main(void) { pthread_attr_init(&a); pthread_attr_setguardsize(&a, 1<<20); pthread_attr_setstacksize(&a, 1134592); pthread_t ts[outer_count]; for (int i = 0; i < outer_count; i++) pthread_create(&ts[i], &a, sleeper, NULL); for (int i = 0; i < outer_count; i++) pthread_join(ts[i], NULL); assert(r == 0); } return 0; } -- On x86_64 (4.4.0-45-generic, gcc 5.4.0) running the small benchtests I see: $ time ./test real 0m3.647s user 0m0.080s sys 0m11.836s While with the patch I see: $ time ./test real 0m0.696s user 0m0.040s sys 0m1.152s So I added a pthread_create benchtest (thread_create) which check the thread creation latency. As for the simple benchtests, I saw improvements in thread creation on all architectures I tested the change. Checked on x86_64-linux-gnu, i686-linux-gnu, aarch64-linux-gnu, arm-linux-gnueabihf, powerpc64le-linux-gnu, sparc64-linux-gnu, and sparcv9-linux-gnu. [BZ #18988] * benchtests/thread_create-inputs: New file. * benchtests/thread_create-source.c: Likewise. * support/xpthread_attr_setguardsize.c: Likewise. * support/Makefile (libsupport-routines): Add xpthread_attr_setguardsize object. * support/xthread.h: Add xpthread_attr_setguardsize prototype. * benchtests/Makefile (bench-pthread): Add thread_create. * nptl/allocatestack.c (allocate_stack): Call mmap with PROT_NONE and then mprotect the required area. |
||
---|---|---|
.. | ||
scripts | ||
strcoll-inputs | ||
acos-inputs | ||
acosh-inputs | ||
asin-inputs | ||
asinh-inputs | ||
atan-inputs | ||
atanh-inputs | ||
bench-bcopy.c | ||
bench-bzero.c | ||
bench-malloc-thread.c | ||
bench-math-inlines.c | ||
bench-memccpy.c | ||
bench-memchr.c | ||
bench-memcmp.c | ||
bench-memcpy-large.c | ||
bench-memcpy-random.c | ||
bench-memcpy.c | ||
bench-memmem.c | ||
bench-memmove-large.c | ||
bench-memmove.c | ||
bench-mempcpy.c | ||
bench-memrchr.c | ||
bench-memset-large.c | ||
bench-memset.c | ||
bench-rawmemchr.c | ||
bench-skeleton.c | ||
bench-stpcpy_chk.c | ||
bench-stpcpy.c | ||
bench-stpncpy.c | ||
bench-strcasecmp.c | ||
bench-strcasestr.c | ||
bench-strcat.c | ||
bench-strchr.c | ||
bench-strchrnul.c | ||
bench-strcmp.c | ||
bench-strcoll.c | ||
bench-strcpy_chk.c | ||
bench-strcpy.c | ||
bench-strcspn.c | ||
bench-string.h | ||
bench-strlen.c | ||
bench-strncasecmp.c | ||
bench-strncat.c | ||
bench-strncmp.c | ||
bench-strncpy.c | ||
bench-strnlen.c | ||
bench-strpbrk.c | ||
bench-strrchr.c | ||
bench-strsep.c | ||
bench-strspn.c | ||
bench-strstr.c | ||
bench-strtod.c | ||
bench-strtok.c | ||
bench-timing-type.c | ||
bench-timing.h | ||
bench-util.c | ||
bench-util.h | ||
bench-wcpcpy.c | ||
bench-wcpncpy.c | ||
bench-wcscat.c | ||
bench-wcschr.c | ||
bench-wcschrnul.c | ||
bench-wcscmp.c | ||
bench-wcscpy.c | ||
bench-wcscspn.c | ||
bench-wcslen.c | ||
bench-wcsncat.c | ||
bench-wcsncmp.c | ||
bench-wcsncpy.c | ||
bench-wcsnlen.c | ||
bench-wcspbrk.c | ||
bench-wcsrchr.c | ||
bench-wcsspn.c | ||
bench-wmemchr.c | ||
bench-wmemcmp.c | ||
bench-wmemset.c | ||
cos-inputs | ||
cosh-inputs | ||
exp2-inputs | ||
exp-inputs | ||
ffs-inputs | ||
ffsll-inputs | ||
fmax-inputs | ||
fmaxf-inputs | ||
fmin-inputs | ||
fminf-inputs | ||
json-lib.c | ||
json-lib.h | ||
log2-inputs | ||
log-inputs | ||
Makefile | ||
modf-inputs | ||
pow-inputs | ||
pthread_once-inputs | ||
pthread_once-source.c | ||
README | ||
rint-inputs | ||
sin-inputs | ||
sincos-inputs | ||
sinh-inputs | ||
sprintf-inputs | ||
sprintf-source.c | ||
sqrt-inputs | ||
tan-inputs | ||
tanh-inputs | ||
thread_create-inputs | ||
thread_create-source.c |
Using the glibc microbenchmark suite ==================================== The glibc microbenchmark suite automatically generates code for specified functions, builds and calls them repeatedly for given inputs to give some basic performance properties of the function. Running the benchmark: ===================== The benchmark needs python 2.7 or later in addition to the dependencies required to build the GNU C Library. One may run the benchmark by invoking make as follows: $ make bench This runs each function for 10 seconds and appends its output to benchtests/bench.out. To ensure that the tests are rebuilt, one could run: $ make bench-clean The duration of each test can be configured setting the BENCH_DURATION variable in the call to make. One should run `make bench-clean' before changing BENCH_DURATION. $ make BENCH_DURATION=1 bench The benchmark suite does function call measurements using architecture-specific high precision timing instructions whenever available. When such support is not available, it uses clock_gettime (CLOCK_PROCESS_CPUTIME_ID). One can force the benchmark to use clock_gettime by invoking make as follows: $ make USE_CLOCK_GETTIME=1 bench Again, one must run `make bench-clean' before changing the measurement method. Running benchmarks on another target: ==================================== If the target where you want to run benchmarks is not capable of building the code or you're cross-building, you could build and execute the benchmark in separate steps. On the build system run: $ make bench-build and then copy the source and build directories to the target and run the benchmarks from the build directory as usual: $ make bench make sure the copy preserves timestamps by using either rsync or scp -p otherwise the above command may try to build the benchmark again. Benchmarks that require generated code to be executed during the build are skipped when cross-building. Adding a function to benchtests: =============================== If the name of the function is `foo', then the following procedure should allow one to add `foo' to the bench tests: - Append the function name to the bench variable in the Makefile. - Make a file called `foo-inputs` to provide the definition and input for the function. The file should have some directives telling the parser script about the function and then one input per line. Directives are lines that have a special meaning for the parser and they begin with two hashes '##'. The following directives are recognized: - args: This should be assigned a colon separated list of types of the input arguments. This directive may be skipped if the function does not take any inputs. One may identify output arguments by nesting them in <>. The generator will create variables to get outputs from the calling function. - ret: This should be assigned the type that the function returns. This directive may be skipped if the function does not return a value. - includes: This should be assigned a comma-separated list of headers that need to be included to provide declarations for the function and types it may need (specifically, this includes using "#include <header>"). - include-sources: This should be assigned a comma-separated list of source files that need to be included to provide definitions of global variables and functions (specifically, this includes using "#include "source"). See pthread_once-inputs and pthreads_once-source.c for an example of how to use this to benchmark a function that needs state across several calls. - init: Name of an initializer function to call to initialize the benchtest. - name: See following section for instructions on how to use this directive. Lines beginning with a single hash '#' are treated as comments. See pow-inputs for an example of an input file. Multiple execution units per function: ===================================== Some functions have distinct performance characteristics for different input domains and it may be necessary to measure those separately. For example, some math functions perform computations at different levels of precision (64-bit vs 240-bit vs 768-bit) and mixing them does not give a very useful picture of the performance of these functions. One could separate inputs for these domains in the same file by using the `name' directive that looks something like this: ##name: 240bit See the pow-inputs file for an example of what such a partitioned input file would look like. Benchmark Sets: ============== In addition to standard benchmarking of functions, one may also generate custom outputs for a set of functions. This is currently used by string function benchmarks where the aim is to compare performance between implementations at various alignments and for various sizes. To add a benchset for `foo': - Add `foo' to the benchset variable. - Write your bench-foo.c that prints out the measurements to stdout. - On execution, a bench-foo.out is created in $(objpfx) with the contents of stdout.