[cs63201] more on fairness
Mikhail Nesterenko
mikhail at cs.kent.edu
Thu Sep 8 16:05:12 EDT 2011
> So could you say that weak fairness is the same as strong fairness except
> for the constraint that in weak fairness a guarded command can only be
> disabled a finite amount of times while in
> strong fairness it can be disabled infinitely?
"infinitely often" to be more precise.
What you just did is restated the two definitions. To get a better
understanding of these definitions I wanted you to think about the two
questions I asked in class.
Thanks,
--
Mikhail
More information about the cs63201
mailing list