Doesn’t TL2 introduce a race condition when a context switch occurs between successful readset validation and atomic updates?
In this paper researches introduce the TL2 algorithm for Software Transactional Memory.
They describe the commit phase to be as following:
- Execute transactio
- 消灭零回复
- 热议问题