#include "config.h"
#include <signal.h>
#include <stdbool.h>
#include <stdint.h>

Include dependency graph for thrd_signal_handle.h:

Classes
union	stdc_siginfo_value
	User defined value. More...
struct	stdc_siginfo
	A platform independent subset of siginfo_t. More...

Macros
#define	WG14_SIGNALS_SIGFENCE_GLUE(x, y)
#define	WG14_SIGNALS_SIGFENCE_RETURN_ARG_COUNT(_1_, _2_, _3_, _4_, _5_, _6_, _7_, _8_, count, ...)
#define	WG14_SIGNALS_SIGFENCE_EXPAND_ARGS(args)
#define	WG14_SIGNALS_SIGFENCE_COUNT_ARGS_MAX8(...)
#define	WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO2(name, count)
#define	WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO1(name, count)
#define	WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO(name, count)
#define	WG14_SIGNALS_SIGFENCE_CALL_OVERLOAD(name, ...)
#define	WG14_SIGNALS_SIGFENCE_BARRIER()
#define	WG14_SIGNALS_SIGFENCE_ESCAPE(a, i)
#define	WG14_SIGNALS_SIGFENCE_IMPL_0()
#define	WG14_SIGNALS_SIGFENCE_IMPL_1(a)
#define	WG14_SIGNALS_SIGFENCE_IMPL_2(a, b)
#define	WG14_SIGNALS_SIGFENCE_IMPL_3(a, b, c)
#define	WG14_SIGNALS_SIGFENCE_IMPL_4(a, b, c, d)
#define	WG14_SIGNALS_SIGFENCE_IMPL_5(a, b, c, d, e)
#define	WG14_SIGNALS_SIGFENCE_IMPL_6(a, b, c, d, e, f)
#define	WG14_SIGNALS_SIGFENCE_IMPL_7(a, b, c, d, e, f, g)
#define	WG14_SIGNALS_SIGFENCE_IMPL_8(a, b, c, d, e, f, g, h)
#define	sigfence(...)
	A compiler-only memory barrier, including for local variables in the argument list. Any variable in the argument list MUST be a lvalue.

Typedefs
typedef int	stdc_siginfo_error_code_t
	Typedef to a system specific error code type.
typedef struct __siginfo	stdc_siginfo_siginfo_t
	A placeholder type for an OS specific siginfo_t * (POSIX) or PEXCEPTION_RECORD (Windows).
typedef ucontext_t	stdc_siginfo_context_t
	A placeholder type for an OS specific ucontext_t (POSIX) or PCONTEXT (Windows).

Enumerations
enum	sig_decision_t { sig_decision_next_decider , sig_decision_resume_execution , sig_decision_call_recovery }
	The decision taken by the decider function. More...

Functions
union stdc_siginfo_value	sig_func_t (union stdc_siginfo_value)
	The type of the guarded function.
union stdc_siginfo_value	sig_recover_t (const struct stdc_siginfo *)
	The type of the function called to recover from a signal being raised in a guarded section.
enum sig_decision_t	sig_decide_t (struct stdc_siginfo *)
	The type of the function called when a signal is raised. Returns a decision of how to handle the signal.
int	sigfillset_synchronous (sigset_t *set)
	THREADSAFE ASYNC-SIGNAL-SAFE Fills the set of synchronous signals for this platform.
int	sigfillset_asynchronous_nondebug (sigset_t *set)
	THREADSAFE ASYNC-SIGNAL-SAFE Fills the set of non-debug asynchronous signals for this platform.
int	sigfillset_asynchronous_debug (sigset_t *set)
	THREADSAFE ASYNC-SIGNAL-SAFE Fille the set of debug asynchronous signals for this platform.
union stdc_siginfo_value	sigguarded (const sigset_t *signals, sig_func_t guarded, sig_recover_t recovery, sig_decide_t decider, union stdc_siginfo_value value)
	THREADSAFE USUALLY ASYNC-SIGNAL-SAFE Installs a thread-local signal guard for the calling thread, and calls the guarded function guarded.
void	sigdecider_abandon (struct stdc_siginfo *rsi)
	THREADSAFE ASYNC-SIGNAL-SAFE Lets the decider machinery know you won't be returning into it. Can be called from within sigguarded()'s decider functions or global deciders. You must NOT call this from within a recovery.
