[libc] Add sigaction

[abrachet]

Summary

This patch adds sigaction and the sa_restorer signal trampoline function __restore_rt

[abrachet]

libc/config/linux/signal.h.in

11

This is very not ideal, but the Linux headers expose a different struct sigaction than POSIX expects, it has no sa_action member.

libc/spec/stdc.td

217

I moved this in this patch because I realized sigset_t doesn't belong here but rather posix.td, I can do this in a separate patch if reviewers want.

libc/src/signal/linux/sigaction.cpp

21

To elaborate more on why we can't use a function written in C, we need a way to guarantee that no stack allocations can be made, to my knowledge there is no attribute which satisfies this. The closest is optimize("O1") which we can assume wouldn't bother pushing anything but clang doesn't have this. Also see __restore_rt.s, to make this useable with gdb there are a lot of prerequisites which must be met that we cannot do in C (at least easily) unfortunately.

[abrachet]

• Moved inline asm out of c file into arch specific assembly file.
• Use add_entrypoint_object for __restore target.
• Added test for SIG_IGN.

[abrachet]

Rename file to use capital S suffix to not manually need to specify that the C preprocessor should be run.

[MaskRay]

libc/src/signal/linux/arch/__restore_rt_x86_64.S

21 ↗

(On Diff #248982)

Delete them.

24 ↗

(On Diff #248982)

There needs to be a reference to musl/src/signal/x86_64/restore.s commit 54991729 unless I am mistaken.

Can you figure out whether the gdb bug has been fixed?

33 ↗

(On Diff #248982)

Use . instead of an end symbol. The end symbol wastes a symbol table entry.

[abrachet]

• Move comment explaining why __restore_rt is handwritten to the c file so it doesn't need to be repeated in every assembly implementation
• Stop using Intel syntax
• Remove nop

[abrachet]

Rename restore_rt_${arch}.S to restore_${arch}

[sivachandra]

libc/src/signal/linux/arch/__restore_x86_64.S

1 ↗

(On Diff #249033)

While I understand (thanks to your comments and other references) why this is required, adding an assembly file in LLVM libc is a complete no go at least at this point in time. For example, options like inline assembly are OK but I do think it helps here.

Sorry, I am not trying to discourage here. In fact, I totally appreciate the effort you put in to do the investigation because it hastened my own learning. I want to make sure we have exhausted all other options. Will do my own research and get back to you. Feel free to propose other options if you can think of any.

[abrachet]

Stop using assembly file all together

[abrachet]

Going to quote this here because the file it was commented on has since been deleted

While I understand (thanks to your comments and other references) why this is required, adding an assembly file in LLVM libc is a complete no go at least at this point in time. For example, options like inline assembly are OK but I do think it helps here.

Sorry, I am not trying to discourage here. In fact, I totally appreciate the effort you put in to do the investigation because it hastened my own learning. I want to make sure we have exhausted all other options. Will do my own research and get back to you. Feel free to propose other options if you can think of any.

I can't think of any way to do this without handwriting this function. If we don't want an assembly file thats fine but it would need to be inline asm. My personal opinion is that inline asm will get uglier in the future when more architectures are supported but thats not a huge concern right now.

There's just no portable way that I know of to ensure the compile will never make any stack allocations. It's not like like the memcpy intrinsic that @gchatelet added either where it is nice to have, so even if we add a never_stack_alloc attribute to clang (which sounds non trivial), it wouldn't just be slower on other compilers but not work at all. Any stack allocation and the kernel cannot return from the signal, I've gotten either SIGSEGV or SIGBUS when implementing this in C.

Those errors were with ASan and UBSan turned on, and compiled at O1. When sanitizers are turned off and compiling at O1 this function works when written in C (breaks at O0. One idea, is put this in a separate C file, implement it in C and then use add_custom_command so we always know how it is being compiled, ie no sanitizers no instrumentation and optimizations always turned on. This is hacky though because if someone has an alias for their compiler like alias clang="clang -fsanitize=address" then that solution breaks too. Not to mention there is no guarantee that with optimizations turned on the compiler will not emit any push instructions (although its a safe bet that none would).

[sivachandra]

In D75802#1913247, @abrachet wrote:

There's just no portable way that I know of to ensure the compile will never make any stack allocations. It's not like like the memcpy intrinsic that @gchatelet added either where it is nice to have, so even if we add a never_stack_alloc attribute to clang (which sounds non trivial), it wouldn't just be slower on other compilers but not work at all. Any stack allocation and the kernel cannot return from the signal, I've gotten either SIGSEGV or SIGBUS when implementing this in C.

Those errors were with ASan and UBSan turned on, and compiled at O1. When sanitizers are turned off and compiling at O1 this function works when written in C (breaks at O0. One idea, is put this in a separate C file, implement it in C and then use add_custom_command so we always know how it is being compiled, ie no sanitizers no instrumentation and optimizations always turned on. This is hacky though because if someone has an alias for their compiler like alias clang="clang -fsanitize=address" then that solution breaks too. Not to mention there is no guarantee that with optimizations turned on the compiler will not emit any push instructions (although its a safe bet that none would).

Firstly, I should have mentioned something more in my previous message. The only inline assembly we want to restrict to for now is the syscall layer. If such a restriction makes it impossible to do certain things, then we will consider relaxing it case-by-case.

Coming back to this patch, if we require a certain optimization level, I think that's reasonable. FWIW, glibc has such requirements at many places.

If I have a function like this:

__attribute__((no_sanitize("address"))) // Add the full list of sanitizers which can affect us
void my_syscall(void) {
  __llvm_libc::syscall(5);
  __builtin_unreachable();
}

And, I compile with -O3 -fomit-frame-pointer, it produces:

0000000000000000 <_Z10my_syscallv>:
   0:   b8 05 00 00 00          mov    $0x5,%eax
   5:   0f 05                   syscall

So, it seems to me like the only additional thing we need is to teach the compiler is to use rax instead of eax. That too, we need it so that it works with gdb? Other way around, can we teach gdb/lldb to work LLVM libc? I am OK to wait on "fixing" this aspect.

So, in conclusion, if we can put this new function in a .cpp file as you suggest, and set up the right compiler options, we are good for now? Our build rules are probably not setup to handle all this correctly/conveniently, so they might need some extension.

[abrachet]

Implement __restore_rt in .cpp file. Compile with specific options.

[abrachet]

In D75802#1913439, @sivachandra wrote:

Firstly, I should have mentioned something more in my previous message. The only inline assembly we want to restrict to for now is the syscall layer. If such a restriction makes it impossible to do certain things, then we will consider relaxing it case-by-case.

Coming back to this patch, if we require a certain optimization level, I think that's reasonable. FWIW, glibc has such requirements at many places.

If I have a function like this:

__attribute__((no_sanitize("address"))) // Add the full list of sanitizers which can affect us
void my_syscall(void) {
  __llvm_libc::syscall(5);
  __builtin_unreachable();
}

And, I compile with -O3 -fomit-frame-pointer, it produces:

0000000000000000 <_Z10my_syscallv>:
   0:   b8 05 00 00 00          mov    $0x5,%eax
   5:   0f 05                   syscall

So, it seems to me like the only additional thing we need is to teach the compiler is to use rax instead of eax. That too, we need it so that it works with gdb? Other way around, can we teach gdb/lldb to work LLVM libc? I am OK to wait on "fixing" this aspect.

So, in conclusion, if we can put this new function in a .cpp file as you suggest, and set up the right compiler options, we are good for now? Our build rules are probably not setup to handle all this correctly/conveniently, so they might need some extension.

Done I like this solution a lot more :). Also I found a great flag -Wframe-larger-than=N so we can get an error for stack frames bigger than N, which in this case I have as 0.

With regards to using the 64 bit registers, I'm not bothered by this. There are no situations I can imagine anyone would ever actually need a backtrace from inside of __restore_rt so wether gdb recognizes it or not is not a big deal from my point of view. Not mangling __restore_rt's name helps a bit (basically only for internal development though). I have made it hidden but I could keep it as global if this is a problem and users (of a llvmlibc.so) really need gdb to recognize it.

libc/src/signal/linux/__restore.cpp

17 ↗

(On Diff #249267)

These are the sanitizers I found which will affect the stack. https://godbolt.org/z/8ExGxT

Probably this isn't needed since we are compiling with separate flags than the rest of the project, but I suppose it doesn't hurt.

[sivachandra]

Sorry for the long delay here. I am feeling much better now and should be more responsive.

libc/config/linux/signal.h.in

11

What do you think of using the other way round scheme. As in, in our public signal.h header, we will define sigaction like this:

struct __sigaction {
  ...
};

#ifndef __LLVM_LIBC_INTERNAL_SIGACTION
typedef __sigaction sigaction;
#endif

This will allow us to include our public header in internal code as:

#define __LLVM_LIBC_INTERNAL_SIGACTION
#include "include/signal.h"

Throughout the internal implementation code, we will use struct __sigaction instead of struct sigaction. This way, we don't have to mess with the kernel headers. Does this make sense?

libc/src/signal/linux/CMakeLists.txt

15

I have a similar requirement for a change I have been working on. I will share more on this soon. I am OK with this setup as is, but I have a feeling we can make use of similar items elsewhere as well.

[abrachet]

Implement Siva's suggestion to internally refer to our struct sigaction as struct __sigaction

[abrachet]

libc/config/linux/signal.h.in

11

How does this look?

libc/src/signal/linux/CMakeLists.txt

15

I don't quite love how this is currently so I'd be happy to wait on that patch. Especially because I also end up touching cmake/modules/LLVMLibcRules.cmake in this patch which is not ideal. The only thing I can think of which depends on this patch is implementing signal and fixing abort, which I'm fine waiting on.

[sivachandra]

LGTM. I will write back before the end of today about the single object rule.

[sivachandra]

I just uploaded https://reviews.llvm.org/D76271. I tested it with this patch to make sure it is working as expected.

libc/test/src/signal/CMakeLists.txt

20

Add errno_h as dependency.

libc/test/src/signal/sigaction_test.cpp

37

This test is crashing for me. I have not investigated why, but GDB is telling me that SIGUSR1 is not getting caught after line 49.

[abrachet]

libc/test/src/signal/sigaction_test.cpp

37

Does it crash with D76271 or just as is? My guess is its a problem with how __restore_rt is being compiled. Also, does it crash outside of GDB or just in GDB?

[sivachandra]

libc/test/src/signal/sigaction_test.cpp

37

Ah, looks like a bad interaction between the NOHANG race and this test. I used Paula's patch and the test passes.

So, the way I use the build rules is this:

add_object(
  __restore
  SRC
    __restore.cpp
  COMPILE_OPTIONS
    -fomit-frame-pointer
    -O3
    -Wframe-larger-than=0
  DEPENDS
    linux_syscall_h
    sys_syscall_h
)

add_entrypoint_object(
  sigaction
  SRCS
    sigaction.cpp
  HDRS
    signal.h
    ../sigaction.h
  DEPENDS
    sys_syscall_h
    linux_syscall_h
    signal_h
  SPECIAL_OBJECTS
    __restore
)

We need the construct like SPECIAL_OBJECTS because it cannot be a normal dep: we need to get the object file out of it. With the above rules, the symtab in sigaction.o is like this:

Symbol table '.symtab' contains 21 entries:
   Num:    Value          Size Type    Bind   Vis      Ndx Name
     0: 0000000000000000     0 NOTYPE  LOCAL  DEFAULT  UND 
     1: 0000000000000000     0 SECTION LOCAL  DEFAULT    1 
     2: 0000000000000000     0 SECTION LOCAL  DEFAULT    2 
     3: 0000000000000000     0 SECTION LOCAL  DEFAULT    3 
     4: 0000000000000000     0 SECTION LOCAL  DEFAULT    4 
     5: 0000000000000000     0 SECTION LOCAL  DEFAULT    5 
     6: 0000000000000000     0 SECTION LOCAL  DEFAULT    6 
     7: 0000000000000000     0 SECTION LOCAL  DEFAULT    7 
     8: 0000000000000000     0 SECTION LOCAL  DEFAULT    8 
     9: 0000000000000000     0 SECTION LOCAL  DEFAULT    9 
    10: 0000000000000000     0 SECTION LOCAL  DEFAULT   10 
    11: 0000000000000000     0 SECTION LOCAL  DEFAULT   11 
    12: 0000000000000000     0 SECTION LOCAL  DEFAULT   12 
    13: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS sigaction.cpp
    14: 0000000000000050    77 FUNC    LOCAL  DEFAULT    1 _ZN11__llvm_libcL13copySigactionI11__sigaction9sigactionEEvRT_RKT0_
    15: 0000000000000000    76 FUNC    LOCAL  DEFAULT    1 _ZN11__llvm_libcL13copySigactionI9sigaction11__sigactionEEvRT_RKT0_
    16: 0000000000000000     0 FILE    LOCAL  DEFAULT  ABS __restore.cpp
    17: 00000000000000a0     7 FUNC    GLOBAL DEFAULT    1 __restore_rt
    18: 0000000000000000     0 NOTYPE  GLOBAL DEFAULT  UND _ZN11__llvm_libc16__errno_locationEv
    19: 0000000000000000   461 FUNC    GLOBAL DEFAULT    2 _ZN11__llvm_libc9sigactionEiPK11__sigactionPS0_
    20: 0000000000000000     0 FUNC    GLOBAL DEFAULT    2 sigaction

That confirms __restore.o is getting packed into sigaction.o. Next, objdump shows this:

00000000000000a0 <__restore_rt>:
  a0:   b8 0f 00 00 00          mov    $0xf,%eax
  a5:   0f 05                   syscall

This confirms that the compile options are being picked up alright.

[abrachet]

• Use add_object
• Add errno_h dependency

libc/config/linux/api.td

def SysMManAPI : PublicAPI<"sys/mman.h"> {
   ];
 
   let Functions = [
     "mmap",
     "munmap",
   ];
 }
 
+def StructSigactionDefn : TypeDecl<"struct sigaction"> {
+  let Decl = [{
+    struct sigaction {
+      union {
+        void (*sa_handler)(int);
+        void (*sa_action)(int, siginfo_t *, void *);
+      };
+      sigset_t sa_mask;
+      int sa_flags;
+      void (*sa_restorer)(void);
+    };
+  }];
+}
+
 def SignalAPI : PublicAPI<"signal.h"> {
+  let TypeDeclarations = [
+    StructSigactionDefn,
+  ];
+
   let Functions = [
     "raise",
+    "sigaction",
     "sigprocmask",
     "sigemptyset",
     "sigaddset",
   ];
 }
 
 def ThreadsAPI : PublicAPI<"threads.h"> {
   let Enumerations = [

libc/config/linux/signal.h.in

 //===---------------- Linux specific signal.h definitions -----------------===//
 //
 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
 // See https://llvm.org/LICENSE.txt for license information.
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 //
 //===----------------------------------------------------------------------===//
 
 %%begin()
 
+#define sigaction __kernel_sigaction
 #include <linux/signal.h>
+#undef sigaction

libc/lib/CMakeLists.txt

DEPENDS
     strcat
 
     # sys/mman.h entrypoints
     mmap
     munmap
 
     # signal.h entrypoints
     raise
+    sigaction
     sigaddset
     sigemptyset
     sigprocmask
 
     # stdlib.h entrypoints
     _Exit
     abort
 )

libc/spec/posix.td

 def SigSetType : NamedType<"sigset_t">;
 def SigSetPtrType : PtrType<SigSetType>;
 def ConstSigSetPtrType : ConstType<SigSetPtrType>;
 def RestrictSigSetType : RestrictedPtrType<SigSetType>;
 def ConstRestrictSigSetType : ConstType<RestrictSigSetType>;
 
+def StructSigaction : NamedType<"struct sigaction">;
+def StructSigactionPtr : PtrType<StructSigaction>;
+def ConstStructSigactionPtr : ConstType<StructSigactionPtr>;
+def RestrictStructSigactionPtr : RestrictedPtrType<StructSigaction>;
+def ConstRestrictStructSigactionPtr : ConstType<RestrictStructSigactionPtr>;
+
 def POSIX : StandardSpec<"POSIX"> {
   NamedType OffTType = NamedType<"off_t">;
 
   HeaderSpec Errno = HeaderSpec<
       "errno.h",
       [
         Macro<"E2BIG">,
         Macro<"EACCES">,
HeaderSpec SysMMan = HeaderSpec<
             [ArgSpec<VoidPtr>, ArgSpec<SizeTType>]
         >,
       ]
   >;
 
   HeaderSpec Signal = HeaderSpec<
       "signal.h",
       [], // Macros
-      [], // Types
+      [
+        SigSetType,
+        StructSigaction,
+      ],
       [], // Enumerations
       [
         FunctionSpec<
+          "sigaction",
+          RetValSpec<IntType>,
+          [ArgSpec<IntType>,
+           ArgSpec<ConstRestrictStructSigactionPtr>,
+           ArgSpec<RestrictStructSigactionPtr>]
+        >,
+        FunctionSpec<
           "sigprocmask",
           RetValSpec<IntType>,
           [ArgSpec<IntType>, ArgSpec<ConstRestrictSigSetType>, ArgSpec<RestrictSigSetType>]
         >,
         FunctionSpec<
           "sigemptyset",
           RetValSpec<IntType>,
           [ArgSpec<SigSetPtrType>]

libc/spec/stdc.td

HeaderSpec Signal = HeaderSpec<
         Macro<"SIGABRT">,
         Macro<"SIGFPE">,
         Macro<"SIGILL">,
         Macro<"SIGINT">,
         Macro<"SIGSEGV">,
         Macro<"SIGTERM">
       ],
       [
-        NamedType<"sigset_t">,
         SizeTType,
       ],
       [], // Enumerations
       [
         FunctionSpec<"raise", RetValSpec<IntType>, [ArgSpec<IntType>]>,
       ]
   >;
 

libc/src/signal/linux/CMakeLists.txt

 
 add_entrypoint_object(
   raise
   SRCS
     raise.cpp
   HDRS
     signal.h
     ../raise.h
   DEPENDS
     sys_syscall_h
     linux_syscall_h
     signal_h
 )
 
+# TODO: create a better CMake function for this situation.
+add_entrypoint_object(
+  __restore
+  SRCS
+    arch/__restore_rt_${LIBC_TARGET_MACHINE}.s
+  HDRS
+    ../sigaction.h # HDRS needs to be specify right now so specify anything.
+  DEPENDS
+    sys_syscall_h
+)
+set_source_files_properties(
+  arch/__restore_rt_${LIBC_TARGET_MACHINE}.s
+  PROPERTIES COMPILE_FLAGS
+    "-x assembler-with-cpp"
+)
+
+add_entrypoint_object(
+  sigaction
+  SRCS
+    sigaction.cpp
+  HDRS
+    signal.h
+    ../sigaction.h
+  DEPENDS
+    __restore
+    sys_syscall_h
+    linux_syscall_h
+    signal_h
+)
+
 add_entrypoint_object(
   sigprocmask
   SRCS
     sigprocmask.cpp
   HDRS
     signal.h
     ../sigprocmask.h
   DEPENDS

libc/src/signal/linux/arch/__restore_rt_x86_64.s

+//===---------------- x86_64 implementation of __restore_rt ---------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// __restore_rt must be handwritten because we must gaurentee that no stack
+// allocations are made in the function otherwise the OS will be unable to find
+// the signal handlers stack context. Moreover there are various expectations
+// that debuggers have which must be fufilled for them to properlly identify
+// this code as an sa_restorer trampoline. Among them is the symbolic name
+// __restore_rt. However when the symbolic name is not available, gdb will
+// match these instructions against what it expects this function to look like.
+// Among these is putting the syscall number in rax not eax, which is where
+// __llvm_libc::syscall puts syscall numbers.
+
+#include "include/sys/syscall.h"
+
+.intel_syntax noprefix
+.text
+
+// This nop works around a gdb bug to make sure it doesn't confuse this function
+// with the function right behind it.
+    nop
+.global __restore_rt
+.hidden __restore_rt
+.type __restore_rt,@function
+__restore_rt:
+    mov rax, SYS_rt_sigreturn
+    syscall
+__restore_rt_end:
+.size __restore_rt,__restore_rt_end-__restore_rt

libc/src/signal/linux/sigaction.cpp

+//===----------------- Linux implementation of sigaction ------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "src/signal/sigaction.h"
+#include "src/errno/llvmlibc_errno.h"
+#include "src/signal/linux/signal.h"
+
+#include "src/__support/common.h"
+
+namespace __llvm_libc {
+
+// TOOD: Some architectures will have their signal trampoline functions in the
+// vdso, use those when available.
+extern "C" void __restore_rt();
+
+template <typename T, typename V>
+static void copySigaction(T &dest, const V &source) {
+  dest.sa_handler = source.sa_handler;
+  dest.sa_mask = source.sa_mask;
+  dest.sa_flags = source.sa_flags;
+  dest.sa_restorer = source.sa_restorer;
+}
+
+int LLVM_LIBC_ENTRYPOINT(sigaction)(int signal,
+                                    const struct sigaction *__restrict libc_new,
+                                    struct sigaction *__restrict libc_old) {
+  struct __kernel_sigaction kernel_new;
+  if (libc_new) {
+    copySigaction(kernel_new, *libc_new);
+    if (!(kernel_new.sa_flags & SA_RESTORER)) {
+      kernel_new.sa_flags |= SA_RESTORER;
+      kernel_new.sa_restorer = __restore_rt;
+    }
+  }
+
+  struct __kernel_sigaction kernel_old;
+  int ret = syscall(SYS_rt_sigaction, signal, libc_new ? &kernel_new : nullptr,
+                    libc_old ? &kernel_old : nullptr, sizeof(sigset_t));
+  if (ret) {
+    llvmlibc_errno = -ret;
+    return -1;
+  }
+
+  if (libc_old)
+    copySigaction(*libc_old, kernel_old);
+  return 0;
+}
+
+} // namespace __llvm_libc

libc/src/signal/sigaction.h

+//===------------ Implementation header for sigaction --------*- C++ -*--===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_LIBC_SRC_SIGNAL_SIGACTION_H
+#define LLVM_LIBC_SRC_SIGNAL_SIGACTION_H
+
+#include "include/signal.h"
+
+namespace __llvm_libc {
+
+int sigaction(int signal, const struct sigaction *__restrict libc_new,
+              struct sigaction *__restrict libc_old);
+
+} // namespace __llvm_libc
+
+#endif // LLVM_LIBC_SRC_SIGNAL_SIGACTION_H

libc/test/src/signal/CMakeLists.txt

 add_libc_testsuite(libc_signal_unittests)
 
 add_libc_unittest(
   raise_test
   SUITE
     libc_signal_unittests
   SRCS
     raise_test.cpp
   DEPENDS
     raise
     signal_h
 )
 
 add_libc_unittest(
+  sigaction_test
+  SUITE
+    libc_signal_unittests
+  SRCS
+    sigaction_test.cpp
+  DEPENDS
+
+    sigaction
+    raise
+    signal_h
+    __errno_location
+    
+    # TOOD remove this when dependencies in add_entrypoint are fixed
+    __restore
+)
+
+add_libc_unittest(
   sigprocmask_test
   SUITE
     libc_signal_unittests
   SRCS
     sigprocmask_test.cpp
   DEPENDS
     raise
     sigprocmask

libc/test/src/signal/sigaction_test.cpp

+//===----------------------- Unittests for sigaction ----------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "include/errno.h"
+#include "include/signal.h"
+#include "src/signal/raise.h"
+#include "src/signal/sigaction.h"
+
+#include "utils/UnitTest/ErrnoSetterMatcher.h"
+#include "utils/UnitTest/Test.h"
+
+using __llvm_libc::testing::ErrnoSetterMatcher::Fails;
+using __llvm_libc::testing::ErrnoSetterMatcher::Succeeds;
+
+TEST(Sigaction, Invalid) {
+  // -1 is a much larger signal that NSIG, so this should fail.
+  EXPECT_THAT(__llvm_libc::sigaction(-1, nullptr, nullptr), Fails(EINVAL));
+}
+
+// SIGKILL cannot have its action changed, but it can be examined.
+TEST(Sigaction, Sigkill) {
+  struct sigaction action;
+  EXPECT_THAT(__llvm_libc::sigaction(SIGKILL, nullptr, &action), Succeeds());
+  EXPECT_THAT(__llvm_libc::sigaction(SIGKILL, &action, nullptr), Fails(EINVAL));
+}
+
+static int sigusr1Count;
+static bool correctSignal;
+
+TEST(Sigaction, CustomAction) {
+  // Zero this incase tests get run multiple times in the future.
+  sigusr1Count = 0;
+
+  struct sigaction action;
+  EXPECT_THAT(__llvm_libc::sigaction(SIGUSR1, nullptr, &action), Succeeds());
+
+  action.sa_handler = +[](int signal) {
+    correctSignal = signal == SIGUSR1;
+    sigusr1Count++;
+  };
+  EXPECT_THAT(__llvm_libc::sigaction(SIGUSR1, &action, nullptr), Succeeds());
+
+  __llvm_libc::raise(SIGUSR1);
+  EXPECT_EQ(sigusr1Count, 1);
+  EXPECT_TRUE(correctSignal);
+
+  action.sa_handler = SIG_DFL;
+  EXPECT_THAT(__llvm_libc::sigaction(SIGUSR1, &action, nullptr), Succeeds());
+
+  EXPECT_DEATH([] { __llvm_libc::raise(SIGUSR1); }, SIGUSR1);
+}
+
+TEST(Sigaction, Ignore) {
+  struct sigaction action;
+  EXPECT_THAT(__llvm_libc::sigaction(SIGUSR1, nullptr, &action), Succeeds());
+  action.sa_handler = SIG_IGN;
+  EXPECT_THAT(__llvm_libc::sigaction(SIGUSR1, &action, nullptr), Succeeds());
+
+  EXPECT_EXITS([] {__llvm_libc::raise(SIGUSR1); }, 0);
+}