thrd_signal_handle.h

Go to the documentation of this file.

/* Proposed WG14 improved signals support
(C) 2025 Niall Douglas <http://www.nedproductions.biz/>
File Created: Feb 2025
 
 
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License in the accompanying file
Licence.txt or at
 
http://www.apache.org/licenses/LICENSE-2.0
 
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
*/
 
#ifndef WG14_SIGNALS_THREAD_LOCAL_SIGNAL_HANDLE_H
#define WG14_SIGNALS_THREAD_LOCAL_SIGNAL_HANDLE_H
 
#include "config.h"
 
#include <signal.h>
#include <stdbool.h>
#include <stdint.h>
 
#if __GLIBC__
// glibc defines a userspace siginfo_t as an unnamed struct. No
// choice here but to drag in the relevant header.
#include <bits/types/siginfo_t.h>
#endif
 
 
#ifdef __cplusplus
extern "C"
{
#endif
 
#ifdef _WIN32
  // MSVC may be missing necessary signal support
  typedef uint32_t sigset_t;
  static inline void sigemptyset(sigset_t *ss)
  {
    *ss = 0;
  }
  static inline void sigfillset(sigset_t *ss)
  {
    *ss = UINT32_MAX;
  }
  static inline void sigaddset(sigset_t *ss, const int signo)
  {
    *ss |= (1u << (signo - 1));
  }
  static inline void sigdelset(sigset_t *ss, const int signo)
  {
    *ss &= ~(1u << (signo - 1));
  }
  static inline bool sigismember(const sigset_t *ss, const int signo)
  {
    return (*ss & (1u << (signo - 1))) != 0;
  }
 
// MSVC appears to follow the Linux signal numbering
#ifndef SIGBUS
#define SIGBUS (7)
#endif
#ifndef SIGKILL
#define SIGKILL (9)
#endif
#ifndef SIGSTOP
#define SIGSTOP (19)
#endif
#endif
 
  union WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value)
  {
    intptr_t int_value;
    void *ptr_value;
#if defined(__cplusplus)
    constexpr WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value)()
        : int_value(0)
    {
    }
    constexpr WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value)(int v)
        : int_value(v)
    {
    }
    constexpr WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value)(void *v)
        : ptr_value(v)
    {
    }
#endif
  };
#ifdef _WIN32
  typedef long WG14_SIGNALS_PREFIX(thrd_raised_signal_error_code_t);
#else
typedef int WG14_SIGNALS_PREFIX(thrd_raised_signal_error_code_t);
#endif
 
#ifdef _WIN32
  typedef struct _EXCEPTION_RECORD
  WG14_SIGNALS_PREFIX(thrd_raised_signal_info_siginfo_t);
#elif __GLIBC__
typedef siginfo_t WG14_SIGNALS_PREFIX(thrd_raised_signal_info_siginfo_t);
#else
typedef struct __siginfo WG14_SIGNALS_PREFIX(thrd_raised_signal_info_siginfo_t);
#endif
 
#ifdef _WIN32
  typedef struct _CONTEXT
  WG14_SIGNALS_PREFIX(thrd_raised_signal_info_context_t);
#else
typedef struct ucontext_t
WG14_SIGNALS_PREFIX(thrd_raised_signal_info_context_t);
#endif
 
  struct WG14_SIGNALS_PREFIX(thrd_raised_signal_info)
  {
    int signo;  
 
    WG14_SIGNALS_PREFIX(thrd_raised_signal_error_code_t) error_code;
    void *addr;  
    union WG14_SIGNALS_PREFIX(
    thrd_raised_signal_info_value) value;  
 
    WG14_SIGNALS_PREFIX(thrd_raised_signal_info_siginfo_t) * raw_info;
    WG14_SIGNALS_PREFIX(thrd_raised_signal_info_context_t) * raw_context;
  };
 
  typedef union WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value)(
  WG14_SIGNALS_PREFIX(thrd_signal_func_t))(
  union WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value));
 
  typedef union WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value)(
  WG14_SIGNALS_PREFIX(thrd_signal_recover_t))(
  const struct WG14_SIGNALS_PREFIX(thrd_raised_signal_info) *);
 
  enum WG14_SIGNALS_PREFIX(thrd_signal_decision_t)
  {
    WG14_SIGNALS_PREFIX(thrd_signal_decision_next_decider),
    WG14_SIGNALS_PREFIX(thrd_signal_decision_resume_execution),
    WG14_SIGNALS_PREFIX(thrd_signal_decision_invoke_recovery)
  };
 
  typedef enum WG14_SIGNALS_PREFIX(thrd_signal_decision_t)(WG14_SIGNALS_PREFIX(
  thrd_signal_decide_t))(struct WG14_SIGNALS_PREFIX(thrd_raised_signal_info) *);
 
#ifdef _MSC_VER
#pragma warning(push)
#pragma warning(disable : 4190)  // C-linkage with UDTs
#endif
  WG14_SIGNALS_EXTERN const sigset_t *
  WG14_SIGNALS_PREFIX(synchronous_sigset)(void);
 
  WG14_SIGNALS_EXTERN const sigset_t *
  WG14_SIGNALS_PREFIX(asynchronous_nondebug_sigset)(void);
 
  WG14_SIGNALS_EXTERN const sigset_t *
  WG14_SIGNALS_PREFIX(asynchronous_debug_sigset)(void);
 
  WG14_SIGNALS_EXTERN union WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value)
  WG14_SIGNALS_PREFIX(thrd_signal_invoke)(
  const sigset_t *signals, WG14_SIGNALS_PREFIX(thrd_signal_func_t) guarded,
  WG14_SIGNALS_PREFIX(thrd_signal_recover_t) recovery,
  WG14_SIGNALS_PREFIX(thrd_signal_decide_t) decider,
  union WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value) value);
#ifdef _MSC_VER
#pragma warning(pop)
#endif
 
  WG14_SIGNALS_EXTERN bool WG14_SIGNALS_PREFIX(thrd_signal_raise)(
  int signo, WG14_SIGNALS_PREFIX(thrd_raised_signal_info_siginfo_t) * raw_info,
  WG14_SIGNALS_PREFIX(thrd_raised_signal_info_context_t) * raw_context);
 
  WG14_SIGNALS_EXTERN void *
  WG14_SIGNALS_PREFIX(threadsafe_signals_install)(const sigset_t *guarded,
                                                  int version);
  WG14_SIGNALS_EXTERN int
  WG14_SIGNALS_PREFIX(threadsafe_signals_uninstall)(void *i);
  WG14_SIGNALS_EXTERN int
  WG14_SIGNALS_PREFIX(threadsafe_signals_uninstall_system)(int version);
 
  WG14_SIGNALS_EXTERN void *WG14_SIGNALS_PREFIX(signal_decider_create)(
  const sigset_t *guarded, bool callfirst,
  WG14_SIGNALS_PREFIX(thrd_signal_decide_t) decider,
  union WG14_SIGNALS_PREFIX(thrd_raised_signal_info_value) value);
  WG14_SIGNALS_EXTERN int
  WG14_SIGNALS_PREFIX(signal_decider_destroy)(void *decider);
 
 
#ifdef __cplusplus
}
#endif
 
#endif