void	sigdecider_abandon_resume (struct stdc_siginfo *rsi)
	THREADSAFE ASYNC-SIGNAL-SAFE Undoes a prior call of sigdecider_abandon(). Do not call except from the same decider function previously abandoned.
bool	stdc_raise (int signo, stdc_siginfo_siginfo_t raw_info, stdc_siginfo_context_t raw_context)
	THREADSAFE USUALLY ASYNC-SIGNAL-SAFE Call OUR currently installed signal decider for a signal (POSIX), or raise a Win32 structured exception (Windows), returning false if we have no decider installed for that signal.
void *	siginstall (const sigset_t *guarded)
	THREADSAFE Installs, and potentially enables, the global signal handlers for the signals specified by guarded. Each signal installed is threadsafe reference counted, so this is safe to call from multiple threads or instantiate multiple times.
int	siguninstall (void *i)
	THREADSAFE Uninstall a previously installed signal guard.
int	siguninstall_system (int version)
	THREADSAFE Uninstall a previously system installed signal guard.
void *	signal_decider_create (const sigset_t *guarded, bool callfirst, sig_decide_t decider, union stdc_siginfo_value value)
	THREADSAFE NOT REENTRANT Create a global signal continuation decider. Threadsafe with respect to other calls of this function, but not reentrant i.e. modifying the global signal continuation decider registry whilst inside a global signal continuation decider is racy, and in any case definitely not async signal handler safe. Called after all thread local handling is exhausted. Note that what you can safely do in the decider function is extremely limited, only async signal safe functions may be called.
int	signal_decider_destroy (void *decider)
	THREADSAFE NOT REENTRANT Destroy a global signal continuation decider. Threadsafe with respect to other calls of this function, but not reentrant i.e. do not call whilst inside a global signal continuation decider. Passing a handle that has already been destroyed is undefined behaviour: this reference implementation deliberately does not guard against it (plans/analysis.md DEDE).

Macro Definition Documentation

◆ sigfence

#define sigfence ( ... )

Value:

WG14_SIGNALS_SIGFENCE_CALL_OVERLOAD(WG14_SIGNALS_SIGFENCE_IMPL_, __VA_ARGS__)

WG14_SIGNALS_SIGFENCE_CALL_OVERLOAD

#define WG14_SIGNALS_SIGFENCE_CALL_OVERLOAD(name,...)

Definition thrd_signal_handle.h:153

A compiler-only memory barrier, including for local variables in the argument list. Any variable in the argument list MUST be a lvalue.

Definition at line 329 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_BARRIER

#define WG14_SIGNALS_SIGFENCE_BARRIER ( )

Value:

((void) (WG14_SIGNALS_PREFIX(sigfence_sink)[8] = \

WG14_SIGNALS_PREFIX(sigfence_sink)[8]))

Definition at line 232 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_CALL_OVERLOAD

#define WG14_SIGNALS_SIGFENCE_CALL_OVERLOAD	(		name,
			... )

Value:

WG14_SIGNALS_SIGFENCE_GLUE(                                                  \
WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO(                                        \
name, WG14_SIGNALS_SIGFENCE_COUNT_ARGS_MAX8(__VA_ARGS__)),                   \
(__VA_ARGS__))

Definition at line 153 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_COUNT_ARGS_MAX8

#define WG14_SIGNALS_SIGFENCE_COUNT_ARGS_MAX8 ( ... )

Value:

WG14_SIGNALS_SIGFENCE_EXPAND_ARGS((__VA_ARGS__, 8, 7, 6, 5, 4, 3, 2, 1, 0))

WG14_SIGNALS_SIGFENCE_EXPAND_ARGS

#define WG14_SIGNALS_SIGFENCE_EXPAND_ARGS(args)

Definition thrd_signal_handle.h:115

Definition at line 145 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_ESCAPE

#define WG14_SIGNALS_SIGFENCE_ESCAPE	(		a,
			i )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_PREFIX(sigfence_sink)[(i)] = (void *) &(a);                   \
  (void) *(volatile unsigned char *) &(a);                                   \
} while(0)

