lkml.org 
[lkml]   [2008]   [Oct]   [15]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [rfc] SLOB memory ordering issue


On Wed, 15 Oct 2008, Linus Torvalds wrote:
>
> If you make an allocation visible to other CPU's, you would need to make
> sure that allocation is stable with a smp_wmb() before you update the
> pointer to that allocation.

Just to clarify a hopefully obvious issue..

The assumption here is that you don't protect things with locking. Of
course, if all people accessing the new pointer always have the
appropriate lock, then memory ordering never matters, since the locks take
care of it.

So _most_ allocators obviously don't need to do any smp_wmb() at all. But
the ones that expose things locklessly (where page tables are just one
example) need to worry.

Again, this is yet another reason to not put things in the allocator. The
allocator cannot know, and shouldn't care. For all the exact same reasons
that the allocator cannot know and shouldn't care whether the ctor results
in a 'final' version or whether the allocator will do some final fixups.

Linus


\
 
 \ /
  Last update: 2008-10-15 19:39    [W:0.060 / U:0.040 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site