How to trigger races reliably in the Linux kernel

Re:How to trigger races reliably in the Linux kernel by frant-hartm on Tuesday May 05, 2020 @01:35PM (#23082566)

Your first link confirms you can have locks in a multithreaded lock free algorithm - "The Lock-Free property guarantees that at least some thread is doing progress on its work" - I always thought this property should have been called deadlock free.

[ Parent | on HN ]

Re:How to trigger races reliably in the Linux kernel by MaxBarraclough on Tuesday May 05, 2020 @02:10PM (#23082933)

That's a good point, it does seem consistent with that definition.

This other blog post [0] seems to use a stricter definition of lock-free which precludes any way to schedule threads which would cause progress to cease indefinitely. That seems to be what the ConcurrencyFreaks blog refers to as Wait-free.

Any experts in lock-free programming able to clarify things?

[0] https://preshing.com/20120612/an-introduction-to-lock-free-p...

[ Parent | on HN ]