Module arena_model 

Issue 1190 – the arena derivation’s MODEL, as the consts it summed.

Emitted rather than retyped: executor::arena asserts that each term is an UPPER BOUND on the entry types it stands for, and it can only do that against the numbers the derivation actually used. The previous arrangement had the_default_derivation_is_unchanged retyping six of them, which is a second copy that agrees until one side moves.

Constants

ACTION_CLIENT_ENTRY

Whole modelled cost of one DECLARED action client (issue 0810: its own term, no longer the worst case).

ACTION_FEEDBACK_DEPTH

QoS depth an action client’s feedback stream registers with.

ACTION_SERVER_ENTRY

Whole modelled cost of one declared action server.

BASE_OVERHEAD

Per-executor overhead the derivation adds once.

BUDGETED_QOS_DEPTH

The depth this image’s arena was actually BUDGETED for — the resolved NROS_PUBSUB_QOS_DEPTH, which defaults to QOS_DEPTH when nothing states one.

CALLBACK_ALLOWANCE

Allowance for one user callback closure in a typed entry.

FLOOR

Smallest arena the derivation will produce.

GUARD_CONDITION_ENTRY

Whole modelled cost of one declared guard condition.

PUBSUB_ENTRY

Whole modelled cost of one subscription slot.

PUBSUB_REGION

Buffered receive region for ONE subscription at that depth.

PUBSUB_SLOT_BYTES

issue 1319 – the per-slot receive size the pub/sub term was priced at.

PUBSUB_STRUCT

Allowance for the entry STRUCT beside that region.

QOS_DEPTH

QoS history depth the pub/sub term budgets (QoSProfile::QOS_PROFILE_DEFAULT.depth).

REQUIRED

phase-412 #4 – what the entities this image DECLARES are modelled to need, before the floor. 0 when it declared nothing, so the derivation budgeted a worst case and there is no requirement to hold an arena to. Read by executor::arena_oracle.

RMW_HANDLE_BOUND

Bound every RMW handle the linked backend defines must fit.

SERVICE_CLIENT_ENTRY

Whole modelled cost of one declared service client.

SERVICE_ENTRY

Whole modelled cost of one service-server slot.

TIMER_ENTRY

Whole modelled cost of one timer slot.

WORST_SLOT_ENTRY

Issue 0810 – the per-slot BUDGET of an UNDECLARED image (NROS_EXECUTOR_ACTION_CLIENTS slots are priced at it). Held above every per-kind term by a test.