From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752733AbdLFOeS (ORCPT ); Wed, 6 Dec 2017 09:34:18 -0500 Received: from mail-pl0-f48.google.com ([209.85.160.48]:38960 "EHLO mail-pl0-f48.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752511AbdLFOeO (ORCPT ); Wed, 6 Dec 2017 09:34:14 -0500 X-Google-Smtp-Source: AGs4zMb+cvJo2IFV0kGj7NrZFH4/iOYiz/7raonjsYZYJDcVfG3BsW2Hsrx6kGHzaAxzo2xy4+0p+w== Date: Wed, 6 Dec 2017 23:31:30 +0900 From: Namhyung Kim To: Peter Zijlstra Cc: Arnaldo Carvalho de Melo , Fengguang Wu , linux-kernel@vger.kernel.org, Wang Nan , Ingo Molnar , Alexander Shishkin , Jiri Olsa , Linus Torvalds , Will Deacon , lkp@01.org, Dmitry Vyukov , kasan-dev@googlegroups.com, kernel-team@lge.com Subject: Re: BUG: KASAN: slab-out-of-bounds in perf_callchain_user+0x494/0x530 Message-ID: <20171206143130.GA3367@danjae.aot.lge.com> References: <20171130023218.g2y35nn4zyufqk6t@wfg-t540p.sh.intel.com> <20171130082026.ih7esfpn4wfsfoge@hirez.programming.kicks-ass.net> <20171130193712.GU3298@kernel.org> <20171205081156.GB16663@sejong> <20171205133740.GA28405@kernel.org> <20171205144718.GA27916@danjae.aot.lge.com> <20171206134706.ahlr6ygnhtu2ik4s@hirez.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <20171206134706.ahlr6ygnhtu2ik4s@hirez.programming.kicks-ass.net> User-Agent: Mutt/1.9.1 (2017-09-22) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi Peter, On Wed, Dec 06, 2017 at 02:47:06PM +0100, Peter Zijlstra wrote: > On Tue, Dec 05, 2017 at 11:47:18PM +0900, Namhyung Kim wrote: > > Sure, I mean the following code: > > > > mutex_lock(&callchain_mutex); > > > > count = atomic_inc_return(&nr_callchain_events); > > if (WARN_ON_ONCE(count < 1)) { > > err = -EINVAL; > > goto exit; > > } > > > > if (count > 1) { > > /* If the allocation failed, give up */ > > if (!callchain_cpus_entries) > > err = -ENOMEM; > > > > goto exit; > > } > > > > err = alloc_callchain_buffers(); > > exit: > > if (err) > > atomic_dec(&nr_callchain_events); > > > > mutex_unlock(&callchain_mutex); > > > > > > The callchain_cpus_entries is allocated in alloc_callchain_buffers() > > only when the count is 1. But if it failed to allocate, it decrease > > the count so next event would try to allocate it again. Thus it seems > > not possible to see the callchain_cpus_entries being NULL in the > > 'if (count > 1)' block. If you want to make next event give up, it'd > > need to take an additional count IMHO. > > There's also a race against put_callchain_buffers() there, consider: > > > get_callchain_buffers() put_callchain_buffers() > mutex_lock(); > inc() > dec_and_test() // false > > dec() // 0 > > > And the buffers leak. Hmm.. did you mean that get_callchain_buffers() returns an error? AFAICS it cannot fail when it sees count > 1 (and callchain_cpus_ entries is allocated). So I think it won't decrease the count and should be fine. Thanks, Namhyung