From 32871f4b576c5f50fbee8d7e6d5125037e428eed Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 22 Jun 2024 22:02:53 +0200 Subject: [PATCH] obstack-zprintf: Add more tests. * tests/test-obstack-zprintf-big.c: New file, based on tests/test-vasnprintf-big.c. * modules/obstack-zprintf-extra-tests: New file. * modules/obstack-zprintf-tests (Depends-on): Add it. --- ChangeLog | 6 + modules/obstack-zprintf-extra-tests | 17 +++ modules/obstack-zprintf-tests | 1 + tests/test-obstack-zprintf-big.c | 210 ++++++++++++++++++++++++++++ 4 files changed, 234 insertions(+) create mode 100644 modules/obstack-zprintf-extra-tests create mode 100644 tests/test-obstack-zprintf-big.c diff --git a/ChangeLog b/ChangeLog index 96f1e397da..bf82a188fc 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,11 @@ 2024-06-22 Bruno Haible + obstack-zprintf: Add more tests. + * tests/test-obstack-zprintf-big.c: New file, based on + tests/test-vasnprintf-big.c. + * modules/obstack-zprintf-extra-tests: New file. + * modules/obstack-zprintf-tests (Depends-on): Add it. + obstack-zprintf: Add tests. * tests/test-obstack-printf.h: New file, based on tests/test-obstack-printf.c. diff --git a/modules/obstack-zprintf-extra-tests b/modules/obstack-zprintf-extra-tests new file mode 100644 index 0000000000..65f7b7096e --- /dev/null +++ b/modules/obstack-zprintf-extra-tests @@ -0,0 +1,17 @@ +Status: +longrunning-test + +Files: +tests/test-obstack-zprintf-big.c +tests/macros.h + +Depends-on: +physmem + +configure.ac: +AC_CHECK_FUNCS_ONCE([setrlimit]) + +Makefile.am: +TESTS += test-obstack-zprintf-big +check_PROGRAMS += test-obstack-zprintf-big +test_obstack_zprintf_big_LDADD = $(LDADD) @LIBINTL@ diff --git a/modules/obstack-zprintf-tests b/modules/obstack-zprintf-tests index 8ee697934f..99187eb87c 100644 --- a/modules/obstack-zprintf-tests +++ b/modules/obstack-zprintf-tests @@ -6,6 +6,7 @@ tests/macros.h Depends-on: xalloc +obstack-zprintf-extra-tests configure.ac: diff --git a/tests/test-obstack-zprintf-big.c b/tests/test-obstack-zprintf-big.c new file mode 100644 index 0000000000..7e66aac9cd --- /dev/null +++ b/tests/test-obstack-zprintf-big.c @@ -0,0 +1,210 @@ +/* Test of obstack_[v]zprintf() with big results. + Copyright (C) 2024 Free Software Foundation, Inc. + + This program is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see . */ + +/* Written by Bruno Haible , 2024. */ + +#include + +#include + +#include "obstack.h" +#include "physmem.h" + +/* Get INT_MAX. */ +#include + +/* Get PTRDIFF_MAX. */ +#include + +#include +#include + +#if HAVE_SETRLIMIT +# include +# include +# include +#endif + +#include "macros.h" + +#define obstack_chunk_alloc malloc +#define obstack_chunk_free free + +int +main () +{ +#if PTRDIFF_MAX == INT_MAX + fputs ("Skipping test: ptrdiff_t is not 64-bits wide\n", stderr); + return 77; +#else + bool skipped = false; + /* Disable core files that would be huge. */ +# if HAVE_SETRLIMIT && defined RLIMIT_CORE + struct rlimit rl; + rl.rlim_cur = rl.rlim_max = 0; + setrlimit (RLIMIT_CORE, &rl); +# endif + /* The test below needs about 15 GiB of memory: + $ time /usr/bin/time -f "Max RSS: %M KiB" ./test-obstack-zprintf-big + Max RSS: 15730184 KiB + real 0m38,356s + user 0m29,715s + sys 0m8,640s + 5 GiB for the inputs and up to 10 GiB for temporary output buffers. */ + double needed = 15.0 * 1024 * 1024 * 1024; + double avail = physmem_claimable (1.0); + printf ("memory needed = %g MiB, available = %g MiB\n", + needed / 1024 / 1024, avail / 1024 / 1024); + if (avail >= needed) + { + /* Note: The malloc() calls can fail, due to ulimit of RLIMIT_DATA. + For example, on OpenBSD 7.5, the soft limit is 1.0 GiB or 1.5 GiB, + and you need "ulimit -d 16777216". */ + + struct obstack obs; + obstack_init (&obs); + + /* Verify that obstack_zprintf() can return a string of size > 4 GiB. */ + { + size_t n1 = 3 * (INT_MAX / 4) + 10; + size_t n2 = 3 * (INT_MAX / 4) + 20; + char *s1; + char *s2; + + s1 = (char *) malloc (n1 + 1); + if (s1 != NULL) + { + memset (s1, 'a', n1); + s1[n1] = '\0'; + + s2 = (char *) malloc (n2 + 1); + if (s2 != NULL) + { + memset (s2, 'b', n2); + s1[n1] = '\0'; + + ptrdiff_t len = obstack_zprintf (&obs, "x%sy%sz", s1, s2); + if (len < 0) + { + ASSERT (errno == ENOMEM); + skipped = true; + } + else + { + char *s = obstack_finish (&obs); + ASSERT (len == n1 + n2 + 3); + size_t i; + for (i = 0; i < len; i++) + s[i] = (i == 0 ? 'x' : + i <= n1 ? 'a' : + i == n1 + 1 ? 'y' : + i <= n1 + n2 + 1 ? 'b' : + i == n1 + n2 + 2 ? 'z' : + '\0'); + obstack_free (&obs, s); + } + free (s2); + } + free (s1); + } + } + + /* Verify that obstack_zprintf() can take a string of size + > 2 GiB, < 4 GiB as argument. */ + { + size_t n1 = 3 * (size_t) (INT_MAX / 2) + 10; + char *s1; + + s1 = (char *) malloc (n1 + 1); + if (s1 != NULL) + { + memset (s1, 'a', n1); + s1[n1] = '\0'; + + ptrdiff_t len = obstack_zprintf (&obs, "x%sy", s1); + if (len < 0) + { + ASSERT (errno == ENOMEM); + skipped = true; + } + else + { + char *s = obstack_finish (&obs); + ASSERT (len == n1 + 2); + size_t i; + for (i = 0; i < len; i++) + s[i] = (i == 0 ? 'x' : + i <= n1 ? 'a' : + i == n1 + 1 ? 'y' : + '\0'); + obstack_free (&obs, s); + } + free (s1); + } + } + + /* Verify that obstack_zprintf() can take a string of size > 4 GiB + as argument. */ + { + size_t n1 = 5 * (size_t) (INT_MAX / 2) + 10; + if (n1 > (size_t) INT_MAX) + { + char *s1; + + s1 = (char *) malloc (n1 + 1); + if (s1 != NULL) + { + memset (s1, 'a', n1); + s1[n1] = '\0'; + + ptrdiff_t len = obstack_zprintf (&obs, "x%sy", s1); + if (len < 0) + { + ASSERT (errno == ENOMEM); + skipped = true; + } + else + { + char *s = obstack_finish (&obs); + ASSERT (len == n1 + 2); + size_t i; + for (i = 0; i < len; i++) + s[i] = (i == 0 ? 'x' : + i <= n1 ? 'a' : + i == n1 + 1 ? 'y' : + '\0'); + obstack_free (&obs, s); + } + free (s1); + } + } + } + + obstack_free (&obs, NULL); + } + else + skipped = true; + + if (test_exit_status != EXIT_SUCCESS) + return test_exit_status; + if (skipped) + { + fputs ("Skipping test: not enough memory available\n", stderr); + return 77; + } + return 0; +#endif +} -- 2.39.5