[PPL-devel] [GIT] ppl/ppl(master): Disabled the `memory1' test ( at least for the time being).
Roberto Bagnara
bagnara at cs.unipr.it
Wed Feb 16 16:17:36 CET 2011
Module: ppl/ppl
Branch: master
Commit: 67198c5e25b8fb985f27d4c24cb84e890aea8a23
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67198c5e25b8fb985f27d4c24cb84e890aea8a23
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 16 16:16:53 2011 +0100
Disabled the `memory1' test (at least for the time being).
---
tests/Polyhedron/Makefile.am | 18 +++++++++++++++---
1 files changed, 15 insertions(+), 3 deletions(-)
diff --git a/tests/Polyhedron/Makefile.am b/tests/Polyhedron/Makefile.am
index a621ef7..36d4c55 100644
--- a/tests/Polyhedron/Makefile.am
+++ b/tests/Polyhedron/Makefile.am
@@ -663,9 +663,21 @@ watchdog1_SRCS = watchdog1.cc
weightwatch1_SRCS = weightwatch1.cc
if !VALGRIND_TESTS_ENABLED
-VALGRIND_BRITTLE_TESTS = memory1
-
-memory1_SOURCES = $(memory1_SRCS)
+# The `memory1' test is currently disabled. The reason is that there
+# is currently no reliable way to make it work, at least on Linux.
+# The reason is that memory is limited using RLIMIT_AS, which limits
+# brk, mmap and the stack: when we run out of stack, then of course
+# we crash. So RLIMIT_AS cannot be used. In principle, we could use
+# RLIMIT_DATA, which limits brk only. However, glibc uses mmap when
+# it cannot obtain memory from brk (and perhaps in other cases as well),
+# but mmap is not limited by RLIMIT_DATA. In summary, RLIMIT_AS limits
+# too much (in particular the stack, that should not be limited);
+# RLIMIT_DATA limits too little (it does not limit mmap, as we would like
+# it to).
+
+#VALGRIND_BRITTLE_TESTS = memory1
+
+#memory1_SOURCES = $(memory1_SRCS)
endif !VALGRIND_TESTS_ENABLED
More information about the PPL-devel
mailing list