All of lore.kernel.org
 help / color / mirror / Atom feed
From: Oleg Nesterov <oleg-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
To: Andrew Morton <akpm-de/tnXTf+JLsfHDXvbKv3WD2FQJk+8+b@public.gmane.org>
Cc: Andi Kleen <andi-Vw/NltI1exuRpAAqCnN02g@public.gmane.org>,
	hch-wEGCiKHe2LqWVfeAwA7xHQ@public.gmane.org,
	corbet-T1hC0tSOHrs@public.gmane.org,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org,
	viro-3bDd1+5oDREiFSDQTTA3OLVCufUGDwFn@public.gmane.org,
	linux-api-u79uwXL29TY76Z2rM5mHXA@public.gmane.org,
	alan-qBU/x9rampVanCEyBjwyrvXRex20P6io@public.gmane.org
Subject: Re: [PATCH, RFC] Remove fasync() BKL usage, take 3325
Date: Wed, 28 Jan 2009 04:14:39 +0100	[thread overview]
Message-ID: <20090128031439.GA11025@redhat.com> (raw)
In-Reply-To: <20090127165504.53ed7a2d.akpm-de/tnXTf+JLsfHDXvbKv3WD2FQJk+8+b@public.gmane.org>

On 01/27, Andrew Morton wrote:
>
> On Fri, 23 Jan 2009 05:56:46 +0100
> Andi Kleen <andi-Vw/NltI1exuRpAAqCnN02g@public.gmane.org> wrote:
>
> > On Thu, Jan 22, 2009 at 03:32:49PM -0500, Christoph Hellwig wrote:
> > > On Thu, Jan 22, 2009 at 06:51:04AM -0800, Andrew Morton wrote:
> > > > OK, replacing a lock_kernel() with a spin_lock(&global_lock) is pretty
> > > > straightforwad.  But it's really really sad.  It basically leaves a great
> > > > big FIXME in there.  It'd be better to fix it.
> > >
> > >
> > > Umm, we've been discussiong this in and out a guestimated million times.
> > >
> > > Let's go forward with Jon's patch which is on obvious improvement and
> > > if it shows problems later on we can revisit it.
> >
> > The point was that we already have a better patch from Oleg.
> >
>
> Where is this patch?

I didn't send the actual patch. The idea is,

	can't we use O_LOCK_FLAGS bit? I agree, it is a bit ugly,
	and I won't insist if you don't like is.

		static inline int try_lock_f_flags(struct file *file)
		{
			return !test_and_set_bit(O_LOCK_FLAGS, file->f_flags);
		}

		static inline set_f_flags(struct file *file, unsigned int flags)
		{
			file->f_flags = flags & ~O_LOCK_FLAGS;
		}

	Now, nobody should change ->f_flags directly (except create/open
	pathes. For example, ioctl_fionbio() should be changed:

			if (try_lock_f_flags(filp)) {
				if (on)
					set_f_flags(filp, filp->f_flags | flag);
				else
					set_f_flags(filp, filp->f_flags & ~flag);
			}

	If try_lock_f_flags() fails we do nothing, as if the current owner of
	O_LOCK_FLAGS changes ->f_flags after us.

and, from another message,

	No need to disable preemption, we never spin waiting for the
	lock bit. If it is locked - somebody else updates ->f_flags,
	we can pretend it does this after us. This can confuse F_GETFL
	after F_SETFL (if F_SETFL "fails"), but I think in that case
	user-space is wrong anyway, it must not do F_GETFL in parallel.

I'll try to make the patch tomorrow, but the problem is that I am not
sure this is not too ugly. At least Jonathan dislikes this approach,
and I do understand him ;)

Oleg.

--
To unsubscribe from this list: send the line "unsubscribe linux-api" in
the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

WARNING: multiple messages have this Message-ID (diff)
From: Oleg Nesterov <oleg@redhat.com>
To: Andrew Morton <akpm@linux-foundation.org>
Cc: Andi Kleen <andi@firstfloor.org>,
	hch@infradead.org, corbet@lwn.net, linux-kernel@vger.kernel.org,
	viro@ZenIV.linux.org.uk, linux-api@vger.kernel.org,
	alan@lxorguk.ukuu.org.uk
