[RFC PATCH for 5.2 00/10] Restartable Sequences selftests updates

From: Mathieu Desnoyers
Date: Wed Apr 24 2019 - 11:25:40 EST


Those rseq selftests updates are hereby submitted for feedback.

They change the per-architecture pre-abort signatures to ensure those
are valid trap instructions.

The way exit points are presented to debuggers is enhanced, ensuring
all exit points are present, so debuggers don't have to disassemble
rseq critical section to properly skip over them.

Also, discussions with the glibc community is reaching a concensus
of exposing a __rseq_handled symbol from glibc to coexist with
rseq early adopters. Update the rseq selftest code to use this
symbol.

Feedback is welcome.

Thanks,

Mathieu

Martin Schwidefsky (1):
rseq/selftests: s390: use trap4 for RSEQ_SIG

Mathieu Desnoyers (9):
rseq/selftests: Add __rseq_exit_point_array section for debuggers
rseq/selftests: Introduce __rseq_cs_ptr_array, rename __rseq_table to
__rseq_cs
rseq/selftests: Use __rseq_handled symbol to coexist with glibc
rseq/selftests: s390: use jg instruction for jumps outside of the asm
rseq/selftests: x86: use ud1 instruction as RSEQ_SIG opcode
rseq/selftests: arm: use udf instruction for RSEQ_SIG
rseq/selftests: aarch64 code signature: handle big-endian environment
rseq/selftests: powerpc code signature: generate valid instructions
rseq/selftests: mips: use break instruction for RSEQ_SIG

tools/testing/selftests/rseq/rseq-arm.h | 132 ++++++++++++++++++++++++++----
tools/testing/selftests/rseq/rseq-arm64.h | 74 ++++++++++++++++-
tools/testing/selftests/rseq/rseq-mips.h | 87 +++++++++++++++++---
tools/testing/selftests/rseq/rseq-ppc.h | 90 ++++++++++++++++++--
tools/testing/selftests/rseq/rseq-s390.h | 78 ++++++++++++++++--
tools/testing/selftests/rseq/rseq-x86.h | 120 +++++++++++++++++++++++++--
tools/testing/selftests/rseq/rseq.c | 55 +++++++++++--
tools/testing/selftests/rseq/rseq.h | 1 +
8 files changed, 583 insertions(+), 54 deletions(-)

--
2.11.0