Commit c8ca47af authored by Oleg Nesterov's avatar Oleg Nesterov Committed by Linus Torvalds

[PATCH] readahead: simplify ra->size testing

Currently page_cache_readahead() treats ra->size == 0 (first read)
and ra->size == -1 (ra_off was called) separately, but does exactly
the same in both cases.

With this patch we may assume that the reading starts in 'ra_off()'
state, so we don't need to consider the first read as a special case.


file_ra_state_init() sets
	ra->prev_page = -1;
	ra->size      =  0;

When the page_cache_readahead() is called for the first time it sets
ra->size to nonzero value either via get_init_ra_size() or ra_off().
So ra->size == 0 implies that ra->prev_page == -1. I am ignoring the
case when readahead is disabled via ra->ra_pages == 0.


page_cache_readahead detects sub-page sized reads:
	if (offset == ra->prev_page && req_size == 1 && ra->size != 0)

But if offset == ra->prev_page, then ra->size == 0 can happen only if
offset == -1, so there is no need to check ra->size here. If application
starts reading 16Tb file from the last page then readahead can't help.


First offset==0 read or first sequential detection:
	if ((ra->size == 0 && offset == 0) || (ra->size == -1 && sequential)
could be changed to:
	if ((ra->size == 0 && sequential) || (ra->size == -1 && sequential)
which means:
	if (sequential && (ra->size == 0 || ra->size == -1))


Random case detection:
	if (!sequential || (ra->size == 0))
But if sequential == 1, then ra->size can't be 0, this case is already handled
before.


Now we have:

	if (offset == ra->prev_page && req_size == 1)
		/* sub-page reads */

	if (sequential && (ra->size == 0 || ra->size == -1))
		/* first offset==0 read or first sequential */

	if (!sequential)
		/* random case */

Now ->size is checked only in one place, so ra_off() can set ra->size = 0,
and we can just test ->size against 0.
Signed-off-by: default avatarOleg Nesterov <oleg@tv-sign.ru>
Signed-off-by: default avatarAndrew Morton <akpm@osdl.org>
Signed-off-by: default avatarLinus Torvalds <torvalds@osdl.org>
parent ccb8470e
...@@ -55,7 +55,7 @@ static inline void ra_off(struct file_ra_state *ra) ...@@ -55,7 +55,7 @@ static inline void ra_off(struct file_ra_state *ra)
{ {
ra->start = 0; ra->start = 0;
ra->flags = 0; ra->flags = 0;
ra->size = -1; ra->size = 0;
ra->ahead_start = 0; ra->ahead_start = 0;
ra->ahead_size = 0; ra->ahead_size = 0;
return; return;
...@@ -452,7 +452,7 @@ page_cache_readahead(struct address_space *mapping, struct file_ra_state *ra, ...@@ -452,7 +452,7 @@ page_cache_readahead(struct address_space *mapping, struct file_ra_state *ra,
* perturbing the readahead window expansion logic. * perturbing the readahead window expansion logic.
* If size is zero, there is no read ahead window so we need one * If size is zero, there is no read ahead window so we need one
*/ */
if (offset == ra->prev_page && req_size == 1 && ra->size != 0) if (offset == ra->prev_page && req_size == 1)
goto out; goto out;
ra->prev_page = offset; ra->prev_page = offset;
...@@ -471,9 +471,7 @@ page_cache_readahead(struct address_space *mapping, struct file_ra_state *ra, ...@@ -471,9 +471,7 @@ page_cache_readahead(struct address_space *mapping, struct file_ra_state *ra,
* at start of file, and grow the window fast. Or detect first * at start of file, and grow the window fast. Or detect first
* sequential access * sequential access
*/ */
if ((ra->size == 0 && offset == 0) /* first io and start of file */ if (sequential && ra->size == 0) {
|| (ra->size == -1 && sequential)) {
/* First sequential */
ra->size = get_init_ra_size(newsize, max); ra->size = get_init_ra_size(newsize, max);
ra->start = offset; ra->start = offset;
if (!blockable_page_cache_readahead(mapping, filp, offset, if (!blockable_page_cache_readahead(mapping, filp, offset,
...@@ -499,7 +497,7 @@ page_cache_readahead(struct address_space *mapping, struct file_ra_state *ra, ...@@ -499,7 +497,7 @@ page_cache_readahead(struct address_space *mapping, struct file_ra_state *ra,
* partial page reads and first access were handled above, * partial page reads and first access were handled above,
* so this must be the next page otherwise it is random * so this must be the next page otherwise it is random
*/ */
if (!sequential || (ra->size == 0)) { if (!sequential) {
ra_off(ra); ra_off(ra);
blockable_page_cache_readahead(mapping, filp, offset, blockable_page_cache_readahead(mapping, filp, offset,
newsize, ra, 1); newsize, ra, 1);
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment