4 * Copyright (C) 2009 Jason Baron <jbaron@redhat.com>
5 * Copyright (C) 2011 Peter Zijlstra <pzijlstr@redhat.com>
8 #include <linux/memory.h>
9 #include <linux/uaccess.h>
10 #include <linux/module.h>
11 #include <linux/list.h>
12 #include <linux/slab.h>
13 #include <linux/sort.h>
14 #include <linux/err.h>
15 #include <linux/static_key.h>
16 #include <linux/jump_label_ratelimit.h>
18 #ifdef HAVE_JUMP_LABEL
20 /* mutex to protect coming/going of the the jump_label table */
21 static DEFINE_MUTEX(jump_label_mutex
);
23 void jump_label_lock(void)
25 mutex_lock(&jump_label_mutex
);
28 void jump_label_unlock(void)
30 mutex_unlock(&jump_label_mutex
);
33 static int jump_label_cmp(const void *a
, const void *b
)
35 const struct jump_entry
*jea
= a
;
36 const struct jump_entry
*jeb
= b
;
38 if (jea
->key
< jeb
->key
)
41 if (jea
->key
> jeb
->key
)
48 jump_label_sort_entries(struct jump_entry
*start
, struct jump_entry
*stop
)
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
);
57 static void jump_label_update(struct static_key
*key
, int enable
);
59 void static_key_slow_inc(struct static_key
*key
)
61 STATIC_KEY_CHECK_USE();
62 if (atomic_inc_not_zero(&key
->enabled
))
66 if (atomic_read(&key
->enabled
) == 0) {
67 if (!jump_label_get_branch_default(key
))
68 jump_label_update(key
, JUMP_LABEL_ENABLE
);
70 jump_label_update(key
, JUMP_LABEL_DISABLE
);
72 atomic_inc(&key
->enabled
);
75 EXPORT_SYMBOL_GPL(static_key_slow_inc
);
77 static void __static_key_slow_dec(struct static_key
*key
,
78 unsigned long rate_limit
, struct delayed_work
*work
)
80 if (!atomic_dec_and_mutex_lock(&key
->enabled
, &jump_label_mutex
)) {
81 WARN(atomic_read(&key
->enabled
) < 0,
82 "jump label: negative count!\n");
87 atomic_inc(&key
->enabled
);
88 schedule_delayed_work(work
, rate_limit
);
90 if (!jump_label_get_branch_default(key
))
91 jump_label_update(key
, JUMP_LABEL_DISABLE
);
93 jump_label_update(key
, JUMP_LABEL_ENABLE
);
98 static void jump_label_update_timeout(struct work_struct
*work
)
100 struct static_key_deferred
*key
=
101 container_of(work
, struct static_key_deferred
, work
.work
);
102 __static_key_slow_dec(&key
->key
, 0, NULL
);
105 void static_key_slow_dec(struct static_key
*key
)
107 STATIC_KEY_CHECK_USE();
108 __static_key_slow_dec(key
, 0, NULL
);
110 EXPORT_SYMBOL_GPL(static_key_slow_dec
);
112 void static_key_slow_dec_deferred(struct static_key_deferred
*key
)
114 STATIC_KEY_CHECK_USE();
115 __static_key_slow_dec(&key
->key
, key
->timeout
, &key
->work
);
117 EXPORT_SYMBOL_GPL(static_key_slow_dec_deferred
);
119 void jump_label_rate_limit(struct static_key_deferred
*key
,
122 STATIC_KEY_CHECK_USE();
124 INIT_DELAYED_WORK(&key
->work
, jump_label_update_timeout
);
126 EXPORT_SYMBOL_GPL(jump_label_rate_limit
);
128 static int addr_conflict(struct jump_entry
*entry
, void *start
, void *end
)
130 if (entry
->code
<= (unsigned long)end
&&
131 entry
->code
+ JUMP_LABEL_NOP_SIZE
> (unsigned long)start
)
137 static int __jump_label_text_reserved(struct jump_entry
*iter_start
,
138 struct jump_entry
*iter_stop
, void *start
, void *end
)
140 struct jump_entry
*iter
;
143 while (iter
< iter_stop
) {
144 if (addr_conflict(iter
, start
, end
))
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
158 void __weak __init_or_module
arch_jump_label_transform_static(struct jump_entry
*entry
,
159 enum jump_label_type type
)
161 arch_jump_label_transform(entry
, type
);
164 static void __jump_label_update(struct static_key
*key
,
165 struct jump_entry
*entry
,
166 struct jump_entry
*stop
, int enable
)
168 for (; (entry
< stop
) &&
169 (entry
->key
== (jump_label_t
)(unsigned long)key
);
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().
176 if (entry
->code
&& kernel_text_address(entry
->code
))
177 arch_jump_label_transform(entry
, enable
);
181 static enum jump_label_type
jump_label_type(struct static_key
*key
)
183 bool true_branch
= jump_label_get_branch_default(key
);
184 bool state
= static_key_enabled(key
);
186 if ((!true_branch
&& state
) || (true_branch
&& !state
))
187 return JUMP_LABEL_ENABLE
;
189 return JUMP_LABEL_DISABLE
;
192 void __init
jump_label_init(void)
194 struct jump_entry
*iter_start
= __start___jump_table
;
195 struct jump_entry
*iter_stop
= __stop___jump_table
;
196 struct static_key
*key
= NULL
;
197 struct jump_entry
*iter
;
200 jump_label_sort_entries(iter_start
, iter_stop
);
202 for (iter
= iter_start
; iter
< iter_stop
; iter
++) {
203 struct static_key
*iterk
;
205 iterk
= (struct static_key
*)(unsigned long)iter
->key
;
206 arch_jump_label_transform_static(iter
, jump_label_type(iterk
));
212 * Set key->entries to iter, but preserve JUMP_LABEL_TRUE_BRANCH.
214 *((unsigned long *)&key
->entries
) += (unsigned long)iter
;
215 #ifdef CONFIG_MODULES
219 static_key_initialized
= true;
223 #ifdef CONFIG_MODULES
225 struct static_key_mod
{
226 struct static_key_mod
*next
;
227 struct jump_entry
*entries
;
231 static int __jump_label_mod_text_reserved(void *start
, void *end
)
235 mod
= __module_text_address((unsigned long)start
);
239 WARN_ON_ONCE(__module_text_address((unsigned long)end
) != mod
);
241 return __jump_label_text_reserved(mod
->jump_entries
,
242 mod
->jump_entries
+ mod
->num_jump_entries
,
246 static void __jump_label_mod_update(struct static_key
*key
, int enable
)
248 struct static_key_mod
*mod
= key
->next
;
251 struct module
*m
= mod
->mod
;
253 __jump_label_update(key
, mod
->entries
,
254 m
->jump_entries
+ m
->num_jump_entries
,
261 * apply_jump_label_nops - patch module jump labels with arch_get_jump_label_nop()
262 * @mod: module to patch
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.
268 void jump_label_apply_nops(struct module
*mod
)
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
;
274 /* if the module doesn't have jump label entries, just return */
275 if (iter_start
== iter_stop
)
278 for (iter
= iter_start
; iter
< iter_stop
; iter
++) {
279 arch_jump_label_transform_static(iter
, JUMP_LABEL_DISABLE
);
283 static int jump_label_add_module(struct module
*mod
)
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
;
288 struct static_key
*key
= NULL
;
289 struct static_key_mod
*jlm
;
291 /* if the module doesn't have jump label entries, just return */
292 if (iter_start
== iter_stop
)
295 jump_label_sort_entries(iter_start
, iter_stop
);
297 for (iter
= iter_start
; iter
< iter_stop
; iter
++) {
298 struct static_key
*iterk
;
300 iterk
= (struct static_key
*)(unsigned long)iter
->key
;
305 if (__module_address(iter
->key
) == mod
) {
307 * Set key->entries to iter, but preserve JUMP_LABEL_TRUE_BRANCH.
309 *((unsigned long *)&key
->entries
) += (unsigned long)iter
;
313 jlm
= kzalloc(sizeof(struct static_key_mod
), GFP_KERNEL
);
318 jlm
->next
= key
->next
;
321 if (jump_label_type(key
) == JUMP_LABEL_ENABLE
)
322 __jump_label_update(key
, iter
, iter_stop
, JUMP_LABEL_ENABLE
);
328 static void jump_label_del_module(struct module
*mod
)
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
;
333 struct static_key
*key
= NULL
;
334 struct static_key_mod
*jlm
, **prev
;
336 for (iter
= iter_start
; iter
< iter_stop
; iter
++) {
337 if (iter
->key
== (jump_label_t
)(unsigned long)key
)
340 key
= (struct static_key
*)(unsigned long)iter
->key
;
342 if (__module_address(iter
->key
) == mod
)
348 while (jlm
&& jlm
->mod
!= mod
) {
360 static void jump_label_invalidate_module_init(struct module
*mod
)
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
;
366 for (iter
= iter_start
; iter
< iter_stop
; iter
++) {
367 if (within_module_init(iter
->code
, mod
))
373 jump_label_module_notify(struct notifier_block
*self
, unsigned long val
,
376 struct module
*mod
= data
;
380 case MODULE_STATE_COMING
:
382 ret
= jump_label_add_module(mod
);
384 jump_label_del_module(mod
);
387 case MODULE_STATE_GOING
:
389 jump_label_del_module(mod
);
392 case MODULE_STATE_LIVE
:
394 jump_label_invalidate_module_init(mod
);
399 return notifier_from_errno(ret
);
402 struct notifier_block jump_label_module_nb
= {
403 .notifier_call
= jump_label_module_notify
,
404 .priority
= 1, /* higher than tracepoints */
407 static __init
int jump_label_init_module(void)
409 return register_module_notifier(&jump_label_module_nb
);
411 early_initcall(jump_label_init_module
);
413 #endif /* CONFIG_MODULES */
416 * jump_label_text_reserved - check if addr range is reserved
417 * @start: start text addr
418 * @end: end text addr
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.
424 * Caller must hold jump_label_mutex.
426 * returns 1 if there is an overlap, 0 otherwise
428 int jump_label_text_reserved(void *start
, void *end
)
430 int ret
= __jump_label_text_reserved(__start___jump_table
,
431 __stop___jump_table
, start
, end
);
436 #ifdef CONFIG_MODULES
437 ret
= __jump_label_mod_text_reserved(start
, end
);
442 static void jump_label_update(struct static_key
*key
, int enable
)
444 struct jump_entry
*stop
= __stop___jump_table
;
445 struct jump_entry
*entry
= jump_label_get_entries(key
);
447 #ifdef CONFIG_MODULES
448 struct module
*mod
= __module_address((unsigned long)key
);
450 __jump_label_mod_update(key
, enable
);
453 stop
= mod
->jump_entries
+ mod
->num_jump_entries
;
455 /* if there are no users, entry can be NULL */
457 __jump_label_update(key
, entry
, stop
, enable
);