Book Volume 8913 2015

Transactional Memory. Foundations, Algorithms, Tools, and Applications

COST Action Euro-TM IC1001

Editors:

ISBN: 978-3-319-14719-2 (Print) 978-3-319-14720-8 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages -

  2. Theoretical Foundations

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-31

      Consistency for Transactional Memory Computing

    3. No Access

      Chapter

      Pages 32-49

      Liveness in Transactional Memory

    4. No Access

      Chapter

      Pages 50-71

      Safety and Deferred Update in Transactional Memory

    5. No Access

      Chapter

      Pages 72-97

      Disjoint-Access Parallelism in Software Transactional Memory

  3. Algorithms

    1. Front Matter

      Pages 99-99

    2. No Access

      Chapter

      Pages 101-126

      Algorithmic Techniques in STM Design

    3. No Access

      Chapter

      Pages 127-149

      Conflict Detection in Hardware Transactional Memory

    4. No Access

      Chapter

      Pages 150-165

      Multi-versioning in Transactional Memory

    5. No Access

      Chapter

      Pages 166-191

      Framework Support for the Efficient Implementation of Multi-version Algorithms

    6. No Access

      Chapter

      Pages 192-209

      Nested Parallelism in Transactional Memory

  4. Contention Management and Scheduling

    1. Front Matter

      Pages 211-211

    2. No Access

      Chapter

      Pages 213-227

      Scheduling-Based Contention Management Techniques for Transactional Memory

    3. No Access

      Chapter

      Pages 228-241

      Proactive Contention Avoidance

  5. Transactional Memory and Reliability

    1. Front Matter

      Pages 243-243

    2. No Access

      Chapter

      Pages 245-267

      Safe Exception Handling with Transactional Memory

    3. No Access

      Chapter

      Pages 268-282

      Transactional Memory for Reliability

    4. No Access

      Chapter

      Pages 283-306

      Verification Tools for Transactional Programs

  6. Distributed Transactional Memory

    1. Front Matter

      Pages 307-307

    2. No Access

      Chapter

      Pages 309-340

      Introduction to Transactional Replication

    3. No Access

      Chapter

      Pages 341-366

      Transaction Execution Models in Partially Replicated Transactional Memory: The Case for Data-Flow and Control-Flow

    4. No Access

      Chapter

      Pages 367-391

      Directory Protocols for Distributed Transactional Memory

  7. Applications and Self-tuning

    1. Front Matter

      Pages 393-393

    2. No Access

      Chapter

      Pages 395-417

      Tuning the Level of Concurrency in Software Transactional Memory: An Overview of Recent Analytical, Machine Learning and Mixed Approaches

    3. No Access

      Chapter

      Pages 418-448

      Self-tuning in Distributed Transactional Memory

    4. No Access

      Chapter

      Pages 449-467

      Case Study: Using Transactions in Memcached

  8. Back Matter

    Pages -