POSIX Message Queues

[garethodickin]

Developer Contact Info:

peter.kang@boeing.com

Internal MR link

tbd

Licensing

OSS Approved for Upstream

Feature request summary

* Symbols (6): mq_open, mq_send, mq_receive, mq_timedreceive, mq_timedsend, mq_getattr
* Status: Returns ENOSYS (function not implemented)
* Effort: Requires implementing the POSIX message queue subsystem in Unikraft
* Impact: Core ARINC 653 inter-partition communication mechanism

Describe alternatives

As an alternatives, Unikraft built-in `uk_mbox` could be used which is functionally simillar to posixe message queue.

Related architectures

arm64

Related platforms

Xen and Qemu

Additional context

Since `uk_mbox` does not support priority-based blocking queue discipline or an API to query the current mailbox state (such as the number of pending messages), additional implementation on top of uk_mbox is required.