Brief Announcement: Giving Future(s) to Transactional Memory

This paper extends the Transactional Memory (TM) paradigm by proposing a new powerful abstraction, the transactional future. Transactional futures, as the name suggests, combine TM with futures, by allowing programmers to exploit intra-transaction parallelism via the abstraction of futures, while delegating to TM the complexity of regulating concurrent access to shared data. The main contribution of this paper is the definition of a set of semantics for transactional futures that explore different trade-offs between simplicity and efficiency.