From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752370AbcDSHuW (ORCPT ); Tue, 19 Apr 2016 03:50:22 -0400 Received: from LGEAMRELO12.lge.com ([156.147.23.52]:33290 "EHLO lgeamrelo12.lge.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751442AbcDSHuU (ORCPT ); Tue, 19 Apr 2016 03:50:20 -0400 X-Original-SENDERIP: 156.147.1.127 X-Original-MAILFROM: minchan@kernel.org X-Original-SENDERIP: 165.244.98.76 X-Original-MAILFROM: minchan@kernel.org X-Original-SENDERIP: 10.177.223.161 X-Original-MAILFROM: minchan@kernel.org Date: Tue, 19 Apr 2016 16:51:18 +0900 From: Minchan Kim To: Sergey Senozhatsky CC: Andrew Morton , , , , , Vlastimil Babka , Joonsoo Kim , , , , Mel Gorman , Hugh Dickins , Sergey Senozhatsky , Rik van Riel , , Gioh Kim , Sangseok Lee , Chan Gyun Jeong , Al Viro , YiPing Xu Subject: Re: [PATCH v3 11/16] zsmalloc: separate free_zspage from putback_zspage Message-ID: <20160419075118.GD18448@bbox> References: <1459321935-3655-1-git-send-email-minchan@kernel.org> <1459321935-3655-12-git-send-email-minchan@kernel.org> <20160418010408.GB5882@swordfish> MIME-Version: 1.0 In-Reply-To: <20160418010408.GB5882@swordfish> User-Agent: Mutt/1.5.21 (2010-09-15) X-MIMETrack: Itemize by SMTP Server on LGEKRMHUB08/LGE/LG Group(Release 8.5.3FP6|November 21, 2013) at 2016/04/19 16:50:17, Serialize by Router on LGEKRMHUB08/LGE/LG Group(Release 8.5.3FP6|November 21, 2013) at 2016/04/19 16:50:18, Serialize complete at 2016/04/19 16:50:18 Content-Type: text/plain; charset="us-ascii" Content-Disposition: inline Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi Sergey, On Mon, Apr 18, 2016 at 10:04:08AM +0900, Sergey Senozhatsky wrote: > Hello Minchan, > > On (03/30/16 16:12), Minchan Kim wrote: > [..] > > @@ -1835,23 +1827,31 @@ static void __zs_compact(struct zs_pool *pool, struct size_class *class) > > if (!migrate_zspage(pool, class, &cc)) > > break; > > > > - putback_zspage(pool, class, dst_page); > > + VM_BUG_ON_PAGE(putback_zspage(pool, class, > > + dst_page) == ZS_EMPTY, dst_page); > > can this VM_BUG_ON_PAGE() condition ever be true? I guess it is remained thing after I rebased to catch any mistake. But I'm heavily chainging this part. Please review next version instead of this after a few days. :) > > > } > > /* Stop if we couldn't find slot */ > > if (dst_page == NULL) > > break; > > - putback_zspage(pool, class, dst_page); > > - if (putback_zspage(pool, class, src_page) == ZS_EMPTY) > > + VM_BUG_ON_PAGE(putback_zspage(pool, class, > > + dst_page) == ZS_EMPTY, dst_page); > > hm... this VM_BUG_ON_PAGE(dst_page) is sort of confusing. under what > circumstances it can be true? > > a minor nit, it took me some time (need some coffee I guess) to > correctly parse this macro wrapper > > VM_BUG_ON_PAGE(putback_zspage(pool, class, > dst_page) == ZS_EMPTY, dst_page); > > may be do it like: > fullness = putback_zspage(pool, class, dst_page); > VM_BUG_ON_PAGE(fullness == ZS_EMPTY, dst_page); > > > well, if we want to VM_BUG_ON_PAGE() at all. there haven't been any > problems with compaction, is there any specific reason these macros > were added? > > > > > + if (putback_zspage(pool, class, src_page) == ZS_EMPTY) { > > pool->stats.pages_compacted += class->pages_per_zspage; > > - spin_unlock(&class->lock); > > + spin_unlock(&class->lock); > > + free_zspage(pool, class, src_page); > > do we really need to free_zspage() out of class->lock? > wouldn't something like this > > if (putback_zspage(pool, class, src_page) == ZS_EMPTY) { > pool->stats.pages_compacted += class->pages_per_zspage; > free_zspage(pool, class, src_page); > } > spin_unlock(&class->lock); > > be simpler? The reason I did out of class->lock is deadlock between page_lock and class->lock with upcoming page migration. However, as I said, I'm now heavily changing the part. :) > > besides, free_zspage() now updates class stats out of class lock, > not critical but still. > > -ss > > > + } else { > > + spin_unlock(&class->lock); > > + } > > + > > cond_resched(); > > spin_lock(&class->lock); > > } > > > > if (src_page) > > - putback_zspage(pool, class, src_page); > > + VM_BUG_ON_PAGE(putback_zspage(pool, class, > > + src_page) == ZS_EMPTY, src_page); > > > > spin_unlock(&class->lock); > > }