The Message_Queue_Header of a channel, given its Header: a pointer into the shared region, valid until the channel is released.
Handy for asking how much is waiting (write_cursor - read_cursor).
get_message_queue_header :: (header: *Header) -> *Message_Queue_HeaderThe Message_Queue_Header of a channel, given its Header: a pointer into the shared region, valid until the channel is released.
Handy for asking how much is waiting (write_cursor - read_cursor).
Parameters
- header: *Header