Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Guerraoui, Rachid (Editor), Romano, Paolo (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Lecture Notes in Computer Science, 8913
• Subjects: Computer science.; Software engineering.; Algorithms.; Computer logic.; Computer Science.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Software Engineering.

The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming, and error-pro...

Table of Contents:

• Design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations
• Programming language integration and verification tools
• Hardware supports
• Distributed TM systems
• Self-tuning mechanisms.- Lessons learnt from building complex TM-based applications.