Jeffrey Hsu has committed his new spinlock implementation – the commit message has a short explanation of how it was implemented.