这只是一个假设情景来说明我的问题.假设它们之间共享两个线程和一个TVar.在一个线程中有一个原子块来读取TVar并需要10秒才能完成.在另一个线程中是一个原子块,每秒修改一次TVar.第一个原子块是否会完成？当然它会一直回到开头,因为日志永远处于不一致的状态？
monads concurrency haskell transactional-memory
concurrency ×1
haskell ×1
monads ×1
transactional-memory ×1