I would assume it means something a bit weaker: that all critical sections have a bounded length, being guaranteed to end after a given finite number of clock c

I would assume it means something a bit weaker: that all critical sections have a bounded length, being guaranteed to end after a given finite number of clock cycles.