linux-man.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Nick Piggin <npiggin-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
To: Jeff Moyer <jmoyer-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
Cc: KOSAKI Motohiro
	<kosaki.motohiro-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>,
	Jan Kara <jack-AlSwsSmVLrQ@public.gmane.org>,
	Michael Kerrisk
	<mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>,
	LKML <linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org>,
	linux-man-u79uwXL29TY76Z2rM5mHXA@public.gmane.org,
	linux-mm-Bw31MaZKKs3YtjvyW6yDsg@public.gmane.org,
	mgorman-l3A5Bk7waGM@public.gmane.org,
	Andrea Arcangeli
	<aarcange-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>,
	Woodman <lwoodman-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org>
Subject: Re: [PATCH] Describe race of direct read and fork for unaligned buffers
Date: Wed, 2 May 2012 01:50:46 +1000	[thread overview]
Message-ID: <CAPa8GCCgLUt1EDAy7-O-mo0qir6Bf5Pi3Va1EsQ3ZW5UU=+37g@mail.gmail.com> (raw)
In-Reply-To: <x491un3nc7a.fsf-RRHT56Q3PSP4kTEheFKJxxDDeQx5vsVwAInAS/Ez/D0@public.gmane.org>

On 2 May 2012 01:38, Jeff Moyer <jmoyer-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org> wrote:
> KOSAKI Motohiro <kosaki.motohiro-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> writes:
>
>> On Tue, May 1, 2012 at 11:11 AM, Jeff Moyer <jmoyer-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org> wrote:
>>> KOSAKI Motohiro <kosaki.motohiro-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> writes:
>>>
>>>>> Hello,
>>>>>
>>>>> Thank you revisit this. But as far as my remember is correct, this issue is NOT
>>>>> unaligned access issue. It's just get_user_pages(_fast) vs fork race issue. i.e.
>>>>> DIRECT_IO w/ multi thread process should not use fork().
>>>>
>>>> The problem is, fork (and its COW logic) assume new access makes cow break,
>>>> But page table protection can't detect a DMA write. Therefore DIO may override
>>>> shared page data.
>>>
>>> Hm, I've only seen this with misaligned or multiple sub-page-sized reads
>>> in the same page.  AFAIR, aligned, page-sized I/O does not get split.
>>> But, I could be wrong...
>>
>> If my remember is correct, the reproducer of past thread is misleading.
>>
>> dma_thread.c in
>> http://lkml.indiana.edu/hypermail/linux/kernel/0903.1/01498.html has
>> align parameter. But it doesn't only change align. Because of, every
>> worker thread read 4K (pagesize), then
>>  - when offset is page aligned
>>     -> every page is accessed from only one worker
>>  - when offset is not page aligned
>>     -> every page is accessed from two workers
>>
>> But I don't remember why two threads are important things. hmm.. I'm
>> looking into the code a while.
>> Please don't 100% trust me.
>
> I bet Andrea or Larry would remember the details.

KOSAKI-san is correct, I think.

The race is something like this:

DIO-read
    page = get_user_pages()
                                                        fork()
                                                            COW(page)
                                                         touch(page)
    DMA(page)
    page_cache_release(page);

So whether parent or child touches the page, determines who gets the
actual DMA target, and who gets the copy.

2 threads are not required, but it makes the race easier to code and a
larger window, I suspect.

It can also be hit with a single thread, using AIO.
--
To unsubscribe from this list: send the line "unsubscribe linux-man" in
the body of a message to majordomo-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

  parent reply	other threads:[~2012-05-01 15:50 UTC|newest]

Thread overview: 31+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-04-30  9:30 [PATCH] Describe race of direct read and fork for unaligned buffers Jan Kara
2012-04-30 13:41 ` Jeff Moyer
     [not found] ` <1335778207-6511-1-git-send-email-jack-AlSwsSmVLrQ@public.gmane.org>
