gdb/testsuite: another attempt to fix gdb.threads/thread-specific-bp.exp

Message ID 1576cabe99ace298caa833800f40781be8404682.1701513033.git.aburgess@redhat.com
State New
Headers
Series gdb/testsuite: another attempt to fix gdb.threads/thread-specific-bp.exp |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_gdb_build--master-aarch64 success Testing passed
linaro-tcwg-bot/tcwg_gdb_build--master-arm success Testing passed
linaro-tcwg-bot/tcwg_gdb_check--master-aarch64 fail Testing failed
linaro-tcwg-bot/tcwg_gdb_check--master-arm fail Testing failed

Commit Message

Andrew Burgess Dec. 2, 2023, 10:31 a.m. UTC
  The gdb.threads/thread-specific-bp.exp test has been a little
problematic, see commits:

  commit 89702edd933a5595557bcd9cc4a0dcc3262226d4
  Date:   Thu Mar 9 12:31:26 2023 +0100

      [gdb/testsuite] Fix gdb.threads/thread-specific-bp.exp on native-gdbserver

and

  commit 2e5843d87c4050bf1109921481fb29e1c470827f
  Date:   Fri Nov 19 14:33:39 2021 +0100

      [gdb/testsuite] Fix gdb.threads/thread-specific-bp.exp

But I recently saw a test failure for that test, which looked like
this:

  ...
  (gdb) PASS: gdb.threads/thread-specific-bp.exp: non_stop=on: thread 1 selected
  continue -a
  Continuing.

  Thread 1 "thread-specific" hit Breakpoint 4, end () at /tmp/binutils-gdb/build/gdb/testsuite/../../../src/gdb/testsuite/gdb.threads/thread-specific-bp.c:29
  29      }
  (gdb) [Thread 0x7ffff7c5c700 (LWP 1552086) exited]
  Thread-specific breakpoint 3 deleted - thread 2 no longer in the thread list.
  FAIL: gdb.threads/thread-specific-bp.exp: non_stop=on: continue to end (timeout)
  ...

This only crops up (for me) when running on a loaded machine, and
still only occurs sometimes.  I've had to leave the test running in a
loop for 10+ minutes sometimes in order to see the failure.

The problem is that we use gdb_test_multiple to try and match two
patterns:

  (1) The 'Thread-specific breakpoint 3 deleted ....' message, and
  (2) The GDB prompt.

As written in the test, we understand that these patterns can occur in
any order, and we have a flag for each pattern.  Once both patterns
have been seen then we PASS the test.

The problem is that once expect has matched a pattern, everything up
to, and including the matched text is discarded from the input
buffer.  Thus, if the input buffer contains:

  <PATTERN 2><PATTERN 1>

Then expect will first try to match <PATTERN 1>, which succeeds, and
then expect discards the entire input buffer up to the end of the
<PATTERN 1>.  As a result, we will never spot <PATTERN 2>.

Obviously we can't just reorder the patterns within the
gdb_test_multiple, as the output can legitimately (and most often
does) occur in the other order, in which case the test would mostly
fail, and only occasionally pass!

I think the easiest solution here is just to have the
gdb_test_multiple contain two patterns, each pattern consists of the
two parts, but in the alternative orders, thus, for a particular
output configuration, only one regexp will match.  With this change in
place, I no longer see the intermittent failure.
---
 .../gdb.threads/thread-specific-bp.exp        | 24 +++++--------------
 1 file changed, 6 insertions(+), 18 deletions(-)


base-commit: a393b155174d20d3d120b5012b87c5438ab9e3d4
  

Comments

Tom Tromey Dec. 15, 2023, 7:21 p.m. UTC | #1
>>>>> "Andrew" == Andrew Burgess <aburgess@redhat.com> writes:

I didn't see a response to this.

Andrew> I think the easiest solution here is just to have the
Andrew> gdb_test_multiple contain two patterns, each pattern consists of the
Andrew> two parts, but in the alternative orders, thus, for a particular
Andrew> output configuration, only one regexp will match.  With this change in
Andrew> place, I no longer see the intermittent failure.

Makes sense to me.
Approved-By: Tom Tromey <tom@tromey.com>

Tom
  
Andrew Burgess Dec. 18, 2023, 11:16 a.m. UTC | #2
Tom Tromey <tom@tromey.com> writes:

>>>>>> "Andrew" == Andrew Burgess <aburgess@redhat.com> writes:
>
> I didn't see a response to this.
>
> Andrew> I think the easiest solution here is just to have the
> Andrew> gdb_test_multiple contain two patterns, each pattern consists of the
> Andrew> two parts, but in the alternative orders, thus, for a particular
> Andrew> output configuration, only one regexp will match.  With this change in
> Andrew> place, I no longer see the intermittent failure.
>
> Makes sense to me.
> Approved-By: Tom Tromey <tom@tromey.com>

Pushed.

Thanks,
Andrew
  

Patch

diff --git a/gdb/testsuite/gdb.threads/thread-specific-bp.exp b/gdb/testsuite/gdb.threads/thread-specific-bp.exp
index 8929f194844..1f3b9441202 100644
--- a/gdb/testsuite/gdb.threads/thread-specific-bp.exp
+++ b/gdb/testsuite/gdb.threads/thread-specific-bp.exp
@@ -87,31 +87,19 @@  proc check_thread_specific_breakpoint {non_stop} {
     } else {
 	set cmd "continue"
     }
-    set test "continue to end"
-    set thread_exited 0
-    set prompt 0
     set msg_re \
 	[join \
 	     [list \
 		  "Thread-specific breakpoint 3 deleted" \
 		  "-" \
 		  "thread 2 no longer in the thread list\\."]]
-    gdb_test_multiple "$cmd" $test -lbl {
-	-re "(^|\r\n)${msg_re}(?=\r\n)" {
-	    if { $prompt } {
-		pass $gdb_test_name
-	    } else {
-		set thread_exited 1
-		exp_continue
-	    }
+
+    gdb_test_multiple "$cmd" "continue to end" {
+	-re "$\r\n${gdb_prompt} .*${msg_re}\r\n" {
+	    pass $gdb_test_name
 	}
-	-re "\r\n$gdb_prompt " {
-	    if { $thread_exited } {
-		pass $gdb_test_name
-	    } else {
-		set prompt 1
-		exp_continue
-	    }
+	-re "\r\n${msg_re}\r\n.*$gdb_prompt " {
+	    pass $gdb_test_name
 	}
     }