types.cxxm File Reference

Signal subsystem types — the asynchronous event mechanism for DGP domains. More...

import std;
import zxfoundation.base.types;

Include dependency graph for types.cxxm:

Data Structures
struct	zxfoundation::dgp::signal::signal_entry
	A single signal queued for delivery to a domain. More...
struct	zxfoundation::dgp::signal::signal_handler_info
	Descriptor for a registered signal handler. More...
struct	zxfoundation::dgp::signal::signal_queue
	Fixed-capacity signal queue embedded in the domain struct. More...

Typedefs
using	zxfoundation::dgp::signal::signal_handler_fn
	Signal handler invoked by the nucleus at domain re-entry.

Enumerations
enum class	zxfoundation::dgp::signal::signal_default : u8 { ignore = 0 , terminate = 1 , notify = 2 }
	What the kernel should do when a signal is delivered and no handler is registered. More...
enum class	zxfoundation::dgp::signal::signal_kind : u8 {   none = 0 , timer = 1 , io = 2 , fault = 3 ,   term = 4 , user0 = 5 , user1 = 6 , ipc = 7 }
	Discriminator for the kind of asynchronous event. More...

Functions
constexpr auto	zxfoundation::dgp::signal::signal_kind_name (signal_kind k) noexcept -> const char *
	Return a human-readable label for a signal kind.

Variables
constexpr u32	zxfoundation::dgp::signal::SIGNAL_QUEUE_DEPTH = 16
	Maximum number of pending signal entries per domain.

Detailed Description

Signal subsystem types — the asynchronous event mechanism for DGP domains.

SPDX-License-Identifier: Apache-2.0

Typedef Documentation

signal_handler_fn

using zxfoundation::dgp::signal::signal_handler_fn

export

Initial value:

 auto (*)(
        signal_kind kind,
        u64         data,
        void*       user
    ) noexcept -> bool

Signal handler invoked by the nucleus at domain re-entry.

Parameters

[in]	kind	The kind of signal being delivered.
[in]	data	Opaque 64-bit payload (context-dependent).
[in]	user	User-registered context pointer (from handler_info).

Enumeration Type Documentation

signal_default

enum class zxfoundation::dgp::signal::signal_default : u8

exportstrong

What the kernel should do when a signal is delivered and no handler is registered.

Enumerator
ignore	Silently discard the signal.
terminate	Mark the domain as dying (voluntary exit).
notify	Set a flag; domain can poll it.

signal_kind

enum class zxfoundation::dgp::signal::signal_kind : u8

exportstrong

Discriminator for the kind of asynchronous event.

Enumerator
none	Placeholder / no signal.
timer	Timer expiry (deadline reached).
io	I/O completion (interrupt).
fault	Domain page fault (protection, translation).
term	Graceful termination request.
user0	User-defined signal 0.
user1	User-defined signal 1.
ipc	Cross-domain IPC notification.