The first example is a traditional resource sharing model. In the
model, distinguishable processes share a certain
resource. Each of these processes alternates between a sleeping
state and a resource using state. However, the number of
processes that may concurrently use the resource is limited to
where
so that when a process wishing to move from
the sleeping state to the resource using state finds
processes already using the resource, that process fails to access the
resource and returns to the sleeping state. Notice that when
this model reduces to the usual mutual exclusion
problem. When
all of the processes are independent. We
shall let
be the rate at which process
awakes from the sleeping state wishing to access the
resource, and
, the rate at which this same
process releases the resource when it has possession of it. In our SAN
representation, we have tow cases :