Assertion: kernel | /r/CapableOf | maintain queue
Facets:
value: for messages
type: PURPOSE
Source sentences:
text: Asynchronous IPC requires that the kernel maintains buffers and queues for messages, and deals with buffer overflows; it also requires double copying of messages (sender to kernel and kernel to receiver).