While this was definitely a side note, I found it extremely interesting that atomic types are not implemented using locks! I've definitely been using the atomic data type assuming otherwise and it's interesting to see that the low level ideas we've been going through as a part of implementing fine grained locks is actually represented in common structures we could use in application programming.

^ I think they're not implemented by locks because locks are "software concepts" and require much more overhead.