Message Queuing

If multiple messages are sent to the same receiver, they are queued at their destination, linked by the message originators’ priorities and by the order in which the messages arrive. The receiver will receive a message from a high priority task before a low priority one.