https://123dok.net/document/z1d4p1ne-automatic-data-partitioning-in-software-transactional-memories.html