Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * mm/thrash.c |
| 3 | * |
| 4 | * Copyright (C) 2004, Red Hat, Inc. |
| 5 | * Copyright (C) 2004, Rik van Riel <riel@redhat.com> |
| 6 | * Released under the GPL, see the file COPYING for details. |
| 7 | * |
| 8 | * Simple token based thrashing protection, using the algorithm |
| 9 | * described in: http://www.cs.wm.edu/~sjiang/token.pdf |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 10 | * |
| 11 | * Sep 2006, Ashwin Chaugule <ashwin.chaugule@celunite.com> |
| 12 | * Improved algorithm to pass token: |
| 13 | * Each task has a priority which is incremented if it contended |
| 14 | * for the token in an interval less than its previous attempt. |
| 15 | * If the token is acquired, that task's priority is boosted to prevent |
| 16 | * the token from bouncing around too often and to let the task make |
| 17 | * some progress in its execution. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 18 | */ |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 19 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 20 | #include <linux/jiffies.h> |
| 21 | #include <linux/mm.h> |
| 22 | #include <linux/sched.h> |
| 23 | #include <linux/swap.h> |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 24 | #include <linux/memcontrol.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 25 | |
KOSAKI Motohiro | 83cd81a | 2011-06-15 15:08:14 -0700 | [diff] [blame] | 26 | #include <trace/events/vmscan.h> |
| 27 | |
KOSAKI Motohiro | d7911ef3 | 2011-06-15 15:08:15 -0700 | [diff] [blame] | 28 | #define TOKEN_AGING_INTERVAL (0xFF) |
| 29 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 30 | static DEFINE_SPINLOCK(swap_token_lock); |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 31 | struct mm_struct *swap_token_mm; |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 32 | struct mem_cgroup *swap_token_memcg; |
Adrian Bunk | e305005 | 2006-12-06 20:32:43 -0800 | [diff] [blame] | 33 | static unsigned int global_faults; |
KOSAKI Motohiro | d7911ef3 | 2011-06-15 15:08:15 -0700 | [diff] [blame] | 34 | static unsigned int last_aging; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 35 | |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 36 | #ifdef CONFIG_CGROUP_MEM_RES_CTLR |
| 37 | static struct mem_cgroup *swap_token_memcg_from_mm(struct mm_struct *mm) |
| 38 | { |
| 39 | struct mem_cgroup *memcg; |
| 40 | |
| 41 | memcg = try_get_mem_cgroup_from_mm(mm); |
| 42 | if (memcg) |
| 43 | css_put(mem_cgroup_css(memcg)); |
| 44 | |
| 45 | return memcg; |
| 46 | } |
| 47 | #else |
| 48 | static struct mem_cgroup *swap_token_memcg_from_mm(struct mm_struct *mm) |
| 49 | { |
| 50 | return NULL; |
| 51 | } |
| 52 | #endif |
| 53 | |
Hugh Dickins | a5c9b69 | 2009-06-23 12:36:58 -0700 | [diff] [blame] | 54 | void grab_swap_token(struct mm_struct *mm) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 55 | { |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 56 | int current_interval; |
KOSAKI Motohiro | 83cd81a | 2011-06-15 15:08:14 -0700 | [diff] [blame] | 57 | unsigned int old_prio = mm->token_priority; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 58 | |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 59 | global_faults++; |
| 60 | |
Hugh Dickins | a5c9b69 | 2009-06-23 12:36:58 -0700 | [diff] [blame] | 61 | current_interval = global_faults - mm->faultstamp; |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 62 | |
| 63 | if (!spin_trylock(&swap_token_lock)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 64 | return; |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 65 | |
| 66 | /* First come first served */ |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 67 | if (!swap_token_mm) |
| 68 | goto replace_token; |
| 69 | |
KOSAKI Motohiro | d7911ef3 | 2011-06-15 15:08:15 -0700 | [diff] [blame] | 70 | if ((global_faults - last_aging) > TOKEN_AGING_INTERVAL) { |
| 71 | swap_token_mm->token_priority /= 2; |
| 72 | last_aging = global_faults; |
| 73 | } |
| 74 | |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 75 | if (mm == swap_token_mm) { |
| 76 | mm->token_priority += 2; |
KOSAKI Motohiro | 83cd81a | 2011-06-15 15:08:14 -0700 | [diff] [blame] | 77 | goto update_priority; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 78 | } |
| 79 | |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 80 | if (current_interval < mm->last_interval) |
| 81 | mm->token_priority++; |
| 82 | else { |
| 83 | if (likely(mm->token_priority > 0)) |
| 84 | mm->token_priority--; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 85 | } |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 86 | |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 87 | /* Check if we deserve the token */ |
| 88 | if (mm->token_priority > swap_token_mm->token_priority) |
| 89 | goto replace_token; |
| 90 | |
KOSAKI Motohiro | 83cd81a | 2011-06-15 15:08:14 -0700 | [diff] [blame] | 91 | update_priority: |
KOSAKI Motohiro | d7911ef3 | 2011-06-15 15:08:15 -0700 | [diff] [blame] | 92 | trace_update_swap_token_priority(mm, old_prio, swap_token_mm); |
KOSAKI Motohiro | 83cd81a | 2011-06-15 15:08:14 -0700 | [diff] [blame] | 93 | |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 94 | out: |
Hugh Dickins | a5c9b69 | 2009-06-23 12:36:58 -0700 | [diff] [blame] | 95 | mm->faultstamp = global_faults; |
| 96 | mm->last_interval = current_interval; |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 97 | spin_unlock(&swap_token_lock); |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 98 | return; |
| 99 | |
| 100 | replace_token: |
| 101 | mm->token_priority += 2; |
KOSAKI Motohiro | 83cd81a | 2011-06-15 15:08:14 -0700 | [diff] [blame] | 102 | trace_replace_swap_token(swap_token_mm, mm); |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 103 | swap_token_mm = mm; |
| 104 | swap_token_memcg = swap_token_memcg_from_mm(mm); |
KOSAKI Motohiro | d7911ef3 | 2011-06-15 15:08:15 -0700 | [diff] [blame] | 105 | last_aging = global_faults; |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 106 | goto out; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 107 | } |
| 108 | |
| 109 | /* Called on process exit. */ |
| 110 | void __put_swap_token(struct mm_struct *mm) |
| 111 | { |
| 112 | spin_lock(&swap_token_lock); |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 113 | if (likely(mm == swap_token_mm)) { |
KOSAKI Motohiro | 83cd81a | 2011-06-15 15:08:14 -0700 | [diff] [blame] | 114 | trace_put_swap_token(swap_token_mm); |
Ashwin Chaugule | 7602bdf | 2006-12-06 20:31:57 -0800 | [diff] [blame] | 115 | swap_token_mm = NULL; |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 116 | swap_token_memcg = NULL; |
| 117 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 118 | spin_unlock(&swap_token_lock); |
| 119 | } |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 120 | |
| 121 | static bool match_memcg(struct mem_cgroup *a, struct mem_cgroup *b) |
| 122 | { |
| 123 | if (!a) |
| 124 | return true; |
| 125 | if (!b) |
| 126 | return true; |
| 127 | if (a == b) |
| 128 | return true; |
| 129 | return false; |
| 130 | } |
| 131 | |
| 132 | void disable_swap_token(struct mem_cgroup *memcg) |
| 133 | { |
| 134 | /* memcg reclaim don't disable unrelated mm token. */ |
| 135 | if (match_memcg(memcg, swap_token_memcg)) { |
| 136 | spin_lock(&swap_token_lock); |
| 137 | if (match_memcg(memcg, swap_token_memcg)) { |
KOSAKI Motohiro | 83cd81a | 2011-06-15 15:08:14 -0700 | [diff] [blame] | 138 | trace_disable_swap_token(swap_token_mm); |
KOSAKI Motohiro | a433658 | 2011-06-15 15:08:13 -0700 | [diff] [blame] | 139 | swap_token_mm = NULL; |
| 140 | swap_token_memcg = NULL; |
| 141 | } |
| 142 | spin_unlock(&swap_token_lock); |
| 143 | } |
| 144 | } |