Progress is not guaranteed I think bcz P0 will do down operation on s and q,so when P0 is in critical section for a very long time P1 have to wait for arbitrary time until P0 releases s and q.When a process is stopping other process from executing then we say there is no progress.correct me if I'm wrong..