]>
Commit | Line | Data |
---|---|---|
213516ef | 1 | # Copyright (C) 2021-2023 Free Software Foundation, Inc. |
df5ad102 SM |
2 | |
3 | # This program is free software; you can redistribute it and/or modify | |
4 | # it under the terms of the GNU General Public License as published by | |
5 | # the Free Software Foundation; either version 3 of the License, or | |
6 | # (at your option) any later version. | |
7 | # | |
8 | # This program is distributed in the hope that it will be useful, | |
9 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
10 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
11 | # GNU General Public License for more details. | |
12 | # | |
13 | # You should have received a copy of the GNU General Public License | |
14 | # along with this program. If not, see <http://www.gnu.org/licenses/>. | |
15 | ||
16 | # Then, test that if we detach an inferior with a pending fork child, that | |
17 | # child is correctly detached and resumes execution normally. There are two | |
18 | # kinds of "pending fork child" we test: | |
19 | # | |
20 | # - resulting of a fork catchpoint: we stop at a fork catchpoint and detach. | |
21 | # - resulting of an all-stop stop on top of a non-stop target, where a fork | |
22 | # event is saved as a pending wait status. To test this, we stepi a thread | |
23 | # while another one forks. The stepi generally completes at least as fast | |
24 | # as the fork, so we have a chance that the stop due to the stepi being | |
25 | # complete is shown to the user while the fork event is saved for later. | |
26 | # | |
27 | # To verify that the child process is detached and resumes execution, we have | |
28 | # it write a file on the filesystem. If we don't see the file after a certain | |
29 | # delay, it means the child was likely not detached, and the test fails. | |
30 | # | |
31 | # At the same time, this tests that having this pending fork event does not | |
32 | # cause other problems in general. For example, a buggy GDB / GDBserver combo | |
33 | # would notice the thread of the child process of the (still unprocessed) fork | |
34 | # event, and erroneously create a new inferior for it. Once fixed, the child | |
35 | # process' thread is hidden by whoever holds the pending fork event. | |
36 | ||
37 | standard_testfile .c -touch-file.c | |
38 | ||
39 | set touch_file_bin $binfile-touch-file | |
40 | ||
41 | if { [is_remote target] } { | |
42 | # If the target is remote, write the file in whatever the current working | |
43 | # directory is, with a somewhat unique name. | |
44 | set touch_file_path ${testfile}-flag | |
45 | } else { | |
46 | set touch_file_path [standard_output_file flag] | |
47 | } | |
48 | ||
49 | set opts [list debug "additional_flags=-DTOUCH_FILE_PATH=\"$touch_file_path\""] | |
50 | if { [gdb_compile "$srcdir/$subdir/$srcfile2" $touch_file_bin executable $opts] != "" } { | |
51 | return | |
52 | } | |
53 | ||
54 | proc do_test { target-non-stop who_forks fork_function stop_mode } { | |
55 | set opts [list \ | |
56 | debug \ | |
57 | "additional_flags=-DFORK_FUNCTION=$fork_function" \ | |
58 | "additional_flags=-DTOUCH_FILE_BIN=\"$::touch_file_bin\""] | |
59 | ||
60 | # WHO_FORKS says which of the main or other thread calls (v)fork. The | |
61 | # thread that does not call (v)fork is the one who tries to step. | |
62 | if { $who_forks == "main" } { | |
63 | lappend opts "additional_flags=-DMAIN_THREAD_FORKS" | |
64 | set this_binfile ${::binfile}-main-${fork_function} | |
65 | } elseif { $who_forks == "other" } { | |
66 | lappend opts "additional_flags=-DOTHER_THREAD_FORKS" | |
67 | set this_binfile ${::binfile}-other-${fork_function} | |
68 | } else { | |
69 | error "invalid who_forks value: $who_forks" | |
70 | } | |
71 | ||
72 | if { [gdb_compile_pthreads "$::srcdir/$::subdir/$::srcfile" $this_binfile executable $opts] != "" } { | |
73 | return | |
74 | } | |
75 | ||
76 | remote_file target delete $::touch_file_path | |
77 | gdb_assert { ![remote_file target exists $::touch_file_path] } "file does not exist before test" | |
78 | ||
79 | save_vars { ::GDBFLAGS } { | |
80 | append ::GDBFLAGS " -ex \"maintenance set target-non-stop ${target-non-stop}\"" | |
81 | clean_restart $this_binfile | |
82 | } | |
83 | ||
84 | if {![runto_main]} { | |
85 | fail "could not run to main" | |
86 | return | |
87 | } | |
88 | ||
89 | # Run until breakpoint in the second thread. | |
90 | gdb_test "break break_here" "Breakpoint $::decimal.*" | |
91 | gdb_continue_to_breakpoint "thread started" | |
92 | ||
93 | # Delete the breakpoint so the thread doesn't do a step-over. | |
94 | delete_breakpoints | |
95 | ||
96 | # Let the forking thread make progress during the step. | |
97 | gdb_test "p release_forking_thread = 1" " = 1" | |
98 | ||
99 | # There are two "pending fork child" modes we can test here: | |
100 | # | |
101 | # - catch: set up a "catch fork" / "catch vfork" and run to it. | |
102 | # - stepi: stepi the non-forking thread while the forking thread, | |
103 | # well, forks. | |
104 | if { $stop_mode == "catch" } { | |
105 | gdb_test "catch fork" | |
106 | gdb_test "catch vfork" | |
107 | gdb_test "continue" "hit Catchpoint $::decimal.*fork.*" | |
108 | } elseif { $stop_mode == "stepi" } { | |
109 | # stepi the non-forking thread. | |
110 | gdb_test "stepi" | |
111 | } else { | |
112 | error "invalid stop_mode value: $stop_mode" | |
113 | } | |
114 | ||
115 | # Make sure there's still a single inferior. | |
116 | gdb_test "info inferior" {\* 1 [^\r\n]+} | |
117 | ||
118 | gdb_test "detach" | |
119 | ||
120 | # After being detached, the fork child creates file ::TOUCH_FILE_PATH. | |
121 | # Seeing this file tells us the fork child was detached and executed | |
122 | # successfully. | |
123 | gdb_assert { [target_file_exists_with_timeout $::touch_file_path] } "file exists after detach" | |
124 | ||
125 | # Don't leave random files on the target system. | |
126 | if { [is_remote target] } { | |
127 | remote_file target delete $::touch_file_path | |
128 | } | |
129 | } | |
130 | ||
131 | foreach_with_prefix target-non-stop { auto on off } { | |
132 | foreach_with_prefix who_forks { main other } { | |
133 | foreach_with_prefix fork_function { fork vfork } { | |
134 | foreach_with_prefix stop_mode { stepi catch } { | |
135 | do_test ${target-non-stop} $who_forks $fork_function $stop_mode | |
136 | } | |
137 | } | |
138 | } | |
139 | } |