2012-04-30 14:30   ` Mel Gorman
2012-05-01  5:50 ` Michael Kerrisk (man-pages)
2012-05-01  6:49 ` Nick Piggin
2012-05-01 14:31 ` KOSAKI Motohiro
     [not found]   ` <CAHGf_=qdE3yNw=htuRssfav2pECO1Q0+gWMRTuNROd_3tVrd6Q-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2012-05-01 14:37     ` KOSAKI Motohiro
2012-05-01 15:11       ` Jeff Moyer
     [not found]         ` <x49ehr4lyw1.fsf-RRHT56Q3PSP4kTEheFKJxxDDeQx5vsVwAInAS/Ez/D0@public.gmane.org>
2012-05-01 15:34           ` KOSAKI Motohiro
2012-05-01 15:38             ` Jeff Moyer
     [not found]               ` <x491un3nc7a.fsf-RRHT56Q3PSP4kTEheFKJxxDDeQx5vsVwAInAS/Ez/D0@public.gmane.org>
2012-05-01 15:50                 ` Nick Piggin [this message]
2012-05-01 23:51                   ` Andrea Arcangeli
     [not found]                   ` <CAPa8GCCgLUt1EDAy7-O-mo0qir6Bf5Pi3Va1EsQ3ZW5UU=+37g-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2012-05-02  8:17                     ` Jan Kara
     [not found]                       ` <20120502081705.GB16976-+0h/O2h83AeN3ZZ/Hiejyg@public.gmane.org>
2012-05-02  9:09                         ` Nick Piggin
2012-05-02  9:18                           ` Jan Kara
     [not found]                             ` <20120502091837.GC16976-+0h/O2h83AeN3ZZ/Hiejyg@public.gmane.org>
2012-05-02 19:14                               ` KOSAKI Motohiro
2012-05-02 19:23                                 ` Jan Kara
     [not found]                                   ` <20120502192325.GA18339-+0h/O2h83AeN3ZZ/Hiejyg@public.gmane.org>
2012-05-02 19:25                                     ` KOSAKI Motohiro
     [not found]                                       ` <CAHGf_=oOx1qPFEboQeuaeMKtveM2==BSDG=xdfRHz+gFx1GAfw-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2012-05-05 11:28                                         ` Michael Kerrisk (man-pages)
2012-05-05 15:29                                           ` KOSAKI Motohiro
2012-05-08 23:10                                             ` Nick Piggin
2012-05-09  5:35                                               ` Michael Kerrisk (man-pages)
2012-05-09  7:01                                                 ` Nick Piggin
2012-05-09  7:18                                                   ` Michael Kerrisk (man-pages)
2012-05-10 15:00                                                     ` Jan Kara
2012-05-01 16:15 ` KOSAKI Motohiro
2012-05-01 17:56   ` Michael Kerrisk (man-pages)
2012-05-02  0:34     ` Nick Piggin
2012-05-02  3:04       ` Hugh Dickins
     [not found]         ` <alpine.LSU.2.00.1205011952040.1293-fupSdm12i1nKWymIFiNcPA@public.gmane.org>
2012-05-02  3:10           ` Nick Piggin
2012-05-02  9:20           ` Jan Kara

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='CAPa8GCCgLUt1EDAy7-O-mo0qir6Bf5Pi3Va1EsQ3ZW5UU=+37g@mail.gmail.com' \
    --to=npiggin-re5jqeeqqe8avxtiumwx3w@public.gmane.org \
    --cc=aarcange-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org \
    --cc=jack-AlSwsSmVLrQ@public.gmane.org \
    --cc=jmoyer-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org \
    --cc=kosaki.motohiro-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org \
    --cc=linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org \
    --cc=linux-man-u79uwXL29TY76Z2rM5mHXA@public.gmane.org \
    --cc=linux-mm-Bw31MaZKKs3YtjvyW6yDsg@public.gmane.org \
    --cc=lwoodman-H+wXaHxf7aLQT0dZR+AlfA@public.gmane.org \
    --cc=mgorman-l3A5Bk7waGM@public.gmane.org \
    --cc=mtk.manpages-Re5JQEeQqe8AvxtiuMwx3w@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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).