TLDS provides a framework for developing transactional containers from lock-free ones. Lock-free algorithms guarantee that the system makes progress in a finite number of steps, regardless of the system scheduler or actions of other threads. TLDS includes two examples of transactional data structures, a lock-free linked list and a lock-free skip list. We are currently working on supporting transactional data structures for non-linked containers and also transactions that are executed on multiple containers.
TLDS can be used to take advantage of the plethora of lock-free codes that have been hand-crafted for performance, but are incompatible with transactional execution. The result is an efficient lock-free data structure that can execute multiple data structure operations in a single atomic step without sacrificing correctness, while minimizing negative performance impacts.
If your data structure stopped executing at an arbitrary point and never resumed, what's the worst that would happen?
Yes, two transactional data structures are included, a lock-free linked list and a lock-free skip list.
TLDS has been tested on Ubuntu 14.04LTS with gcc-4.8.4. There are no known compatibility issues.
It has been tested, but not exhaustively.
Please see our contribution guidelines.
You can send messages directly to firstname.lastname@example.org.
Please use the issue tracker on GitHub at https://github.com/ucf-cs/tlds/issues.