xfs-masters
[Top] [All Lists]

[xfs-masters] Re: [PATCH] fs/xfs: Handcrafted MIN/MAX macro removal

To: Christoph Hellwig <hch@xxxxxx>
Subject: [xfs-masters] Re: [PATCH] fs/xfs: Handcrafted MIN/MAX macro removal
From: David Chinner <dgc@xxxxxxx>
Date: Thu, 19 Oct 2006 11:52:20 +1000
Cc: xfs-masters@xxxxxxxxxxx, linux kernel <linux-kernel@xxxxxxxxxxxxxxx>, xfs@xxxxxxxxxxx
In-reply-to: <20061018094956.GA19048@xxxxxx>
References: <1161160132.20400.115.camel@xxxxxxxxxxxxxxxxxxxxxxxx> <20061018094956.GA19048@xxxxxx>
Reply-to: xfs-masters@xxxxxxxxxxx
Sender: xfs-masters-bounce@xxxxxxxxxxx
User-agent: Mutt/1.4.2.1i
On Wed, Oct 18, 2006 at 11:49:56AM +0200, Christoph Hellwig wrote:
> On Wed, Oct 18, 2006 at 01:58:52PM +0530, Amol Lad wrote:
> > --- linux-2.6.19-rc2-orig/fs/xfs/xfs_btree.h        2006-10-18 
> > 09:29:18.000000000 +0530
> > +++ linux-2.6.19-rc2/fs/xfs/xfs_btree.h     2006-10-18 11:25:46.000000000 
> > +0530
> > @@ -18,6 +18,8 @@
> >  #ifndef __XFS_BTREE_H__
> >  #define    __XFS_BTREE_H__
> >  
> > +#include <linux/kernel.h>
> > +
> 
> This file is also used in libxfs, so you can't just include this header
> directly.  On the other hand it should always get kernel.h through
> xfs_linux.h anyway so you might aswell just leave the include out.

*nod* - the include is not needed here.

> > +#define    XFS_EXTLEN_MIN(a,b)   (min_t(xfs_extlen_t,a,b))
> > +#define    XFS_EXTLEN_MAX(a,b)       (max_t(xfs_extlen_t,a,b))
> > +#define    XFS_AGBLOCK_MIN(a,b)  (min_t(xfs_agblock_t,a,b))
> > +#define    XFS_AGBLOCK_MAX(a,b)  (max_t(xfs_agblock_t,a,b))
> > +#define    XFS_FILEOFF_MIN(a,b)  (min_t(xfs_fileoff_t,a,b))
> > +#define    XFS_FILEOFF_MAX(a,b)  (max_t(xfs_fileoff_t,a,b))
> > +#define    XFS_FILBLKS_MIN(a,b)  (min_t(xfs_filblks_t,a,b))
> > +#define    XFS_FILBLKS_MAX(a,b)  (max_t(xfs_filblks_t,a,b))
> 
> At this point we might aswell kill these UGLY SHOUTING macros and
> use min_t/max_t (or just min/max where appropinquate) directly.

No way.

> >                     error = xfs_rtallocate_extent_block(mp, tp, i,
> > -                                   XFS_RTMAX(minlen, 1 << l),
> > -                                   XFS_RTMIN(maxlen, (1 << (l + 1)) - 1),
> > +                                   max(minlen, (xfs_extlen_t)(1 << l)),
> > +                                   min(maxlen, (xfs_extlen_t)((1 << (l + 
> > 1)) - 1)),
> 
> these would be a lot more readable as
> 
>                                       max_t(xfs_extlen_t, minlen, (1 << l)),
>                                       min_t(xfs_extlen_t, maxlen,
>                                             ((1 << (l + 1)) - 1)),
> 
> wouldn, it?

No. I look at that XFS_RTMAX() macro and I *know* we are doing the
correct compare for that type of object. I look at the max_t version
and think to myself "is that correct, or is it done differently
elsewhere?". That macro says "I'm doing the right thing", and that
is invaluable information when it comes to reading the code and
tracking down bugs.

By removing the macros completely, we no longer know exactly where
in the code we compare distinct types, nor do we have a consistent
manner in which to compare them. When it comes to doing future mods,
we're now completely reliant on the developer finding all the places
we compare the distinct types and/or adding new compares using the
same code. This is a Bad Thing.

So while I'm happy with the original patch that just changes the
macro implementation (minus the include), I really dislike the
followup patch that removes the macros altogether because of these
reasons.

Cheers,

Dave.
-- 
Dave Chinner
Principal Engineer
SGI Australian Software Group


<Prev in Thread] Current Thread [Next in Thread>