Skip to contentSkip to conversation

mm: reset pages_scanned only when free pages are above high watermark

RFC PATCH In review Konstantin Khlebnikov 2 participants 3 messages Mar 11, 2015 – Mar 18, 2015

Subsystems (2)
lore
Share & tools
lore
#0 lore raw

RFC PATCH 1/1 mm: reset pages_scanned only when free pages are above high watermark

Technically, this counter works as OOM-countdown. Let's reset it only when zone is completely recovered and ready to handle any allocations. Otherwise system could never recover and stuck in livelock.

---
 mm/page_alloc.c |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)
mm/page_alloc.c +4 -2
index ffd5ad2a6e10..ef7795c8c121 100644
@@ -701,7 +701,8 @@ static void free_pcppages_bulk(struct zone *zone, int count,
 
 	spin_lock(&zone->lock);
 	nr_scanned = zone_page_state(zone, NR_PAGES_SCANNED);
-	if (nr_scanned)
+	if (nr_scanned &&
+	    zone_page_state(zone, NR_FREE_PAGES) > high_wmark_pages(zone))
 		__mod_zone_page_state(zone, NR_PAGES_SCANNED, -nr_scanned);
 
 	while (to_free) {
@@ -752,7 +753,8 @@ static void free_one_page(struct zone *zone,
 	unsigned long nr_scanned;
 	spin_lock(&zone->lock);
 	nr_scanned = zone_page_state(zone, NR_PAGES_SCANNED);
-	if (nr_scanned)
+	if (nr_scanned &&
+	    zone_page_state(zone, NR_FREE_PAGES) > high_wmark_pages(zone))
 		__mod_zone_page_state(zone, NR_PAGES_SCANNED, -nr_scanned);
 
 	if (unlikely(has_isolate_pageblock(zone) ||

--
To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to [email protected]. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"[email protected]"> [email protected] </a>

#1 lore raw
Quoted 5 lines · Konstantin Khlebnikov

Technically, this counter works as OOM-countdown. Let's reset it only when zone is completely recovered and ready to handle any allocations. Otherwise system could never recover and stuck in livelock.

Hmm, could this help in cases like this one?
https://lkml.org/lkml/2015/1/23/688

Quoted 30 lines
---
  mm/page_alloc.c |    6 ++++--
  1 file changed, 4 insertions(+), 2 deletions(-)
mm/page_alloc.c +4 -3
index ffd5ad2a6e10..ef7795c8c121 100644
@@ -701,7 +701,8 @@ static void free_pcppages_bulk(struct zone *zone, int count,
 
  	spin_lock(&zone->lock);
  	nr_scanned = zone_page_state(zone, NR_PAGES_SCANNED);
-	if (nr_scanned)
+	if (nr_scanned &&
+	    zone_page_state(zone, NR_FREE_PAGES) > high_wmark_pages(zone))
  		__mod_zone_page_state(zone, NR_PAGES_SCANNED, -nr_scanned);
 
  	while (to_free) {
@@ -752,7 +753,8 @@ static void free_one_page(struct zone *zone,
  	unsigned long nr_scanned;
  	spin_lock(&zone->lock);
  	nr_scanned = zone_page_state(zone, NR_PAGES_SCANNED);
-	if (nr_scanned)
+	if (nr_scanned &&
+	    zone_page_state(zone, NR_FREE_PAGES) > high_wmark_pages(zone))
  		__mod_zone_page_state(zone, NR_PAGES_SCANNED, -nr_scanned);
 
  	if (unlikely(has_isolate_pageblock(zone) ||
 
--
Quoted 5 lines

To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to [email protected]. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"[email protected]"> [email protected] </a>

--
To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to [email protected]. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"[email protected]"> [email protected] </a>

#2 lore raw
Quoted 9 lines · Vlastimil Babka
Quoted 5 lines · Konstantin Khlebnikov

Technically, this counter works as OOM-countdown. Let's reset it only when zone is completely recovered and ready to handle any allocations. Otherwise system could never recover and stuck in livelock.

Hmm, could this help in cases like this one?
https://lkml.org/lkml/2015/1/23/688

Probably yes. I've seen several live-locks in reclaimer in similar setup without swap. Unfortunately that happened on old kernel 3.10 so it's hard to understand how this will work for newer kernels.

I've seen some of cpus stuck in grab_super_passive(): in v4.0 it will be replaced with trylock_super which have trylock semantics.

Another problem is that get_scan_count() doesn't protect last pages in pagecache if system have no swap: I mean (zonefile + zonefree <= high_wmark_pages(zone))). With swap kernel balance between anon and file lrus and makes proportional pressure to slab shrinkerers. Without swap it can scan only file lru. (this suppose to change for MADV_FREE?) It's unclear what to do with slabs when we have no lru pages to scan.

And the third is that starting from v3.12 commit
6e543d5780e36ff5ee56c44d7e2e30db3457a7ed kernel ignores leftovers in
shrinkable slabs when it sets all_unreclaimable mark. Probably that
was main reason of live-lock in my case: in v3.10 it's much harder to get all zones in all_unreclaimable state.

Anyway, all_unreclaimable seems too fragile: kernel drops is after freeing just one page. Theoretically system might stuck in live-lock where userspace application reclaims and faults into data, code and stack pages endlessly. Each time kernel reclaims that page but cpu needs at least three (up to six?) pages to execute at least one instruction.

Quoted 38 lines
Quoted 37 lines
---
  mm/page_alloc.c |    6 ++++--
  1 file changed, 4 insertions(+), 2 deletions(-)
mm/page_alloc.c +2 -1
index ffd5ad2a6e10..ef7795c8c121 100644
@@ -701,7 +701,8 @@ static void free_pcppages_bulk(struct zone *zone,
 int count,
 
      spin_lock(&zone->lock);
      nr_scanned = zone_page_state(zone, NR_PAGES_SCANNED);
-    if (nr_scanned)
+    if (nr_scanned &&
+        zone_page_state(zone, NR_FREE_PAGES) > high_wmark_pages(zone))
          __mod_zone_page_state(zone, NR_PAGES_SCANNED, -nr_scanned);
 
      while (to_free) {
mm/page_alloc.c +2 -2
@@ -752,7 +753,8 @@ static void free_one_page(struct zone *zone,
      unsigned long nr_scanned;
      spin_lock(&zone->lock);
      nr_scanned = zone_page_state(zone, NR_PAGES_SCANNED);
-    if (nr_scanned)
+    if (nr_scanned &&
+        zone_page_state(zone, NR_FREE_PAGES) > high_wmark_pages(zone))
          __mod_zone_page_state(zone, NR_PAGES_SCANNED, -nr_scanned);
 
      if (unlikely(has_isolate_pageblock(zone) ||
 
--

To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to [email protected]. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"[email protected]"> [email protected] </a>

Signature · 7 lines
Konstantin

--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to [email protected].  For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"[email protected]"> [email protected] </a>