That&#x27;s not how TM is supposed to work; it should not be possible for one atomic block to observe an uncommitted write of another atomic block. It must act as if each atomic block acquires a single global lock, executes, and then releases the lock so that other atomic blocks may execute. The challenge is to emulate this without actually using a single global lock.