The spin_unlock() primitive releases the specified spinlock, allowing other threads to acquire it.
@@@ likely need to add reader-writer locking.