Definition at line 235 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_EXPAND_ARGS

#define WG14_SIGNALS_SIGFENCE_EXPAND_ARGS ( args )

Value:

WG14_SIGNALS_SIGFENCE_RETURN_ARG_COUNT args

WG14_SIGNALS_SIGFENCE_RETURN_ARG_COUNT

#define WG14_SIGNALS_SIGFENCE_RETURN_ARG_COUNT(_1_, _2_, _3_, _4_, _5_, _6_, _7_, _8_, count,...)

Definition thrd_signal_handle.h:112

Definition at line 115 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_GLUE

#define WG14_SIGNALS_SIGFENCE_GLUE	(		x,
			y )

Value:

x y

Definition at line 111 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_0

#define WG14_SIGNALS_SIGFENCE_IMPL_0 ( )

Value:

WG14_SIGNALS_SIGFENCE_BARRIER()

WG14_SIGNALS_SIGFENCE_BARRIER

#define WG14_SIGNALS_SIGFENCE_BARRIER()

Definition thrd_signal_handle.h:232

Definition at line 241 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_1

#define WG14_SIGNALS_SIGFENCE_IMPL_1 ( a )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
  WG14_SIGNALS_SIGFENCE_ESCAPE(a, 0);                                        \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
} while(0)

Definition at line 242 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_2

#define WG14_SIGNALS_SIGFENCE_IMPL_2	(		a,
			b )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
  WG14_SIGNALS_SIGFENCE_ESCAPE(a, 0);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(b, 1);                                        \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
} while(0)

Definition at line 249 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_3

#define WG14_SIGNALS_SIGFENCE_IMPL_3	(	a,
		b,
		c )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
  WG14_SIGNALS_SIGFENCE_ESCAPE(a, 0);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(b, 1);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(c, 2);                                        \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
} while(0)

Definition at line 257 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_4

#define WG14_SIGNALS_SIGFENCE_IMPL_4	(	a,
		b,
		c,
		d )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
  WG14_SIGNALS_SIGFENCE_ESCAPE(a, 0);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(b, 1);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(c, 2);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(d, 3);                                        \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
} while(0)

Definition at line 266 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_5

#define WG14_SIGNALS_SIGFENCE_IMPL_5	(	a,
		b,
		c,
		d,
		e )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
  WG14_SIGNALS_SIGFENCE_ESCAPE(a, 0);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(b, 1);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(c, 2);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(d, 3);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(e, 4);                                        \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
} while(0)

Definition at line 276 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_6

#define WG14_SIGNALS_SIGFENCE_IMPL_6	(	a,
		b,
		c,
		d,
		e,
		f )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
  WG14_SIGNALS_SIGFENCE_ESCAPE(a, 0);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(b, 1);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(c, 2);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(d, 3);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(e, 4);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(f, 5);                                        \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
} while(0)

Definition at line 287 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_7

#define WG14_SIGNALS_SIGFENCE_IMPL_7	(	a,
		b,
		c,
		d,
		e,
		f,
		g )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
  WG14_SIGNALS_SIGFENCE_ESCAPE(a, 0);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(b, 1);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(c, 2);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(d, 3);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(e, 4);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(f, 5);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(g, 6);                                        \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
} while(0)

Definition at line 299 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_IMPL_8

#define WG14_SIGNALS_SIGFENCE_IMPL_8	(	a,
		b,
		c,
		d,
		e,
		f,
		g,
		h )

Value:

do                                                                           \
{                                                                            \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
  WG14_SIGNALS_SIGFENCE_ESCAPE(a, 0);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(b, 1);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(c, 2);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(d, 3);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(e, 4);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(f, 5);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(g, 6);                                        \
  WG14_SIGNALS_SIGFENCE_ESCAPE(h, 7);                                        \
  WG14_SIGNALS_SIGFENCE_BARRIER();                                           \
} while(0)

Definition at line 312 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO

#define WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO	(		name,
			count )

Value:

WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO1(name, count)

WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO1

#define WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO1(name, count)

Definition thrd_signal_handle.h:149

Definition at line 151 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO1

#define WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO1	(		name,
			count )

Value:

WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO2(name, count)

WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO2

#define WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO2(name, count)

Definition thrd_signal_handle.h:148

Definition at line 149 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO2

#define WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO2	(		name,
			count )

Value:

name##count

Definition at line 148 of file thrd_signal_handle.h.

◆ WG14_SIGNALS_SIGFENCE_RETURN_ARG_COUNT

#define WG14_SIGNALS_SIGFENCE_RETURN_ARG_COUNT	(	_1_,
		_2_,
		_3_,
		_4_,
		_5_,
		_6_,
		_7_,
		_8_,
		count,
		... )

Value:

count

Definition at line 112 of file thrd_signal_handle.h.

Typedef Documentation

◆ stdc_siginfo_context_t

typedef ucontext_t stdc_siginfo_context_t

A placeholder type for an OS specific ucontext_t (POSIX) or PCONTEXT (Windows).

Definition at line 394 of file thrd_signal_handle.h.

◆ stdc_siginfo_error_code_t

typedef int stdc_siginfo_error_code_t

Typedef to a system specific error code type.

Definition at line 368 of file thrd_signal_handle.h.

◆ stdc_siginfo_siginfo_t

typedef struct __siginfo stdc_siginfo_siginfo_t

A placeholder type for an OS specific siginfo_t * (POSIX) or PEXCEPTION_RECORD (Windows).

Definition at line 386 of file thrd_signal_handle.h.

Enumeration Type Documentation

◆ sig_decision_t

enum sig_decision_t

The decision taken by the decider function.

Enumerator
sig_decision_next_decider	We have decided to do nothing.
sig_decision_resume_execution	We have fixed the cause of the signal, please resume execution.
sig_decision_call_recovery	Thread local signal deciders only: reset the stack and local state to entry to sigguarded(), and call the recovery function.

Definition at line 448 of file thrd_signal_handle.h.

Function Documentation

◆ sig_decide_t()

enum sig_decision_t sig_decide_t ( struct stdc_siginfo * )

The type of the function called when a signal is raised. Returns a decision of how to handle the signal.

◆ sig_func_t()

union stdc_siginfo_value sig_func_t ( union stdc_siginfo_value )

The type of the guarded function.

◆ sig_recover_t()

union stdc_siginfo_value sig_recover_t ( const struct stdc_siginfo * )

The type of the function called to recover from a signal being raised in a guarded section.

◆ sigdecider_abandon()

void sigdecider_abandon ( struct stdc_siginfo * rsi )

extern

THREADSAFE ASYNC-SIGNAL-SAFE Lets the decider machinery know you won't be returning into it. Can be called from within sigguarded()'s decider functions or global deciders. You must NOT call this from within a recovery.

If called within a local decider, it MUST be the topmost sigguarded() for the current thread, and it will effectively abandon the current sigguarded().

Parameters

rsi	The siginfo passed to the decider function.

◆ sigdecider_abandon_resume()

void sigdecider_abandon_resume ( struct stdc_siginfo * rsi )

extern

THREADSAFE ASYNC-SIGNAL-SAFE Undoes a prior call of sigdecider_abandon(). Do not call except from the same decider function previously abandoned.

Parameters

rsi	The siginfo passed to the decider function.

◆ sigfillset_asynchronous_debug()

int sigfillset_asynchronous_debug ( sigset_t * set )

extern

THREADSAFE ASYNC-SIGNAL-SAFE Fille the set of debug asynchronous signals for this platform.

Debug asynchronous signals are those which are delivered by the system to notify the process about some event which defaults to resulting in a core dump. This set can include platform-specific additions, however at least these POSIX signals are within this set:

SIGQUIT SIGTRAP SIGXCPU SIGXFSZ

◆ sigfillset_asynchronous_nondebug()

int sigfillset_asynchronous_nondebug ( sigset_t * set )

extern

THREADSAFE ASYNC-SIGNAL-SAFE Fills the set of non-debug asynchronous signals for this platform.

Non-debug asynchronous signals are those which are delivered by the system to notify the process about some event which does not default to resulting in a core dump. This set can include platform-specific additions, however at least these POSIX signals are within this set:

