2 * Copyright (C) 2017 Joe Lawrence <joe.lawrence@redhat.com>
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public License
6 * as published by the Free Software Foundation; either version 2
7 * of the License, or (at your option) any later version.
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, see <http://www.gnu.org/licenses/>.
19 * livepatch-shadow-fix1.c - Shadow variables, livepatch demo
24 * Fixes the memory leak introduced in livepatch-shadow-mod through the
25 * use of a shadow variable. This fix demonstrates the "extending" of
26 * short-lived data structures by patching its allocation and release
33 * This module is not intended to be standalone. See the "Usage"
34 * section of livepatch-shadow-mod.c.
37 #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
39 #include <linux/module.h>
40 #include <linux/kernel.h>
41 #include <linux/livepatch.h>
42 #include <linux/slab.h>
44 /* Shadow variable enums */
47 /* Allocate new dummies every second */
48 #define ALLOC_PERIOD 1
49 /* Check for expired dummies after a few new ones have been allocated */
50 #define CLEANUP_PERIOD (3 * ALLOC_PERIOD)
51 /* Dummies expire after a few cleanup instances */
52 #define EXPIRE_PERIOD (4 * CLEANUP_PERIOD)
55 struct list_head list
;
56 unsigned long jiffies_expire
;
60 * The constructor makes more sense together with klp_shadow_get_or_alloc().
61 * In this example, it would be safe to assign the pointer also to the shadow
62 * variable returned by klp_shadow_alloc(). But we wanted to show the more
63 * complicated use of the API.
65 static int shadow_leak_ctor(void *obj
, void *shadow_data
, void *ctor_data
)
67 void **shadow_leak
= shadow_data
;
68 void *leak
= ctor_data
;
74 struct dummy
*livepatch_fix1_dummy_alloc(void)
79 d
= kzalloc(sizeof(*d
), GFP_KERNEL
);
83 d
->jiffies_expire
= jiffies
+
84 msecs_to_jiffies(1000 * EXPIRE_PERIOD
);
87 * Patch: save the extra memory location into a SV_LEAK shadow
88 * variable. A patched dummy_free routine can later fetch this
89 * pointer to handle resource release.
91 leak
= kzalloc(sizeof(int), GFP_KERNEL
);
97 klp_shadow_alloc(d
, SV_LEAK
, sizeof(leak
), GFP_KERNEL
,
98 shadow_leak_ctor
, leak
);
100 pr_info("%s: dummy @ %p, expires @ %lx\n",
101 __func__
, d
, d
->jiffies_expire
);
106 static void livepatch_fix1_dummy_leak_dtor(void *obj
, void *shadow_data
)
109 void **shadow_leak
= shadow_data
;
112 pr_info("%s: dummy @ %p, prevented leak @ %p\n",
113 __func__
, d
, *shadow_leak
);
116 void livepatch_fix1_dummy_free(struct dummy
*d
)
121 * Patch: fetch the saved SV_LEAK shadow variable, detach and
122 * free it. Note: handle cases where this shadow variable does
123 * not exist (ie, dummy structures allocated before this livepatch
126 shadow_leak
= klp_shadow_get(d
, SV_LEAK
);
128 klp_shadow_free(d
, SV_LEAK
, livepatch_fix1_dummy_leak_dtor
);
130 pr_info("%s: dummy @ %p leaked!\n", __func__
, d
);
135 static struct klp_func funcs
[] = {
137 .old_name
= "dummy_alloc",
138 .new_func
= livepatch_fix1_dummy_alloc
,
141 .old_name
= "dummy_free",
142 .new_func
= livepatch_fix1_dummy_free
,
146 static struct klp_object objs
[] = {
148 .name
= "livepatch_shadow_mod",
153 static struct klp_patch patch
= {
158 static int livepatch_shadow_fix1_init(void)
162 ret
= klp_register_patch(&patch
);
165 ret
= klp_enable_patch(&patch
);
167 WARN_ON(klp_unregister_patch(&patch
));
173 static void livepatch_shadow_fix1_exit(void)
175 /* Cleanup any existing SV_LEAK shadow variables */
176 klp_shadow_free_all(SV_LEAK
, livepatch_fix1_dummy_leak_dtor
);
178 WARN_ON(klp_unregister_patch(&patch
));
181 module_init(livepatch_shadow_fix1_init
);
182 module_exit(livepatch_shadow_fix1_exit
);
183 MODULE_LICENSE("GPL");
184 MODULE_INFO(livepatch
, "Y");