Transactional boosting uses semantical information about data structures to improve performance of STM (Software Transactional Memory). For example, it takes advantage of commutativity of two operations that insert different elements to the same set to allow them to serialize in any order. The goal of this project is to add support for Transactional boosting to SwissTM and use it with a few data structures to improve SwissTM performance on several benchmarks and two different multicore machines.
Responsible: Aleksandar Dragojevic
Project intended for 1 student