1b0d29bc4SBrooks Davis // Copyright 2012 The Kyua Authors.
2b0d29bc4SBrooks Davis // All rights reserved.
3b0d29bc4SBrooks Davis //
4b0d29bc4SBrooks Davis // Redistribution and use in source and binary forms, with or without
5b0d29bc4SBrooks Davis // modification, are permitted provided that the following conditions are
6b0d29bc4SBrooks Davis // met:
7b0d29bc4SBrooks Davis //
8b0d29bc4SBrooks Davis // * Redistributions of source code must retain the above copyright
9b0d29bc4SBrooks Davis // notice, this list of conditions and the following disclaimer.
10b0d29bc4SBrooks Davis // * Redistributions in binary form must reproduce the above copyright
11b0d29bc4SBrooks Davis // notice, this list of conditions and the following disclaimer in the
12b0d29bc4SBrooks Davis // documentation and/or other materials provided with the distribution.
13b0d29bc4SBrooks Davis // * Neither the name of Google Inc. nor the names of its contributors
14b0d29bc4SBrooks Davis // may be used to endorse or promote products derived from this software
15b0d29bc4SBrooks Davis // without specific prior written permission.
16b0d29bc4SBrooks Davis //
17b0d29bc4SBrooks Davis // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18b0d29bc4SBrooks Davis // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19b0d29bc4SBrooks Davis // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20b0d29bc4SBrooks Davis // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21b0d29bc4SBrooks Davis // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22b0d29bc4SBrooks Davis // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23b0d29bc4SBrooks Davis // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24b0d29bc4SBrooks Davis // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25b0d29bc4SBrooks Davis // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26b0d29bc4SBrooks Davis // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27b0d29bc4SBrooks Davis // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28b0d29bc4SBrooks Davis
29b0d29bc4SBrooks Davis #include "utils/signals/interrupts.hpp"
30b0d29bc4SBrooks Davis
31b0d29bc4SBrooks Davis extern "C" {
32b0d29bc4SBrooks Davis #include <signal.h>
33b0d29bc4SBrooks Davis #include <unistd.h>
34b0d29bc4SBrooks Davis }
35b0d29bc4SBrooks Davis
36b0d29bc4SBrooks Davis #include <cstdlib>
37b0d29bc4SBrooks Davis #include <iostream>
38b0d29bc4SBrooks Davis
39b0d29bc4SBrooks Davis #include <atf-c++.hpp>
40b0d29bc4SBrooks Davis
41b0d29bc4SBrooks Davis #include "utils/format/macros.hpp"
42b0d29bc4SBrooks Davis #include "utils/fs/path.hpp"
43b0d29bc4SBrooks Davis #include "utils/process/child.ipp"
44b0d29bc4SBrooks Davis #include "utils/process/status.hpp"
45b0d29bc4SBrooks Davis #include "utils/signals/exceptions.hpp"
46b0d29bc4SBrooks Davis #include "utils/signals/programmer.hpp"
47b0d29bc4SBrooks Davis
48b0d29bc4SBrooks Davis namespace fs = utils::fs;
49b0d29bc4SBrooks Davis namespace process = utils::process;
50b0d29bc4SBrooks Davis namespace signals = utils::signals;
51b0d29bc4SBrooks Davis
52b0d29bc4SBrooks Davis
53b0d29bc4SBrooks Davis namespace {
54b0d29bc4SBrooks Davis
55b0d29bc4SBrooks Davis
56b0d29bc4SBrooks Davis /// Set to the signal that fired; -1 if none.
57b0d29bc4SBrooks Davis static volatile int fired_signal = -1;
58b0d29bc4SBrooks Davis
59b0d29bc4SBrooks Davis
60b0d29bc4SBrooks Davis /// Test handler for signals.
61b0d29bc4SBrooks Davis ///
62b0d29bc4SBrooks Davis /// \post fired_signal is set to the signal that triggered the handler.
63b0d29bc4SBrooks Davis ///
64b0d29bc4SBrooks Davis /// \param signo The signal that triggered the handler.
65b0d29bc4SBrooks Davis static void
signal_handler(const int signo)66b0d29bc4SBrooks Davis signal_handler(const int signo)
67b0d29bc4SBrooks Davis {
68b0d29bc4SBrooks Davis PRE(fired_signal == -1 || fired_signal == signo);
69b0d29bc4SBrooks Davis fired_signal = signo;
70b0d29bc4SBrooks Davis }
71b0d29bc4SBrooks Davis
72b0d29bc4SBrooks Davis
73b0d29bc4SBrooks Davis /// Child process that pauses waiting to be killed.
74b0d29bc4SBrooks Davis static void
pause_child(void)75b0d29bc4SBrooks Davis pause_child(void)
76b0d29bc4SBrooks Davis {
77b0d29bc4SBrooks Davis sigset_t mask;
78b0d29bc4SBrooks Davis sigemptyset(&mask);
79b0d29bc4SBrooks Davis // We loop waiting for signals because we want the parent process to send us
80b0d29bc4SBrooks Davis // a SIGKILL that we cannot handle, not just any non-deadly signal.
81b0d29bc4SBrooks Davis for (;;) {
82b0d29bc4SBrooks Davis std::cerr << F("Waiting for any signal; pid=%s\n") % ::getpid();
83b0d29bc4SBrooks Davis ::sigsuspend(&mask);
84b0d29bc4SBrooks Davis std::cerr << F("Signal received; pid=%s\n") % ::getpid();
85b0d29bc4SBrooks Davis }
86b0d29bc4SBrooks Davis }
87b0d29bc4SBrooks Davis
88b0d29bc4SBrooks Davis
89b0d29bc4SBrooks Davis /// Checks that interrupts_handler() handles a particular signal.
90b0d29bc4SBrooks Davis ///
91b0d29bc4SBrooks Davis /// This indirectly checks the check_interrupt() function, which is not part of
92b0d29bc4SBrooks Davis /// the class but is tightly related.
93b0d29bc4SBrooks Davis ///
94b0d29bc4SBrooks Davis /// \param signo The signal to check.
95b0d29bc4SBrooks Davis /// \param explicit_unprogram Whether to call interrupts_handler::unprogram()
96b0d29bc4SBrooks Davis /// explicitly before letting the object go out of scope.
97b0d29bc4SBrooks Davis static void
check_interrupts_handler(const int signo,const bool explicit_unprogram)98b0d29bc4SBrooks Davis check_interrupts_handler(const int signo, const bool explicit_unprogram)
99b0d29bc4SBrooks Davis {
100b0d29bc4SBrooks Davis fired_signal = -1;
101b0d29bc4SBrooks Davis
102b0d29bc4SBrooks Davis signals::programmer test_handler(signo, signal_handler);
103b0d29bc4SBrooks Davis
104b0d29bc4SBrooks Davis {
105b0d29bc4SBrooks Davis signals::interrupts_handler interrupts;
106b0d29bc4SBrooks Davis
107b0d29bc4SBrooks Davis // No pending interrupts at first.
108b0d29bc4SBrooks Davis signals::check_interrupt();
109b0d29bc4SBrooks Davis
110b0d29bc4SBrooks Davis // Send us an interrupt and check for it.
111b0d29bc4SBrooks Davis ::kill(getpid(), signo);
112b0d29bc4SBrooks Davis ATF_REQUIRE_THROW_RE(signals::interrupted_error,
113b0d29bc4SBrooks Davis F("Interrupted by signal %s") % signo,
114b0d29bc4SBrooks Davis signals::check_interrupt());
115b0d29bc4SBrooks Davis
116b0d29bc4SBrooks Davis // Interrupts should have been cleared now, so this should not throw.
117b0d29bc4SBrooks Davis signals::check_interrupt();
118b0d29bc4SBrooks Davis
119b0d29bc4SBrooks Davis // Check to see if a second interrupt is detected.
120b0d29bc4SBrooks Davis ::kill(getpid(), signo);
121b0d29bc4SBrooks Davis ATF_REQUIRE_THROW_RE(signals::interrupted_error,
122b0d29bc4SBrooks Davis F("Interrupted by signal %s") % signo,
123b0d29bc4SBrooks Davis signals::check_interrupt());
124b0d29bc4SBrooks Davis
125b0d29bc4SBrooks Davis // And ensure the interrupt was cleared again.
126b0d29bc4SBrooks Davis signals::check_interrupt();
127b0d29bc4SBrooks Davis
128b0d29bc4SBrooks Davis if (explicit_unprogram) {
129b0d29bc4SBrooks Davis interrupts.unprogram();
130b0d29bc4SBrooks Davis }
131b0d29bc4SBrooks Davis }
132b0d29bc4SBrooks Davis
133b0d29bc4SBrooks Davis ATF_REQUIRE_EQ(-1, fired_signal);
134b0d29bc4SBrooks Davis ::kill(getpid(), signo);
135b0d29bc4SBrooks Davis ATF_REQUIRE_EQ(signo, fired_signal);
136b0d29bc4SBrooks Davis
137b0d29bc4SBrooks Davis test_handler.unprogram();
138b0d29bc4SBrooks Davis }
139b0d29bc4SBrooks Davis
140b0d29bc4SBrooks Davis
141b0d29bc4SBrooks Davis /// Checks that interrupts_inhibiter() handles a particular signal.
142b0d29bc4SBrooks Davis ///
143b0d29bc4SBrooks Davis /// \param signo The signal to check.
144b0d29bc4SBrooks Davis static void
check_interrupts_inhibiter(const int signo)145b0d29bc4SBrooks Davis check_interrupts_inhibiter(const int signo)
146b0d29bc4SBrooks Davis {
147b0d29bc4SBrooks Davis signals::programmer test_handler(signo, signal_handler);
148b0d29bc4SBrooks Davis
149b0d29bc4SBrooks Davis {
150b0d29bc4SBrooks Davis signals::interrupts_inhibiter inhibiter;
151b0d29bc4SBrooks Davis {
152b0d29bc4SBrooks Davis signals::interrupts_inhibiter nested_inhibiter;
153b0d29bc4SBrooks Davis ::kill(::getpid(), signo);
154b0d29bc4SBrooks Davis ATF_REQUIRE_EQ(-1, fired_signal);
155b0d29bc4SBrooks Davis }
156b0d29bc4SBrooks Davis ::kill(::getpid(), signo);
157b0d29bc4SBrooks Davis ATF_REQUIRE_EQ(-1, fired_signal);
158b0d29bc4SBrooks Davis }
159b0d29bc4SBrooks Davis ATF_REQUIRE_EQ(signo, fired_signal);
160b0d29bc4SBrooks Davis
161b0d29bc4SBrooks Davis test_handler.unprogram();
162b0d29bc4SBrooks Davis }
163b0d29bc4SBrooks Davis
164b0d29bc4SBrooks Davis
165b0d29bc4SBrooks Davis } // anonymous namespace
166b0d29bc4SBrooks Davis
167b0d29bc4SBrooks Davis
168b0d29bc4SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(interrupts_handler__sighup);
ATF_TEST_CASE_BODY(interrupts_handler__sighup)169b0d29bc4SBrooks Davis ATF_TEST_CASE_BODY(interrupts_handler__sighup)
170b0d29bc4SBrooks Davis {
171b0d29bc4SBrooks Davis // We run this twice in sequence to ensure that we can actually program two
172b0d29bc4SBrooks Davis // interrupts handlers in a row.
173b0d29bc4SBrooks Davis check_interrupts_handler(SIGHUP, true);
174b0d29bc4SBrooks Davis check_interrupts_handler(SIGHUP, false);
175b0d29bc4SBrooks Davis }
176b0d29bc4SBrooks Davis
177b0d29bc4SBrooks Davis
178b0d29bc4SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(interrupts_handler__sigint);
ATF_TEST_CASE_BODY(interrupts_handler__sigint)179b0d29bc4SBrooks Davis ATF_TEST_CASE_BODY(interrupts_handler__sigint)
180b0d29bc4SBrooks Davis {
181b0d29bc4SBrooks Davis // We run this twice in sequence to ensure that we can actually program two
182b0d29bc4SBrooks Davis // interrupts handlers in a row.
183b0d29bc4SBrooks Davis check_interrupts_handler(SIGINT, true);
184b0d29bc4SBrooks Davis check_interrupts_handler(SIGINT, false);
185b0d29bc4SBrooks Davis }
186b0d29bc4SBrooks Davis
187b0d29bc4SBrooks Davis
188b0d29bc4SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(interrupts_handler__sigterm);
ATF_TEST_CASE_BODY(interrupts_handler__sigterm)189b0d29bc4SBrooks Davis ATF_TEST_CASE_BODY(interrupts_handler__sigterm)
190b0d29bc4SBrooks Davis {
191b0d29bc4SBrooks Davis // We run this twice in sequence to ensure that we can actually program two
192b0d29bc4SBrooks Davis // interrupts handlers in a row.
193b0d29bc4SBrooks Davis check_interrupts_handler(SIGTERM, true);
194b0d29bc4SBrooks Davis check_interrupts_handler(SIGTERM, false);
195b0d29bc4SBrooks Davis }
196b0d29bc4SBrooks Davis
197b0d29bc4SBrooks Davis
198b0d29bc4SBrooks Davis ATF_TEST_CASE(interrupts_handler__kill_children);
ATF_TEST_CASE_HEAD(interrupts_handler__kill_children)199b0d29bc4SBrooks Davis ATF_TEST_CASE_HEAD(interrupts_handler__kill_children)
200b0d29bc4SBrooks Davis {
201b0d29bc4SBrooks Davis set_md_var("timeout", "10");
202b0d29bc4SBrooks Davis }
ATF_TEST_CASE_BODY(interrupts_handler__kill_children)203b0d29bc4SBrooks Davis ATF_TEST_CASE_BODY(interrupts_handler__kill_children)
204b0d29bc4SBrooks Davis {
205*b392a90bSJohn Baldwin std::unique_ptr< process::child > child1(process::child::fork_files(
206b0d29bc4SBrooks Davis pause_child, fs::path("/dev/stdout"), fs::path("/dev/stderr")));
207*b392a90bSJohn Baldwin std::unique_ptr< process::child > child2(process::child::fork_files(
208b0d29bc4SBrooks Davis pause_child, fs::path("/dev/stdout"), fs::path("/dev/stderr")));
209b0d29bc4SBrooks Davis
210b0d29bc4SBrooks Davis signals::interrupts_handler interrupts;
211b0d29bc4SBrooks Davis
212b0d29bc4SBrooks Davis // Our children pause until the reception of a signal. Interrupting
213b0d29bc4SBrooks Davis // ourselves will cause the signal to be re-delivered to our children due to
214b0d29bc4SBrooks Davis // the interrupts_handler semantics. If this does not happen, the wait
215b0d29bc4SBrooks Davis // calls below would block indefinitely and cause our test to time out.
216b0d29bc4SBrooks Davis ::kill(::getpid(), SIGHUP);
217b0d29bc4SBrooks Davis
218b0d29bc4SBrooks Davis const process::status status1 = child1->wait();
219b0d29bc4SBrooks Davis ATF_REQUIRE(status1.signaled());
220b0d29bc4SBrooks Davis ATF_REQUIRE_EQ(SIGKILL, status1.termsig());
221b0d29bc4SBrooks Davis const process::status status2 = child2->wait();
222b0d29bc4SBrooks Davis ATF_REQUIRE(status2.signaled());
223b0d29bc4SBrooks Davis ATF_REQUIRE_EQ(SIGKILL, status2.termsig());
224b0d29bc4SBrooks Davis }
225b0d29bc4SBrooks Davis
226b0d29bc4SBrooks Davis
227b0d29bc4SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(interrupts_inhibiter__sigalrm);
ATF_TEST_CASE_BODY(interrupts_inhibiter__sigalrm)228b0d29bc4SBrooks Davis ATF_TEST_CASE_BODY(interrupts_inhibiter__sigalrm)
229b0d29bc4SBrooks Davis {
230b0d29bc4SBrooks Davis check_interrupts_inhibiter(SIGALRM);
231b0d29bc4SBrooks Davis }
232b0d29bc4SBrooks Davis
233b0d29bc4SBrooks Davis
234b0d29bc4SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(interrupts_inhibiter__sighup);
ATF_TEST_CASE_BODY(interrupts_inhibiter__sighup)235b0d29bc4SBrooks Davis ATF_TEST_CASE_BODY(interrupts_inhibiter__sighup)
236b0d29bc4SBrooks Davis {
237b0d29bc4SBrooks Davis check_interrupts_inhibiter(SIGHUP);
238b0d29bc4SBrooks Davis }
239b0d29bc4SBrooks Davis
240b0d29bc4SBrooks Davis
241b0d29bc4SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(interrupts_inhibiter__sigint);
ATF_TEST_CASE_BODY(interrupts_inhibiter__sigint)242b0d29bc4SBrooks Davis ATF_TEST_CASE_BODY(interrupts_inhibiter__sigint)
243b0d29bc4SBrooks Davis {
244b0d29bc4SBrooks Davis check_interrupts_inhibiter(SIGINT);
245b0d29bc4SBrooks Davis }
246b0d29bc4SBrooks Davis
247b0d29bc4SBrooks Davis
248b0d29bc4SBrooks Davis ATF_TEST_CASE_WITHOUT_HEAD(interrupts_inhibiter__sigterm);
ATF_TEST_CASE_BODY(interrupts_inhibiter__sigterm)249b0d29bc4SBrooks Davis ATF_TEST_CASE_BODY(interrupts_inhibiter__sigterm)
250b0d29bc4SBrooks Davis {
251b0d29bc4SBrooks Davis check_interrupts_inhibiter(SIGTERM);
252b0d29bc4SBrooks Davis }
253b0d29bc4SBrooks Davis
254b0d29bc4SBrooks Davis
ATF_INIT_TEST_CASES(tcs)255b0d29bc4SBrooks Davis ATF_INIT_TEST_CASES(tcs)
256b0d29bc4SBrooks Davis {
257b0d29bc4SBrooks Davis ATF_ADD_TEST_CASE(tcs, interrupts_handler__sighup);
258b0d29bc4SBrooks Davis ATF_ADD_TEST_CASE(tcs, interrupts_handler__sigint);
259b0d29bc4SBrooks Davis ATF_ADD_TEST_CASE(tcs, interrupts_handler__sigterm);
260b0d29bc4SBrooks Davis ATF_ADD_TEST_CASE(tcs, interrupts_handler__kill_children);
261b0d29bc4SBrooks Davis
262b0d29bc4SBrooks Davis ATF_ADD_TEST_CASE(tcs, interrupts_inhibiter__sigalrm);
263b0d29bc4SBrooks Davis ATF_ADD_TEST_CASE(tcs, interrupts_inhibiter__sighup);
264b0d29bc4SBrooks Davis ATF_ADD_TEST_CASE(tcs, interrupts_inhibiter__sigint);
265b0d29bc4SBrooks Davis ATF_ADD_TEST_CASE(tcs, interrupts_inhibiter__sigterm);
266b0d29bc4SBrooks Davis }
267