Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754920AbdDDPqL (ORCPT ); Tue, 4 Apr 2017 11:46:11 -0400 Received: from mail-io0-f180.google.com ([209.85.223.180]:34143 "EHLO mail-io0-f180.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1754903AbdDDPqJ (ORCPT ); Tue, 4 Apr 2017 11:46:09 -0400 MIME-Version: 1.0 In-Reply-To: <20170404151600.GN15132@dhcp22.suse.cz> References: <20170331164028.GA118828@beast> <20170404113022.GC15490@dhcp22.suse.cz> <20170404151600.GN15132@dhcp22.suse.cz> From: Kees Cook Date: Tue, 4 Apr 2017 08:46:02 -0700 X-Google-Sender-Auth: 6czr_pvZvcer_i93wtb-7EMDvjU Message-ID: Subject: Re: [PATCH] mm: Add additional consistency check To: Michal Hocko Cc: Christoph Lameter , Andrew Morton , Pekka Enberg , David Rientjes , Joonsoo Kim , Linux-MM , LKML Content-Type: text/plain; charset=UTF-8 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1384 Lines: 37 On Tue, Apr 4, 2017 at 8:16 AM, Michal Hocko wrote: > On Tue 04-04-17 10:07:23, Cristopher Lameter wrote: >> On Tue, 4 Apr 2017, Michal Hocko wrote: >> >> > NAK without a proper changelog. Seriously, we do not blindly apply >> > changes from other projects without a deep understanding of all >> > consequences. >> >> Functionalitywise this is trivial. A page must be a slab page in order to >> be able to determine the slab cache of an object. Its definitely not ok if >> the page is not a slab page. > > Yes, but we do not have to blow the kernel, right? Why cannot we simply > leak that memory? I can put this behind CHECK_DATA_CORRUPTION() instead of BUG(), which allows the system builder to choose between WARN and BUG. Some people absolutely want the kernel to BUG on data corruption as it could be an attack. >> The main issue that may exist here is the adding of overhead to a critical >> code path like kfree(). > > Yes, nothing is for free. But if the attack space is real then we > probably want to sacrifice few cycles (to simply return ASAP without > further further processing). This all should be in the changelog ideally > with some numbers. I suspect this would be hard to measure in most > workloads. Given the trivial nature of the check, yeah, it seemed impossible to actually show performance changes. -Kees -- Kees Cook Pixel Security