Transactional Memory. Foundations, Algorithms, Tools, and Applications

COST Action Euro-TM IC1001

  • Rachid Guerraoui
  • Paolo Romano

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8913)

Table of contents

  1. Front Matter
  2. Theoretical Foundations

    1. Front Matter
      Pages 1-1
    2. Dmytro Dziuma, Panagiota Fatourou, Eleni Kanellou
      Pages 3-31
    3. Victor Bushkov, Rachid Guerraoui
      Pages 32-49
    4. Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi
      Pages 50-71
    5. Hagit Attiya, Panagiota Fatourou
      Pages 72-97
  3. Algorithms

    1. Front Matter
      Pages 99-99
    2. Panagiota Fatourou, Mykhailo Iaremko, Eleni Kanellou, Eleftherios Kosmas
      Pages 101-126
    3. Ricardo Quislant, Eladio Gutierrez, Emilio L. Zapata, Oscar Plata
      Pages 127-149
    4. Idit Keidar, Dmitri Perelman
      Pages 150-165
    5. Ricardo J. Dias, Tiago M. Vale, João M. Lourenço
      Pages 166-191
    6. Ricardo Filipe, João Barreto
      Pages 192-209
  4. Contention Management and Scheduling

    1. Front Matter
      Pages 211-211
    2. Hillel Avni, Shlomi Dolev, Eleftherios Kosmas
      Pages 228-241
  5. Transactional Memory and Reliability

    1. Front Matter
      Pages 243-243
    2. Pascal Felber, Christof Fetzer, Vincent Gramoli, Derin Harmanci, Martin Nowack
      Pages 245-267
    3. Gulay Yalcin, Osman Unsal
      Pages 268-282
    4. Adrian Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman Unsal et al.
      Pages 283-306
  6. Distributed Transactional Memory

    1. Front Matter
      Pages 307-307

About this book

Introduction

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-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstraction of atomic transactions, Transactional Memory (TM) promises to free programmers from the complexity of conventional synchronization schemes, simplifying the development and verification of concurrent programs, enhancing code reliability, and boosting productivity. Over the last decade TM has been subject to intense research on a broad range of aspects including hardware and operating systems support, language integration, as well as algorithms and theoretical foundations. On the industrial side, the major players of the software and hardware markets have been up-front in the research and development of prototypal products providing support for TM systems. This has recently led to the introduction of hardware TM implementations on mainstream commercial microprocessors and to the integration of TM support for the world’s leading open source compiler. In such a vast inter-disciplinary domain, the Euro-TM COST Action (IC1001) has served as a catalyzer and a bridge for the various research communities looking at disparate, yet subtly interconnected, aspects of TM. This book emerged from the idea having Euro-TM experts compile recent results in the TM area in a single and consistent volume. Contributions have been carefully selected and revised to provide a broad coverage of several fundamental issues associated with the 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, as well as lessons learnt from building complex TM-based applications.

Keywords

algorithmic techniques algorithms certification concurrency conflict detection consistency protocol contention management deferred update disjoint-access parallelism distributed TM execution models liveness multi-versioning nested parallelism overlay tree reliability safety scheduling self-tuning verification

Editors and affiliations

  • Rachid Guerraoui
    • 1
  • Paolo Romano
    • 2
  1. 1.EPFLLausanneSwitzerland
  2. 2.Instituto Superior Técnico, Universidade de Lisboa/INESC-IDLisboaPortugal

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-14720-8
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-14719-2
  • Online ISBN 978-3-319-14720-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book