[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