SIGALRM SIGCHLD SIGCONT SIGHUP SIGINT SIGKILL SIGSTOP SIGTERM SIGTSTP SIGTTIN SIGTTOU SIGUSR1 SIGUSR2 SIGPOLL SIGPROF SIGURG SIGVTALRM

◆ sigfillset_synchronous()

int sigfillset_synchronous ( sigset_t * set )

extern

THREADSAFE ASYNC-SIGNAL-SAFE Fills the set of synchronous signals for this platform.

Synchronous signals are those which can be raised by a thread in the course of its execution. This set can include platform-specific additions, however at least these POSIX signals are within this set:

SIGABRT SIGBUS SIGFPE SIGILL SIGPIPE SIGSEGV SIGSYS

◆ sigguarded()

union stdc_siginfo_value sigguarded	(	const sigset_t *	signals,
		sig_func_t	guarded,
		sig_recover_t	recovery,
		sig_decide_t	decider,
		union stdc_siginfo_value	value )

extern

THREADSAFE USUALLY ASYNC-SIGNAL-SAFE Installs a thread-local signal guard for the calling thread, and calls the guarded function guarded.

Returns: The value returned by guarded, or recovery.

Parameters

signals	The set of signals to guard against.
guarded	A function whose execution is to be guarded against signal raises.
recovery	A function to be called if a signal is raised.
decider	A function to be called to decide whether to recover from the signal and continue the execution of the guarded routine, or to abort and call the recovery routine.
value	A value to supply to the guarded routine.

By "usually async signal safe" we mean that if any function from this library has been called from the called from the calling thread, this is async signal safe. If you need to set up this library for a calling thread without doing anything else, calling stdc_raise(0, nullptr, nullptr), this will ensure the calling thread's thread local state is set up and return immediately doing nothing else.

If you will never return from decider, you must call sigdecider_abandon() to let the runtime clean up its state. If after abandonment you realise that you actually shall return, you can call sigdecider_abandon_resume() to undo the abandonment.

◆ siginstall()

void * siginstall ( const sigset_t * guarded )

extern

THREADSAFE Installs, and potentially enables, the global signal handlers for the signals specified by guarded. Each signal installed is threadsafe reference counted, so this is safe to call from multiple threads or instantiate multiple times.

If guarded is null, all the standard POSIX signals are used.

POSIX only

Any existing global signal handlers are replaced with a filtering signal handler, which checks if the current kernel thread has installed a signal guard, and if so executes the guard. If no signal guard has been installed for the current kernel thread, global signal continuation handlers are executed. If none claims the signal, the previously installed signal handler is called.

After the new signal handlers have been installed, the guarded signals are globally enabled for all threads of execution. Be aware that the handlers are installed with SA_NODEFER to avoid the need to perform an expensive syscall when a signal is handled. However this may also produce surprise e.g. infinite loops.

Warning: This class is threadsafe with respect to other concurrent executions of itself, but is NOT threadsafe with respect to other code modifying the global signal handlers.

◆ signal_decider_create()

void * signal_decider_create	(	const sigset_t *	guarded,
		bool	callfirst,
		sig_decide_t	decider,
		union stdc_siginfo_value	value )

extern

THREADSAFE NOT REENTRANT Create a global signal continuation decider. Threadsafe with respect to other calls of this function, but not reentrant i.e. modifying the global signal continuation decider registry whilst inside a global signal continuation decider is racy, and in any case definitely not async signal handler safe. Called after all thread local handling is exhausted. Note that what you can safely do in the decider function is extremely limited, only async signal safe functions may be called.

Returns: An opaque pointer to the registered decider. NULL if malloc failed.

Parameters

guarded	The set of signals to be guarded against.
callfirst	True if this decider should be called before any other. Otherwise call order is in the order of addition.
decider	A decider function, which must return true if execution is to resume, false if the next decider function should be called.
value	A user supplied value to set in the raised_signal_info passed to the decider callback.

◆ signal_decider_destroy()

int signal_decider_destroy ( void * decider )

extern

THREADSAFE NOT REENTRANT Destroy a global signal continuation decider. Threadsafe with respect to other calls of this function, but not reentrant i.e. do not call whilst inside a global signal continuation decider. Passing a handle that has already been destroyed is undefined behaviour: this reference implementation deliberately does not guard against it (plans/analysis.md DEDE).

