Are there any resources out there that explain how the SMP scheduling system works?<br><br>In the simplest case, I'm curious about how the runtime manages two schedulers running on two cores/CPUs. <br><br>Imagine we have three processes running in two schedulers such that process A and B are in Scheduler1 and process C is in Scheduler2 and each scheduler is running on a separate core. What happens if B and C send messages to A simultaneously? Is traditional synchronization of A's mailbox being done under the hood, or is cross-scheduler message passing simply not allowed?<br>
<br>Another similar case would be when A is in a receive block processing the contents of its mailbox when C sends it a new message at the same time.<br>