Received: by 2002:a05:6a10:f347:0:0:0:0 with SMTP id d7csp2740216pxu; Sun, 29 Nov 2020 03:33:49 -0800 (PST) X-Google-Smtp-Source: ABdhPJwxV+Z3EBmPAtz3SfkzrzoRj2sKzY0eRBVbBAIO6r7lPZloIDicM+Udt0eMhokDpag3GdgR X-Received: by 2002:aa7:d2c9:: with SMTP id k9mr11838408edr.74.1606649629596; Sun, 29 Nov 2020 03:33:49 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1606649629; cv=none; d=google.com; s=arc-20160816; b=liZB2bsngGGzIY8Nm4WRR5HMHE3NXHJdUz9hHtKI7dHU1ZmGasJxid8oE1OGInBjDd PZwWg7wY7BaoC7LrSWzurAkb6g7dzM0RttYGIGqkHqm5Qb866aWrgOQgLclIhgsF+0gm cBRxwPD5uxfiq86zul9rsfPA5CL9BjrEQf1roocGem3jhoNSnFPBTDJ/+xQu1AwFYefD /qO2j8GyWxmXQMIlYxRlPy+G0n5mi/I1IxRt0mr9OS6k/sNg8nX8LpPdvp8VNNEXWaHx CHQnyR5oRp/vcgeiPSmteGKVY8q3BlRxDAAJ1o4neKd9rl7rC4VQ7xsFVTjA/4lDvXNm FXFQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=sF8XCvJqTkyy+3B7MTwnlGdMjCa6TL1aBnFxb7P7jys=; b=Nui3hixzQB1ectIY/N2w94smtRJCobEC3t4d4Ku4GAbglAox+YyZ1z8RSkndNycMCU PB1Ap4nhM6Ej6OZjAYeYTb74r4+/s+BdEJOsgciyBfI3HHGp8qtmPKjkt5NhLhuigyDf XjO22vnmHqYv3y1TqDIxo3fi6XDYCiowZw6K5G62Rc+cLW6WA40spZ8s2tNiudvdYDcM yirI80pcPliNHE2os5SVhYgCakhp0iUOQzGpN47aUvMKuZLhqyPGACjUCema+5Drh1bq MMnDD1BmBa0rb8H2QGEu5N61LrSX+W5NRfOv6odD2+mq8g005XfF5hzZWTgE6dDU96v6 Dhbw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@natalenko.name header.s=dkim-20170712 header.b=pWeETqbI; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=natalenko.name Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id v10si8899536ejy.467.2020.11.29.03.33.26; Sun, 29 Nov 2020 03:33:49 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@natalenko.name header.s=dkim-20170712 header.b=pWeETqbI; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=natalenko.name Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727253AbgK2LaH (ORCPT + 99 others); Sun, 29 Nov 2020 06:30:07 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:53484 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725852AbgK2LaH (ORCPT ); Sun, 29 Nov 2020 06:30:07 -0500 Received: from vulcan.natalenko.name (vulcan.natalenko.name [IPv6:2001:19f0:6c00:8846:5400:ff:fe0c:dfa0]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 80CAFC0613CF; Sun, 29 Nov 2020 03:29:26 -0800 (PST) Received: from localhost (home.natalenko.name [151.237.229.131]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by vulcan.natalenko.name (Postfix) with ESMTPSA id 197798B3B96; Sun, 29 Nov 2020 12:29:23 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=natalenko.name; s=dkim-20170712; t=1606649363; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=sF8XCvJqTkyy+3B7MTwnlGdMjCa6TL1aBnFxb7P7jys=; b=pWeETqbI5g8QRDYwiq37mZkwL4JUnHA2rLrJ52YB8p5uBwt/wVaHqFaLTIC0MoO0cUWZvZ v7QjUoHaVuQXkzomeVl87agmzkzVM2xJNm2BJXMDJ+Z9MFQYxSNBRLnQACvFgUbBwqEqct h/E/TQpofgl189N0U6cY3X59Umx4l58= Date: Sun, 29 Nov 2020 12:29:22 +0100 From: Oleksandr Natalenko To: Mike Galbraith Cc: linux-kernel@vger.kernel.org, linux-mm@kvack.org, Andrew Morton , Sebastian Andrzej Siewior , Steven Rostedt , Thomas Gleixner , linux-rt-users@vger.kernel.org Subject: Re: scheduling while atomic in z3fold Message-ID: <20201129112922.db53kmtpu76xxukj@spock.localdomain> References: <20201128140523.ovmqon5fjetvpby4@spock.localdomain> <20201128140924.iyqr2h52z2olt6zb@spock.localdomain> <20201128142723.zik6d5skvt3uwu5f@spock.localdomain> <15171df044b167351e7f6a688aabd71bade9ae2a.camel@gmx.de> <79ee43026efe5aaa560953ea8fe29a826ac4e855.camel@gmx.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sun, Nov 29, 2020 at 11:56:55AM +0100, Mike Galbraith wrote: > On Sun, 2020-11-29 at 10:21 +0100, Mike Galbraith wrote: > > On Sun, 2020-11-29 at 08:48 +0100, Mike Galbraith wrote: > > > On Sun, 2020-11-29 at 07:41 +0100, Mike Galbraith wrote: > > > > On Sat, 2020-11-28 at 15:27 +0100, Oleksandr Natalenko wrote: > > > > > > > > > > > > Shouldn't the list manipulation be protected with > > > > > > > local_lock+this_cpu_ptr instead of get_cpu_ptr+spin_lock? > > > > > > > > > > Totally untested: > > > > > > > > Hrm, the thing doesn't seem to care deeply about preemption being > > > > disabled, so adding another lock may be overkill. It looks like you > > > > could get the job done via migrate_disable()+this_cpu_ptr(). > > > > > > There is however an ever so tiny chance that I'm wrong about that :) > > > > Or not, your local_lock+this_cpu_ptr version exploded too. > > > > Perhaps there's a bit of non-rt related racy racy going on in zswap > > thingy that makes swap an even less wonderful idea for RT than usual. > > Raciness seems to be restricted to pool compressor. "zbud" seems to be > solid, virgin "zsmalloc" explodes, as does "z3fold" regardless which of > us puts his grubby fingerprints on it. > > Exploding compressors survived zero runs of runltp -f mm, I declared > zbud to be at least kinda sorta stable after box survived five runs. Ummm so do compressors explode under non-rt kernel in your tests as well, or it is just -rt that triggers this? I've never seen that on both -rt and non-rt, thus asking. -- Oleksandr Natalenko (post-factum)