Chapter 3: Designing and Implementing Concurrent Programs with State Diagrams

---

3.1 Introduction

Chapter 2 introduced the facilities for dealing with concurrency in Java. In this chapter, you will learn how to use those facilities to implement solutions to problems. The problems studied in this chapter are simulation problems; however, the techniques that are used will apply to a number of different problem types, particularly when describing the behavior of components in concurrent and distributed systems. Sections 3.3 and 3.4 give an overview of the methodology to be used. Section 3.5 then applies the methodology to the bounded buffer problem, a classical synchronization problem found in many operating systems textbooks. Section 3.6 demonstrates that passive objects are actually components and how they satisfy the five criteria for components given in Chapter 1. Finally, an example of simulation of a gas station is provided to show how the techniques in this chapter can be used.

---