Overview of Ada 2022
6.3 Max_Entry_Queue_Length aspect for entries
Max_Entry_Queue_Length aspect for entries (AI12-0164-1)
defines the new aspect Max_Entry_Queue_Length
for an entry declaration (see RM D.4
This specifies the maximum number of callers allowed on that entry. This
facilitates timing analysis and should be useful for new restricted tasking
profiles besides Ravenscar.
Violation of this restriction results in the raising
of Program_Error at the point of the call
The value specified for the Max_Entry_Queue_Length
aspect for an entry must be no higher than any specified for the corresponding
type, and both must be no higher than the Max_Entry_Queue_Length
partition-wide restriction. These are checked at compilation.
© 2021, 2022 Jeff Cousins