ISBN-10:
0471725048
ISBN-13:
9780471725046
Pub. Date:
10/19/2005
Publisher:
Wiley
Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs / Edition 1

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs / Edition 1

by Richard H. Carver, Kuo-Chung Tai
Current price is , Original price is $113.95. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9780471725046
Publisher: Wiley
Publication date: 10/19/2005
Edition description: New Edition
Pages: 480
Product dimensions: 6.22(w) x 9.31(h) x 0.93(d)

About the Author

RICHARD H. CARVER, PhD, is an Associate Professor in the Department of Computer Science, George Mason University.

KUO-CHUNG TAI, PhD, was a Professor in the Department of Computer Science, North Carolina State University as well as the Co-Director of the university's Software Engineering Laboratory.

Table of Contents

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 Section Problem.

2.2 Ticket-Based Solutions to the n-Thread Critical Section Problem.

2.3 Hardware Solutions to the n-Thread Critical Section Problem.

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 Programming Problems.

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 Programming Problems.

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 Programming Problems.

5.5 Tracing, Testing, and Replay for Message-Passing Programs.

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 Programming Problems.

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 Concurrent Programs.

7.4 Approaches to Testing Concurrent Programs.

7.5 Reachability Testing.

Further Reading.

References.

Exercises.

Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews