[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAKCAbMjYBpTjwyMJkkENps09o4KFoQAb_KOKp4g0BtWUXjYAzQ@mail.gmail.com>
Date: Wed, 6 Nov 2019 09:00:51 -0500
From: Zack Weinberg <zackw@...ix.com>
To: Thomas Gleixner <tglx@...utronix.de>
Cc: "Carlos O'Donell" <carlos@...hat.com>,
Florian Weimer <fweimer@...hat.com>,
Shawn Landden <shawn@....icu>,
GNU C Library <libc-alpha@...rceware.org>,
linux-api@...r.kernel.org, LKML <linux-kernel@...r.kernel.org>,
Arnd Bergmann <arnd@...db.de>,
Deepa Dinamani <deepa.kernel@...il.com>,
Oleg Nesterov <oleg@...hat.com>,
Andrew Morton <akpm@...ux-foundation.org>,
Catalin Marinas <catalin.marinas@....com>,
Keith Packard <keithp@...thp.com>,
Peter Zijlstra <peterz@...radead.org>
Subject: Re: [RFC v2 PATCH] futex: extend set_robust_list to allow 2 locking
ABIs at the same time.
On Tue, Nov 5, 2019 at 9:28 AM Thomas Gleixner <tglx@...utronix.de> wrote:
>
> The real issue is that the robust list could be circular by incident or
> malice and there is no way for the kernel to figure that out. That would
> prevent the task from exiting and make it iterate over the list until
> doomsday, i.e. a nice unpriviledged DoS.
Why can't the kernel use the standard tortoise-and-hare algorithm for
detecting circular linked lists here?
zw
Powered by blists - more mailing lists