blob: 9019f15deab201127065e4d6987677fdcdd63676 [file] [log] [blame]
Jason Baronbf5438fc2010-09-17 11:09:00 -04001/*
2 * jump label support
3 *
4 * Copyright (C) 2009 Jason Baron <jbaron@redhat.com>
Jason Barond430d3d2011-03-16 17:29:47 -04005 * Copyright (C) 2011 Peter Zijlstra <pzijlstr@redhat.com>
Jason Baronbf5438fc2010-09-17 11:09:00 -04006 *
7 */
Jason Baronbf5438fc2010-09-17 11:09:00 -04008#include <linux/memory.h>
9#include <linux/uaccess.h>
10#include <linux/module.h>
11#include <linux/list.h>
Jason Baronbf5438fc2010-09-17 11:09:00 -040012#include <linux/slab.h>
13#include <linux/sort.h>
14#include <linux/err.h>
Ingo Molnarc5905af2012-02-24 08:31:31 +010015#include <linux/static_key.h>
Andrew Jones851cf6e2013-08-09 19:51:57 +053016#include <linux/jump_label_ratelimit.h>
Jason Baronbf5438fc2010-09-17 11:09:00 -040017
18#ifdef HAVE_JUMP_LABEL
19
Jason Baronbf5438fc2010-09-17 11:09:00 -040020/* mutex to protect coming/going of the the jump_label table */
21static DEFINE_MUTEX(jump_label_mutex);
22
Jason Baron91bad2f2010-10-01 17:23:48 -040023void jump_label_lock(void)
24{
25 mutex_lock(&jump_label_mutex);
26}
27
28void jump_label_unlock(void)
29{
30 mutex_unlock(&jump_label_mutex);
31}
32
Jason Baronbf5438fc2010-09-17 11:09:00 -040033static int jump_label_cmp(const void *a, const void *b)
34{
35 const struct jump_entry *jea = a;
36 const struct jump_entry *jeb = b;
37
38 if (jea->key < jeb->key)
39 return -1;
40
41 if (jea->key > jeb->key)
42 return 1;
43
44 return 0;
45}
46
47static void
Jason Barond430d3d2011-03-16 17:29:47 -040048jump_label_sort_entries(struct jump_entry *start, struct jump_entry *stop)
Jason Baronbf5438fc2010-09-17 11:09:00 -040049{
50 unsigned long size;
51
52 size = (((unsigned long)stop - (unsigned long)start)
53 / sizeof(struct jump_entry));
54 sort(start, size, sizeof(struct jump_entry), jump_label_cmp, NULL);
55}
56
Ingo Molnarc5905af2012-02-24 08:31:31 +010057static void jump_label_update(struct static_key *key, int enable);
Jason Barond430d3d2011-03-16 17:29:47 -040058
Ingo Molnarc5905af2012-02-24 08:31:31 +010059void static_key_slow_inc(struct static_key *key)
Jason Baronbf5438fc2010-09-17 11:09:00 -040060{
Hannes Frederic Sowac4b2c0c2013-10-19 21:48:53 +020061 STATIC_KEY_CHECK_USE();
Jason Barond430d3d2011-03-16 17:29:47 -040062 if (atomic_inc_not_zero(&key->enabled))
63 return;
Jason Baronbf5438fc2010-09-17 11:09:00 -040064
Jason Baron91bad2f2010-10-01 17:23:48 -040065 jump_label_lock();
Ingo Molnarc5905af2012-02-24 08:31:31 +010066 if (atomic_read(&key->enabled) == 0) {
67 if (!jump_label_get_branch_default(key))
68 jump_label_update(key, JUMP_LABEL_ENABLE);
69 else
70 jump_label_update(key, JUMP_LABEL_DISABLE);
71 }
Gleb Natapovbbbf7af2011-10-18 19:55:51 +020072 atomic_inc(&key->enabled);
Jason Barond430d3d2011-03-16 17:29:47 -040073 jump_label_unlock();
74}
Ingo Molnarc5905af2012-02-24 08:31:31 +010075EXPORT_SYMBOL_GPL(static_key_slow_inc);
Jason Barond430d3d2011-03-16 17:29:47 -040076
Ingo Molnarc5905af2012-02-24 08:31:31 +010077static void __static_key_slow_dec(struct static_key *key,
Gleb Natapovb2029522011-11-27 17:59:09 +020078 unsigned long rate_limit, struct delayed_work *work)
Jason Barond430d3d2011-03-16 17:29:47 -040079{
Jason Baronfadf0462012-02-21 15:02:53 -050080 if (!atomic_dec_and_mutex_lock(&key->enabled, &jump_label_mutex)) {
81 WARN(atomic_read(&key->enabled) < 0,
82 "jump label: negative count!\n");
Jason Barond430d3d2011-03-16 17:29:47 -040083 return;
Jason Baronfadf0462012-02-21 15:02:53 -050084 }
Jason Barond430d3d2011-03-16 17:29:47 -040085
Gleb Natapovb2029522011-11-27 17:59:09 +020086 if (rate_limit) {
87 atomic_inc(&key->enabled);
88 schedule_delayed_work(work, rate_limit);
Ingo Molnarc5905af2012-02-24 08:31:31 +010089 } else {
90 if (!jump_label_get_branch_default(key))
91 jump_label_update(key, JUMP_LABEL_DISABLE);
92 else
93 jump_label_update(key, JUMP_LABEL_ENABLE);
94 }
Jason Baron91bad2f2010-10-01 17:23:48 -040095 jump_label_unlock();
Jason Baronbf5438fc2010-09-17 11:09:00 -040096}
97
Gleb Natapovb2029522011-11-27 17:59:09 +020098static void jump_label_update_timeout(struct work_struct *work)
99{
Ingo Molnarc5905af2012-02-24 08:31:31 +0100100 struct static_key_deferred *key =
101 container_of(work, struct static_key_deferred, work.work);
102 __static_key_slow_dec(&key->key, 0, NULL);
Gleb Natapovb2029522011-11-27 17:59:09 +0200103}
104
Ingo Molnarc5905af2012-02-24 08:31:31 +0100105void static_key_slow_dec(struct static_key *key)
Gleb Natapovb2029522011-11-27 17:59:09 +0200106{
Hannes Frederic Sowac4b2c0c2013-10-19 21:48:53 +0200107 STATIC_KEY_CHECK_USE();
Ingo Molnarc5905af2012-02-24 08:31:31 +0100108 __static_key_slow_dec(key, 0, NULL);
Gleb Natapovb2029522011-11-27 17:59:09 +0200109}
Ingo Molnarc5905af2012-02-24 08:31:31 +0100110EXPORT_SYMBOL_GPL(static_key_slow_dec);
Gleb Natapovb2029522011-11-27 17:59:09 +0200111
Ingo Molnarc5905af2012-02-24 08:31:31 +0100112void static_key_slow_dec_deferred(struct static_key_deferred *key)
Gleb Natapovb2029522011-11-27 17:59:09 +0200113{
Hannes Frederic Sowac4b2c0c2013-10-19 21:48:53 +0200114 STATIC_KEY_CHECK_USE();
Ingo Molnarc5905af2012-02-24 08:31:31 +0100115 __static_key_slow_dec(&key->key, key->timeout, &key->work);
Gleb Natapovb2029522011-11-27 17:59:09 +0200116}
Ingo Molnarc5905af2012-02-24 08:31:31 +0100117EXPORT_SYMBOL_GPL(static_key_slow_dec_deferred);
Gleb Natapovb2029522011-11-27 17:59:09 +0200118
Ingo Molnarc5905af2012-02-24 08:31:31 +0100119void jump_label_rate_limit(struct static_key_deferred *key,
Gleb Natapovb2029522011-11-27 17:59:09 +0200120 unsigned long rl)
121{
Hannes Frederic Sowac4b2c0c2013-10-19 21:48:53 +0200122 STATIC_KEY_CHECK_USE();
Gleb Natapovb2029522011-11-27 17:59:09 +0200123 key->timeout = rl;
124 INIT_DELAYED_WORK(&key->work, jump_label_update_timeout);
125}
Gleb Natapova181dc12012-08-05 15:58:29 +0300126EXPORT_SYMBOL_GPL(jump_label_rate_limit);
Gleb Natapovb2029522011-11-27 17:59:09 +0200127
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400128static int addr_conflict(struct jump_entry *entry, void *start, void *end)
129{
130 if (entry->code <= (unsigned long)end &&
131 entry->code + JUMP_LABEL_NOP_SIZE > (unsigned long)start)
132 return 1;
133
134 return 0;
135}
136
Jason Barond430d3d2011-03-16 17:29:47 -0400137static int __jump_label_text_reserved(struct jump_entry *iter_start,
138 struct jump_entry *iter_stop, void *start, void *end)
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400139{
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400140 struct jump_entry *iter;
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400141
Jason Barond430d3d2011-03-16 17:29:47 -0400142 iter = iter_start;
143 while (iter < iter_stop) {
144 if (addr_conflict(iter, start, end))
145 return 1;
146 iter++;
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400147 }
Jason Barond430d3d2011-03-16 17:29:47 -0400148
149 return 0;
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400150}
151
Jeremy Fitzhardinge20284aa2011-10-03 11:01:46 -0700152/*
153 * Update code which is definitely not currently executing.
154 * Architectures which need heavyweight synchronization to modify
155 * running code can override this to make the non-live update case
156 * cheaper.
157 */
Peter Zijlstra9cdbe1c2011-12-06 17:27:29 +0100158void __weak __init_or_module arch_jump_label_transform_static(struct jump_entry *entry,
Jeremy Fitzhardinge20284aa2011-10-03 11:01:46 -0700159 enum jump_label_type type)
160{
161 arch_jump_label_transform(entry, type);
162}
163
Ingo Molnarc5905af2012-02-24 08:31:31 +0100164static void __jump_label_update(struct static_key *key,
Jiri Olsa7cbc5b82011-05-10 12:43:46 +0200165 struct jump_entry *entry,
166 struct jump_entry *stop, int enable)
Jason Barond430d3d2011-03-16 17:29:47 -0400167{
Jiri Olsa7cbc5b82011-05-10 12:43:46 +0200168 for (; (entry < stop) &&
169 (entry->key == (jump_label_t)(unsigned long)key);
170 entry++) {
Jason Barond430d3d2011-03-16 17:29:47 -0400171 /*
172 * entry->code set to 0 invalidates module init text sections
173 * kernel_text_address() verifies we are not in core kernel
174 * init code, see jump_label_invalidate_module_init().
175 */
176 if (entry->code && kernel_text_address(entry->code))
177 arch_jump_label_transform(entry, enable);
178 }
179}
180
Ingo Molnarc5905af2012-02-24 08:31:31 +0100181static enum jump_label_type jump_label_type(struct static_key *key)
182{
183 bool true_branch = jump_label_get_branch_default(key);
184 bool state = static_key_enabled(key);
185
186 if ((!true_branch && state) || (true_branch && !state))
187 return JUMP_LABEL_ENABLE;
188
189 return JUMP_LABEL_DISABLE;
190}
191
Jeremy Fitzhardinge97ce2c82011-10-12 16:17:54 -0700192void __init jump_label_init(void)
Jason Barond430d3d2011-03-16 17:29:47 -0400193{
194 struct jump_entry *iter_start = __start___jump_table;
195 struct jump_entry *iter_stop = __stop___jump_table;
Ingo Molnarc5905af2012-02-24 08:31:31 +0100196 struct static_key *key = NULL;
Jason Barond430d3d2011-03-16 17:29:47 -0400197 struct jump_entry *iter;
198
199 jump_label_lock();
200 jump_label_sort_entries(iter_start, iter_stop);
201
202 for (iter = iter_start; iter < iter_stop; iter++) {
Ingo Molnarc5905af2012-02-24 08:31:31 +0100203 struct static_key *iterk;
Jeremy Fitzhardinge37348802011-09-29 11:10:05 -0700204
Ingo Molnarc5905af2012-02-24 08:31:31 +0100205 iterk = (struct static_key *)(unsigned long)iter->key;
206 arch_jump_label_transform_static(iter, jump_label_type(iterk));
Jeremy Fitzhardinge37348802011-09-29 11:10:05 -0700207 if (iterk == key)
Jason Barond430d3d2011-03-16 17:29:47 -0400208 continue;
209
Jeremy Fitzhardinge37348802011-09-29 11:10:05 -0700210 key = iterk;
Ingo Molnarc5905af2012-02-24 08:31:31 +0100211 /*
212 * Set key->entries to iter, but preserve JUMP_LABEL_TRUE_BRANCH.
213 */
214 *((unsigned long *)&key->entries) += (unsigned long)iter;
Jason Barond430d3d2011-03-16 17:29:47 -0400215#ifdef CONFIG_MODULES
216 key->next = NULL;
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400217#endif
Jason Barond430d3d2011-03-16 17:29:47 -0400218 }
Hannes Frederic Sowac4b2c0c2013-10-19 21:48:53 +0200219 static_key_initialized = true;
Jason Barond430d3d2011-03-16 17:29:47 -0400220 jump_label_unlock();
Jason Barond430d3d2011-03-16 17:29:47 -0400221}
Jason Barond430d3d2011-03-16 17:29:47 -0400222
223#ifdef CONFIG_MODULES
224
Ingo Molnarc5905af2012-02-24 08:31:31 +0100225struct static_key_mod {
226 struct static_key_mod *next;
Jason Barond430d3d2011-03-16 17:29:47 -0400227 struct jump_entry *entries;
228 struct module *mod;
229};
230
231static int __jump_label_mod_text_reserved(void *start, void *end)
232{
233 struct module *mod;
234
235 mod = __module_text_address((unsigned long)start);
236 if (!mod)
237 return 0;
238
239 WARN_ON_ONCE(__module_text_address((unsigned long)end) != mod);
240
241 return __jump_label_text_reserved(mod->jump_entries,
242 mod->jump_entries + mod->num_jump_entries,
243 start, end);
244}
245
Ingo Molnarc5905af2012-02-24 08:31:31 +0100246static void __jump_label_mod_update(struct static_key *key, int enable)
Jason Barond430d3d2011-03-16 17:29:47 -0400247{
Ingo Molnarc5905af2012-02-24 08:31:31 +0100248 struct static_key_mod *mod = key->next;
Jason Barond430d3d2011-03-16 17:29:47 -0400249
250 while (mod) {
Jiri Olsa7cbc5b82011-05-10 12:43:46 +0200251 struct module *m = mod->mod;
252
253 __jump_label_update(key, mod->entries,
254 m->jump_entries + m->num_jump_entries,
255 enable);
Jason Barond430d3d2011-03-16 17:29:47 -0400256 mod = mod->next;
257 }
258}
259
260/***
261 * apply_jump_label_nops - patch module jump labels with arch_get_jump_label_nop()
262 * @mod: module to patch
263 *
264 * Allow for run-time selection of the optimal nops. Before the module
265 * loads patch these with arch_get_jump_label_nop(), which is specified by
266 * the arch specific jump label code.
267 */
268void jump_label_apply_nops(struct module *mod)
269{
270 struct jump_entry *iter_start = mod->jump_entries;
271 struct jump_entry *iter_stop = iter_start + mod->num_jump_entries;
272 struct jump_entry *iter;
273
274 /* if the module doesn't have jump label entries, just return */
275 if (iter_start == iter_stop)
276 return;
277
Peter Zijlstraac99b862011-07-06 14:20:14 +0200278 for (iter = iter_start; iter < iter_stop; iter++) {
Ingo Molnarc5905af2012-02-24 08:31:31 +0100279 arch_jump_label_transform_static(iter, JUMP_LABEL_DISABLE);
Peter Zijlstraac99b862011-07-06 14:20:14 +0200280 }
Jason Barond430d3d2011-03-16 17:29:47 -0400281}
282
283static int jump_label_add_module(struct module *mod)
284{
285 struct jump_entry *iter_start = mod->jump_entries;
286 struct jump_entry *iter_stop = iter_start + mod->num_jump_entries;
287 struct jump_entry *iter;
Ingo Molnarc5905af2012-02-24 08:31:31 +0100288 struct static_key *key = NULL;
289 struct static_key_mod *jlm;
Jason Barond430d3d2011-03-16 17:29:47 -0400290
291 /* if the module doesn't have jump label entries, just return */
292 if (iter_start == iter_stop)
293 return 0;
294
295 jump_label_sort_entries(iter_start, iter_stop);
296
297 for (iter = iter_start; iter < iter_stop; iter++) {
Ingo Molnarc5905af2012-02-24 08:31:31 +0100298 struct static_key *iterk;
299
300 iterk = (struct static_key *)(unsigned long)iter->key;
301 if (iterk == key)
Jason Barond430d3d2011-03-16 17:29:47 -0400302 continue;
303
Ingo Molnarc5905af2012-02-24 08:31:31 +0100304 key = iterk;
Jason Barond430d3d2011-03-16 17:29:47 -0400305 if (__module_address(iter->key) == mod) {
Ingo Molnarc5905af2012-02-24 08:31:31 +0100306 /*
307 * Set key->entries to iter, but preserve JUMP_LABEL_TRUE_BRANCH.
308 */
309 *((unsigned long *)&key->entries) += (unsigned long)iter;
Jason Barond430d3d2011-03-16 17:29:47 -0400310 key->next = NULL;
311 continue;
312 }
Ingo Molnarc5905af2012-02-24 08:31:31 +0100313 jlm = kzalloc(sizeof(struct static_key_mod), GFP_KERNEL);
Jason Barond430d3d2011-03-16 17:29:47 -0400314 if (!jlm)
315 return -ENOMEM;
Jason Barond430d3d2011-03-16 17:29:47 -0400316 jlm->mod = mod;
317 jlm->entries = iter;
318 jlm->next = key->next;
319 key->next = jlm;
320
Ingo Molnarc5905af2012-02-24 08:31:31 +0100321 if (jump_label_type(key) == JUMP_LABEL_ENABLE)
Peter Zijlstraac99b862011-07-06 14:20:14 +0200322 __jump_label_update(key, iter, iter_stop, JUMP_LABEL_ENABLE);
Jason Barond430d3d2011-03-16 17:29:47 -0400323 }
324
325 return 0;
326}
327
328static void jump_label_del_module(struct module *mod)
329{
330 struct jump_entry *iter_start = mod->jump_entries;
331 struct jump_entry *iter_stop = iter_start + mod->num_jump_entries;
332 struct jump_entry *iter;
Ingo Molnarc5905af2012-02-24 08:31:31 +0100333 struct static_key *key = NULL;
334 struct static_key_mod *jlm, **prev;
Jason Barond430d3d2011-03-16 17:29:47 -0400335
336 for (iter = iter_start; iter < iter_stop; iter++) {
337 if (iter->key == (jump_label_t)(unsigned long)key)
338 continue;
339
Ingo Molnarc5905af2012-02-24 08:31:31 +0100340 key = (struct static_key *)(unsigned long)iter->key;
Jason Barond430d3d2011-03-16 17:29:47 -0400341
342 if (__module_address(iter->key) == mod)
343 continue;
344
345 prev = &key->next;
346 jlm = key->next;
347
348 while (jlm && jlm->mod != mod) {
349 prev = &jlm->next;
350 jlm = jlm->next;
351 }
352
353 if (jlm) {
354 *prev = jlm->next;
355 kfree(jlm);
356 }
357 }
358}
359
360static void jump_label_invalidate_module_init(struct module *mod)
361{
362 struct jump_entry *iter_start = mod->jump_entries;
363 struct jump_entry *iter_stop = iter_start + mod->num_jump_entries;
364 struct jump_entry *iter;
365
366 for (iter = iter_start; iter < iter_stop; iter++) {
367 if (within_module_init(iter->code, mod))
368 iter->code = 0;
369 }
370}
371
372static int
373jump_label_module_notify(struct notifier_block *self, unsigned long val,
374 void *data)
375{
376 struct module *mod = data;
377 int ret = 0;
378
379 switch (val) {
380 case MODULE_STATE_COMING:
381 jump_label_lock();
382 ret = jump_label_add_module(mod);
383 if (ret)
384 jump_label_del_module(mod);
385 jump_label_unlock();
386 break;
387 case MODULE_STATE_GOING:
388 jump_label_lock();
389 jump_label_del_module(mod);
390 jump_label_unlock();
391 break;
392 case MODULE_STATE_LIVE:
393 jump_label_lock();
394 jump_label_invalidate_module_init(mod);
395 jump_label_unlock();
396 break;
397 }
398
399 return notifier_from_errno(ret);
400}
401
402struct notifier_block jump_label_module_nb = {
403 .notifier_call = jump_label_module_notify,
404 .priority = 1, /* higher than tracepoints */
405};
406
407static __init int jump_label_init_module(void)
408{
409 return register_module_notifier(&jump_label_module_nb);
410}
411early_initcall(jump_label_init_module);
412
413#endif /* CONFIG_MODULES */
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400414
415/***
416 * jump_label_text_reserved - check if addr range is reserved
417 * @start: start text addr
418 * @end: end text addr
419 *
420 * checks if the text addr located between @start and @end
421 * overlaps with any of the jump label patch addresses. Code
422 * that wants to modify kernel text should first verify that
423 * it does not overlap with any of the jump label addresses.
Jason Baron91bad2f2010-10-01 17:23:48 -0400424 * Caller must hold jump_label_mutex.
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400425 *
426 * returns 1 if there is an overlap, 0 otherwise
427 */
428int jump_label_text_reserved(void *start, void *end)
429{
Jason Barond430d3d2011-03-16 17:29:47 -0400430 int ret = __jump_label_text_reserved(__start___jump_table,
431 __stop___jump_table, start, end);
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400432
Jason Barond430d3d2011-03-16 17:29:47 -0400433 if (ret)
434 return ret;
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400435
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400436#ifdef CONFIG_MODULES
Jason Barond430d3d2011-03-16 17:29:47 -0400437 ret = __jump_label_mod_text_reserved(start, end);
Jason Baron4c3ef6d2010-09-17 11:09:08 -0400438#endif
Jason Baronbf5438fc2010-09-17 11:09:00 -0400439 return ret;
440}
Jason Barond430d3d2011-03-16 17:29:47 -0400441
Ingo Molnarc5905af2012-02-24 08:31:31 +0100442static void jump_label_update(struct static_key *key, int enable)
Jason Barond430d3d2011-03-16 17:29:47 -0400443{
Ingo Molnarc5905af2012-02-24 08:31:31 +0100444 struct jump_entry *stop = __stop___jump_table;
445 struct jump_entry *entry = jump_label_get_entries(key);
Jason Baronbf5438fc2010-09-17 11:09:00 -0400446
447#ifdef CONFIG_MODULES
Jason Barona746e3c2012-02-21 15:02:57 -0500448 struct module *mod = __module_address((unsigned long)key);
Xiao Guangrong140fe3b2011-06-21 10:35:55 +0800449
Jason Barond430d3d2011-03-16 17:29:47 -0400450 __jump_label_mod_update(key, enable);
Xiao Guangrong140fe3b2011-06-21 10:35:55 +0800451
452 if (mod)
453 stop = mod->jump_entries + mod->num_jump_entries;
Jason Barond430d3d2011-03-16 17:29:47 -0400454#endif
Xiao Guangrong140fe3b2011-06-21 10:35:55 +0800455 /* if there are no users, entry can be NULL */
456 if (entry)
457 __jump_label_update(key, entry, stop, enable);
Jason Baronbf5438fc2010-09-17 11:09:00 -0400458}
459
Jason Baronbf5438fc2010-09-17 11:09:00 -0400460#endif