TARIFA, which stands for Transactions by AssembleR
Instrumentation FrAmework, aims to provide the
"atomic" keyword to C/C++ for better support of
concurrency programming. Instead of using
lock-based designs with all their problems
(deadlocks, difficult design, lack of
reusability), the "atomic" keyword provides
transparent access to an underlying Software
Transactional Memory which is responsible for all
synchronization work.
