From 8ebb5337c1ef92d0e2d995dddbd9930faa723570 Mon Sep 17 00:00:00 2001 From: Keno Fischer Date: Mon, 18 Nov 2024 05:20:08 +0000 Subject: [PATCH] Add missing synchronization edge --- src/test/x86/deferred_patch.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/test/x86/deferred_patch.c b/src/test/x86/deferred_patch.c index f5ac39193ca..5db525c682e 100644 --- a/src/test/x86/deferred_patch.c +++ b/src/test/x86/deferred_patch.c @@ -80,6 +80,7 @@ static void handle_usr1(__attribute__((unused)) int sig) { // rather than the futex one that we interrupted. test_assert(1 == read(pipefds[0], &byte, 1)); futex = 2; + test_assert(1 == write(pipefds2[1], &byte, 1)); return; } @@ -104,6 +105,7 @@ static void *do_thread(void*) { syscall(SYS_tkill, parent, SIGUSR1); test_assert(1 == read(pipefds2[0], &byte, 1)); test_assert(1 == write(pipefds[1], &byte, 1)); + test_assert(1 == read(pipefds2[0], &byte, 1)); futex_wait(2); test_assert(futex == 3); return NULL; @@ -159,4 +161,4 @@ int main(void) { atomic_puts("EXIT-SUCCESS"); return 77; } -#endif \ No newline at end of file +#endif