Framework for Analysis
of Solutions
ä Each process executes
at nonzero speed but
no assumption on the
relative speed of n
processes
ä General structure of a
process:
ä many CPU may be
present but memory
hardware prevents
simultaneous access to
the same memory
location
ä No assumption about
order of interleaved
execution
ä For solutions: we need
to specify entry and
exit sections
repeat
  entry section
   critical section
  exit section
   remainder section
forever