Subject: Re: [PATCH, RFC] Remove fasync() BKL usage, take 3325
Date: Wed, 28 Jan 2009 04:14:39 +0100	[thread overview]
Message-ID: <20090128031439.GA11025@redhat.com> (raw)
In-Reply-To: <20090127165504.53ed7a2d.akpm@linux-foundation.org>

On 01/27, Andrew Morton wrote:
>
> On Fri, 23 Jan 2009 05:56:46 +0100
> Andi Kleen <andi@firstfloor.org> wrote:
>
> > On Thu, Jan 22, 2009 at 03:32:49PM -0500, Christoph Hellwig wrote:
> > > On Thu, Jan 22, 2009 at 06:51:04AM -0800, Andrew Morton wrote:
> > > > OK, replacing a lock_kernel() with a spin_lock(&global_lock) is pretty
> > > > straightforwad.  But it's really really sad.  It basically leaves a great
> > > > big FIXME in there.  It'd be better to fix it.
> > >
> > >
> > > Umm, we've been discussiong this in and out a guestimated million times.
> > >
> > > Let's go forward with Jon's patch which is on obvious improvement and
> > > if it shows problems later on we can revisit it.
> >
> > The point was that we already have a better patch from Oleg.
> >
>
> Where is this patch?

I didn't send the actual patch. The idea is,

	can't we use O_LOCK_FLAGS bit? I agree, it is a bit ugly,
	and I won't insist if you don't like is.

		static inline int try_lock_f_flags(struct file *file)
		{
			return !test_and_set_bit(O_LOCK_FLAGS, file->f_flags);
		}

		static inline set_f_flags(struct file *file, unsigned int flags)
		{
			file->f_flags = flags & ~O_LOCK_FLAGS;
		}

	Now, nobody should change ->f_flags directly (except create/open
	pathes. For example, ioctl_fionbio() should be changed:

			if (try_lock_f_flags(filp)) {
				if (on)
					set_f_flags(filp, filp->f_flags | flag);
				else
					set_f_flags(filp, filp->f_flags & ~flag);
			}

	If try_lock_f_flags() fails we do nothing, as if the current owner of
	O_LOCK_FLAGS changes ->f_flags after us.

and, from another message,

	No need to disable preemption, we never spin waiting for the
	lock bit. If it is locked - somebody else updates ->f_flags,
	we can pretend it does this after us. This can confuse F_GETFL
	after F_SETFL (if F_SETFL "fails"), but I think in that case
	user-space is wrong anyway, it must not do F_GETFL in parallel.

I'll try to make the patch tomorrow, but the problem is that I am not
sure this is not too ugly. At least Jonathan dislikes this approach,
and I do understand him ;)

Oleg.


  parent reply	other threads:[~2009-01-28  3:14 UTC|newest]

Thread overview: 53+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-01-15 22:32 [PATCH, RFC] Remove fasync() BKL usage, take 3325 Jonathan Corbet
2009-01-15 22:32 ` Jonathan Corbet
     [not found] ` <20090115153211.663df310-vw3g6Xz/EtPk1uMJSBkQmQ@public.gmane.org>
2009-01-22 14:51   ` Andrew Morton
2009-01-22 14:51     ` Andrew Morton
     [not found]     ` <20090122065104.2787df2d.akpm-de/tnXTf+JLsfHDXvbKv3WD2FQJk+8+b@public.gmane.org>
2009-01-22 16:09       ` Andi Kleen
2009-01-22 16:09         ` Andi Kleen
     [not found]         ` <20090122160935.GI15750-qrUzlfsMFqo/4alezvVtWx2eb7JE58TQ@public.gmane.org>
2009-01-23  5:21           ` Jonathan Corbet
2009-01-23  5:21             ` Jonathan Corbet
2009-01-22 20:32       ` Christoph Hellwig
2009-01-22 20:32         ` Christoph Hellwig
     [not found]         ` <20090122203248.GA20159-wEGCiKHe2LqWVfeAwA7xHQ@public.gmane.org>
2009-01-23  4:56           ` Andi Kleen
2009-01-23  4:56             ` Andi Kleen
     [not found]             ` <20090123045646.GK15750-qrUzlfsMFqo/4alezvVtWx2eb7JE58TQ@public.gmane.org>