Returns: True if recognised and thus removed.

◆ siguninstall()

int siguninstall ( void * i )

extern

THREADSAFE Uninstall a previously installed signal guard.

◆ siguninstall_system()

int siguninstall_system ( int version )

extern

THREADSAFE Uninstall a previously system installed signal guard.

◆ stdc_raise()

bool stdc_raise	(	int	signo,
		stdc_siginfo_siginfo_t *	raw_info,
		stdc_siginfo_context_t *	raw_context )

extern

THREADSAFE USUALLY ASYNC-SIGNAL-SAFE Call OUR currently installed signal decider for a signal (POSIX), or raise a Win32 structured exception (Windows), returning false if we have no decider installed for that signal.

Note that on POSIX, we fetch OUR currently installed signal decider and call it directly. This allows us to supply custom raw_info and raw_context. Each decider in our chain will be invoked in turn until we reach whatever the signal handler was when this library was first initialised, and we hand off to that handler. If that handler was defaulted and the default handling is not to ignore, we reset the handler installation and execute pthread_kill(pthread_self(), signo) in order to invoke the default handling.

It is important to note that this call does not raise signals itself except in that final handling step as just described. Therefore, if your code overwrites the signal handlers installed by this library with a custom handler, and you wish to pass on signal handling to this library, this is the right API to call to do that.

On Windows, Win32 structured exceptions are capable of being used directly and so we do on that platform always call RaiseException().

By "usually async signal safe" we mean that if any function from this library has been called from the called from the calling thread, this is async signal safe. If you need to set up this library for a calling thread without doing anything else, specify zero for signo, this will ensure the calling thread's thread local state is set up and return immediately doing nothing else. The call returns false both when no decider claims the signal and when the per-thread setup fails; on setup failure errno is set (e.g. ENOMEM) so a caller of the setup form (signo == 0) can detect that setup actually failed (plans/analysis.md 3.7).

Classes

Macros

Typedefs

Enumerations

Functions

Macro Definition Documentation

◆ sigfence

◆ WG14_SIGNALS_SIGFENCE_BARRIER

◆ WG14_SIGNALS_SIGFENCE_CALL_OVERLOAD

◆ WG14_SIGNALS_SIGFENCE_COUNT_ARGS_MAX8

◆ WG14_SIGNALS_SIGFENCE_ESCAPE

◆ WG14_SIGNALS_SIGFENCE_EXPAND_ARGS

◆ WG14_SIGNALS_SIGFENCE_GLUE

◆ WG14_SIGNALS_SIGFENCE_IMPL_0

◆ WG14_SIGNALS_SIGFENCE_IMPL_1

◆ WG14_SIGNALS_SIGFENCE_IMPL_2

◆ WG14_SIGNALS_SIGFENCE_IMPL_3

◆ WG14_SIGNALS_SIGFENCE_IMPL_4

◆ WG14_SIGNALS_SIGFENCE_IMPL_5

◆ WG14_SIGNALS_SIGFENCE_IMPL_6

◆ WG14_SIGNALS_SIGFENCE_IMPL_7

◆ WG14_SIGNALS_SIGFENCE_IMPL_8

◆ WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO

◆ WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO1

◆ WG14_SIGNALS_SIGFENCE_OVERLOAD_MACRO2

◆ WG14_SIGNALS_SIGFENCE_RETURN_ARG_COUNT

Typedef Documentation

◆ stdc_siginfo_context_t

◆ stdc_siginfo_error_code_t

◆ stdc_siginfo_siginfo_t

Enumeration Type Documentation

◆ sig_decision_t

Function Documentation

◆ sig_decide_t()

◆ sig_func_t()

◆ sig_recover_t()

◆ sigdecider_abandon()

◆ sigdecider_abandon_resume()

◆ sigfillset_asynchronous_debug()

◆ sigfillset_asynchronous_nondebug()

◆ sigfillset_synchronous()

◆ sigguarded()

◆ siginstall()

POSIX only

◆ signal_decider_create()

◆ signal_decider_destroy()

◆ siguninstall()

◆ siguninstall_system()

◆ stdc_raise()