zerodds-corba-rt 1.0.0-rc.3.1

OMG Real-Time CORBA 1.0 — Priority/PriorityModel, PriorityMapping, thread pools with lanes, PriorityBandedConnections, RTCORBA::Current (no_std + alloc).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

// SPDX-License-Identifier: Apache-2.0
// Copyright 2026 ZeroDDS Contributors

//! Crate `zerodds-corba-rt`. Safety classification: **STANDARD**.
//!
//! OMG **Real-Time CORBA** 1.0 (`formal/2005-01-04`) — pure-Rust `no_std + alloc`,
//! `forbid(unsafe_code)`. Brings deterministic real-time behavior to the CORBA
//! model: end-to-end priority propagation, priority-aware thread pools
//! and priority-banded connections.
//!
//! Implements:
//! - **`Priority`** + **`PriorityMapping`** (§5.3/§5.4) — CORBA priority
//!   (-32768..32767) ↔ native OS priority ([`priority`]).
//! - **`PriorityModel`** (§5.4.1) — `SERVER_DECLARED` vs `CLIENT_PROPAGATED` +
//!   `PriorityModelPolicy`; **Threadpool**/**Lane** (§5.7) + **PriorityBand**
//!   (§5.8) with priority-based selection ([`policy`]).
//! - **`RTCorbaPriority` ServiceContext** (id 10, §5.4.2) — propagation of the
//!   client priority over GIOP ([`propagation`]).
//! - **`RtCurrent`** (§5.5) — read/write access to the CORBA priority of the
//!   current context ([`current`]).
//! - **`RtMutex`** + **`PriorityInheritance`** (§5.6) — a blocking mutex
//!   with a priority-inheritance protocol against priority inversion ([`mutex`]).
//! - **`ThreadpoolRuntime`** (§5.7) — the runnable lanes-on-OS-threads
//!   realization with an injectable native priority hook ([`threadpool`]).
//! - **`TaskSet`** (scheduling profile) — static schedulability analysis
//!   (Liu & Layland bound + exact response-time analysis) ([`scheduling`]).
//!
//! Spec: OMG Real-Time CORBA 1.0. Complementary to the DDS real-time QoS side
//! (Deadline/Latency-Budget/Transport-Priority) for legacy CORBA code.

#![no_std]
#![forbid(unsafe_code)]
#![cfg_attr(docsrs, feature(doc_cfg))]
#![warn(missing_docs)]

extern crate alloc;

#[cfg(feature = "std")]
extern crate std;

pub mod current;
pub mod mutex;
pub mod policy;
pub mod priority;
pub mod propagation;
pub mod scheduling;
pub mod threadpool;

pub use current::RtCurrent;
pub use mutex::PriorityInheritance;
pub use policy::{
    Lane, PriorityBand, PriorityBandedConnectionPolicy, PriorityModel, PriorityModelPolicy,
    Threadpool, ThreadpoolPolicy,
};
pub use priority::{LinearPriorityMapping, Priority, PriorityMapping};
pub use propagation::{RT_CORBA_PRIORITY_SC_ID, decode_priority_context, encode_priority_context};
pub use scheduling::{Task, TaskSet};

#[cfg(feature = "std")]
pub use mutex::{RtMutex, RtMutexGuard};
#[cfg(feature = "std")]
pub use threadpool::{DispatchError, NativePrioritySetter, ThreadpoolRuntime};