Re: [PATCH v4] pm_qos: make update_request non blocking

[James Bottomley]

On Wed, 2010-06-09 at 18:00 +0200, Florian Mickler wrote:
> On Wed, 09 Jun 2010 11:37:12 -0400
> James Bottomley <James.Bottomley@xxxxxxx> wrote:
> 
> 
> > This still isn't resilient against two successive calls to update.  If
> > the second one gets to schedule_work() before the work of the first one
> > has finished, you'll corrupt the workqueue.
> 
> Sorry, I don't see it. Can you elaborate?
> 
> In "run_workqueue(" we do a list_del_init() which resets the
> list-pointers of the workitem and only after that reset the
> WORK_STRUCT_PENDING member of said structure. 
> 
> 
> schedule_work does a queue_work_on which does a test_and_set_bit on
> the WORK_STRUCT_PENDING member of the work and only queues the work
> via list_add_tail in insert_work afterwards.
> 
> Where is my think'o? Or was this fixed while you didn't look?
> 
> So what _can_ happen, is that we miss a new notfication while the old
> notification is still in the queue. But I don't think this is a problem.

OK, so the expression of the race is that the latest notification gets
lost.  If something is tracking values, you'd really like to lose the
previous one (which is now irrelevant) not the latest one.  The point is
there's still a race.

James


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/