Skip to content

Draft: rts: Drop SM spinlock

Ben Gamari requested to merge wip/no-sm-spinlock into master

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

Merge request reports