Rust doesn't require all communication to be done by message passing. One of the big reasons it's effective in Servo is that it can prove that multiple threads

Rust doesn't require all communication to be done by message passing. One of the big reasons it's effective in Servo is that it can prove that multiple threads working on a shared, mutable data structure are operating in a safe manner.