Overview
- Simplifies development and verification of concurrent programs
- Illustrates introduction of hardware TM implementations
- Treats both theoretical and practical aspects associated with the design and implementation of TM systems
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8913)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Buy print copy
About this book
Similar content being viewed by others
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
Table of contents (20 chapters)
-
Theoretical Foundations
-
Contention Management and Scheduling
-
Transactional Memory and Reliability
Editors and Affiliations
Bibliographic Information
Book Title: Transactional Memory. Foundations, Algorithms, Tools, and Applications
Book Subtitle: COST Action Euro-TM IC1001
Editors: Rachid Guerraoui, Paolo Romano
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-14720-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-14719-2Published: 02 January 2015
eBook ISBN: 978-3-319-14720-8Published: 29 December 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 469
Number of Illustrations: 133 b/w illustrations
Topics: Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Software Engineering