The most widely used language-level transactional memory is the STM monad of Haskell, supported by the Glasgow Haskell compiler and runtime system. Read up on its syntax and implementation [HMPH05]....

The most widely used language-level transactional memory is the STM monad of Haskell, supported by the Glasgow Haskell compiler and runtime system. Read up on its syntax and implementation [HMPH05]. Pay particular attention to the retry and orElse mechanisms. Discuss their similarities to—and advantages over—conditional critical regions.