Democratizing Transactional Programming

The Transaction abstraction is arguably one of the most appealing middleware paradigms. It lies typically between the programmer of a concurrent or distributed application on the one hand, and the operating system with the underlying network on the other hand. It encapsulates the complex internals of failure recovery and concurrency control, significantly simplifying thereby the life of a non-expert programmer. Yet, some programmers are indeed experts and, for those, the transaction abstraction turns out to be inherently restrictive in its classical form. We argue for a genuine democratization of the abstraction, with different transactional semantics to be used by different programmers and composed within the same application