blob: 159b52ccd600eff0ce0ceee71deb1139bfb3ffc1 [file] [log] [blame]
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -08001/*
2 * Handle caching attributes in page tables (PAT)
3 *
4 * Authors: Venkatesh Pallipadi <venkatesh.pallipadi@intel.com>
5 * Suresh B Siddha <suresh.b.siddha@intel.com>
6 *
7 * Interval tree (augmented rbtree) used to store the PAT memory type
8 * reservations.
9 */
10
11#include <linux/seq_file.h>
12#include <linux/debugfs.h>
13#include <linux/kernel.h>
Michel Lespinasse9c079ad2012-10-08 16:31:33 -070014#include <linux/rbtree_augmented.h>
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -080015#include <linux/sched.h>
16#include <linux/gfp.h>
17
18#include <asm/pgtable.h>
19#include <asm/pat.h>
20
21#include "pat_internal.h"
22
23/*
24 * The memtype tree keeps track of memory type for specific
25 * physical memory areas. Without proper tracking, conflicting memory
26 * types in different mappings can cause CPU cache corruption.
27 *
28 * The tree is an interval tree (augmented rbtree) with tree ordered
29 * on starting address. Tree can contain multiple entries for
30 * different regions which overlap. All the aliases have the same
31 * cache attributes of course.
32 *
33 * memtype_lock protects the rbtree.
34 */
35
Peter Zijlstrab945d6b2010-05-29 15:31:43 +020036static struct rb_root memtype_rbroot = RB_ROOT;
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -080037
38static int is_node_overlap(struct memtype *node, u64 start, u64 end)
39{
40 if (node->start >= end || node->end <= start)
41 return 0;
42
43 return 1;
44}
45
46static u64 get_subtree_max_end(struct rb_node *node)
47{
48 u64 ret = 0;
49 if (node) {
50 struct memtype *data = container_of(node, struct memtype, rb);
51 ret = data->subtree_max_end;
52 }
53 return ret;
54}
55
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -070056static u64 compute_subtree_max_end(struct memtype *data)
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -080057{
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -070058 u64 max_end = data->end, child_max_end;
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -080059
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -070060 child_max_end = get_subtree_max_end(data->rb.rb_right);
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -080061 if (child_max_end > max_end)
62 max_end = child_max_end;
63
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -070064 child_max_end = get_subtree_max_end(data->rb.rb_left);
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -080065 if (child_max_end > max_end)
66 max_end = child_max_end;
67
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -070068 return max_end;
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -080069}
70
Michel Lespinasse39088362012-10-08 16:31:21 -070071RB_DECLARE_CALLBACKS(static, memtype_rb_augment_cb, struct memtype, rb,
72 u64, subtree_max_end, compute_subtree_max_end)
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -070073
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -080074/* Find the first (lowest start addr) overlapping range from rb tree */
75static struct memtype *memtype_rb_lowest_match(struct rb_root *root,
76 u64 start, u64 end)
77{
78 struct rb_node *node = root->rb_node;
79 struct memtype *last_lower = NULL;
80
81 while (node) {
82 struct memtype *data = container_of(node, struct memtype, rb);
83
84 if (get_subtree_max_end(node->rb_left) > start) {
85 /* Lowest overlap if any must be on left side */
86 node = node->rb_left;
87 } else if (is_node_overlap(data, start, end)) {
88 last_lower = data;
89 break;
90 } else if (start >= data->start) {
91 /* Lowest overlap if any must be on right side */
92 node = node->rb_right;
93 } else {
94 break;
95 }
96 }
97 return last_lower; /* Returns NULL if there is no overlap */
98}
99
Toshi Kani2039e6a2015-12-22 17:54:24 -0700100enum {
101 MEMTYPE_EXACT_MATCH = 0,
102 MEMTYPE_END_MATCH = 1
103};
104
105static struct memtype *memtype_rb_match(struct rb_root *root,
106 u64 start, u64 end, int match_type)
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800107{
108 struct memtype *match;
109
110 match = memtype_rb_lowest_match(root, start, end);
111 while (match != NULL && match->start < end) {
112 struct rb_node *node;
113
Toshi Kani2039e6a2015-12-22 17:54:24 -0700114 if ((match_type == MEMTYPE_EXACT_MATCH) &&
115 (match->start == start) && (match->end == end))
116 return match;
117
118 if ((match_type == MEMTYPE_END_MATCH) &&
119 (match->start < start) && (match->end == end))
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800120 return match;
121
122 node = rb_next(&match->rb);
123 if (node)
124 match = container_of(node, struct memtype, rb);
125 else
126 match = NULL;
127 }
128
Toshi Kani2039e6a2015-12-22 17:54:24 -0700129 return NULL; /* Returns NULL if there is no match */
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800130}
131
132static int memtype_rb_check_conflict(struct rb_root *root,
133 u64 start, u64 end,
Juergen Grosse00c8cc2014-11-03 14:01:59 +0100134 enum page_cache_mode reqtype,
135 enum page_cache_mode *newtype)
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800136{
137 struct rb_node *node;
138 struct memtype *match;
Juergen Grosse00c8cc2014-11-03 14:01:59 +0100139 enum page_cache_mode found_type = reqtype;
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800140
141 match = memtype_rb_lowest_match(&memtype_rbroot, start, end);
142 if (match == NULL)
143 goto success;
144
145 if (match->type != found_type && newtype == NULL)
146 goto failure;
147
148 dprintk("Overlap at 0x%Lx-0x%Lx\n", match->start, match->end);
149 found_type = match->type;
150
151 node = rb_next(&match->rb);
152 while (node) {
153 match = container_of(node, struct memtype, rb);
154
155 if (match->start >= end) /* Checked all possible matches */
156 goto success;
157
158 if (is_node_overlap(match, start, end) &&
159 match->type != found_type) {
160 goto failure;
161 }
162
163 node = rb_next(&match->rb);
164 }
165success:
166 if (newtype)
167 *newtype = found_type;
168
169 return 0;
170
171failure:
Luis R. Rodriguez9e765612015-05-26 10:28:11 +0200172 pr_info("x86/PAT: %s:%d conflicting memory types %Lx-%Lx %s<->%s\n",
173 current->comm, current->pid, start, end,
174 cattr_name(found_type), cattr_name(match->type));
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800175 return -EBUSY;
176}
177
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800178static void memtype_rb_insert(struct rb_root *root, struct memtype *newdata)
179{
180 struct rb_node **node = &(root->rb_node);
181 struct rb_node *parent = NULL;
182
183 while (*node) {
184 struct memtype *data = container_of(*node, struct memtype, rb);
185
186 parent = *node;
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -0700187 if (data->subtree_max_end < newdata->end)
188 data->subtree_max_end = newdata->end;
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800189 if (newdata->start <= data->start)
190 node = &((*node)->rb_left);
191 else if (newdata->start > data->start)
192 node = &((*node)->rb_right);
193 }
194
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -0700195 newdata->subtree_max_end = newdata->end;
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800196 rb_link_node(&newdata->rb, parent, node);
Michel Lespinasse9d9e6f92012-10-08 16:31:20 -0700197 rb_insert_augmented(&newdata->rb, root, &memtype_rb_augment_cb);
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800198}
199
Juergen Grosse00c8cc2014-11-03 14:01:59 +0100200int rbt_memtype_check_insert(struct memtype *new,
201 enum page_cache_mode *ret_type)
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800202{
203 int err = 0;
204
205 err = memtype_rb_check_conflict(&memtype_rbroot, new->start, new->end,
206 new->type, ret_type);
207
208 if (!err) {
Pallipadi, Venkatesh4daa2a82010-02-24 13:43:55 -0800209 if (ret_type)
210 new->type = *ret_type;
211
Venkatesh Pallipadi6a4f3b52010-06-10 17:45:01 -0700212 new->subtree_max_end = new->end;
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800213 memtype_rb_insert(&memtype_rbroot, new);
214 }
215 return err;
216}
217
Xiaotian Feng20413f22010-05-26 09:51:10 +0800218struct memtype *rbt_memtype_erase(u64 start, u64 end)
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800219{
220 struct memtype *data;
221
Toshi Kani2039e6a2015-12-22 17:54:24 -0700222 /*
223 * Since the memtype_rbroot tree allows overlapping ranges,
224 * rbt_memtype_erase() checks with EXACT_MATCH first, i.e. free
225 * a whole node for the munmap case. If no such entry is found,
226 * it then checks with END_MATCH, i.e. shrink the size of a node
227 * from the end for the mremap case.
228 */
229 data = memtype_rb_match(&memtype_rbroot, start, end,
230 MEMTYPE_EXACT_MATCH);
231 if (!data) {
232 data = memtype_rb_match(&memtype_rbroot, start, end,
233 MEMTYPE_END_MATCH);
234 if (!data)
235 return ERR_PTR(-EINVAL);
236 }
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800237
Toshi Kani2039e6a2015-12-22 17:54:24 -0700238 if (data->start == start) {
239 /* munmap: erase this node */
240 rb_erase_augmented(&data->rb, &memtype_rbroot,
241 &memtype_rb_augment_cb);
242 } else {
243 /* mremap: update the end value of this node */
244 rb_erase_augmented(&data->rb, &memtype_rbroot,
245 &memtype_rb_augment_cb);
246 data->end = start;
247 data->subtree_max_end = data->end;
248 memtype_rb_insert(&memtype_rbroot, data);
249 return NULL;
250 }
251
Xiaotian Feng20413f22010-05-26 09:51:10 +0800252 return data;
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800253}
254
255struct memtype *rbt_memtype_lookup(u64 addr)
256{
Masahiro Yamadaf148b412016-09-11 14:58:21 +0900257 return memtype_rb_lowest_match(&memtype_rbroot, addr, addr + PAGE_SIZE);
Pallipadi, Venkatesh9e41a492010-02-10 15:26:07 -0800258}
259
260#if defined(CONFIG_DEBUG_FS)
261int rbt_memtype_copy_nth_element(struct memtype *out, loff_t pos)
262{
263 struct rb_node *node;
264 int i = 1;
265
266 node = rb_first(&memtype_rbroot);
267 while (node && pos != i) {
268 node = rb_next(node);
269 i++;
270 }
271
272 if (node) { /* pos == i */
273 struct memtype *this = container_of(node, struct memtype, rb);
274 *out = *this;
275 return 0;
276 } else {
277 return 1;
278 }
279}
280#endif