I am having difficult time understanding the difference between weakly fair and strongly fair schedulers. Can someone provide an example and explain how they are different?
for reference, here are the definitions I have of each:
weakly fair: A condition becomes true and remains true at least until after the conditional atomic action has been executed.
strongly fair: If the condition is infinitely often true, a process will eventually see it as true and be able to proceed.
So I think I understand weakly fair, a conditional atomic action will execute when its condition is true, and the condition will remain true until the atomic action has ended.
But I don't see how strongly fair is different from this. for a conditional atomic action, once its condition is true it executes, and because it is atomic, the condition should remain true until it ends, right? this is the same as weakly fair isn't it?