F39-RA: Yes
Rationale
RINA models networking as IPC and hides internal addresses behind application names and flow allocation. In the pinned IRATI flow allocator, a remote destination receives a CDAP flow-create request; a destination registered at the same IPC process is passed directly to the local flow allocator under the same flow-allocation operation.
Assessment method
Architectural mechanism and primary-source review; author declarations explicitly attributed
Source context
RINA architecture and pinned IRATI flow allocator
Outstanding qualification
Architectural documentation and pinned implementation branches support the common abstraction. No runtime equivalence, zero-copy optimization or performance measurement was executed. IRATI remains the selected implementation reference.
Public sources
- https://github.com/IRATI/stack/blob/726b535c908f8a74e8c68dd493cfbb1bd8726546/rinad/src/ipcp/flow-allocator.cc
- https://csr.bu.edu/rina/about.html
- https://github.com/IRATI/stack/blob/726b535c908f8a74e8c68dd493cfbb1bd8726546/rinad/src/ipcp/flow-allocator.cc
Editorial evidence references
The following identifiers refer to research records not included in this public package; they are not public links.
- round690.html