From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_PASS autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 91620C43381 for ; Wed, 20 Mar 2019 13:34:08 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 6BE88213F2 for ; Wed, 20 Mar 2019 13:34:08 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727679AbfCTNeH (ORCPT ); Wed, 20 Mar 2019 09:34:07 -0400 Received: from relay.sw.ru ([185.231.240.75]:59890 "EHLO relay.sw.ru" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726065AbfCTNeG (ORCPT ); Wed, 20 Mar 2019 09:34:06 -0400 Received: from [172.16.25.12] by relay.sw.ru with esmtp (Exim 4.91) (envelope-from ) id 1h6bLg-0000UM-PB; Wed, 20 Mar 2019 16:33:40 +0300 Subject: Re: kernel panic: corrupted stack end in wb_workfn To: Dmitry Vyukov , Tetsuo Handa Cc: syzbot , Andrew Morton , Qian Cai , David Miller , guro@fb.com, Johannes Weiner , Josef Bacik , Kirill Tkhai , LKML , Linux-MM , linux-sctp@vger.kernel.org, Mel Gorman , Michal Hocko , netdev , Neil Horman , Shakeel Butt , syzkaller-bugs , Al Viro , Vladislav Yasevich , Matthew Wilcox , Xin Long References: <000000000000db3d130584506672@google.com> <426293c3-bf63-88ad-06fb-83927ab0d7c0@I-love.SAKURA.ne.jp> From: Andrey Ryabinin Message-ID: <315c8ff3-fd03-f2ca-c546-ca7dc5c14669@virtuozzo.com> Date: Wed, 20 Mar 2019 16:34:11 +0300 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.3 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 3/20/19 1:38 PM, Dmitry Vyukov wrote: > On Wed, Mar 20, 2019 at 11:24 AM Tetsuo Handa > wrote: >> >> On 2019/03/20 18:59, Dmitry Vyukov wrote: >>>> From bisection log: >>>> >>>> testing release v4.17 >>>> testing commit 29dcea88779c856c7dc92040a0c01233263101d4 with gcc (GCC) 8.1.0 >>>> run #0: crashed: kernel panic: corrupted stack end in wb_workfn >>>> run #1: crashed: kernel panic: corrupted stack end in worker_thread >>>> run #2: crashed: kernel panic: Out of memory and no killable processes... >>>> run #3: crashed: kernel panic: corrupted stack end in wb_workfn >>>> run #4: crashed: kernel panic: corrupted stack end in wb_workfn >>>> run #5: crashed: kernel panic: corrupted stack end in wb_workfn >>>> run #6: crashed: kernel panic: corrupted stack end in wb_workfn >>>> run #7: crashed: kernel panic: corrupted stack end in wb_workfn >>>> run #8: crashed: kernel panic: Out of memory and no killable processes... >>>> run #9: crashed: kernel panic: corrupted stack end in wb_workfn >>>> testing release v4.16 >>>> testing commit 0adb32858b0bddf4ada5f364a84ed60b196dbcda with gcc (GCC) 8.1.0 >>>> run #0: OK >>>> run #1: OK >>>> run #2: OK >>>> run #3: OK >>>> run #4: OK >>>> run #5: crashed: kernel panic: Out of memory and no killable processes... >>>> run #6: OK >>>> run #7: crashed: kernel panic: Out of memory and no killable processes... >>>> run #8: OK >>>> run #9: OK >>>> testing release v4.15 >>>> testing commit d8a5b80568a9cb66810e75b182018e9edb68e8ff with gcc (GCC) 8.1.0 >>>> all runs: OK >>>> # git bisect start v4.16 v4.15 >>>> >>>> Why bisect started between 4.16 4.15 instead of 4.17 4.16? >>> >>> Because 4.16 was still crashing and 4.15 was not crashing. 4.15..4.16 >>> looks like the right range, no? >> >> No, syzbot should bisect between 4.16 and 4.17 regarding this bug, for >> "Stack corruption" can't manifest as "Out of memory and no killable processes". >> >> "kernel panic: Out of memory and no killable processes..." is completely >> unrelated to "kernel panic: corrupted stack end in wb_workfn". > > > Do you think this predicate is possible to code? Something like bellow probably would work better than current behavior. For starters, is_duplicates() might just compare 'crash' title with 'target_crash' title and its duplicates titles. syzbot has some knowledge about duplicates with different crash titles when people use "syz dup" command. Also it might be worth to experiment with using neural networks to identify duplicates. target_crash = 'kernel panic: corrupted stack end in wb_workfn' test commit: bad = false; skip = true; foreach run: run_started, crashed, crash := run_repro(); //kernel built, booted, reproducer launched successfully if (run_started) skip = false; if (crashed && is_duplicates(crash, target_crash)) bad = true; if (skip) git bisect skip; else if (bad) git bisect bad; else git bisect good;