Necessary and sufficient conditions for a solution to the

c.s. problem:

1. Mutual Exclusion --- if is executing in one of its

critical sections, no , , is executing in its critical

sections.

2. Progress --- a process operating outside of its

critical section cannot prevent other processes from

entering theirs; processes attempting to enter their

critical sections simultaneously must decide which process

enters eventually.

3. Bounded Waiting --- a process attempting to enter

its critical region will be able to do so eventually.

Assumptions:

1. No assumptions made about relative speed of

processes

2. No process may remain in its critical section

indefinitely (may not terminate in its critical section)

3. A memory operation (read or write) is atomic ---

cannot be interrupted. For now, we do not assume

indivisible RMW cycles.