News for hackers. Stuff that matters.

A comment on How to trigger races reliably in the Linux kernel. Parent comment

Re:How to trigger races reliably in the Linux kernel by erichocean on Tuesday May 05, 2020 @03:40PM (#23084000)
> 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").

[ Parent | on HN ]
Re:How to trigger races reliably in the Linux kernel by chrisseaton on Tuesday May 05, 2020 @04:37PM (#23084747)
> 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'".

[ Parent | on HN ]
Re:How to trigger races reliably in the Linux kernel by erichocean on Friday May 08, 2020 @12:31AM (#23111407)
Did I? Ha ha, looks like I was preaching to the choir…
[ Parent | on HN ]