linux-kernel - Re: [RFC][PATCH 2/5] add SWAP_HAS_CACHE flag to swap

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Date:	Thu, 28 May 2009 10:40:13 +0900
From:	Daisuke Nishimura <nishimura@....nes.nec.co.jp>
To:	KAMEZAWA Hiroyuki <kamezawa.hiroyu@...fujitsu.com>
Cc:	nishimura@....nes.nec.co.jp,
	"linux-mm@...ck.org" <linux-mm@...ck.org>,
	"balbir@...ux.vnet.ibm.com" <balbir@...ux.vnet.ibm.com>,
	"hugh.dickins@...cali.co.uk" <hugh.dickins@...cali.co.uk>,
	"hannes@...xchg.org" <hannes@...xchg.org>,
	"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>
Subject: Re: [RFC][PATCH 2/5] add SWAP_HAS_CACHE flag to swap_map

On Thu, 28 May 2009 10:05:01 +0900, KAMEZAWA Hiroyuki <kamezawa.hiroyu@...fujitsu.com> wrote:
> On Thu, 28 May 2009 09:41:57 +0900
> Daisuke Nishimura <nishimura@....nes.nec.co.jp> wrote:
> 
> > > @@ -1969,17 +2017,33 @@ int swap_duplicate(swp_entry_t entry)
> > >  	offset = swp_offset(entry);
> > >  
> > >  	spin_lock(&swap_lock);
> > > -	if (offset < p->max && p->swap_map[offset]) {
> > > -		if (p->swap_map[offset] < SWAP_MAP_MAX - 1) {
> > > -			p->swap_map[offset]++;
> > > +
> > > +	if (unlikely(offset >= p->max))
> > > +		goto unlock_out;
> > > +
> > > +	count = swap_count(p->swap_map[offset]);
> > > +	has_cache = swap_has_cache(p->swap_map[offset]);
> > > +	if (cache) {
> > > +		/* set SWAP_HAS_CACHE if there is no cache and entry is used */
> > > +		if (!has_cache && count) {
> > Should we check !has_cache here ?
> I added !has_cache to return 0 in racy case.
> 
> > 
> > Concurrent read_swap_cache_async() might have set SWAP_HAS_CACHE, but not have added
> > a page to swap cache yet when find_get_page() was called.
> yes.
> 
> > add_to_swap_cache() would handle the race of concurrent read_swap_cache_async(),
> > but considering more, swapcache_free() at the end of the loop might dangerous in this case...
> 
> I can't catch what you mean.
> 
> I think swapcache_prepare() returns 0 in racy case and no add_to_swap_cache() happens.
> wrong ?
> 
Ah, you're right in this version of your patch.
I said the case if we changed swapcache_prepare() simply not to return 0 in
SWAP_HAS_CACHE case.

> > So I think it should be like:
> > 
> > 	read_swap_cache_async()
> > 		:
> > 		valid = swapcache_prepare(entry);
> > 		if (!valid)
> > 			break;
> > 		if (valid == -EAGAIN);
> > 			continue;
> > 
> > to let the context that succeeded in swapcache_prepare() do add_to_swap_cache().
> > 
> 
> What you reccomend is code like this ?
> 
> ==
> 	ret = swapcache_prapare(entry);
> 	if (ret == -ENOENT)
> 		break;    /* unused swap entry */
> 	if (ret == -EBUSY)
> 		continue; /* to call find_get_page() again */
> ==
> 
Yes.
By current version of your patch, read_swap_cache_async() might return NULL
if concurrent read_swap_cache_async() exists. It is different from current behavior.
And this means swapin_readahead() might fail(it calls read_swap_cache_async()
twice, though) and can cause oom, right ?


Thanks,
Daisuke Nishimura.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/