16b3a42afSjmmv // Copyright 2012 Google Inc.
26b3a42afSjmmv // All rights reserved.
36b3a42afSjmmv //
46b3a42afSjmmv // Redistribution and use in source and binary forms, with or without
56b3a42afSjmmv // modification, are permitted provided that the following conditions are
66b3a42afSjmmv // met:
76b3a42afSjmmv //
86b3a42afSjmmv // * Redistributions of source code must retain the above copyright
96b3a42afSjmmv // notice, this list of conditions and the following disclaimer.
106b3a42afSjmmv // * Redistributions in binary form must reproduce the above copyright
116b3a42afSjmmv // notice, this list of conditions and the following disclaimer in the
126b3a42afSjmmv // documentation and/or other materials provided with the distribution.
136b3a42afSjmmv // * Neither the name of Google Inc. nor the names of its contributors
146b3a42afSjmmv // may be used to endorse or promote products derived from this software
156b3a42afSjmmv // without specific prior written permission.
166b3a42afSjmmv //
176b3a42afSjmmv // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
186b3a42afSjmmv // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
196b3a42afSjmmv // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
206b3a42afSjmmv // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
216b3a42afSjmmv // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
226b3a42afSjmmv // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
236b3a42afSjmmv // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
246b3a42afSjmmv // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
256b3a42afSjmmv // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
266b3a42afSjmmv // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
276b3a42afSjmmv // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
286b3a42afSjmmv
296b3a42afSjmmv #include "utils/signals/interrupts.hpp"
306b3a42afSjmmv
316b3a42afSjmmv extern "C" {
326b3a42afSjmmv #include <signal.h>
336b3a42afSjmmv #include <unistd.h>
346b3a42afSjmmv }
356b3a42afSjmmv
366b3a42afSjmmv #include <cstdlib>
376b3a42afSjmmv
386b3a42afSjmmv #include <atf-c++.hpp>
396b3a42afSjmmv
406b3a42afSjmmv #include "utils/format/macros.hpp"
416b3a42afSjmmv #include "utils/process/child.ipp"
426b3a42afSjmmv #include "utils/process/status.hpp"
436b3a42afSjmmv #include "utils/signals/exceptions.hpp"
446b3a42afSjmmv #include "utils/signals/programmer.hpp"
456b3a42afSjmmv
466b3a42afSjmmv namespace process = utils::process;
476b3a42afSjmmv namespace signals = utils::signals;
486b3a42afSjmmv
496b3a42afSjmmv
506b3a42afSjmmv namespace {
516b3a42afSjmmv
526b3a42afSjmmv
536b3a42afSjmmv /// Set to the signal that fired; -1 if none.
546b3a42afSjmmv static volatile int fired_signal = -1;
556b3a42afSjmmv
566b3a42afSjmmv
576b3a42afSjmmv /// Test handler for signals.
586b3a42afSjmmv ///
596b3a42afSjmmv /// \post fired_signal is set to the signal that triggered the handler.
606b3a42afSjmmv ///
616b3a42afSjmmv /// \param signo The signal that triggered the handler.
626b3a42afSjmmv static void
signal_handler(const int signo)636b3a42afSjmmv signal_handler(const int signo)
646b3a42afSjmmv {
656b3a42afSjmmv fired_signal = signo;
666b3a42afSjmmv }
676b3a42afSjmmv
686b3a42afSjmmv
696b3a42afSjmmv /// Child process that pauses waiting to be killed.
706b3a42afSjmmv static void
pause_child(void)716b3a42afSjmmv pause_child(void)
726b3a42afSjmmv {
736b3a42afSjmmv sigset_t mask;
746b3a42afSjmmv sigemptyset(&mask);
756b3a42afSjmmv if (sigsuspend(&mask) == -1)
766b3a42afSjmmv ::exit(EXIT_FAILURE);
776b3a42afSjmmv else {
786b3a42afSjmmv // If this happens, it is because we received a non-deadly signal and
796b3a42afSjmmv // the execution resumed. This is not what we expect, so exit with an
806b3a42afSjmmv // arbitrary code.
816b3a42afSjmmv ::exit(45);
826b3a42afSjmmv }
836b3a42afSjmmv }
846b3a42afSjmmv
856b3a42afSjmmv
866b3a42afSjmmv /// Checks that interrupts_handler() handles a particular signal.
876b3a42afSjmmv ///
886b3a42afSjmmv /// This indirectly checks the check_interrupt() function, which is not part of
896b3a42afSjmmv /// the class but is tightly related.
906b3a42afSjmmv ///
916b3a42afSjmmv /// \param signo The signal to check.
926b3a42afSjmmv static void
check_interrupts_handler(const int signo)936b3a42afSjmmv check_interrupts_handler(const int signo)
946b3a42afSjmmv {
956b3a42afSjmmv signals::programmer test_handler(signo, signal_handler);
966b3a42afSjmmv
976b3a42afSjmmv {
986b3a42afSjmmv signals::interrupts_handler interrupts;
996b3a42afSjmmv
1006b3a42afSjmmv signals::check_interrupt();
1016b3a42afSjmmv ::kill(getpid(), signo);
1026b3a42afSjmmv ATF_REQUIRE_THROW_RE(signals::interrupted_error,
1036b3a42afSjmmv F("Interrupted by signal %s") % signo,
1046b3a42afSjmmv signals::check_interrupt());
1056b3a42afSjmmv }
1066b3a42afSjmmv
1076b3a42afSjmmv ATF_REQUIRE_EQ(-1, fired_signal);
1086b3a42afSjmmv ::kill(getpid(), signo);
1096b3a42afSjmmv ATF_REQUIRE_EQ(signo, fired_signal);
1106b3a42afSjmmv
1116b3a42afSjmmv test_handler.unprogram();
1126b3a42afSjmmv }
1136b3a42afSjmmv
1146b3a42afSjmmv
1156b3a42afSjmmv /// Checks that interrupts_inhibiter() handles a particular signal.
1166b3a42afSjmmv ///
1176b3a42afSjmmv /// \param signo The signal to check.
1186b3a42afSjmmv static void
check_interrupts_inhibiter(const int signo)1196b3a42afSjmmv check_interrupts_inhibiter(const int signo)
1206b3a42afSjmmv {
1216b3a42afSjmmv signals::programmer test_handler(signo, signal_handler);
1226b3a42afSjmmv
1236b3a42afSjmmv {
1246b3a42afSjmmv signals::interrupts_inhibiter inhibiter;
1256b3a42afSjmmv ::kill(::getpid(), signo);
1266b3a42afSjmmv ATF_REQUIRE_EQ(-1, fired_signal);
1276b3a42afSjmmv }
1286b3a42afSjmmv ATF_REQUIRE_EQ(signo, fired_signal);
1296b3a42afSjmmv
1306b3a42afSjmmv test_handler.unprogram();
1316b3a42afSjmmv }
1326b3a42afSjmmv
1336b3a42afSjmmv
1346b3a42afSjmmv } // anonymous namespace
1356b3a42afSjmmv
1366b3a42afSjmmv
1376b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(interrupts_handler__sighup);
ATF_TEST_CASE_BODY(interrupts_handler__sighup)1386b3a42afSjmmv ATF_TEST_CASE_BODY(interrupts_handler__sighup)
1396b3a42afSjmmv {
1406b3a42afSjmmv check_interrupts_handler(SIGHUP);
1416b3a42afSjmmv }
1426b3a42afSjmmv
1436b3a42afSjmmv
1446b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(interrupts_handler__sigint);
ATF_TEST_CASE_BODY(interrupts_handler__sigint)1456b3a42afSjmmv ATF_TEST_CASE_BODY(interrupts_handler__sigint)
1466b3a42afSjmmv {
1476b3a42afSjmmv check_interrupts_handler(SIGINT);
1486b3a42afSjmmv }
1496b3a42afSjmmv
1506b3a42afSjmmv
1516b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(interrupts_handler__sigterm);
ATF_TEST_CASE_BODY(interrupts_handler__sigterm)1526b3a42afSjmmv ATF_TEST_CASE_BODY(interrupts_handler__sigterm)
1536b3a42afSjmmv {
1546b3a42afSjmmv check_interrupts_handler(SIGTERM);
1556b3a42afSjmmv }
1566b3a42afSjmmv
1576b3a42afSjmmv
1586b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(interrupts_handler__kill_children);
ATF_TEST_CASE_BODY(interrupts_handler__kill_children)1596b3a42afSjmmv ATF_TEST_CASE_BODY(interrupts_handler__kill_children)
1606b3a42afSjmmv {
161*46b85cbbSlukem std::unique_ptr< process::child > child1(process::child::fork_capture(
1626b3a42afSjmmv pause_child));
163*46b85cbbSlukem std::unique_ptr< process::child > child2(process::child::fork_capture(
1646b3a42afSjmmv pause_child));
1656b3a42afSjmmv
1666b3a42afSjmmv signals::interrupts_handler interrupts;
1676b3a42afSjmmv
1686b3a42afSjmmv // Our children pause until the reception of a signal. Interrupting
1696b3a42afSjmmv // ourselves will cause the signal to be re-delivered to our children due to
1706b3a42afSjmmv // the interrupts_handler semantics. If this does not happen, the wait
1716b3a42afSjmmv // calls below would block indefinitely and cause our test to time out.
1726b3a42afSjmmv ::kill(::getpid(), SIGHUP);
1736b3a42afSjmmv
1746b3a42afSjmmv const process::status status1 = child1->wait();
1756b3a42afSjmmv ATF_REQUIRE(status1.signaled());
1766b3a42afSjmmv ATF_REQUIRE_EQ(SIGHUP, status1.termsig());
1776b3a42afSjmmv const process::status status2 = child2->wait();
1786b3a42afSjmmv ATF_REQUIRE(status2.signaled());
1796b3a42afSjmmv ATF_REQUIRE_EQ(SIGHUP, status2.termsig());
1806b3a42afSjmmv }
1816b3a42afSjmmv
1826b3a42afSjmmv
1836b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(interrupts_inhibiter__sighup);
ATF_TEST_CASE_BODY(interrupts_inhibiter__sighup)1846b3a42afSjmmv ATF_TEST_CASE_BODY(interrupts_inhibiter__sighup)
1856b3a42afSjmmv {
1866b3a42afSjmmv check_interrupts_inhibiter(SIGHUP);
1876b3a42afSjmmv }
1886b3a42afSjmmv
1896b3a42afSjmmv
1906b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(interrupts_inhibiter__sigint);
ATF_TEST_CASE_BODY(interrupts_inhibiter__sigint)1916b3a42afSjmmv ATF_TEST_CASE_BODY(interrupts_inhibiter__sigint)
1926b3a42afSjmmv {
1936b3a42afSjmmv check_interrupts_inhibiter(SIGINT);
1946b3a42afSjmmv }
1956b3a42afSjmmv
1966b3a42afSjmmv
1976b3a42afSjmmv ATF_TEST_CASE_WITHOUT_HEAD(interrupts_inhibiter__sigterm);
ATF_TEST_CASE_BODY(interrupts_inhibiter__sigterm)1986b3a42afSjmmv ATF_TEST_CASE_BODY(interrupts_inhibiter__sigterm)
1996b3a42afSjmmv {
2006b3a42afSjmmv check_interrupts_inhibiter(SIGTERM);
2016b3a42afSjmmv }
2026b3a42afSjmmv
2036b3a42afSjmmv
ATF_INIT_TEST_CASES(tcs)2046b3a42afSjmmv ATF_INIT_TEST_CASES(tcs)
2056b3a42afSjmmv {
2066b3a42afSjmmv ATF_ADD_TEST_CASE(tcs, interrupts_handler__sighup);
2076b3a42afSjmmv ATF_ADD_TEST_CASE(tcs, interrupts_handler__sigint);
2086b3a42afSjmmv ATF_ADD_TEST_CASE(tcs, interrupts_handler__sigterm);
2096b3a42afSjmmv ATF_ADD_TEST_CASE(tcs, interrupts_handler__kill_children);
2106b3a42afSjmmv
2116b3a42afSjmmv ATF_ADD_TEST_CASE(tcs, interrupts_inhibiter__sighup);
2126b3a42afSjmmv ATF_ADD_TEST_CASE(tcs, interrupts_inhibiter__sigint);
2136b3a42afSjmmv ATF_ADD_TEST_CASE(tcs, interrupts_inhibiter__sigterm);
2146b3a42afSjmmv }
215