Draft: rts: Drop SM spinlock
This is an experiment dropping the SM mutex to make the RTS's locking story easier to prove the correctness of.
This is an experiment dropping the SM mutex to make the RTS's locking story easier to prove the correctness of.