2009-01-28  0:53               ` Andrew Morton
2009-01-28  0:53                 ` Andrew Morton
2009-01-28  0:55               ` Andrew Morton
2009-01-28  0:55                 ` Andrew Morton
     [not found]                 ` <20090127165504.53ed7a2d.akpm-de/tnXTf+JLsfHDXvbKv3WD2FQJk+8+b@public.gmane.org>
2009-01-28  3:14                   ` Oleg Nesterov [this message]
2009-01-28  3:14                     ` Oleg Nesterov
     [not found]                     ` <20090128031439.GA11025-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
2009-01-28  3:57                       ` Jonathan Corbet
2009-01-28  3:57                         ` Jonathan Corbet
     [not found]                         ` <20090127205739.1384343f-vw3g6Xz/EtPk1uMJSBkQmQ@public.gmane.org>
2009-01-28  4:23                           ` Oleg Nesterov
2009-01-28  4:23                             ` Oleg Nesterov
     [not found]                             ` <20090128042337.GA15060-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
2009-01-28 14:13                               ` Jonathan Corbet
2009-01-28 14:13                                 ` Jonathan Corbet
2009-01-28 17:36                       ` Christoph Hellwig
2009-01-28 17:36                         ` Christoph Hellwig
     [not found]                         ` <20090128173618.GA3174-wEGCiKHe2LqWVfeAwA7xHQ@public.gmane.org>
2009-01-28 17:44                           ` Jonathan Corbet
2009-01-28 17:44                             ` Jonathan Corbet
     [not found]                             ` <20090128104414.09aee3f9-vw3g6Xz/EtPk1uMJSBkQmQ@public.gmane.org>
2009-01-28 17:55                               ` Christoph Hellwig
2009-01-28 17:55                                 ` Christoph Hellwig
     [not found]                                 ` <20090128175541.GA7074-wEGCiKHe2LqWVfeAwA7xHQ@public.gmane.org>
2009-01-28 18:13                                   ` Matt Mackall
2009-01-28 18:13                                     ` Matt Mackall
2009-01-28 21:05                                     ` Jonathan Corbet
2009-01-28 21:05                                       ` Jonathan Corbet
2009-01-28 18:14                           ` David Daney
2009-01-28 18:14                             ` David Daney
2009-01-29 14:37                           ` Andi Kleen
2009-01-29 14:37                             ` Andi Kleen
2009-01-23  5:15       ` Jonathan Corbet
2009-01-23  5:15         ` Jonathan Corbet
2009-01-23  5:31         ` Andrew Morton
2009-01-23  5:31           ` Andrew Morton
     [not found]           ` <20090122213105.74142908.akpm-de/tnXTf+JLsfHDXvbKv3WD2FQJk+8+b@public.gmane.org>
2009-01-23  5:45             ` Matt Mackall
2009-01-23  5:45               ` Matt Mackall
2009-01-23  6:15               ` Andi Kleen
2009-01-23  6:15                 ` Andi Kleen
2009-01-23 10:45                 ` Bernd Petrovitsch
2009-01-23  5:54             ` Andi Kleen
2009-01-23  5:54               ` Andi Kleen
     [not found]               ` <20090123055404.GL15750-qrUzlfsMFqo/4alezvVtWx2eb7JE58TQ@public.gmane.org>
2009-01-23  6:01                 ` Jonathan Corbet
2009-01-23  6:01                   ` Jonathan Corbet
2009-01-23  6:57                 ` Andrew Morton
2009-01-23  6:57                   ` Andrew Morton

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20090128031439.GA11025@redhat.com \
    --to=oleg-h+wxahxf7alqt0dzr+alfa@public.gmane.org \
    --cc=akpm-de/tnXTf+JLsfHDXvbKv3WD2FQJk+8+b@public.gmane.org \
    --cc=alan-qBU/x9rampVanCEyBjwyrvXRex20P6io@public.gmane.org \
    --cc=andi-Vw/NltI1exuRpAAqCnN02g@public.gmane.org \
    --cc=corbet-T1hC0tSOHrs@public.gmane.org \
    --cc=hch-wEGCiKHe2LqWVfeAwA7xHQ@public.gmane.org \
    --cc=linux-api-u79uwXL29TY76Z2rM5mHXA@public.gmane.org \
    --cc=linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org \
    --cc=viro-3bDd1+5oDREiFSDQTTA3OLVCufUGDwFn@public.gmane.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.