I was curious how locks are implemented (especially without spinning a loop), and I found it's implemented into the architecture itself using instructions like test-and-set: https://en.wikipedia.org/wiki/Test-and-set