workingset.c 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535
  1. /*
  2. * Workingset detection
  3. *
  4. * Copyright (C) 2013 Red Hat, Inc., Johannes Weiner
  5. */
  6. #include <linux/memcontrol.h>
  7. #include <linux/writeback.h>
  8. #include <linux/pagemap.h>
  9. #include <linux/atomic.h>
  10. #include <linux/module.h>
  11. #include <linux/swap.h>
  12. #include <linux/fs.h>
  13. #include <linux/mm.h>
  14. /*
  15. * Double CLOCK lists
  16. *
  17. * Per node, two clock lists are maintained for file pages: the
  18. * inactive and the active list. Freshly faulted pages start out at
  19. * the head of the inactive list and page reclaim scans pages from the
  20. * tail. Pages that are accessed multiple times on the inactive list
  21. * are promoted to the active list, to protect them from reclaim,
  22. * whereas active pages are demoted to the inactive list when the
  23. * active list grows too big.
  24. *
  25. * fault ------------------------+
  26. * |
  27. * +--------------+ | +-------------+
  28. * reclaim <- | inactive | <-+-- demotion | active | <--+
  29. * +--------------+ +-------------+ |
  30. * | |
  31. * +-------------- promotion ------------------+
  32. *
  33. *
  34. * Access frequency and refault distance
  35. *
  36. * A workload is thrashing when its pages are frequently used but they
  37. * are evicted from the inactive list every time before another access
  38. * would have promoted them to the active list.
  39. *
  40. * In cases where the average access distance between thrashing pages
  41. * is bigger than the size of memory there is nothing that can be
  42. * done - the thrashing set could never fit into memory under any
  43. * circumstance.
  44. *
  45. * However, the average access distance could be bigger than the
  46. * inactive list, yet smaller than the size of memory. In this case,
  47. * the set could fit into memory if it weren't for the currently
  48. * active pages - which may be used more, hopefully less frequently:
  49. *
  50. * +-memory available to cache-+
  51. * | |
  52. * +-inactive------+-active----+
  53. * a b | c d e f g h i | J K L M N |
  54. * +---------------+-----------+
  55. *
  56. * It is prohibitively expensive to accurately track access frequency
  57. * of pages. But a reasonable approximation can be made to measure
  58. * thrashing on the inactive list, after which refaulting pages can be
  59. * activated optimistically to compete with the existing active pages.
  60. *
  61. * Approximating inactive page access frequency - Observations:
  62. *
  63. * 1. When a page is accessed for the first time, it is added to the
  64. * head of the inactive list, slides every existing inactive page
  65. * towards the tail by one slot, and pushes the current tail page
  66. * out of memory.
  67. *
  68. * 2. When a page is accessed for the second time, it is promoted to
  69. * the active list, shrinking the inactive list by one slot. This
  70. * also slides all inactive pages that were faulted into the cache
  71. * more recently than the activated page towards the tail of the
  72. * inactive list.
  73. *
  74. * Thus:
  75. *
  76. * 1. The sum of evictions and activations between any two points in
  77. * time indicate the minimum number of inactive pages accessed in
  78. * between.
  79. *
  80. * 2. Moving one inactive page N page slots towards the tail of the
  81. * list requires at least N inactive page accesses.
  82. *
  83. * Combining these:
  84. *
  85. * 1. When a page is finally evicted from memory, the number of
  86. * inactive pages accessed while the page was in cache is at least
  87. * the number of page slots on the inactive list.
  88. *
  89. * 2. In addition, measuring the sum of evictions and activations (E)
  90. * at the time of a page's eviction, and comparing it to another
  91. * reading (R) at the time the page faults back into memory tells
  92. * the minimum number of accesses while the page was not cached.
  93. * This is called the refault distance.
  94. *
  95. * Because the first access of the page was the fault and the second
  96. * access the refault, we combine the in-cache distance with the
  97. * out-of-cache distance to get the complete minimum access distance
  98. * of this page:
  99. *
  100. * NR_inactive + (R - E)
  101. *
  102. * And knowing the minimum access distance of a page, we can easily
  103. * tell if the page would be able to stay in cache assuming all page
  104. * slots in the cache were available:
  105. *
  106. * NR_inactive + (R - E) <= NR_inactive + NR_active
  107. *
  108. * which can be further simplified to
  109. *
  110. * (R - E) <= NR_active
  111. *
  112. * Put into words, the refault distance (out-of-cache) can be seen as
  113. * a deficit in inactive list space (in-cache). If the inactive list
  114. * had (R - E) more page slots, the page would not have been evicted
  115. * in between accesses, but activated instead. And on a full system,
  116. * the only thing eating into inactive list space is active pages.
  117. *
  118. *
  119. * Refaulting inactive pages
  120. *
  121. * All that is known about the active list is that the pages have been
  122. * accessed more than once in the past. This means that at any given
  123. * time there is actually a good chance that pages on the active list
  124. * are no longer in active use.
  125. *
  126. * So when a refault distance of (R - E) is observed and there are at
  127. * least (R - E) active pages, the refaulting page is activated
  128. * optimistically in the hope that (R - E) active pages are actually
  129. * used less frequently than the refaulting page - or even not used at
  130. * all anymore.
  131. *
  132. * That means if inactive cache is refaulting with a suitable refault
  133. * distance, we assume the cache workingset is transitioning and put
  134. * pressure on the current active list.
  135. *
  136. * If this is wrong and demotion kicks in, the pages which are truly
  137. * used more frequently will be reactivated while the less frequently
  138. * used once will be evicted from memory.
  139. *
  140. * But if this is right, the stale pages will be pushed out of memory
  141. * and the used pages get to stay in cache.
  142. *
  143. * Refaulting active pages
  144. *
  145. * If on the other hand the refaulting pages have recently been
  146. * deactivated, it means that the active list is no longer protecting
  147. * actively used cache from reclaim. The cache is NOT transitioning to
  148. * a different workingset; the existing workingset is thrashing in the
  149. * space allocated to the page cache.
  150. *
  151. *
  152. * Implementation
  153. *
  154. * For each node's file LRU lists, a counter for inactive evictions
  155. * and activations is maintained (node->inactive_age).
  156. *
  157. * On eviction, a snapshot of this counter (along with some bits to
  158. * identify the node) is stored in the now empty page cache radix tree
  159. * slot of the evicted page. This is called a shadow entry.
  160. *
  161. * On cache misses for which there are shadow entries, an eligible
  162. * refault distance will immediately activate the refaulting page.
  163. */
  164. #define EVICTION_SHIFT (RADIX_TREE_EXCEPTIONAL_ENTRY + \
  165. 1 + NODES_SHIFT + MEM_CGROUP_ID_SHIFT)
  166. #define EVICTION_MASK (~0UL >> EVICTION_SHIFT)
  167. /*
  168. * Eviction timestamps need to be able to cover the full range of
  169. * actionable refaults. However, bits are tight in the radix tree
  170. * entry, and after storing the identifier for the lruvec there might
  171. * not be enough left to represent every single actionable refault. In
  172. * that case, we have to sacrifice granularity for distance, and group
  173. * evictions into coarser buckets by shaving off lower timestamp bits.
  174. */
  175. static unsigned int bucket_order __read_mostly;
  176. static void *pack_shadow(int memcgid, pg_data_t *pgdat, unsigned long eviction,
  177. bool workingset)
  178. {
  179. eviction >>= bucket_order;
  180. eviction = (eviction << MEM_CGROUP_ID_SHIFT) | memcgid;
  181. eviction = (eviction << NODES_SHIFT) | pgdat->node_id;
  182. eviction = (eviction << 1) | workingset;
  183. eviction = (eviction << RADIX_TREE_EXCEPTIONAL_SHIFT);
  184. return (void *)(eviction | RADIX_TREE_EXCEPTIONAL_ENTRY);
  185. }
  186. static void unpack_shadow(void *shadow, int *memcgidp, pg_data_t **pgdat,
  187. unsigned long *evictionp, bool *workingsetp)
  188. {
  189. unsigned long entry = (unsigned long)shadow;
  190. int memcgid, nid;
  191. bool workingset;
  192. entry >>= RADIX_TREE_EXCEPTIONAL_SHIFT;
  193. workingset = entry & 1;
  194. entry >>= 1;
  195. nid = entry & ((1UL << NODES_SHIFT) - 1);
  196. entry >>= NODES_SHIFT;
  197. memcgid = entry & ((1UL << MEM_CGROUP_ID_SHIFT) - 1);
  198. entry >>= MEM_CGROUP_ID_SHIFT;
  199. *memcgidp = memcgid;
  200. *pgdat = NODE_DATA(nid);
  201. *evictionp = entry << bucket_order;
  202. *workingsetp = workingset;
  203. }
  204. /**
  205. * workingset_eviction - note the eviction of a page from memory
  206. * @mapping: address space the page was backing
  207. * @page: the page being evicted
  208. *
  209. * Returns a shadow entry to be stored in @mapping->page_tree in place
  210. * of the evicted @page so that a later refault can be detected.
  211. */
  212. void *workingset_eviction(struct address_space *mapping, struct page *page)
  213. {
  214. struct pglist_data *pgdat = page_pgdat(page);
  215. struct mem_cgroup *memcg = page_memcg(page);
  216. int memcgid = mem_cgroup_id(memcg);
  217. unsigned long eviction;
  218. struct lruvec *lruvec;
  219. /* Page is fully exclusive and pins page->mem_cgroup */
  220. VM_BUG_ON_PAGE(PageLRU(page), page);
  221. VM_BUG_ON_PAGE(page_count(page), page);
  222. VM_BUG_ON_PAGE(!PageLocked(page), page);
  223. lruvec = mem_cgroup_lruvec(pgdat, memcg);
  224. eviction = atomic_long_inc_return(&lruvec->inactive_age);
  225. return pack_shadow(memcgid, pgdat, eviction, PageWorkingset(page));
  226. }
  227. /**
  228. * workingset_refault - evaluate the refault of a previously evicted page
  229. * @page: the freshly allocated replacement page
  230. * @shadow: shadow entry of the evicted page
  231. *
  232. * Calculates and evaluates the refault distance of the previously
  233. * evicted page in the context of the node it was allocated in.
  234. */
  235. void workingset_refault(struct page *page, void *shadow)
  236. {
  237. unsigned long refault_distance;
  238. struct pglist_data *pgdat;
  239. unsigned long active_file;
  240. struct mem_cgroup *memcg;
  241. unsigned long eviction;
  242. struct lruvec *lruvec;
  243. unsigned long refault;
  244. bool workingset;
  245. int memcgid;
  246. unpack_shadow(shadow, &memcgid, &pgdat, &eviction, &workingset);
  247. rcu_read_lock();
  248. /*
  249. * Look up the memcg associated with the stored ID. It might
  250. * have been deleted since the page's eviction.
  251. *
  252. * Note that in rare events the ID could have been recycled
  253. * for a new cgroup that refaults a shared page. This is
  254. * impossible to tell from the available data. However, this
  255. * should be a rare and limited disturbance, and activations
  256. * are always speculative anyway. Ultimately, it's the aging
  257. * algorithm's job to shake out the minimum access frequency
  258. * for the active cache.
  259. *
  260. * XXX: On !CONFIG_MEMCG, this will always return NULL; it
  261. * would be better if the root_mem_cgroup existed in all
  262. * configurations instead.
  263. */
  264. memcg = mem_cgroup_from_id(memcgid);
  265. if (!mem_cgroup_disabled() && !memcg)
  266. goto out;
  267. lruvec = mem_cgroup_lruvec(pgdat, memcg);
  268. refault = atomic_long_read(&lruvec->inactive_age);
  269. active_file = lruvec_lru_size(lruvec, LRU_ACTIVE_FILE, MAX_NR_ZONES);
  270. /*
  271. * Calculate the refault distance
  272. *
  273. * The unsigned subtraction here gives an accurate distance
  274. * across inactive_age overflows in most cases. There is a
  275. * special case: usually, shadow entries have a short lifetime
  276. * and are either refaulted or reclaimed along with the inode
  277. * before they get too old. But it is not impossible for the
  278. * inactive_age to lap a shadow entry in the field, which can
  279. * then result in a false small refault distance, leading to a
  280. * false activation should this old entry actually refault
  281. * again. However, earlier kernels used to deactivate
  282. * unconditionally with *every* reclaim invocation for the
  283. * longest time, so the occasional inappropriate activation
  284. * leading to pressure on the active list is not a problem.
  285. */
  286. refault_distance = (refault - eviction) & EVICTION_MASK;
  287. inc_node_state(pgdat, WORKINGSET_REFAULT);
  288. /*
  289. * Compare the distance to the existing workingset size. We
  290. * don't act on pages that couldn't stay resident even if all
  291. * the memory was available to the page cache.
  292. */
  293. if (refault_distance > active_file)
  294. goto out;
  295. SetPageActive(page);
  296. atomic_long_inc(&lruvec->inactive_age);
  297. inc_node_state(pgdat, WORKINGSET_ACTIVATE);
  298. /* Page was active prior to eviction */
  299. if (workingset) {
  300. SetPageWorkingset(page);
  301. inc_node_state(pgdat, WORKINGSET_RESTORE);
  302. }
  303. out:
  304. rcu_read_unlock();
  305. }
  306. /**
  307. * workingset_activation - note a page activation
  308. * @page: page that is being activated
  309. */
  310. void workingset_activation(struct page *page)
  311. {
  312. struct mem_cgroup *memcg;
  313. struct lruvec *lruvec;
  314. rcu_read_lock();
  315. /*
  316. * Filter non-memcg pages here, e.g. unmap can call
  317. * mark_page_accessed() on VDSO pages.
  318. *
  319. * XXX: See workingset_refault() - this should return
  320. * root_mem_cgroup even for !CONFIG_MEMCG.
  321. */
  322. memcg = page_memcg_rcu(page);
  323. if (!mem_cgroup_disabled() && !memcg)
  324. goto out;
  325. lruvec = mem_cgroup_lruvec(page_pgdat(page), memcg);
  326. atomic_long_inc(&lruvec->inactive_age);
  327. out:
  328. rcu_read_unlock();
  329. }
  330. /*
  331. * Shadow entries reflect the share of the working set that does not
  332. * fit into memory, so their number depends on the access pattern of
  333. * the workload. In most cases, they will refault or get reclaimed
  334. * along with the inode, but a (malicious) workload that streams
  335. * through files with a total size several times that of available
  336. * memory, while preventing the inodes from being reclaimed, can
  337. * create excessive amounts of shadow nodes. To keep a lid on this,
  338. * track shadow nodes and reclaim them when they grow way past the
  339. * point where they would still be useful.
  340. */
  341. struct list_lru workingset_shadow_nodes;
  342. static unsigned long count_shadow_nodes(struct shrinker *shrinker,
  343. struct shrink_control *sc)
  344. {
  345. unsigned long shadow_nodes;
  346. unsigned long max_nodes;
  347. unsigned long pages;
  348. /* list_lru lock nests inside IRQ-safe mapping->tree_lock */
  349. local_irq_disable();
  350. shadow_nodes = list_lru_shrink_count(&workingset_shadow_nodes, sc);
  351. local_irq_enable();
  352. if (sc->memcg) {
  353. pages = mem_cgroup_node_nr_lru_pages(sc->memcg, sc->nid,
  354. LRU_ALL_FILE);
  355. } else {
  356. pages = node_page_state(NODE_DATA(sc->nid), NR_ACTIVE_FILE) +
  357. node_page_state(NODE_DATA(sc->nid), NR_INACTIVE_FILE);
  358. }
  359. /*
  360. * Active cache pages are limited to 50% of memory, and shadow
  361. * entries that represent a refault distance bigger than that
  362. * do not have any effect. Limit the number of shadow nodes
  363. * such that shadow entries do not exceed the number of active
  364. * cache pages, assuming a worst-case node population density
  365. * of 1/8th on average.
  366. *
  367. * On 64-bit with 7 radix_tree_nodes per page and 64 slots
  368. * each, this will reclaim shadow entries when they consume
  369. * ~2% of available memory:
  370. *
  371. * PAGE_SIZE / radix_tree_nodes / node_entries / PAGE_SIZE
  372. */
  373. max_nodes = pages >> (1 + RADIX_TREE_MAP_SHIFT - 3);
  374. if (shadow_nodes <= max_nodes)
  375. return 0;
  376. return shadow_nodes - max_nodes;
  377. }
  378. static enum lru_status shadow_lru_isolate(struct list_head *item,
  379. struct list_lru_one *lru,
  380. spinlock_t *lru_lock,
  381. void *arg)
  382. {
  383. struct address_space *mapping;
  384. struct radix_tree_node *node;
  385. unsigned int i;
  386. int ret;
  387. /*
  388. * Page cache insertions and deletions synchroneously maintain
  389. * the shadow node LRU under the mapping->tree_lock and the
  390. * lru_lock. Because the page cache tree is emptied before
  391. * the inode can be destroyed, holding the lru_lock pins any
  392. * address_space that has radix tree nodes on the LRU.
  393. *
  394. * We can then safely transition to the mapping->tree_lock to
  395. * pin only the address_space of the particular node we want
  396. * to reclaim, take the node off-LRU, and drop the lru_lock.
  397. */
  398. node = container_of(item, struct radix_tree_node, private_list);
  399. mapping = node->private_data;
  400. /* Coming from the list, invert the lock order */
  401. if (!spin_trylock(&mapping->tree_lock)) {
  402. spin_unlock(lru_lock);
  403. ret = LRU_RETRY;
  404. goto out;
  405. }
  406. list_lru_isolate(lru, item);
  407. spin_unlock(lru_lock);
  408. /*
  409. * The nodes should only contain one or more shadow entries,
  410. * no pages, so we expect to be able to remove them all and
  411. * delete and free the empty node afterwards.
  412. */
  413. BUG_ON(!workingset_node_shadows(node));
  414. BUG_ON(workingset_node_pages(node));
  415. for (i = 0; i < RADIX_TREE_MAP_SIZE; i++) {
  416. if (node->slots[i]) {
  417. BUG_ON(!radix_tree_exceptional_entry(node->slots[i]));
  418. node->slots[i] = NULL;
  419. workingset_node_shadows_dec(node);
  420. BUG_ON(!mapping->nrexceptional);
  421. mapping->nrexceptional--;
  422. }
  423. }
  424. BUG_ON(workingset_node_shadows(node));
  425. inc_node_state(page_pgdat(virt_to_page(node)), WORKINGSET_NODERECLAIM);
  426. if (!__radix_tree_delete_node(&mapping->page_tree, node))
  427. BUG();
  428. spin_unlock(&mapping->tree_lock);
  429. ret = LRU_REMOVED_RETRY;
  430. out:
  431. local_irq_enable();
  432. cond_resched();
  433. local_irq_disable();
  434. spin_lock(lru_lock);
  435. return ret;
  436. }
  437. static unsigned long scan_shadow_nodes(struct shrinker *shrinker,
  438. struct shrink_control *sc)
  439. {
  440. unsigned long ret;
  441. /* list_lru lock nests inside IRQ-safe mapping->tree_lock */
  442. local_irq_disable();
  443. ret = list_lru_shrink_walk(&workingset_shadow_nodes, sc,
  444. shadow_lru_isolate, NULL);
  445. local_irq_enable();
  446. return ret;
  447. }
  448. static struct shrinker workingset_shadow_shrinker = {
  449. .count_objects = count_shadow_nodes,
  450. .scan_objects = scan_shadow_nodes,
  451. .seeks = DEFAULT_SEEKS,
  452. .flags = SHRINKER_NUMA_AWARE | SHRINKER_MEMCG_AWARE,
  453. };
  454. /*
  455. * Our list_lru->lock is IRQ-safe as it nests inside the IRQ-safe
  456. * mapping->tree_lock.
  457. */
  458. static struct lock_class_key shadow_nodes_key;
  459. static int __init workingset_init(void)
  460. {
  461. unsigned int timestamp_bits;
  462. unsigned int max_order;
  463. int ret;
  464. BUILD_BUG_ON(BITS_PER_LONG < EVICTION_SHIFT);
  465. /*
  466. * Calculate the eviction bucket size to cover the longest
  467. * actionable refault distance, which is currently half of
  468. * memory (totalram_pages/2). However, memory hotplug may add
  469. * some more pages at runtime, so keep working with up to
  470. * double the initial memory by using totalram_pages as-is.
  471. */
  472. timestamp_bits = BITS_PER_LONG - EVICTION_SHIFT;
  473. max_order = fls_long(totalram_pages - 1);
  474. if (max_order > timestamp_bits)
  475. bucket_order = max_order - timestamp_bits;
  476. pr_info("workingset: timestamp_bits=%d max_order=%d bucket_order=%u\n",
  477. timestamp_bits, max_order, bucket_order);
  478. ret = __list_lru_init(&workingset_shadow_nodes, true, &shadow_nodes_key);
  479. if (ret)
  480. goto err;
  481. ret = register_shrinker(&workingset_shadow_shrinker);
  482. if (ret)
  483. goto err_list_lru;
  484. return 0;
  485. err_list_lru:
  486. list_lru_destroy(&workingset_shadow_nodes);
  487. err:
  488. return ret;
  489. }
  490. module_init(workingset_init);