Atomos is the first programming language with implicit transactions, strong atomicity, and a scalable multiprocessor implementation. …