From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Johannes Weiner <jweiner@redhat.com>
Cc: Andrea Arcangeli <aarcange@redhat.com>,
Michel Lespinasse <walken@google.com>,
Minchan Kim <minchan.kim@gmail.com>,
Hugh Dickins <hughd@google.com>,
linux-mm@kvack.org, Andrew Morton <akpm@linux-foundation.org>,
Rik van Riel <riel@redhat.com>, Mel Gorman <mgorman@suse.de>,
KOSAKI Motohiro <kosaki.motohiro@jp.fujitsu.com>,
Shaohua Li <shaohua.li@intel.com>
Subject: Re: [RFC PATCH 0/3] page count lock for simpler put_page
Date: Fri, 12 Aug 2011 11:13:06 -0700 [thread overview]
Message-ID: <20110812181306.GO2395@linux.vnet.ibm.com> (raw)
In-Reply-To: <20110812175206.GB29086@redhat.com>
On Fri, Aug 12, 2011 at 07:52:06PM +0200, Johannes Weiner wrote:
> On Fri, Aug 12, 2011 at 07:08:23PM +0200, Andrea Arcangeli wrote:
> > On Fri, Aug 12, 2011 at 06:57:49PM +0200, Johannes Weiner wrote:
> > > I understand you want to be careful with the promises you make in the
> > > API. How about not even exposing the check for whether a grace period
> > > elapsed, but instead provide a specialized synchronize_rcu()?
> > >
> > > Something like
> > >
> > > void synchronize_rcu_with(rcu_time_t time)
> > >
> > > that only promises all readers from the specified time are finished.
> > >
> > > [ And synchronize_rcu() would be equivalent to
> > > synchronize_rcu_with(rcu_current_time()) if I am not mistaken. ]
> > >
> > > Then you wouldn't need to worry about how the return value of
> > > rcu_cookie_gp_elapsed() might be interpreted, could freely implement
> > > it equal to synchronize_rcu() on TINY_RCU, the false positives with
> > > small cookies would not be about correctness but merely performance.
> > >
> > > And it should still be all that which the THP case requires.
> > >
> > > Would that work?
> >
> > rcu_time_t would still be an unsigned long long like I suggested?
>
> Do we even need to make this fixed? It can be unsigned long long for
> now, but I could imagine leaving it up to the user depending how much
> space she is able/willing to invest to save time:
>
> void synchronize_rcu_with(unsigned long time, unsigned int bits)
> {
> if (generation_counter & ((1 << bits) - 1) == time)
> synchronize_rcu();
> }
This is indeed more convenient for this particular use case, but suppose
that the caller instead wanted to use call_rcu()? The API I am currently
proposing allows either synchronize_rcu() or call_rcu() to be used. In
addition, it allows alternative algorithms, for example:
rcu_get_gp_cookie(&wherever);
...
if (rcu_cookie_gp_elapsed(&wherever))
p = old_pointer; /* now safe to re-use. */
else
p = kmalloc( ... ); /* can't re-use, so get new memory. */
> If you have only 3 bits to store the time, you will synchronize
> falsely to every 8th phase. Better than nothing, right?
;-)
> > About the false positives thing, I failed to see how it's ever
> > possible to return only false positives and never false negatives when
> > cookie and internal counter are not of the same size (and cookie has
> > no enough bits to ever tell if it overflowed or not).
>
> I don't see how. Even with one bit for the time stamp you get every
> second generation right :-)
I probably need at least two or three bits to account for grace-period
slew, at least if we want to avoid grabbing a global lock each time
one of these APIs is invoked.
> > I think rcu_generation_t is more appropriate because it's not time but
> > a generation/sequence counter.
>
> I intentionally chose a vague name as the unit should be irrelevant to
> the outside world. But I don't feel strongly about this.
Yep, different RCU implementations will need different data in the
rcu_generation_t.
Thanx, Paul
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Fight unfair telecom internet charges in Canada: sign http://stopthemeter.ca/
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
next prev parent reply other threads:[~2011-08-12 18:13 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-08-04 21:07 [RFC PATCH 0/3] page count lock for simpler put_page Michel Lespinasse
2011-08-04 21:07 ` [RFC PATCH 1/3] mm: Replace naked page->_count accesses with accessor functions Michel Lespinasse
2011-08-04 21:07 ` [RFC PATCH 2/3] mm: page count lock Michel Lespinasse
2011-08-07 14:00 ` Minchan Kim
2011-08-04 21:07 ` [RFC PATCH 3/3] mm: get_first_page_unless_zero() Michel Lespinasse
2011-08-07 14:13 ` Minchan Kim
2011-08-05 6:39 ` [RFC PATCH 0/3] page count lock for simpler put_page Michel Lespinasse
2011-08-07 14:25 ` Minchan Kim
2011-08-09 11:04 ` Michel Lespinasse
2011-08-09 22:22 ` Minchan Kim
2011-08-12 22:35 ` Michel Lespinasse
2011-08-13 4:07 ` Minchan Kim
2011-08-12 15:36 ` Andrea Arcangeli
2011-08-12 16:08 ` SPAM: " Paul E. McKenney
2011-08-12 16:43 ` Andrea Arcangeli
2011-08-12 17:27 ` Paul E. McKenney
2011-08-12 23:45 ` Michel Lespinasse
2011-08-13 1:57 ` Paul E. McKenney
2011-08-13 23:56 ` Andrea Arcangeli
2011-08-13 4:18 ` Minchan Kim
2011-08-12 16:57 ` Johannes Weiner
2011-08-12 17:08 ` Andrea Arcangeli
2011-08-12 17:52 ` Johannes Weiner
2011-08-12 18:13 ` Paul E. McKenney [this message]
2011-08-12 19:05 ` Johannes Weiner
2011-08-12 22:14 ` Paul E. McKenney
2011-08-12 22:22 ` Andrea Arcangeli
2011-08-12 18:03 ` Paul E. McKenney
2011-08-12 17:41 ` Paul E. McKenney
2011-08-12 17:56 ` Johannes Weiner
2011-08-12 23:02 ` Michel Lespinasse
2011-08-12 22:50 ` Michel Lespinasse
2011-08-13 4:11 ` Minchan Kim
2011-08-12 16:58 ` Andrea Arcangeli
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20110812181306.GO2395@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.com \
--cc=aarcange@redhat.com \
--cc=akpm@linux-foundation.org \
--cc=hughd@google.com \
--cc=jweiner@redhat.com \
--cc=kosaki.motohiro@jp.fujitsu.com \
--cc=linux-mm@kvack.org \
--cc=mgorman@suse.de \
--cc=minchan.kim@gmail.com \
--cc=riel@redhat.com \
--cc=shaohua.li@intel.com \
--cc=walken@google.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).