Cover image for Concurrent programming on windows
Title:
Concurrent programming on windows
Personal Author:
Series:
Microsoft .NET development series
Publication Information:
Upper Saddle River, NJ : Addison-Wesley, 2009
Physical Description:
xxix, 958 p. : ill. ; 24 cm.
ISBN:
9780321434821

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000010175472 QA76.642 D83 2009 Open Access Book Book
Searching...

On Order

Summary

Summary

"When you begin using multi-threading throughout an application, the importance of clean architecture and design is critical. . . . This places an emphasis on understanding not only the platform's capabilities but also emerging best practices. Joe does a great job interspersing best practices alongside theory throughout his book."

- From the Foreword by Craig Mundie, Chief Research and Strategy Officer, Microsoft Corporation

nbsp;

Author Joe Duffy has risen to the challenge of explaining how to write software that takes full advantage of concurrency and hardware parallelism. In Concurrent Programming on Windows, he explains how to design, implement, and maintain large-scale concurrent programs, primarily using C# and C++ for Windows.

nbsp;

Duffy aims to give application, system, and library developers the tools and techniques needed to write efficient, safe code for multicore processors. This is important not only for the kinds of problems where concurrency is inherent and easily exploitable--such as server applications, compute-intensive image manipulation, financial analysis, simulations, and AI algorithms--but also for problems that can be speeded up using parallelism but require more effort--such as math libraries, sort routines, report generation, XML manipulation, and stream processing algorithms.

nbsp;

Concurrent Programming on Windows has four major sections: The first introduces concurrency at a high level, followed by a section that focuses on the fundamental platform features, inner workings, and API details. Next, there is a section that describes common patterns, best practices, algorithms, and data structures that emerge while writing concurrent software. The final section covers many of the common system-wide architectural and process concerns of concurrent programming.

nbsp;

This is the only book you'll need in order to learn the best practices and common patterns for programming with concurrency on Windows and .NET.


Author Notes

Joe Duffy is the author of Children of the Rising which won an Irish Book Award 2015 in the nonfiction category.

(Bowker Author Biography)


Excerpts

Excerpts

I began writing this book towards the end of 2005. At the time, dual-core processors were becoming standard on the mainstream PC's that ordinary (non-programmer) consumers were buying, and a small number of people in industry had begun to make noise about the impending concurrency problem. (Herb Sutter's The Free Lunch is Over paper immediately comes to mind.) The problem people were worried about, of course, was that the software of the past was not written in a way that would allow it to naturally exploit that additional compute power. Contrast that with the never-ending increase in clock speeds. No more free lunch indeed . It seemed to me that concurrency was going to be an important part of every software developer's job somewhere down the road and that a book like this would be important and useful. Just over two years later, the impact is beginning to ripple up from the operating system, through the libraries, and on up to applications themselves. This was about the same time I had wrapped up prototyping a small side-project on which I had been burning the midnight oil for the previous six months: Parallel Language Integrated Query (PLINQ). The PLINQ project was a conduit for me to explore the intricacies of concurrency, multi-core, and specifically how parallelism might be used in real-world, everyday programs. I used it as a tool to figure out where the platform was lacking. This was in addition to spending my day job at Microsoft focused on software transactional memory (STM), a technology that in the intervening two years has become somewhat of an industry buzzword. Needless to say, I had become pretty entrenched in all topics concurrency. What better way to get entrenched even further than to write a book on the subject? As I worked on all of these projects, and eventually PLINQ grew into Parallel Extensions to the .NET Framework, I was amazed at how few good books on Windows concurrency were available. I remember time and time again being astonished or amazed at some intricate and esoteric bit of concurrency-related information, jotting it down, and earmarking it for inclusion in this book. I only wished somebody had written it down before me, so that I didn't need to scour it from numerous sources: hallway conversations, long nights of pouring over Windows and CLR source code, and reading and rereading countless Microsoft employee blogs. But the best books on the topic dated back to the early '90s and, while still really good, focused too much on the mechanics and not on how to structure parallel programs, implement parallel algorithms, deal with concurrency hazards, and other important concepts. Everything else targeted academics and researchers, and not application, system, and library developers. I set out to write a book that I'd have found fascinating and a useful way to shortcut all of the random bits of information I had to learn throughout. Although it took me a surprisingly long two-and-a-half years to finish this book (!), the state of the art has evolved slowly, and the state of good books on the topic hasn't changed much either. The result of my efforts, I hope, is a new book that is down-to-earth and useful, but still full of very deep technical information. It is for any Windows or .NET developer who believes that concurrency is going to be a fundamental requirement of all software somewhere down the road, as all industry trends seem to imply. I look forward to kicking back and enjoying this book. And I sincerely hope you do too. Book Structure I've structured the book into four major parts. The first, Concepts, introduces concurrency at a high level without going too deep into any one topic. The next part, Mechanisms, focuses squarely on the fundamental platform features, inner workings, and API details. After that, the part on Techniques describes common patterns, best practices, algorithms, and data structures that emerge while writing concurrent software. The fourth part, Systems, covers many of the systemwide architectural and process concerns that frequently arise. There is a progression here. Concepts is first because it develops a basic understanding of concurrency in general. Understanding the content in Techniques would be difficult without a solid understanding of the Mechanisms, and similarly, building real Systems would be impossible without understanding the rest. There is also a collection of Appendices at the end. Code Requirements To run code found in this book, you'll need to download some free pieces of software: Microsoft Windows SDK. This includes the Microsoft C++ compiler and relevant platform headers and libraries. The latest versions as of this writing are the Windows Vista and Server 2008 SDKs. Microsoft .NET Framework SDK. This includes the Microsoft C# and Visual Basic compilers, and relevant framework libraries. The latest version as of this writing is the .NET Framework 3.5 SDK. Both can be found on MSDN: http://msdn.microsoft.com/ . In addition, it's highly recommended that you consider using Visual Studio. This is not required--and in fact, much of the code in this book was written in emacs --but provides for a more seamless development and debugging experience. Visual Studio 2008 Express Edition can be downloaded for free, although it lacks many useful capabilities such as performance profiling. Lastly, the Debugging Tools for Windows package--which includes the popular WINDBG debugging utility--might also come in handy, particularly if you don't have Visual Studio. It is freely downloadable from http://www.microsoft.com/ . Similarly, the Sysinternals utilities available from http://technet.microsoft.com/sysinternals/ are quite useful for inspecting aspects of the Windows OS. A companion website for the book will be available simultaneous with publication of the book. Joe Duffy June 2008 joe@bluebytesoftware.com Excerpted from Concurrent Programming on Windows by Joe Duffy, Herb Sutter All rights reserved by the original copyright owners. Excerpts are provided for display purposes only and may not be reproduced, reprinted or distributed without the written permission of the publisher.

