4 ms·
> If one process holding a lock halts then it will prevent system-wide progress As others have mentioned already, if you had code that did that, that code woul
by erichocean 6y ago
> If one process holding a lock halts then it will prevent system-wide progress
As others have mentioned already, if you had code that did that, that code would not be "lock-free". Lock-free requires progress in all circumstances even in the presence of ordering primitives (what we colloquially call "locks").
- chrisseaton 6y ago> if you had code that did that, that code would not be "lock-free" Are you replying to the right person? That's what I just explained to the person I was replying to. You've quoted part of my comment but left out the "...which is not allowed in the definition of 'lock-free'".
- erichocean 6y agoDid I? Ha ha, looks like I was preaching to the choir…