2002-07-02 14:14:46

by Joe Thornber

[permalink] [raw]
Subject: Re: [linux-lvm] LVM2 modifies the buffer_head struct?

Tom,

On Tue, Jul 02, 2002 at 09:40:56AM -0400, Tom Walcott wrote:
> Hello,
>
> Browsing the patch submitted for 2.4 inclusion, I noticed that LVM2
> modifies the buffer_head struct. Why does LVM2 require the addition of it's
> own private field in the buffer_head? It seems that it should be able to
> use the existing b_private field.

This is a horrible hack to get around the fact that ext3 uses the
b_private field for its own purposes after the buffer_head has been
handed to the block layer (it doesn't just use b_private when in the
b_end_io function). Is this acceptable behaviour ? Other filesystems
do not have similar problems as far as I know.

device-mapper uses the b_private field to 'hook' the buffer_heads so
it can keep track of in flight ios (essential for implementing
suspend/resume correctly). See dm.c:dec_pending()

As a simple fix I added the b_bdev_private field with the intention
that this is the private field for use by the block layer, and
b_private then effectively becomes b_fs_private. I wont pretend to be
remotely happy with it.

I would love any suggestions of how else I can implement this, it
seems unreasonable to penalise everybody - not just those using ext3.

> How does that extra field affect performance relative to the cache? Won't
> any negative effects be seen by everything that uses buffer_heads? Also, as
> I understand the slab code and hardware cache alignment, won't the addition
> of the new field cause the each buffer_head to consume 128 bytes instead of
> 96?

Obviously there will be some negative effect, though don't have a feel
for how significant it would be. I'm not even sure of what the best
way to measure this would be; if people can point me towards the most
suitable benchmark I'll be happy to do some testing for the list.

- Joe


2002-07-03 10:06:59

by Jens Axboe

[permalink] [raw]
Subject: Re: [linux-lvm] LVM2 modifies the buffer_head struct?

On Tue, Jul 02 2002, Joe Thornber wrote:
> Tom,
>
> On Tue, Jul 02, 2002 at 09:40:56AM -0400, Tom Walcott wrote:
> > Hello,
> >
> > Browsing the patch submitted for 2.4 inclusion, I noticed that LVM2
> > modifies the buffer_head struct. Why does LVM2 require the addition of it's
> > own private field in the buffer_head? It seems that it should be able to
> > use the existing b_private field.
>
> This is a horrible hack to get around the fact that ext3 uses the
> b_private field for its own purposes after the buffer_head has been
> handed to the block layer (it doesn't just use b_private when in the
> b_end_io function). Is this acceptable behaviour ? Other filesystems
> do not have similar problems as far as I know.
>
> device-mapper uses the b_private field to 'hook' the buffer_heads so
> it can keep track of in flight ios (essential for implementing
> suspend/resume correctly). See dm.c:dec_pending()

Your driver is required to properly stack b_private uses, however if
ext3 (well jbd really) over writes b_private after bh i/o submission I
would say that it is broken. That breaks more than just device mapper,
that will break any stacked driver (such as loop, for instance).

--
Jens Axboe

2002-07-03 11:58:49

by Joe Thornber

[permalink] [raw]
Subject: Re: [linux-lvm] LVM2 modifies the buffer_head struct?

On Wed, Jul 03, 2002 at 12:08:38PM +0200, Jens Axboe wrote:
> On Tue, Jul 02 2002, Joe Thornber wrote:
> > Tom,
> >
> > On Tue, Jul 02, 2002 at 09:40:56AM -0400, Tom Walcott wrote:
> > > Hello,
> > >
> > > Browsing the patch submitted for 2.4 inclusion, I noticed that LVM2
> > > modifies the buffer_head struct. Why does LVM2 require the addition of it's
> > > own private field in the buffer_head? It seems that it should be able to
> > > use the existing b_private field.
> >
> > This is a horrible hack to get around the fact that ext3 uses the
> > b_private field for its own purposes after the buffer_head has been
> > handed to the block layer (it doesn't just use b_private when in the
> > b_end_io function). Is this acceptable behaviour ? Other filesystems
> > do not have similar problems as far as I know.
> >
> > device-mapper uses the b_private field to 'hook' the buffer_heads so
> > it can keep track of in flight ios (essential for implementing
> > suspend/resume correctly). See dm.c:dec_pending()
>
> Your driver is required to properly stack b_private uses, however if
> ext3 (well jbd really) over writes b_private after bh i/o submission I
> would say that it is broken.

AFAIK ext3 doesn't overwrite b_private after submission, but does
expect the value not to change (ie. no stacking to be taking place).

- Joe

2002-07-03 12:08:05

by Jens Axboe

[permalink] [raw]
Subject: Re: [linux-lvm] LVM2 modifies the buffer_head struct?

On Wed, Jul 03 2002, Joe Thornber wrote:
> On Wed, Jul 03, 2002 at 12:08:38PM +0200, Jens Axboe wrote:
> > On Tue, Jul 02 2002, Joe Thornber wrote:
> > > Tom,
> > >
> > > On Tue, Jul 02, 2002 at 09:40:56AM -0400, Tom Walcott wrote:
> > > > Hello,
> > > >
> > > > Browsing the patch submitted for 2.4 inclusion, I noticed that LVM2
> > > > modifies the buffer_head struct. Why does LVM2 require the addition of it's
> > > > own private field in the buffer_head? It seems that it should be able to
> > > > use the existing b_private field.
> > >
> > > This is a horrible hack to get around the fact that ext3 uses the
> > > b_private field for its own purposes after the buffer_head has been
> > > handed to the block layer (it doesn't just use b_private when in the
> > > b_end_io function). Is this acceptable behaviour ? Other filesystems
> > > do not have similar problems as far as I know.
> > >
> > > device-mapper uses the b_private field to 'hook' the buffer_heads so
> > > it can keep track of in flight ios (essential for implementing
> > > suspend/resume correctly). See dm.c:dec_pending()
> >
> > Your driver is required to properly stack b_private uses, however if
> > ext3 (well jbd really) over writes b_private after bh i/o submission I
> > would say that it is broken.
>
> AFAIK ext3 doesn't overwrite b_private after submission, but does
> expect the value not to change (ie. no stacking to be taking place).

Now we are in a grey area. The 'usual' stacked drivers work like this:

some fs path
submit_bh(bh_orig);

...

stacked driver make_request_fn:
bh_new = alloc_bh
bh_new->b_private = bh_orig;
...
submit_bh(bh_new);

if you are just modifying b_private, how exactly is your stacking
working? ie what about lvm2 on lvm2?

--
Jens Axboe