No nuances, just buggy code (was: related to Spinlock implementation)

Re:No nuances, just buggy code (was: related to Spinlock imp... by mike_hock on Sunday January 05, 2020 @10:10AM (#21961532)

What's the postcondition of "whatever you do when the preemption timer goes off"? What's the observable side effect for the program?

[ Parent | on HN ]

Re:No nuances, just buggy code (was: related to Spinlock imp... by dooglius on Sunday January 05, 2020 @10:56AM (#21961792)

Well, it's a hint (but then so is `nice`), so it doesn't have any strict postcondition. The meaning of the hint would be that the process won't make good use of CPU cycles at present, and it would be preferable to yield to any other processes now, rather than being preempted later when it are busy.

[ Parent | on HN ]

Re:No nuances, just buggy code (was: related to Spinlock imp... by im3w1l on Sunday January 05, 2020 @10:36AM (#21961670)

I think I would state it like this: Yielding is communication with the OS. And communication with the OS is observable.

[ Parent | on HN ]