Author: Stan Eisenstat
Subject: Re: [Cs323] progress
Date: Thursday, 26 Nov 2020, 12:49:20

    > Even though we did not look at progress outside of the context of strict
    > alternation, would it be correct to say that dijkstra's also doesn't have
    > progress because one process limits the others from entering its CS? In
    > general, for any working algorithm that we looked at (except (2)), isn't
    > that true?

Progress means that neither process may prevent the other
process from entering its critical section with being in
or trying to enter its own.  All but the first example
have this property.

--Stan-