Control.Concurrent.Speculation

Speculative application

spec

spec'

specBy

specBy'

specOn

specOn'

Speculative application with transactional rollback

specSTM

specSTM'

specOnSTM

specOnSTM'

specBySTM

specBySTM'