There are two types of process synchronization: Condition Synchronization and Mutual Exclusion. Condition Synchronization ensures that a process delays until a given condition becomes true. Mutual Exclusion ensures that critical sections of statements that access shared objects are not executed at the same time.

I have developed a pattern based approach to derive Condition Synchronization code and am currently working on a structured approach to derive Mutual Exclusion code. In this seminar, I will present the pattern based approach for Condition Synchronization, demonstrate its power by showing some application programs, and report the current status of the development process for Mutual Exclusion.