memory#
Memory Library
|
status: draft
security: YES
safety: ASIL_B
|
||||
Abstract#
The Memory library provides APIs for memory management to facilitate inter-process communication (IPC) in the S-CORE software platform.
Motivation and Rationale#
The Memory library shall provide mechanisms for creating, accessing, and managing shared memory between different processes. It includes support for polymorphic memory resource allocators using offset pointers and additional utilities to deal with memory use-cases.
The Memory library is needed in the S-CORE software platform because subsystems like Communication and Logging rely on shared memory for inter-process communication.
Specification#
The following details and requirements describe the aspects of the current feature in the context of S-CORE.
General considerations#
The Memory Library should provide APIs for memory management:
Polymorphic OffsetPtr Alloc... (comp_req__memory__offset_ptr)
Shared Memory Containers (comp_req__memory__shared_containers)
Memory Region Bounds Checking (comp_req__memory__bounds_check)
Memory Resource Registry (comp_req__memory__resource_registry)
Atomic Operations in Shared... (comp_req__memory__atomic_ops)
The library should ensure that all memory operations are performed safely, with appropriate bounds checking and synchronization mechanisms to prevent memory corruption.