Xinu offers two kinds of message passing primitives: one `low-level', and the other `high-level'. We now discuss the first kind. A discussion of the implementation of the second kind requires discussion of some of the memory management issues.
We first discuss the semantics of the low-level message
passing and then its implementation.