Framework for analysis of solutions
nEach
process executes at nonzero speed but no assumption on
the relative
speed of n processes
nGeneral
structure of a process:
nmany
CPU may be present but memory hardware prevents simultaneous
access to the same memory location
nNo assumption about order of
interleaved execution
nFor
solutions: we need to specify entry and exit sections
n
repeat
entry
section
critical section
exit
section
remainder section
forever