First page Back Continue Last page Graphics
Making a non-blocking algorithm
Adding difference nodes is easy.
Two hard operations:
These can be made non-blocking
[Ananian '03]
Can also use a small Hardware Transactional Memory to implement these operations.
Notes:
...
This is somewhat of a toy transaction system so far.
Now let's see how we'd extend this to multiple objects.