Add some tentative spinlock details

This is some movement towards getting #11 in place but it changes
none of the semantics.