Blame view
kernel/jump_label.c
10.8 KB
bf5438fca
|
1 2 3 4 |
/* * jump label support * * Copyright (C) 2009 Jason Baron <jbaron@redhat.com> |
d430d3d7e
|
5 |
* Copyright (C) 2011 Peter Zijlstra <pzijlstr@redhat.com> |
bf5438fca
|
6 7 |
* */ |
bf5438fca
|
8 9 10 11 |
#include <linux/memory.h> #include <linux/uaccess.h> #include <linux/module.h> #include <linux/list.h> |
bf5438fca
|
12 13 14 |
#include <linux/slab.h> #include <linux/sort.h> #include <linux/err.h> |
c5905afb0
|
15 |
#include <linux/static_key.h> |
bf5438fca
|
16 17 |
#ifdef HAVE_JUMP_LABEL |
bf5438fca
|
18 19 |
/* mutex to protect coming/going of the the jump_label table */ static DEFINE_MUTEX(jump_label_mutex); |
91bad2f8d
|
20 21 22 23 24 25 26 27 28 |
void jump_label_lock(void) { mutex_lock(&jump_label_mutex); } void jump_label_unlock(void) { mutex_unlock(&jump_label_mutex); } |
bf5438fca
|
29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 |
static int jump_label_cmp(const void *a, const void *b) { const struct jump_entry *jea = a; const struct jump_entry *jeb = b; if (jea->key < jeb->key) return -1; if (jea->key > jeb->key) return 1; return 0; } static void |
d430d3d7e
|
44 |
jump_label_sort_entries(struct jump_entry *start, struct jump_entry *stop) |
bf5438fca
|
45 46 47 48 49 50 51 |
{ unsigned long size; size = (((unsigned long)stop - (unsigned long)start) / sizeof(struct jump_entry)); sort(start, size, sizeof(struct jump_entry), jump_label_cmp, NULL); } |
c5905afb0
|
52 |
static void jump_label_update(struct static_key *key, int enable); |
bf5438fca
|
53 |
|
c5905afb0
|
54 |
void static_key_slow_inc(struct static_key *key) |
bf5438fca
|
55 |
{ |
d430d3d7e
|
56 57 |
if (atomic_inc_not_zero(&key->enabled)) return; |
bf5438fca
|
58 |
|
d430d3d7e
|
59 |
jump_label_lock(); |
c5905afb0
|
60 61 62 63 64 65 |
if (atomic_read(&key->enabled) == 0) { if (!jump_label_get_branch_default(key)) jump_label_update(key, JUMP_LABEL_ENABLE); else jump_label_update(key, JUMP_LABEL_DISABLE); } |
bbbf7af4b
|
66 |
atomic_inc(&key->enabled); |
d430d3d7e
|
67 |
jump_label_unlock(); |
bf5438fca
|
68 |
} |
c5905afb0
|
69 |
EXPORT_SYMBOL_GPL(static_key_slow_inc); |
bf5438fca
|
70 |
|
c5905afb0
|
71 |
static void __static_key_slow_dec(struct static_key *key, |
b20295207
|
72 |
unsigned long rate_limit, struct delayed_work *work) |
bf5438fca
|
73 |
{ |
fadf0464b
|
74 75 76 77 |
if (!atomic_dec_and_mutex_lock(&key->enabled, &jump_label_mutex)) { WARN(atomic_read(&key->enabled) < 0, "jump label: negative count! "); |
d430d3d7e
|
78 |
return; |
fadf0464b
|
79 |
} |
bf5438fca
|
80 |
|
b20295207
|
81 82 83 |
if (rate_limit) { atomic_inc(&key->enabled); schedule_delayed_work(work, rate_limit); |
c5905afb0
|
84 85 86 87 88 89 |
} else { if (!jump_label_get_branch_default(key)) jump_label_update(key, JUMP_LABEL_DISABLE); else jump_label_update(key, JUMP_LABEL_ENABLE); } |
91bad2f8d
|
90 |
jump_label_unlock(); |
bf5438fca
|
91 |
} |
b20295207
|
92 93 |
static void jump_label_update_timeout(struct work_struct *work) { |
c5905afb0
|
94 95 96 |
struct static_key_deferred *key = container_of(work, struct static_key_deferred, work.work); __static_key_slow_dec(&key->key, 0, NULL); |
b20295207
|
97 |
} |
c5905afb0
|
98 |
void static_key_slow_dec(struct static_key *key) |
b20295207
|
99 |
{ |
c5905afb0
|
100 |
__static_key_slow_dec(key, 0, NULL); |
b20295207
|
101 |
} |
c5905afb0
|
102 |
EXPORT_SYMBOL_GPL(static_key_slow_dec); |
b20295207
|
103 |
|
c5905afb0
|
104 |
void static_key_slow_dec_deferred(struct static_key_deferred *key) |
b20295207
|
105 |
{ |
c5905afb0
|
106 |
__static_key_slow_dec(&key->key, key->timeout, &key->work); |
b20295207
|
107 |
} |
c5905afb0
|
108 |
EXPORT_SYMBOL_GPL(static_key_slow_dec_deferred); |
b20295207
|
109 |
|
c5905afb0
|
110 |
void jump_label_rate_limit(struct static_key_deferred *key, |
b20295207
|
111 112 113 114 115 |
unsigned long rl) { key->timeout = rl; INIT_DELAYED_WORK(&key->work, jump_label_update_timeout); } |
4c3ef6d79
|
116 117 118 119 120 121 122 123 |
static int addr_conflict(struct jump_entry *entry, void *start, void *end) { if (entry->code <= (unsigned long)end && entry->code + JUMP_LABEL_NOP_SIZE > (unsigned long)start) return 1; return 0; } |
d430d3d7e
|
124 125 |
static int __jump_label_text_reserved(struct jump_entry *iter_start, struct jump_entry *iter_stop, void *start, void *end) |
4c3ef6d79
|
126 |
{ |
4c3ef6d79
|
127 |
struct jump_entry *iter; |
4c3ef6d79
|
128 |
|
4c3ef6d79
|
129 130 |
iter = iter_start; while (iter < iter_stop) { |
d430d3d7e
|
131 132 |
if (addr_conflict(iter, start, end)) return 1; |
4c3ef6d79
|
133 134 |
iter++; } |
d430d3d7e
|
135 136 |
return 0; } |
20284aa77
|
137 138 139 140 141 142 |
/* * Update code which is definitely not currently executing. * Architectures which need heavyweight synchronization to modify * running code can override this to make the non-live update case * cheaper. */ |
9cdbe1cba
|
143 |
void __weak __init_or_module arch_jump_label_transform_static(struct jump_entry *entry, |
20284aa77
|
144 145 146 147 |
enum jump_label_type type) { arch_jump_label_transform(entry, type); } |
c5905afb0
|
148 |
static void __jump_label_update(struct static_key *key, |
7cbc5b8d4
|
149 150 |
struct jump_entry *entry, struct jump_entry *stop, int enable) |
d430d3d7e
|
151 |
{ |
7cbc5b8d4
|
152 153 154 |
for (; (entry < stop) && (entry->key == (jump_label_t)(unsigned long)key); entry++) { |
d430d3d7e
|
155 156 157 158 159 160 161 162 |
/* * entry->code set to 0 invalidates module init text sections * kernel_text_address() verifies we are not in core kernel * init code, see jump_label_invalidate_module_init(). */ if (entry->code && kernel_text_address(entry->code)) arch_jump_label_transform(entry, enable); } |
4c3ef6d79
|
163 |
} |
c5905afb0
|
164 165 166 167 168 169 170 171 172 173 |
static enum jump_label_type jump_label_type(struct static_key *key) { bool true_branch = jump_label_get_branch_default(key); bool state = static_key_enabled(key); if ((!true_branch && state) || (true_branch && !state)) return JUMP_LABEL_ENABLE; return JUMP_LABEL_DISABLE; } |
97ce2c88f
|
174 |
void __init jump_label_init(void) |
bf5438fca
|
175 |
{ |
bf5438fca
|
176 177 |
struct jump_entry *iter_start = __start___jump_table; struct jump_entry *iter_stop = __stop___jump_table; |
c5905afb0
|
178 |
struct static_key *key = NULL; |
bf5438fca
|
179 |
struct jump_entry *iter; |
91bad2f8d
|
180 |
jump_label_lock(); |
d430d3d7e
|
181 182 183 |
jump_label_sort_entries(iter_start, iter_stop); for (iter = iter_start; iter < iter_stop; iter++) { |
c5905afb0
|
184 |
struct static_key *iterk; |
37348804e
|
185 |
|
c5905afb0
|
186 187 |
iterk = (struct static_key *)(unsigned long)iter->key; arch_jump_label_transform_static(iter, jump_label_type(iterk)); |
37348804e
|
188 |
if (iterk == key) |
d430d3d7e
|
189 |
continue; |
37348804e
|
190 |
key = iterk; |
c5905afb0
|
191 192 193 194 |
/* * Set key->entries to iter, but preserve JUMP_LABEL_TRUE_BRANCH. */ *((unsigned long *)&key->entries) += (unsigned long)iter; |
d430d3d7e
|
195 196 197 |
#ifdef CONFIG_MODULES key->next = NULL; #endif |
bf5438fca
|
198 |
} |
91bad2f8d
|
199 |
jump_label_unlock(); |
bf5438fca
|
200 |
} |
bf5438fca
|
201 202 |
#ifdef CONFIG_MODULES |
c5905afb0
|
203 204 |
struct static_key_mod { struct static_key_mod *next; |
d430d3d7e
|
205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 |
struct jump_entry *entries; struct module *mod; }; static int __jump_label_mod_text_reserved(void *start, void *end) { struct module *mod; mod = __module_text_address((unsigned long)start); if (!mod) return 0; WARN_ON_ONCE(__module_text_address((unsigned long)end) != mod); return __jump_label_text_reserved(mod->jump_entries, mod->jump_entries + mod->num_jump_entries, start, end); } |
c5905afb0
|
223 |
static void __jump_label_mod_update(struct static_key *key, int enable) |
d430d3d7e
|
224 |
{ |
c5905afb0
|
225 |
struct static_key_mod *mod = key->next; |
d430d3d7e
|
226 227 |
while (mod) { |
7cbc5b8d4
|
228 229 230 231 232 |
struct module *m = mod->mod; __jump_label_update(key, mod->entries, m->jump_entries + m->num_jump_entries, enable); |
d430d3d7e
|
233 234 235 236 237 238 239 240 241 242 243 244 245 |
mod = mod->next; } } /*** * apply_jump_label_nops - patch module jump labels with arch_get_jump_label_nop() * @mod: module to patch * * Allow for run-time selection of the optimal nops. Before the module * loads patch these with arch_get_jump_label_nop(), which is specified by * the arch specific jump label code. */ void jump_label_apply_nops(struct module *mod) |
bf5438fca
|
246 |
{ |
d430d3d7e
|
247 248 249 250 251 252 253 |
struct jump_entry *iter_start = mod->jump_entries; struct jump_entry *iter_stop = iter_start + mod->num_jump_entries; struct jump_entry *iter; /* if the module doesn't have jump label entries, just return */ if (iter_start == iter_stop) return; |
ac99b862f
|
254 |
for (iter = iter_start; iter < iter_stop; iter++) { |
c5905afb0
|
255 |
arch_jump_label_transform_static(iter, JUMP_LABEL_DISABLE); |
ac99b862f
|
256 |
} |
bf5438fca
|
257 |
} |
d430d3d7e
|
258 |
static int jump_label_add_module(struct module *mod) |
bf5438fca
|
259 |
{ |
d430d3d7e
|
260 261 262 |
struct jump_entry *iter_start = mod->jump_entries; struct jump_entry *iter_stop = iter_start + mod->num_jump_entries; struct jump_entry *iter; |
c5905afb0
|
263 264 |
struct static_key *key = NULL; struct static_key_mod *jlm; |
bf5438fca
|
265 266 |
/* if the module doesn't have jump label entries, just return */ |
d430d3d7e
|
267 |
if (iter_start == iter_stop) |
bf5438fca
|
268 |
return 0; |
d430d3d7e
|
269 270 271 |
jump_label_sort_entries(iter_start, iter_stop); for (iter = iter_start; iter < iter_stop; iter++) { |
c5905afb0
|
272 |
struct static_key *iterk; |
d430d3d7e
|
273 |
|
c5905afb0
|
274 275 276 |
iterk = (struct static_key *)(unsigned long)iter->key; if (iterk == key) continue; |
d430d3d7e
|
277 |
|
c5905afb0
|
278 |
key = iterk; |
d430d3d7e
|
279 |
if (__module_address(iter->key) == mod) { |
c5905afb0
|
280 281 282 283 |
/* * Set key->entries to iter, but preserve JUMP_LABEL_TRUE_BRANCH. */ *((unsigned long *)&key->entries) += (unsigned long)iter; |
d430d3d7e
|
284 285 |
key->next = NULL; continue; |
bf5438fca
|
286 |
} |
c5905afb0
|
287 |
jlm = kzalloc(sizeof(struct static_key_mod), GFP_KERNEL); |
d430d3d7e
|
288 289 |
if (!jlm) return -ENOMEM; |
d430d3d7e
|
290 291 292 293 |
jlm->mod = mod; jlm->entries = iter; jlm->next = key->next; key->next = jlm; |
c5905afb0
|
294 |
if (jump_label_type(key) == JUMP_LABEL_ENABLE) |
ac99b862f
|
295 |
__jump_label_update(key, iter, iter_stop, JUMP_LABEL_ENABLE); |
bf5438fca
|
296 |
} |
d430d3d7e
|
297 |
|
bf5438fca
|
298 299 |
return 0; } |
d430d3d7e
|
300 |
static void jump_label_del_module(struct module *mod) |
bf5438fca
|
301 |
{ |
d430d3d7e
|
302 303 304 |
struct jump_entry *iter_start = mod->jump_entries; struct jump_entry *iter_stop = iter_start + mod->num_jump_entries; struct jump_entry *iter; |
c5905afb0
|
305 306 |
struct static_key *key = NULL; struct static_key_mod *jlm, **prev; |
bf5438fca
|
307 |
|
d430d3d7e
|
308 309 310 |
for (iter = iter_start; iter < iter_stop; iter++) { if (iter->key == (jump_label_t)(unsigned long)key) continue; |
c5905afb0
|
311 |
key = (struct static_key *)(unsigned long)iter->key; |
d430d3d7e
|
312 313 314 315 316 317 |
if (__module_address(iter->key) == mod) continue; prev = &key->next; jlm = key->next; |
bf5438fca
|
318 |
|
d430d3d7e
|
319 320 321 322 323 324 325 326 |
while (jlm && jlm->mod != mod) { prev = &jlm->next; jlm = jlm->next; } if (jlm) { *prev = jlm->next; kfree(jlm); |
bf5438fca
|
327 328 329 |
} } } |
d430d3d7e
|
330 |
static void jump_label_invalidate_module_init(struct module *mod) |
b842f8faf
|
331 |
{ |
d430d3d7e
|
332 333 |
struct jump_entry *iter_start = mod->jump_entries; struct jump_entry *iter_stop = iter_start + mod->num_jump_entries; |
b842f8faf
|
334 |
struct jump_entry *iter; |
b842f8faf
|
335 |
|
d430d3d7e
|
336 337 338 |
for (iter = iter_start; iter < iter_stop; iter++) { if (within_module_init(iter->code, mod)) iter->code = 0; |
b842f8faf
|
339 340 |
} } |
bf5438fca
|
341 342 343 344 345 346 347 348 349 |
static int jump_label_module_notify(struct notifier_block *self, unsigned long val, void *data) { struct module *mod = data; int ret = 0; switch (val) { case MODULE_STATE_COMING: |
91bad2f8d
|
350 |
jump_label_lock(); |
d430d3d7e
|
351 |
ret = jump_label_add_module(mod); |
bf5438fca
|
352 |
if (ret) |
d430d3d7e
|
353 |
jump_label_del_module(mod); |
91bad2f8d
|
354 |
jump_label_unlock(); |
bf5438fca
|
355 356 |
break; case MODULE_STATE_GOING: |
91bad2f8d
|
357 |
jump_label_lock(); |
d430d3d7e
|
358 |
jump_label_del_module(mod); |
91bad2f8d
|
359 |
jump_label_unlock(); |
bf5438fca
|
360 |
break; |
b842f8faf
|
361 |
case MODULE_STATE_LIVE: |
91bad2f8d
|
362 |
jump_label_lock(); |
d430d3d7e
|
363 |
jump_label_invalidate_module_init(mod); |
91bad2f8d
|
364 |
jump_label_unlock(); |
b842f8faf
|
365 |
break; |
bf5438fca
|
366 |
} |
bf5438fca
|
367 |
|
d430d3d7e
|
368 |
return notifier_from_errno(ret); |
bf5438fca
|
369 370 371 372 |
} struct notifier_block jump_label_module_nb = { .notifier_call = jump_label_module_notify, |
d430d3d7e
|
373 |
.priority = 1, /* higher than tracepoints */ |
bf5438fca
|
374 |
}; |
d430d3d7e
|
375 |
static __init int jump_label_init_module(void) |
bf5438fca
|
376 377 378 |
{ return register_module_notifier(&jump_label_module_nb); } |
d430d3d7e
|
379 |
early_initcall(jump_label_init_module); |
bf5438fca
|
380 381 |
#endif /* CONFIG_MODULES */ |
d430d3d7e
|
382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 |
/*** * jump_label_text_reserved - check if addr range is reserved * @start: start text addr * @end: end text addr * * checks if the text addr located between @start and @end * overlaps with any of the jump label patch addresses. Code * that wants to modify kernel text should first verify that * it does not overlap with any of the jump label addresses. * Caller must hold jump_label_mutex. * * returns 1 if there is an overlap, 0 otherwise */ int jump_label_text_reserved(void *start, void *end) { int ret = __jump_label_text_reserved(__start___jump_table, __stop___jump_table, start, end); if (ret) return ret; #ifdef CONFIG_MODULES ret = __jump_label_mod_text_reserved(start, end); #endif return ret; } |
c5905afb0
|
408 |
static void jump_label_update(struct static_key *key, int enable) |
d430d3d7e
|
409 |
{ |
c5905afb0
|
410 411 |
struct jump_entry *stop = __stop___jump_table; struct jump_entry *entry = jump_label_get_entries(key); |
d430d3d7e
|
412 413 |
#ifdef CONFIG_MODULES |
a746e3cc9
|
414 |
struct module *mod = __module_address((unsigned long)key); |
140fe3b1a
|
415 |
|
d430d3d7e
|
416 |
__jump_label_mod_update(key, enable); |
140fe3b1a
|
417 418 419 |
if (mod) stop = mod->jump_entries + mod->num_jump_entries; |
d430d3d7e
|
420 |
#endif |
140fe3b1a
|
421 422 423 |
/* if there are no users, entry can be NULL */ if (entry) __jump_label_update(key, entry, stop, enable); |
d430d3d7e
|
424 |
} |
bf5438fca
|
425 |
#endif |