From: Hugh Dickins <hugh.dickins@tiscali.co.uk>
To: Minchan Kim <minchan.kim@gmail.com>
Cc: linux-mm <linux-mm@kvack.org>,
Christoph Lameter <cl@linux-foundation.org>,
Peter Zijlstra <peterz@infradead.org>,
KAMEZAWA Hiroyuki <kamezawa.hiroyu@jp.fujitsu.com>
Subject: Re: Question about pte_offset_map_lock
Date: Thu, 17 Dec 2009 09:54:10 +0000 (GMT) [thread overview]
Message-ID: <Pine.LNX.4.64.0912170937450.3176@sister.anvils> (raw)
In-Reply-To: <20091217114630.d353907a.minchan.kim@barrios-desktop>
On Thu, 17 Dec 2009, Minchan Kim wrote:
> It may be a dumb question.
>
> As I read the code of pte_lock, I have a question.
> Now, there is pte_offset_map_lock following as.
>
> #define pte_offset_map_lock(mm, pmd, address, ptlp) \
> ({ \
> spinlock_t *__ptl = pte_lockptr(mm, pmd); \
> pte_t *__pte = pte_offset_map(pmd, address); \
> *(ptlp) = __ptl; \
> spin_lock(__ptl); \
> __pte; \
> })
>
> Why do we grab the lock after getting __pte?
> Is it possible that __pte might be changed before we grab the spin_lock?
>
> Some codes in mm checks original pte by pte_same.
> There are not-checked cases in proc. As looking over the cases,
> It seems no problem. But in future, new user of pte_offset_map_lock
> could mistake with that?
I think you wouldn't be asking the question if we'd called it __ptep.
It's a (perhaps kmap_atomic) pointer into the page table: the virtual
address of a page table entry, not the page table entry itself.
You're right that the entry itself could change before we get the lock,
and pte_same() is what we use to check that an entry is still what we
were expecting; but the containing page table will remain the same,
until munmap() or exit_mmap() at least.
(For completeness, I ought to add that the entry might even change
while we have the lock: accessed and dirty bits could get set by a
racing thread in userspace. There are places where we have to be
very careful about not missing a dirty bit, but missing an accessed
bit on rare occasions doesn't matter.)
Hugh
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
next prev parent reply other threads:[~2009-12-17 9:54 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-12-17 2:46 Minchan Kim
2009-12-17 8:01 ` Peter Zijlstra
2009-12-17 14:49 ` Minchan Kim
2009-12-17 9:54 ` Hugh Dickins [this message]
2009-12-17 15:02 ` Minchan Kim
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=Pine.LNX.4.64.0912170937450.3176@sister.anvils \
--to=hugh.dickins@tiscali.co.uk \
--cc=cl@linux-foundation.org \
--cc=kamezawa.hiroyu@jp.fujitsu.com \
--cc=linux-mm@kvack.org \
--cc=minchan.kim@gmail.com \
--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