1. 12
  1. 1

    A system is unfair if an infinite sequence of stutter steps is a valid behavior. This is equivalent to no agents in the system ever making progress.

    Hm, in process scheduling it seems common to refer to the “one process (doing useful work still!) is hogging the system and all others are not making progress” situation as unfair too..?

    1. 1

      Yup, that counts as unfair too. The overall system is weakly fair but its subactions (the processes in this case) are unfair.