Howdy Andrew, Thanks for taking the time to go through this work and provide me with such good feedback. On Wed, Jul 18, 2012 at 03:49:08PM -0700, Andrew Morton wrote: > On Tue, 17 Jul 2012 13:50:42 -0300 > Rafael Aquini <aquini@xxxxxxxxxx> wrote: > > > Besides making balloon pages movable at allocation time and introducing > > the necessary primitives to perform balloon page migration/compaction, > > this patch also introduces the following locking scheme to provide the > > proper synchronization and protection for struct virtio_balloon elements > > against concurrent accesses due to parallel operations introduced by > > memory compaction / page migration. > > - balloon_lock (mutex) : synchronizes the access demand to elements of > > struct virtio_balloon and its queue operations; > > - pages_lock (spinlock): special protection to balloon pages list against > > concurrent list handling operations; > > > > ... > > > > + balloon_mapping->a_ops = &virtio_balloon_aops; > > + balloon_mapping->backing_dev_info = (void *)vb; > > hoo boy. We're making page->mapping->backing_dev_info point at a > struct which does not have type `struct backing_dev_info'. And then we > are exposing that page to core MM functions. So we're hoping that core > MM will never walk down page->mapping->backing_dev_info and explode. > > That's nasty, hacky and fragile. Shame on me, on this one. Mea culpa: I took this approach, originally, because I stuck the spinlock within the struct virtio_balloon and this was the easiest way to recover it just by having the page pointer. I did this stupidity because on earlier stages of this patch some functions that demanded access to that list spinlock were placed outside the balloon driver's code -- this is a left-over (I know, it's a total lame excuse, but it's the truth) This is easily fixable, however, as the balloon page list spinlock is now only being accessed within driver's code and it can be declared outside the struct. -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>