Figure 2: Monitor synchronization: (a) condition variable; (b) accept statement.