Expand description
RTFM application analysis
Structs§
- Analysis
- The result of analyzing an RTFM application
- Channel
- A channel between cores used to send messages
- Timer
Queue - The timer queue
Enums§
Type Aliases§
- Ceiling
- Priority ceiling
- Channels
- All cross-core channels, keyed by receiver core, then by dispatch priority and then by sender core
- Free
Queues - All free queues, keyed by task and then by sender
- Initialization
Barriers - Cross-core initialization barriers
- Late
Resources - Late resources, keyed by the core that initializes them
- Locations
- Location of all used resources
- Ownerships
- Resource ownership
- Priority
- Task priority
- Receiver
- Receiver core
- Resource
- Resource name
- Send
Types - These types must implement the
Sendtrait - Sender
- Sender core
- Spawn
Barriers - Cross-core spawn barriers
- Sync
Types - These types must implement the
Synctrait - Task
- Task name
- Timer
Queues - Timer queues, keyed by core