| From: |
| Kees Cook <keescook-AT-chromium.org> |
| To: |
| Peter Zijlstra <peterz-AT-infradead.org> |
| Subject: |
| Re: [RFC v4 PATCH 12/13] x86: implementation for HARDENED_ATOMIC |
| Date: |
| Fri, 11 Nov 2016 10:00:27 -0800 |
| Message-ID: |
| <CAGXu5j++ZZDmgYqzvx104Bs2iQK+7V_Xn2VgTR7eoCwS2JR0tw@mail.gmail.com> |
| Cc: |
| Elena Reshetova <elena.reshetova-AT-intel.com>, "kernel-hardening-AT-lists.openwall.com" <kernel-hardening-AT-lists.openwall.com>, Arnd Bergmann <arnd-AT-arndb.de>, Thomas Gleixner <tglx-AT-linutronix.de>, Ingo Molnar <mingo-AT-redhat.com>, "H. Peter Anvin" <h.peter.anvin-AT-intel.com>, Will Deacon <will.deacon-AT-arm.com>, Hans Liljestrand <ishkamiel-AT-gmail.com>, David Windsor <dwindsor-AT-gmail.com> |
On Thu, Nov 10, 2016 at 3:30 PM, Peter Zijlstra <peterz@infradead.org> wrote:
> On Thu, Nov 10, 2016 at 03:07:37PM -0800, Kees Cook wrote:
>> , but basically this
>> is a race in the overflow protection, so it's not operationally a
>> problem. The process that caused the overflow still gets killed, and
>> if the system isn't already set up to panic on oops, this becomes a
>> resource leak instead of an exploitable condition.
>
> Now is this harmless? If you have two increments racing like:
Adding some annotation for values and the BUG:
>
INT_MAX
> inc
INT_MIN
> jno 1 // overflow
>
> inc
INT_MIN+1
> jno 1 // !overflow
>
> dec
INT_MIN
> 1: 1:
BUG
>
> The second thread will still affect your wrap and not BUG.
Agreed: the first thread will BUG and the second thread is still halfway to 0.
On systems that panic on BUG, things are protected. For the rest of
the systems, an alternative to "dec" on overflow is to sub (more than)
NR_CPUS, to keep the saturation below the overflow level. This means
that it is still detected (BUG) by at least 1 thread, and cannot reach
0 (to trigger the flaw) on all other threads, even if they all lose
the race.
Some further details on examining the race is here:
https://bugs.chromium.org/p/project-zero/issues/detail?id...
To me, this seems better than taking the cmpxchg performance hit.
-Kees
--
Kees Cook
Nexus Security
