Theadventofmulticoreprocessorshasrenewedinterestintheideaofincorporatingtransactionsintotheprogrammingmodelusedtowriteparallelprograms.Thisapproach,knownastransactionalmemory,offersanalternative,andhopefullybetter,waytocoordinateconcurrentthreads.TheACI(atomicity,consistency,isolation)prop