Re: [patch 5/7] radix-tree: lockless readside

Nick Piggin
2005-08-12T07:53:42Z

Nick Piggin wrote:

> With the above, we can meet the same requirements of the current
> find_get_page. Which basically are:
>
> x) If the page was ever[1] in pagecache, it may be returned
> y) If the pagecache was ever[2] empty, NULL may be returned
>

Oh, I missed a couple of "obvious" ones.

More correctly:

x1) If a page was ever in pagecache, it may be returned.
x1) If not, then NULL will be returned.

y1) If the pagecache was ever empty, NULL may be returned.
y2) If not, then the page will be returned.

--
SUSE Labs, Novell Inc.

Send instant messages to your online friends http://au.messenger.yahoo.com