[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <87efmon17a.fsf@linutronix.de>
Date: Wed, 17 Jan 2018 13:01:45 +0100
From: John Ogness <john.ogness@...utronix.de>
To: Alexey Dobriyan <adobriyan@...il.com>
Cc: akpm@...ux-foundation.org, linux-kernel@...r.kernel.org,
gkohli@...eaurora.org, linux-arm-msm@...r.kernel.org,
Andy Lutomirski <luto@...nel.org>,
Thomas Gleixner <tglx@...utronix.de>
Subject: Re: [PATCH] proc: fix coredump vs read /proc/*/stat race
Hi Alexey,
On 2018-01-16, Alexey Dobriyan <adobriyan@...il.com> wrote:
> do_task_stat() accesses IP and SP of a task without bumping reference
> count of a stack (which became an entity with independent lifetime at
> some point).
>
> Steps to reproduce:
>
> #include <stdio.h>
> #include <sys/types.h>
> #include <sys/stat.h>
> #include <fcntl.h>
> #include <sys/time.h>
> #include <sys/resource.h>
> #include <unistd.h>
> #include <sys/wait.h>
>
> int main(void)
> {
> setrlimit(RLIMIT_CORE, &(struct rlimit){});
>
> while (1) {
> char buf[64];
> char buf2[4096];
> pid_t pid;
> int fd;
>
> pid = fork();
> if (pid == 0) {
> *(volatile int *)0 = 0;
> }
>
> snprintf(buf, sizeof(buf), "/proc/%u/stat", pid);
> fd = open(buf, O_RDONLY);
> read(fd, buf2, sizeof(buf2));
> close(fd);
>
> waitpid(pid, NULL, 0);
> }
> return 0;
> }
Using the test code I was able to reproduce the problem and verify the
patch on x86_64.
> BUG: unable to handle kernel paging request at 0000000000003fd8
> IP: do_task_stat+0x8b4/0xaf0
> PGD 800000003d73e067 P4D 800000003d73e067 PUD 3d558067 PMD 0
> Oops: 0000 [#1] PREEMPT SMP PTI
> CPU: 0 PID: 1417 Comm: a.out Not tainted 4.15.0-rc8-dirty #2
> Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS 1.10.2-1.fc27 04/01/2014
> RIP: 0010:do_task_stat+0x8b4/0xaf0
> RSP: 0018:ffffc90000607cc8 EFLAGS: 00010202
> RAX: 0000000000000000 RBX: ffff88003e0e6680 RCX: ffff88003d6bd500
> RDX: 0000000000000001 RSI: 000000000000000d RDI: ffff88003c1f8000
> RBP: ffff88003c1f8000 R08: 0000000000000001 R09: 0000000000001000
> R10: 00007f4d79555460 R11: ffff88003c325800 R12: ffff88003d7643c0
> R13: ffffffff81a28f80 R14: 0000000000000001 R15: 0000000000000001
> FS: 00007f4d79772700(0000) GS:ffff88003fc00000(0000) knlGS:0000000000000000
> CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> CR2: 0000000000003fd8 CR3: 000000003d9c0000 CR4: 00000000000006b0
> DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
> DR3: 0000000000000000 DR6: 00000000fffe0ff0 DR7: 0000000000000400
> Call Trace:
> ? flush_tlb_mm_range+0x8b/0x100
> proc_single_show+0x43/0x70
> seq_read+0xe6/0x3b0
> __vfs_read+0x1e/0x120
> ? __check_object_size+0xa4/0x180
> vfs_read+0x84/0x110
> SyS_read+0x3d/0xa0
> entry_SYSCALL_64_fastpath+0x13/0x6c
> RIP: 0033:0x7f4d7928cba0
> RSP: 002b:00007ffddb245158 EFLAGS: 00000246
> Code: 03 b7 a0 01 00 00 4c 8b 4c 24 70 4c 8b 44 24 78 4c 89 74 24 18 e9 91 f9 ff ff f6 45 4d 02 0f 84 fd f7 ff ff 48 8b 45 40 48 89 ef <48> 8b 80 d8 3f 00 00 48 89 44 24 20 e8 9b 97 eb ff 48 89 44 24
> RIP: do_task_stat+0x8b4/0xaf0 RSP: ffffc90000607cc8
> CR2: 0000000000003fd8
>
> Reported-by: "Kohli, Gaurav" <gkohli@...eaurora.org>
> Signed-off-by: Alexey Dobriyan <adobriyan@...il.com>
Tested-by: John Ogness <john.ogness@...utronix.de>
> ---
>
> fs/proc/array.c | 7 +++++--
> 1 file changed, 5 insertions(+), 2 deletions(-)
>
> --- a/fs/proc/array.c
> +++ b/fs/proc/array.c
> @@ -430,8 +430,11 @@ static int do_task_stat(struct seq_file *m, struct pid_namespace *ns,
> * safe because the task has stopped executing permanently.
> */
> if (permitted && (task->flags & PF_DUMPCORE)) {
> - eip = KSTK_EIP(task);
> - esp = KSTK_ESP(task);
> + if (try_get_task_stack(task)) {
> + eip = KSTK_EIP(task);
> + esp = KSTK_ESP(task);
> + put_task_stack(task);
> + }
For my tests I added an else case to verify that the race is hit and
correctly mitigated.
> }
> }
John Ogness
Powered by blists - more mailing lists