Mach 1 セットのゼロまたはそれ以上のマッハ ポートでスレッドは、msg_receive() をパラメーターとして設定されたポートを指定して設定ポートに含まれるポートのいずれかに送信されたメッセージを受け取ることができます。