public inbox for linux-arch@vger.kernel.org
 help / color / mirror / Atom feed
From: Linus Torvalds <torvalds@linux-foundation.org>
To: Andi Kleen <andi@firstfloor.org>
Cc: Peter Zijlstra <peterz@infradead.org>,
	Ingo Molnar <mingo@elte.hu>,
	Andrew Morton <akpm@linux-foundation.org>,
	"hugh.dickins" <hugh.dickins@tiscali.co.uk>,
	David Howells <dhowells@redhat.com>,
	lkml <linux-kernel@vger.kernel.org>,
	linux-arch <linux-arch@vger.kernel.org>
Subject: Re: [RFC][PATCH] kmap_atomic_push
Date: Mon, 12 Oct 2009 11:30:07 -0700 (PDT)	[thread overview]
Message-ID: <alpine.LFD.2.01.0910121124590.3438@localhost.localdomain> (raw)
In-Reply-To: <87ws30fppe.fsf@basil.nowhere.org>



On Mon, 12 Oct 2009, Andi Kleen wrote:

> Peter Zijlstra <peterz@infradead.org> writes:
> > -
> > -static inline void debug_kmap_atomic(enum km_type type)
> > +static inline int kmap_atomic_push_idx(void)
> >  {
> > +	int idx = __get_cpu_var(__kmap_atomic_depth)++;
> 
> The counter needs to be of local atomic type. Otherwise kmap_atomic cannot
> be done from interrupts/nmis, which is unfortunately occasionally needed.

I thought so too on lookin gat it initially, but it's not actually true.

It's both IRQ and NMI safe as-is, for a very simple reason: any interrupts 
that happen will always undo whatever changes they did. So even with a 
totally non-atomic "load + increment + store" model, it really doesn't 
matter if you get an interrupt or an NMI anywhere in the sequence, because 
by the time the interrupt returns, it will have undone any changes it did.

So as long as it's per-cpu (which it is) and non-preemptible (which it 
also is, thanks to kmap_atomic() doing the whole "disable_mm_fault()" 
thing or whatever), it's all fine.

Btw, this is not some new thing. It's exactly the same logic we rely on 
for other counts like the preempt-count etc.

			Linus

  parent reply	other threads:[~2009-10-12 18:32 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-10-08 15:35 [RFC][PATCH] kmap_atomic_push Peter Zijlstra
2009-10-08 15:44 ` Linus Torvalds
2009-10-08 15:53 ` Ingo Molnar
2009-10-08 15:53   ` Ingo Molnar
2009-10-08 16:29   ` Peter Zijlstra
2009-10-08 16:29     ` Peter Zijlstra
2009-10-08 16:50     ` Linus Torvalds
2009-10-08 18:02       ` Hugh Dickins
2009-10-08 22:27         ` jim owens
2009-10-08 22:32           ` Peter Zijlstra
2009-10-08 22:57           ` Peter Zijlstra
2009-10-08 22:57             ` Peter Zijlstra
2009-10-09 12:15             ` jim owens
2009-10-09 12:15               ` jim owens
2009-10-08 22:12 ` David Howells
2009-10-08 22:12   ` David Howells
2009-10-08 22:29   ` Peter Zijlstra
2009-10-08 22:58     ` David Howells
2009-10-08 22:42 ` Peter Zijlstra
2009-10-12 18:10 ` Andi Kleen
2009-10-12 18:10   ` Andi Kleen
2009-10-12 18:30   ` Linus Torvalds [this message]
2009-10-12 18:40     ` Andi Kleen
2009-10-12 18:40       ` Andi Kleen

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=alpine.LFD.2.01.0910121124590.3438@localhost.localdomain \
    --to=torvalds@linux-foundation.org \
    --cc=akpm@linux-foundation.org \
    --cc=andi@firstfloor.org \
    --cc=dhowells@redhat.com \
    --cc=hugh.dickins@tiscali.co.uk \
    --cc=linux-arch@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mingo@elte.hu \
    --cc=peterz@infradead.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox