Modern Multithreading

Master the essentials of concurrent programming,including testing and debugging This textbook examines languages and libraries for multithreaded programming. Readers learn how to create threads in Java and C++, and develop essential concurrent programming and problem-solving skills. Moreover, the textbook sets itself apart from other comparable works by helping readers to become proficient in key testing and debugging techniques. Among the topics covered, readers are introduced to the relevant aspects of Java, the POSIX Pthreads library, and the Windows Win32 Applications Programming Interface. The authors have developed and fine-tuned this book through the concurrent programming courses they have taught for the past twenty years. The material, which emphasizes practical tools and techniques to solve concurrent programming problems, includes original results from the authors' research. Chapters include: * Introduction to concurrent programming * The critical section problem * Semaphores and locks * Monitors * Message-passing * Message-passing in distributed programs * Testing and debugging concurrent programs As an aid to both students and instructors, class libraries have been implemented to provide working examples of all the material that is covered. These libraries and the testing techniques they support can be used to assess student-written programs. Each chapter includes exercises that build skills in program writing and help ensure that readers have mastered the chapter's key concepts. The source code for all the listings in the text and for the synchronization libraries is also provided, as well as startup files and test cases for the exercises. This textbook is designed for upper-level undergraduates and graduate students in computer science. With its abundance of practical material and inclusion of working code, coupled with an emphasis on testing and debugging, it is also a highly useful reference for practicing programmers.

Master the essentials of concurrent programming,including testingand debuggingThis textbook examines languages and libraries for multithreadedprogramming. Readers learn how to create threads in Java and C++and develop essential concurrent programming and problem-solvingskills. Moreover, the textbook sets itself apart from othercomparable works by helping readers to become proficient in keytesting and debugging techniques. Among the topics covered, readersare introduced to the relevant aspects of Java, the POSIX Pthreadslibrary, and the Windows Win32 Applications ProgrammingInterface.The authors have developed and fine-tuned this book through theconcurrent programming courses they have taught for the past twentyyears. The material, which emphasizes practical tools andtechniques to solve concurrent programming problems, includesoriginal results from the authors' research. Chaptersinclude:* Introduction to concurrent programming* The critical section problem* Semaphores and locks* Monitors* Message-passing* Message-passing in distributed programs* Testing and debugging concurrent programsAs an aid to both students and instructors, class libraries havebeen implemented to provide working examples of all the materialthat is covered. These libraries and the testing techniques theysupport can be used to assess student-written programs.Each chapter includes exercises that build skills in programwriting and help ensure that readers have mastered the chapter'skey concepts. The source code for all the listings in the text andfor the synchronization libraries is also provided, as well asstartup files and test cases for the exercises.This textbook is designed for upper-level undergraduates andgraduate students in computer science. With its abundance ofpractical material and inclusion of working code, coupled with anemphasis on testing and debugging, it is also a highly usefulreference for practicing programmers.

Preface.1 Introduction to Concurrent Programming.1.1 Processes and Threads: An Operating System's View.1.2 Advantages of Multithreading.1.3 Threads in Java.1.4 Threads in Win32.1.5 Pthreads.1.6 C++ Thread Class.1.7 Thread Communication.1.8 Testing and Debugging Multithreaded Programs.1.9 Thread Synchronization.Further Reading.References.Exercises.2 The Critical Section Problem.2.1 Software Solutions to the Two-Thread Critical SectionProblem.2.2 Ticket-Based Solutions to the n-Thread Critical SectionProblem.2.3 Hardware Solutions to the n-Thread Critical SectionProblem.2.4 Deadlock, Livelock, and Starvation.2.5 Tracing and Replay for Shared Variables.2.5.6 Note on Shared Memory Consistency.Further Reading.References.Exercises.3 Semaphores and Locks.3.1 Counting Semaphores.3.2 Using Semaphores.3.3 Binary Semaphores and Locks.3.4 Implementing Semaphores.3.5 Semaphore-Based Solutions to Concurrent ProgrammingProblems.3.6 Semaphores and Locks in Java.3.7 Semaphores and Locks in Win32.3.7.6 Example: C++/Win32 Bounded Buffer.3.8 Semaphores and Locks in Pthreads.3.9 Another Note on Shared Memory Consistency.3.10 Tracing, Testing, and Replay for Semaphores and Locks.Further Reading.References.Exercises.4 Monitors.4.1 Definition of Monitors.4.2 Monitor-Based Solutions to Concurrent ProgrammingProblems.4.3 Monitors in Java.4.4 Monitors in Pthreads.4.5 Signaling Disciplines.4.6 Using Semaphores to Implement Monitors.4.7 Monitor Toolbox for Java.4.8 Monitor Toolbox for Win32/C++/Pthreads.4.9 Nested Monitor Calls.4.10 Tracing and Replay for Monitors.4.11 Testing Monitor-Based Programs.Further Reading.References.Exercises.5 Message Passing.5.1 Channel Objects.5.2 Rendezvous.5.3 Selective Wait.5.4 Message-Based Solutions to Concurrent ProgrammingProblems.5.5 Tracing, Testing, and Replay for Message-PassingPrograms.Further Reading.References.Exercises.6 Message Passing in Distributed Programs.6.1 TCP Sockets.6.3 Timestamps and Event Ordering.6.4 Message-Based Solutions to Distributed ProgrammingProblems.6.5 Testing and Debugging Distributed Programs.Programs.Further Reading.References.Exercises.7 Testing and Debugging Concurrent Programs.7.1 Synchronization Sequences of Concurrent Programs.7.2 Paths of Concurrent Programs.7.3 Definitions of Correctness and Faults for ConcurrentPrograms.7.4 Approaches to Testing Concurrent Programs.7.5 Reachability Testing.Further Reading.References.Exercises.Index.