| Message queues |
| ============== |
| |
| Message queues, as described in [`queue.h`](../../include/queue.h). |
| |
| This directory provides two targets. |
| |
| - The message queue library (`message_queue_library`) provides APIs for message queues that can be shared between two threads in the same compartment. |
| - The message queue compartment (`message_queue`) wraps these in APIs that can be used from different compartments. |
| |
| The library uses the `setjmp`-based error handler (see: [`unwind.h`](../../include/unwind.h)) to recover from invalid bounds or permissions. |
| If you are using the library and want to be robust in the presence of CHERI exceptions, you should either add `unwind_error_handler` as a dependency of your compartment or provide an error handler that calls `cleanup_unwind`. |
