include/linux/mm_inline.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifndef LINUX_MM_INLINE_H
   3 #define LINUX_MM_INLINE_H
   4
   5 #include <linux/atomic.h>
   6 #include <linux/huge_mm.h>
   7 #include <linux/swap.h>
   8 #include <linux/string.h>
   9
  10 /**
  11  * folio_is_file_lru - Should the folio be on a file LRU or anon LRU?
  12  * @folio: The folio to test.
  13  *
  14  * We would like to get this info without a page flag, but the state
  15  * needs to survive until the folio is last deleted from the LRU, which
  16  * could be as far down as __page_cache_release.
  17  *
  18  * Return: An integer (not a boolean!) used to sort a folio onto the
  19  * right LRU list and to account folios correctly.
  20  * 1 if @folio is a regular filesystem backed page cache folio
  21  * or a lazily freed anonymous folio (e.g. via MADV_FREE).
  22  * 0 if @folio is a normal anonymous folio, a tmpfs folio or otherwise
  23  * ram or swap backed folio.
  24  */
  25 static inline int folio_is_file_lru(struct folio *folio)
  26 {
  27         return !folio_test_swapbacked(folio);
  28 }
  29
  30 static inline int page_is_file_lru(struct page *page)
  31 {
  32         return folio_is_file_lru(page_folio(page));
  33 }
  34
  35 static __always_inline void update_lru_size(struct lruvec *lruvec,
  36                                 enum lru_list lru, enum zone_type zid,
  37                                 long nr_pages)
  38 {
  39         struct pglist_data *pgdat = lruvec_pgdat(lruvec);
  40
  41         __mod_lruvec_state(lruvec, NR_LRU_BASE + lru, nr_pages);
  42         __mod_zone_page_state(&pgdat->node_zones[zid],
  43                                 NR_ZONE_LRU_BASE + lru, nr_pages);
  44 #ifdef CONFIG_MEMCG
  45         mem_cgroup_update_lru_size(lruvec, lru, zid, nr_pages);
  46 #endif
  47 }
  48
  49 /**
  50  * __folio_clear_lru_flags - Clear page lru flags before releasing a page.
  51  * @folio: The folio that was on lru and now has a zero reference.
  52  */
  53 static __always_inline void __folio_clear_lru_flags(struct folio *folio)
  54 {
  55         VM_BUG_ON_FOLIO(!folio_test_lru(folio), folio);
  56
  57         __folio_clear_lru(folio);
  58
  59         /* this shouldn't happen, so leave the flags to bad_page() */
  60         if (folio_test_active(folio) && folio_test_unevictable(folio))
  61                 return;
  62
  63         __folio_clear_active(folio);
  64         __folio_clear_unevictable(folio);
  65 }
  66
  67 static __always_inline void __clear_page_lru_flags(struct page *page)
  68 {
  69         __folio_clear_lru_flags(page_folio(page));
  70 }
  71
  72 /**
  73  * folio_lru_list - Which LRU list should a folio be on?
  74  * @folio: The folio to test.
  75  *
  76  * Return: The LRU list a folio should be on, as an index
  77  * into the array of LRU lists.
  78  */
  79 static __always_inline enum lru_list folio_lru_list(struct folio *folio)
  80 {
  81         enum lru_list lru;
  82
  83         VM_BUG_ON_FOLIO(folio_test_active(folio) && folio_test_unevictable(folio), folio);
  84
  85         if (folio_test_unevictable(folio))
  86                 return LRU_UNEVICTABLE;
  87
  88         lru = folio_is_file_lru(folio) ? LRU_INACTIVE_FILE : LRU_INACTIVE_ANON;
  89         if (folio_test_active(folio))
  90                 lru += LRU_ACTIVE;
  91
  92         return lru;
  93 }
  94
  95 static __always_inline
  96 void lruvec_add_folio(struct lruvec *lruvec, struct folio *folio)
  97 {
  98         enum lru_list lru = folio_lru_list(folio);
  99
 100         update_lru_size(lruvec, lru, folio_zonenum(folio),
 101                         folio_nr_pages(folio));
 102         list_add(&folio->lru, &lruvec->lists[lru]);
 103 }
 104
 105 static __always_inline void add_page_to_lru_list(struct page *page,
 106                                 struct lruvec *lruvec)
 107 {
 108         lruvec_add_folio(lruvec, page_folio(page));
 109 }
 110
 111 static __always_inline
 112 void lruvec_add_folio_tail(struct lruvec *lruvec, struct folio *folio)
 113 {
 114         enum lru_list lru = folio_lru_list(folio);
 115
 116         update_lru_size(lruvec, lru, folio_zonenum(folio),
 117                         folio_nr_pages(folio));
 118         list_add_tail(&folio->lru, &lruvec->lists[lru]);
 119 }
 120
 121 static __always_inline void add_page_to_lru_list_tail(struct page *page,
 122                                 struct lruvec *lruvec)
 123 {
 124         lruvec_add_folio_tail(lruvec, page_folio(page));
 125 }
 126
 127 static __always_inline
 128 void lruvec_del_folio(struct lruvec *lruvec, struct folio *folio)
 129 {
 130         list_del(&folio->lru);
 131         update_lru_size(lruvec, folio_lru_list(folio), folio_zonenum(folio),
 132                         -folio_nr_pages(folio));
 133 }
 134
 135 static __always_inline void del_page_from_lru_list(struct page *page,
 136                                 struct lruvec *lruvec)
 137 {
 138         lruvec_del_folio(lruvec, page_folio(page));
 139 }
 140
 141 #ifdef CONFIG_ANON_VMA_NAME
 142 /*
 143  * mmap_lock should be read-locked when calling anon_vma_name(). Caller should
 144  * either keep holding the lock while using the returned pointer or it should
 145  * raise anon_vma_name refcount before releasing the lock.
 146  */
 147 extern struct anon_vma_name *anon_vma_name(struct vm_area_struct *vma);
 148 extern struct anon_vma_name *anon_vma_name_alloc(const char *name);
 149 extern void anon_vma_name_free(struct kref *kref);
 150
 151 /* mmap_lock should be read-locked */
 152 static inline void anon_vma_name_get(struct anon_vma_name *anon_name)
 153 {
 154         if (anon_name)
 155                 kref_get(&anon_name->kref);
 156 }
 157
 158 static inline void anon_vma_name_put(struct anon_vma_name *anon_name)
 159 {
 160         if (anon_name)
 161                 kref_put(&anon_name->kref, anon_vma_name_free);
 162 }
 163
 164 static inline void dup_anon_vma_name(struct vm_area_struct *orig_vma,
 165                                      struct vm_area_struct *new_vma)
 166 {
 167         struct anon_vma_name *anon_name = anon_vma_name(orig_vma);
 168
 169         if (anon_name) {
 170                 anon_vma_name_get(anon_name);
 171                 new_vma->anon_name = anon_name;
 172         }
 173 }
 174
 175 static inline void free_anon_vma_name(struct vm_area_struct *vma)
 176 {
 177         /*
 178          * Not using anon_vma_name because it generates a warning if mmap_lock
 179          * is not held, which might be the case here.
 180          */
 181         if (!vma->vm_file)
 182                 anon_vma_name_put(vma->anon_name);
 183 }
 184
 185 static inline bool anon_vma_name_eq(struct anon_vma_name *anon_name1,
 186                                     struct anon_vma_name *anon_name2)
 187 {
 188         if (anon_name1 == anon_name2)
 189                 return true;
 190
 191         return anon_name1 && anon_name2 &&
 192                 !strcmp(anon_name1->name, anon_name2->name);
 193 }
 194
 195 #else /* CONFIG_ANON_VMA_NAME */
 196 static inline struct anon_vma_name *anon_vma_name(struct vm_area_struct *vma)
 197 {
 198         return NULL;
 199 }
 200
 201 static inline struct anon_vma_name *anon_vma_name_alloc(const char *name)
 202 {
 203         return NULL;
 204 }
 205
 206 static inline void anon_vma_name_get(struct anon_vma_name *anon_name) {}
 207 static inline void anon_vma_name_put(struct anon_vma_name *anon_name) {}
 208 static inline void dup_anon_vma_name(struct vm_area_struct *orig_vma,
 209                                      struct vm_area_struct *new_vma) {}
 210 static inline void free_anon_vma_name(struct vm_area_struct *vma) {}
 211
 212 static inline bool anon_vma_name_eq(struct anon_vma_name *anon_name1,
 213                                     struct anon_vma_name *anon_name2)
 214 {
 215         return true;
 216 }
 217
 218 #endif  /* CONFIG_ANON_VMA_NAME */
 219
 220 static inline void init_tlb_flush_pending(struct mm_struct *mm)
 221 {
 222         atomic_set(&mm->tlb_flush_pending, 0);
 223 }
 224
 225 static inline void inc_tlb_flush_pending(struct mm_struct *mm)
 226 {
 227         atomic_inc(&mm->tlb_flush_pending);
 228         /*
 229          * The only time this value is relevant is when there are indeed pages
 230          * to flush. And we'll only flush pages after changing them, which
 231          * requires the PTL.
 232          *
 233          * So the ordering here is:
 234          *
 235          *      atomic_inc(&mm->tlb_flush_pending);
 236          *      spin_lock(&ptl);
 237          *      ...
 238          *      set_pte_at();
 239          *      spin_unlock(&ptl);
 240          *
 241          *                              spin_lock(&ptl)
 242          *                              mm_tlb_flush_pending();
 243          *                              ....
 244          *                              spin_unlock(&ptl);
 245          *
 246          *      flush_tlb_range();
 247          *      atomic_dec(&mm->tlb_flush_pending);
 248          *
 249          * Where the increment if constrained by the PTL unlock, it thus
 250          * ensures that the increment is visible if the PTE modification is
 251          * visible. After all, if there is no PTE modification, nobody cares
 252          * about TLB flushes either.
 253          *
 254          * This very much relies on users (mm_tlb_flush_pending() and
 255          * mm_tlb_flush_nested()) only caring about _specific_ PTEs (and
 256          * therefore specific PTLs), because with SPLIT_PTE_PTLOCKS and RCpc
 257          * locks (PPC) the unlock of one doesn't order against the lock of
 258          * another PTL.
 259          *
 260          * The decrement is ordered by the flush_tlb_range(), such that
 261          * mm_tlb_flush_pending() will not return false unless all flushes have
 262          * completed.
 263          */
 264 }
 265
 266 static inline void dec_tlb_flush_pending(struct mm_struct *mm)
 267 {
 268         /*
 269          * See inc_tlb_flush_pending().
 270          *
 271          * This cannot be smp_mb__before_atomic() because smp_mb() simply does
 272          * not order against TLB invalidate completion, which is what we need.
 273          *
 274          * Therefore we must rely on tlb_flush_*() to guarantee order.
 275          */
 276         atomic_dec(&mm->tlb_flush_pending);
 277 }
 278
 279 static inline bool mm_tlb_flush_pending(struct mm_struct *mm)
 280 {
 281         /*
 282          * Must be called after having acquired the PTL; orders against that
 283          * PTLs release and therefore ensures that if we observe the modified
 284          * PTE we must also observe the increment from inc_tlb_flush_pending().
 285          *
 286          * That is, it only guarantees to return true if there is a flush
 287          * pending for _this_ PTL.
 288          */
 289         return atomic_read(&mm->tlb_flush_pending);
 290 }
 291
 292 static inline bool mm_tlb_flush_nested(struct mm_struct *mm)
 293 {
 294         /*
 295          * Similar to mm_tlb_flush_pending(), we must have acquired the PTL
 296          * for which there is a TLB flush pending in order to guarantee
 297          * we've seen both that PTE modification and the increment.
 298          *
 299          * (no requirement on actually still holding the PTL, that is irrelevant)
 300          */
 301         return atomic_read(&mm->tlb_flush_pending) > 1;
 302 }
 303
 304
 305 #endif