| From: |
| André Almeida <andrealmeid-AT-igalia.com> |
| To: |
| Thomas Gleixner <tglx-AT-kernel.org>, Ingo Molnar <mingo-AT-redhat.com>, Peter Zijlstra <peterz-AT-infradead.org>, Darren Hart <dvhart-AT-infradead.org>, Davidlohr Bueso <dave-AT-stgolabs.net>, Mathieu Desnoyers <mathieu.desnoyers-AT-efficios.com>, Sebastian Andrzej Siewior <bigeasy-AT-linutronix.de>, Carlos O'Donell <carlos-AT-redhat.com>, Florian Weimer <fweimer-AT-redhat.com>, Darren Hart <dvhart-AT-infradead.org>, Arnd Bergmann <arnd-AT-arndb.de>, Thomas Weißschuh <linux-AT-weissschuh.net> |
| Subject: |
| [PATCH 0/2] futex: Docs and tests for robust futex unlock race |
| Date: |
| Thu, 26 Mar 2026 11:31:49 -0300 |
| Message-ID: |
| <20260326-tonyk-vdso_test-v1-0-30a6f78c8bc3@igalia.com> |
| Cc: |
| linux-kernel-AT-vger.kernel.org, kernel-dev-AT-igalia.com, André Almeida <andrealmeid-AT-igalia.com> |
| Archive-link: |
| Article |
Hi Thomas,
I have created two patches to be added to our series, please have a look. The
first one is a note for the robust list docs about the need to use a
vDSO/syscall to avoid the race condition (this should be added to the man page
in the future). The second one adds the new syscalls to the robust list
selftests, testing all available combinations.
Ideally I would like to inject some error to the vDSO test, so we can really
test the mechanism of it being interrupted and the kernel cleaning the
list_op_pending, using ASM injection or ptrace(), but I have left for a next
patch for now.
---
André Almeida (2):
Documentation: futex: Add a note about robust list race condition
selftests: futex: Add tests for robust release operations
Documentation/locking/robust-futex-ABI.rst | 44 +++++
.../selftests/futex/functional/robust_list.c | 203 +++++++++++++++++++++
tools/testing/selftests/futex/include/futextest.h | 3 +
3 files changed, 250 insertions(+)
---
base-commit: 263b70d20d1145dcb857409d7a21c2473365a4ba
change-id: 20260326-tonyk-vdso_test-10281e3a8088
Best regards,
--
André Almeida <andrealmeid@igalia.com>
