Shared-Memory Synchronization
Published on 13. June 2013
Book
Paperback/Softback
XVIII, 206 pages
978-3-031-00612-8 (ISBN)
Description
This book offers a comprehensive survey of shared-memory synchronization, with an emphasis on "systems-level" issues. It includes sufficient coverage of architectural details to understand correctness and performance on modern multicore machines, and sufficient coverage of higher-level issues to understand how synchronization is embedded in modern programming languages.
The primary intended audience for this book is "systems programmers"-the authors of operating systems, library packages, language run-time systems, concurrent data structures, and server and utility programs. Much of the discussion should also be of interest to application programmers who want to make good use of the synchronization mechanisms available to them, and to computer architects who want to understand the ramifications of their design decisions on systems-level code.
The primary intended audience for this book is "systems programmers"-the authors of operating systems, library packages, language run-time systems, concurrent data structures, and server and utility programs. Much of the discussion should also be of interest to application programmers who want to make good use of the synchronization mechanisms available to them, and to computer architects who want to understand the ramifications of their design decisions on systems-level code.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
XVIII, 206 p.
Dimensions
Height: 235 mm
Width: 191 mm
Thickness: 13 mm
Weight
428 gr
ISBN-13
978-3-031-00612-8 (9783031006128)
DOI
10.1007/978-3-031-01740-7
Schweitzer Classification
Other editions
Additional editions
Michael L. Scott
Shared-Memory Synchronization
E-Book
05/2022
1st Edition
Springer
€48.14
Available for download
Person
Michael L. Scott is a Professor and past Chair of the Department of Computer Science at the University of Rochester. He received his Ph.D. from the University of Wisconsin-Madison in 1985. His research interests span operating systems, languages, architecture, and tools, with a particular emphasis on parallel and distributed systems. He is best known for work in synchronization algorithms and concurrent data structures, in recognition of which he shared the 2006 SIGACT/SIGOPS Edsger W. Dijkstra Prize. Other widely cited work has addressed parallel operating systems and file systems, software distributed shared memory, and energy-conscious operating systems and microarchitecture. His textbook on programming language design and implementation Programming Language Pragmatics, third edition, Morgan Kaufmann, Feb. 2009) is a standard in the field. In 2003 he served as General Chair for SOSP; more recently he has been Program Chair for TRANSACT07, PPoPP08, and ASPLOS12. He was named a Fellowof the ACM in 2006 and of the IEEE in 2010. In 2001 he received the University of Rochesters Robert and Pamela Goergen Award for Distinguished Achievement and Artistry in Undergraduate Teaching.
Content
Introduction.- Architectural Background.- Essential Theory.- Practical Spin Locks.- Busy-wait Synchronization with Conditions.- Read-mostly Atomicity.- Synchronization and Scheduling.- Nonblocking Algorithms.- Transactional Memory.- Author's Biography.