[PATCH RESEND] selftests/x86/mm: fixup nx_stack test stability with SA_ONSTACK

From: Alexey Dobriyan
Date: Mon Feb 05 2024 - 05:04:33 EST


I forgot that using sigaltstack(2) requires opt-in with SA_ONSTACK.

If userspace stack is NX, then the test continues to work and
reports PASS and there is no breakage.

If there is kernel bug and some pages of userspace stack are executable,
then test can be derailed because signal stack frame contents may pass
as random instruction with unpredictable consequences.

Signed-off-by: Alexey Dobriyan <adobriyan@xxxxxxxxx>
---

tools/testing/selftests/x86/nx_stack.c | 34 ++++++++++++++++-----------------
1 file changed, 17 insertions(+), 17 deletions(-)

--- a/tools/testing/selftests/x86/nx_stack.c
+++ b/tools/testing/selftests/x86/nx_stack.c
@@ -160,10 +160,25 @@ static void sigtrap(int _, siginfo_t *__, void *uc_)

int main(void)
{
+ {
+ /*
+ * We don't know now much stack SIGSEGV handler uses.
+ * Bump this by 1 page every time someone complains,
+ * or rewrite it in assembly.
+ */
+ const size_t len = SIGSTKSZ;
+ void *p = mmap(NULL, len, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
+ assert(p != MAP_FAILED);
+ stack_t ss = {};
+ ss.ss_sp = p;
+ ss.ss_size = len;
+ int rv = sigaltstack(&ss, NULL);
+ assert(rv == 0);
+ }
{
struct sigaction act = {};
sigemptyset(&act.sa_mask);
- act.sa_flags = SA_SIGINFO;
+ act.sa_flags = SA_SIGINFO|SA_ONSTACK;
act.sa_sigaction = &sigsegv;
int rv = sigaction(SIGSEGV, &act, NULL);
assert(rv == 0);
@@ -171,7 +186,7 @@ int main(void)
{
struct sigaction act = {};
sigemptyset(&act.sa_mask);
- act.sa_flags = SA_SIGINFO;
+ act.sa_flags = SA_SIGINFO|SA_ONSTACK;
act.sa_sigaction = &sigtrap;
int rv = sigaction(SIGTRAP, &act, NULL);
assert(rv == 0);
@@ -188,21 +203,6 @@ int main(void)
rv = setrlimit(RLIMIT_STACK, &rlim);
assert(rv == 0);
}
- {
- /*
- * We don't know now much stack SIGSEGV handler uses.
- * Bump this by 1 page every time someone complains,
- * or rewrite it in assembly.
- */
- const size_t len = SIGSTKSZ;
- void *p = mmap(NULL, len, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
- assert(p != MAP_FAILED);
- stack_t ss = {};
- ss.ss_sp = p;
- ss.ss_size = len;
- int rv = sigaltstack(&ss, NULL);
- assert(rv == 0);
- }
make_stack1();
/*
* Unreachable, but if _this_ INT3 is ever reached, it's a bug somewhere.