Table of Contents

Forewordp. xix
Prefacep. xxiii
Acknowledgmentsp. xxvii
About the Authorp. xxix
Part I Conceptsp. 1
Chapter 1 Introductionp. 3
Why Concurrency?p. 3
Program Architecture and Concurrencyp. 6
Layers of Parallelismp. 8
Why Not Concurrency?p. 10
Where Are We?p. 11
Chapter 2 Synchronization and Timep. 13
Managing Program Statep. 14
Synchronization: Kinds and Techniquesp. 38
Where Are We?p. 73
Part II Mechanismsp. 77
Chapter 3 Threadsp. 79
Threading from 10,001 Feetp. 80
The Life and Death of Threadsp. 89
Where Are We?p. 124
Chapter 4 Advanced Threadsp. 127
Thread Statep. 127
Inside Thread Creation and Terminationp. 152
Thread Schedulingp. 154
Where Are We?p. 180
Chapter 5 Windows Kernel Synchronizationp. 183
The Basics: Signaling and Waitingp. 184
Using the Kernel Objectsp. 211
Where Are We?p. 251
Chapter 6 Data and Control Synchronizationp. 253
Mutual Exclusionp. 255
Reader/Writer Locks (RWLs)p. 287
Condition Variablesp. 304
Where Are We?p. 312
Chapter 7 Thread Poolsp. 315
Thread Pools 101p. 316
Windows Thread Poolsp. 323
CLR Thread Poolp. 364
Performance When Using the Thread Poolsp. 391
Where Are We?p. 398
Chapter 8 Asynchronous Programming Modelsp. 399
Asynchronous Programming Model (APM)p. 400
Event-Based Asynchronous Patternp. 421
Where Are We?p. 427
Chapter 9 Fibersp. 429
An Overview of Fibersp. 430
Using Fibersp. 435
Additional Fiber-Related Topicsp. 445
Building a User-Mode Schedulerp. 453
Where Are We?p. 473
Part III

p. 475

Chapter 10 Memory Models and Lock Freedomp. 477
Memory Load and Store Reorderingp. 478
Hardware Atomicityp. 486
Memory Consistency Modelsp. 506
Examples of Low-Lock Codep. 520
Where Are We?p. 541
Chapter 11 Concurrency Hazardsp. 545
Correctness Hazardsp. 546
Liveness Hazardsp. 572
Where Are We?p. 609
Chapter 12 Parallel Containersp. 613
Fine-Grained Lockingp. 616
Lock Freep. 632