So I was wondering what is the definition of transaction and what is the semantic difference between atomic and lock/unlock.