linux-kernel - RE: [HPDD-discuss] [PATCH] staging: lustre: fix sparse warnings related to lock context imbalance

Open Source and information security mailing list archives

Message-ID: <DB0C8A206669AC40B1C4E52A8584A6F61496CCB5@CFWEX01.americas.cray.com>
Date:	Fri, 28 Nov 2014 15:45:24 +0000
From:	Patrick Farrell <paf@...y.com>
To:	Dan Carpenter <dan.carpenter@...cle.com>,
	Loïc Pefferkorn <loic@...cp.eu>
CC:	"devel@...verdev.osuosl.org" <devel@...verdev.osuosl.org>,
	Greg KH <gregkh@...uxfoundation.org>,
	"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
	"gdonald@...il.com" <gdonald@...il.com>,
	"HPDD-discuss@...1.01.org" <HPDD-discuss@...1.01.org>
Subject: RE: [HPDD-discuss] [PATCH] staging: lustre: fix sparse warnings
 related to lock context imbalance

Dan,

I disagree about the change suggested here.  In this particular code, 'object_attr' is distinct from 'attr', as in a 'setattr' call on an inode.  'cl_object' is a distinct thing from an inode/file on disk, and specifying it is the objects attr is helpful in understanding there is not a direct relationship to 'attr' in the general filesystem sense.  (cl_object attrs are used in determining actual on disk attributes, but there is not a one-to-one correspondence.)

I am willing to be corrected, but that is my first feeling here.

- Patrick
________________________________________
From: HPDD-discuss [hpdd-discuss-bounces@...ts.01.org] on behalf of Dan Carpenter [dan.carpenter@...cle.com]
Sent: Friday, November 28, 2014 4:00 AM
To: Loïc Pefferkorn
Cc: devel@...verdev.osuosl.org; Greg KH; linux-kernel@...r.kernel.org; gdonald@...il.com; HPDD-discuss@...1.01.org
Subject: Re: [HPDD-discuss] [PATCH] staging: lustre: fix sparse warnings related to lock context imbalance

On Thu, Nov 27, 2014 at 07:34:10PM +0100, Loïc Pefferkorn wrote:
> 1827         if (valid != 0) {
> 1828             cl_object_attr_lock(obj);
> 1829             cl_object_attr_set(env, obj, attr, valid);
> 1830             cl_object_attr_unlock(obj);
>
> after:
>
> 1827         if (valid != 0) {
> 1828             spin_lock(cl_object_attr_guard(obj));
> 1829             cl_object_attr_set(env, obj, attr, valid);
> 1830             spin_unlock(cl_object_attr_guard(obj));

The word "_object" doesn't add any new information to the name.  If you
remove it then the code is improved.

                spin_lock(cl_attr_guard(obj));
                cl_attr_set(env, obj, attr, valid);
                spin_unlock(cl_attr_guard(obj));

regards,
dan carpenter

_______________________________________________
HPDD-discuss mailing list
HPDD-discuss@...ts.01.org
https://lists.01.org/mailman/listinfo/hpdd-discuss
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives