blob: 7293ac49ba7b16c9f1a978f4cde13faa5cb97c91 [file] [log] [blame]
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -07001/*
Lai Jiangshan47c59802008-10-18 20:28:07 -07002 * device_cgroup.c - device cgroup subsystem
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -07003 *
4 * Copyright 2007 IBM Corp
5 */
6
7#include <linux/device_cgroup.h>
8#include <linux/cgroup.h>
9#include <linux/ctype.h>
10#include <linux/list.h>
11#include <linux/uaccess.h>
Serge E. Hallyn29486df2008-04-29 01:00:14 -070012#include <linux/seq_file.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090013#include <linux/slab.h>
Lai Jiangshan47c59802008-10-18 20:28:07 -070014#include <linux/rcupdate.h>
Li Zefanb4046f02009-04-02 16:57:32 -070015#include <linux/mutex.h>
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070016
17#define ACC_MKNOD 1
18#define ACC_READ 2
19#define ACC_WRITE 4
20#define ACC_MASK (ACC_MKNOD | ACC_READ | ACC_WRITE)
21
22#define DEV_BLOCK 1
23#define DEV_CHAR 2
24#define DEV_ALL 4 /* this represents all devices */
25
Li Zefanb4046f02009-04-02 16:57:32 -070026static DEFINE_MUTEX(devcgroup_mutex);
27
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -050028enum devcg_behavior {
29 DEVCG_DEFAULT_NONE,
30 DEVCG_DEFAULT_ALLOW,
31 DEVCG_DEFAULT_DENY,
32};
33
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070034/*
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070035 * exception list locking rules:
Li Zefanb4046f02009-04-02 16:57:32 -070036 * hold devcgroup_mutex for update/read.
Lai Jiangshan47c59802008-10-18 20:28:07 -070037 * hold rcu_read_lock() for read.
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070038 */
39
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070040struct dev_exception_item {
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070041 u32 major, minor;
42 short type;
43 short access;
44 struct list_head list;
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -070045 struct rcu_head rcu;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070046};
47
48struct dev_cgroup {
49 struct cgroup_subsys_state css;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070050 struct list_head exceptions;
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -050051 enum devcg_behavior behavior;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070052};
53
Pavel Emelyanovb66862f2008-06-05 22:46:24 -070054static inline struct dev_cgroup *css_to_devcgroup(struct cgroup_subsys_state *s)
55{
Tejun Heoa7c6d552013-08-08 20:11:23 -040056 return s ? container_of(s, struct dev_cgroup, css) : NULL;
Pavel Emelyanovb66862f2008-06-05 22:46:24 -070057}
58
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070059static inline struct dev_cgroup *cgroup_to_devcgroup(struct cgroup *cgroup)
60{
Tejun Heo8af01f52013-08-08 20:11:22 -040061 return css_to_devcgroup(cgroup_css(cgroup, devices_subsys_id));
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070062}
63
Paul Menagef92523e2008-07-25 01:47:03 -070064static inline struct dev_cgroup *task_devcgroup(struct task_struct *task)
65{
Tejun Heo8af01f52013-08-08 20:11:22 -040066 return css_to_devcgroup(task_css(task, devices_subsys_id));
Paul Menagef92523e2008-07-25 01:47:03 -070067}
68
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070069struct cgroup_subsys devices_subsys;
70
Tejun Heoeb954192013-08-08 20:11:23 -040071static int devcgroup_can_attach(struct cgroup_subsys_state *new_css,
Li Zefan761b3ef2012-01-31 13:47:36 +080072 struct cgroup_taskset *set)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070073{
Tejun Heo2f7ee562011-12-12 18:12:21 -080074 struct task_struct *task = cgroup_taskset_first(set);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070075
Tejun Heo2f7ee562011-12-12 18:12:21 -080076 if (current != task && !capable(CAP_SYS_ADMIN))
77 return -EPERM;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070078 return 0;
79}
80
81/*
Li Zefanb4046f02009-04-02 16:57:32 -070082 * called under devcgroup_mutex
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070083 */
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070084static int dev_exceptions_copy(struct list_head *dest, struct list_head *orig)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070085{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070086 struct dev_exception_item *ex, *tmp, *new;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070087
Tejun Heo4b1c7842012-11-06 09:16:53 -080088 lockdep_assert_held(&devcgroup_mutex);
89
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070090 list_for_each_entry(ex, orig, list) {
91 new = kmemdup(ex, sizeof(*ex), GFP_KERNEL);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070092 if (!new)
93 goto free_and_exit;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070094 list_add_tail(&new->list, dest);
95 }
96
97 return 0;
98
99free_and_exit:
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700100 list_for_each_entry_safe(ex, tmp, dest, list) {
101 list_del(&ex->list);
102 kfree(ex);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700103 }
104 return -ENOMEM;
105}
106
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700107/*
Li Zefanb4046f02009-04-02 16:57:32 -0700108 * called under devcgroup_mutex
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700109 */
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700110static int dev_exception_add(struct dev_cgroup *dev_cgroup,
111 struct dev_exception_item *ex)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700112{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700113 struct dev_exception_item *excopy, *walk;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700114
Tejun Heo4b1c7842012-11-06 09:16:53 -0800115 lockdep_assert_held(&devcgroup_mutex);
116
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700117 excopy = kmemdup(ex, sizeof(*ex), GFP_KERNEL);
118 if (!excopy)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700119 return -ENOMEM;
120
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700121 list_for_each_entry(walk, &dev_cgroup->exceptions, list) {
122 if (walk->type != ex->type)
Pavel Emelyanovd1ee2972008-06-05 22:46:28 -0700123 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700124 if (walk->major != ex->major)
Pavel Emelyanovd1ee2972008-06-05 22:46:28 -0700125 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700126 if (walk->minor != ex->minor)
Pavel Emelyanovd1ee2972008-06-05 22:46:28 -0700127 continue;
128
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700129 walk->access |= ex->access;
130 kfree(excopy);
131 excopy = NULL;
Pavel Emelyanovd1ee2972008-06-05 22:46:28 -0700132 }
133
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700134 if (excopy != NULL)
135 list_add_tail_rcu(&excopy->list, &dev_cgroup->exceptions);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700136 return 0;
137}
138
139/*
Li Zefanb4046f02009-04-02 16:57:32 -0700140 * called under devcgroup_mutex
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700141 */
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700142static void dev_exception_rm(struct dev_cgroup *dev_cgroup,
143 struct dev_exception_item *ex)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700144{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700145 struct dev_exception_item *walk, *tmp;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700146
Tejun Heo4b1c7842012-11-06 09:16:53 -0800147 lockdep_assert_held(&devcgroup_mutex);
148
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700149 list_for_each_entry_safe(walk, tmp, &dev_cgroup->exceptions, list) {
150 if (walk->type != ex->type)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700151 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700152 if (walk->major != ex->major)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700153 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700154 if (walk->minor != ex->minor)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700155 continue;
156
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700157 walk->access &= ~ex->access;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700158 if (!walk->access) {
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700159 list_del_rcu(&walk->list);
Lai Jiangshan6034f7e2011-03-15 18:07:57 +0800160 kfree_rcu(walk, rcu);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700161 }
162 }
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700163}
164
Jerry Snitselaar53eb8c82013-02-21 16:41:31 -0800165static void __dev_exception_clean(struct dev_cgroup *dev_cgroup)
166{
167 struct dev_exception_item *ex, *tmp;
168
169 list_for_each_entry_safe(ex, tmp, &dev_cgroup->exceptions, list) {
170 list_del_rcu(&ex->list);
171 kfree_rcu(ex, rcu);
172 }
173}
174
Aristeu Rozanski868539a2012-10-04 17:15:15 -0700175/**
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700176 * dev_exception_clean - frees all entries of the exception list
177 * @dev_cgroup: dev_cgroup with the exception list to be cleaned
Aristeu Rozanski868539a2012-10-04 17:15:15 -0700178 *
179 * called under devcgroup_mutex
180 */
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700181static void dev_exception_clean(struct dev_cgroup *dev_cgroup)
Aristeu Rozanski868539a2012-10-04 17:15:15 -0700182{
Tejun Heo4b1c7842012-11-06 09:16:53 -0800183 lockdep_assert_held(&devcgroup_mutex);
184
Jerry Snitselaar53eb8c82013-02-21 16:41:31 -0800185 __dev_exception_clean(dev_cgroup);
Aristeu Rozanski868539a2012-10-04 17:15:15 -0700186}
187
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500188static inline bool is_devcg_online(const struct dev_cgroup *devcg)
189{
190 return (devcg->behavior != DEVCG_DEFAULT_NONE);
191}
192
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500193/**
194 * devcgroup_online - initializes devcgroup's behavior and exceptions based on
195 * parent's
Tejun Heoeb954192013-08-08 20:11:23 -0400196 * @css: css getting online
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500197 * returns 0 in case of success, error code otherwise
198 */
Tejun Heoeb954192013-08-08 20:11:23 -0400199static int devcgroup_online(struct cgroup_subsys_state *css)
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500200{
Tejun Heoeb954192013-08-08 20:11:23 -0400201 struct dev_cgroup *dev_cgroup = css_to_devcgroup(css);
202 struct dev_cgroup *parent_dev_cgroup = css_to_devcgroup(css_parent(css));
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500203 int ret = 0;
204
205 mutex_lock(&devcgroup_mutex);
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500206
207 if (parent_dev_cgroup == NULL)
208 dev_cgroup->behavior = DEVCG_DEFAULT_ALLOW;
209 else {
210 ret = dev_exceptions_copy(&dev_cgroup->exceptions,
211 &parent_dev_cgroup->exceptions);
212 if (!ret)
213 dev_cgroup->behavior = parent_dev_cgroup->behavior;
214 }
215 mutex_unlock(&devcgroup_mutex);
216
217 return ret;
218}
219
Tejun Heoeb954192013-08-08 20:11:23 -0400220static void devcgroup_offline(struct cgroup_subsys_state *css)
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500221{
Tejun Heoeb954192013-08-08 20:11:23 -0400222 struct dev_cgroup *dev_cgroup = css_to_devcgroup(css);
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500223
224 mutex_lock(&devcgroup_mutex);
225 dev_cgroup->behavior = DEVCG_DEFAULT_NONE;
226 mutex_unlock(&devcgroup_mutex);
227}
228
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700229/*
230 * called from kernel/cgroup.c with cgroup_lock() held.
231 */
Tejun Heoeb954192013-08-08 20:11:23 -0400232static struct cgroup_subsys_state *
233devcgroup_css_alloc(struct cgroup_subsys_state *parent_css)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700234{
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500235 struct dev_cgroup *dev_cgroup;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700236
237 dev_cgroup = kzalloc(sizeof(*dev_cgroup), GFP_KERNEL);
238 if (!dev_cgroup)
239 return ERR_PTR(-ENOMEM);
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700240 INIT_LIST_HEAD(&dev_cgroup->exceptions);
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500241 dev_cgroup->behavior = DEVCG_DEFAULT_NONE;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700242
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700243 return &dev_cgroup->css;
244}
245
Tejun Heoeb954192013-08-08 20:11:23 -0400246static void devcgroup_css_free(struct cgroup_subsys_state *css)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700247{
Tejun Heoeb954192013-08-08 20:11:23 -0400248 struct dev_cgroup *dev_cgroup = css_to_devcgroup(css);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700249
Jerry Snitselaar53eb8c82013-02-21 16:41:31 -0800250 __dev_exception_clean(dev_cgroup);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700251 kfree(dev_cgroup);
252}
253
254#define DEVCG_ALLOW 1
255#define DEVCG_DENY 2
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700256#define DEVCG_LIST 3
257
Li Zefan17d213f2008-07-13 12:14:02 -0700258#define MAJMINLEN 13
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700259#define ACCLEN 4
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700260
261static void set_access(char *acc, short access)
262{
263 int idx = 0;
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700264 memset(acc, 0, ACCLEN);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700265 if (access & ACC_READ)
266 acc[idx++] = 'r';
267 if (access & ACC_WRITE)
268 acc[idx++] = 'w';
269 if (access & ACC_MKNOD)
270 acc[idx++] = 'm';
271}
272
273static char type_to_char(short type)
274{
275 if (type == DEV_ALL)
276 return 'a';
277 if (type == DEV_CHAR)
278 return 'c';
279 if (type == DEV_BLOCK)
280 return 'b';
281 return 'X';
282}
283
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700284static void set_majmin(char *str, unsigned m)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700285{
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700286 if (m == ~0)
Li Zefan7759fc92008-07-25 01:47:08 -0700287 strcpy(str, "*");
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700288 else
Li Zefan7759fc92008-07-25 01:47:08 -0700289 sprintf(str, "%u", m);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700290}
291
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700292static int devcgroup_seq_read(struct cgroup *cgroup, struct cftype *cft,
293 struct seq_file *m)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700294{
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700295 struct dev_cgroup *devcgroup = cgroup_to_devcgroup(cgroup);
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700296 struct dev_exception_item *ex;
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700297 char maj[MAJMINLEN], min[MAJMINLEN], acc[ACCLEN];
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700298
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700299 rcu_read_lock();
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700300 /*
301 * To preserve the compatibility:
302 * - Only show the "all devices" when the default policy is to allow
303 * - List the exceptions in case the default policy is to deny
304 * This way, the file remains as a "whitelist of devices"
305 */
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700306 if (devcgroup->behavior == DEVCG_DEFAULT_ALLOW) {
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700307 set_access(acc, ACC_MASK);
308 set_majmin(maj, ~0);
309 set_majmin(min, ~0);
310 seq_printf(m, "%c %s:%s %s\n", type_to_char(DEV_ALL),
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700311 maj, min, acc);
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700312 } else {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700313 list_for_each_entry_rcu(ex, &devcgroup->exceptions, list) {
314 set_access(acc, ex->access);
315 set_majmin(maj, ex->major);
316 set_majmin(min, ex->minor);
317 seq_printf(m, "%c %s:%s %s\n", type_to_char(ex->type),
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700318 maj, min, acc);
319 }
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700320 }
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700321 rcu_read_unlock();
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700322
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700323 return 0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700324}
325
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700326/**
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700327 * may_access - verifies if a new exception is part of what is allowed
328 * by a dev cgroup based on the default policy +
329 * exceptions. This is used to make sure a child cgroup
330 * won't have more privileges than its parent or to
331 * verify if a certain access is allowed.
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700332 * @dev_cgroup: dev cgroup to be tested against
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700333 * @refex: new exception
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500334 * @behavior: behavior of the exception
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700335 */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500336static bool may_access(struct dev_cgroup *dev_cgroup,
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500337 struct dev_exception_item *refex,
338 enum devcg_behavior behavior)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700339{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700340 struct dev_exception_item *ex;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700341 bool match = false;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700342
Tejun Heo4b1c7842012-11-06 09:16:53 -0800343 rcu_lockdep_assert(rcu_read_lock_held() ||
344 lockdep_is_held(&devcgroup_mutex),
345 "device_cgroup::may_access() called without proper synchronization");
346
Tejun Heo201e72a2012-11-06 09:17:37 -0800347 list_for_each_entry_rcu(ex, &dev_cgroup->exceptions, list) {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700348 if ((refex->type & DEV_BLOCK) && !(ex->type & DEV_BLOCK))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700349 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700350 if ((refex->type & DEV_CHAR) && !(ex->type & DEV_CHAR))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700351 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700352 if (ex->major != ~0 && ex->major != refex->major)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700353 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700354 if (ex->minor != ~0 && ex->minor != refex->minor)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700355 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700356 if (refex->access & (~ex->access))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700357 continue;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700358 match = true;
359 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700360 }
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700361
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500362 if (dev_cgroup->behavior == DEVCG_DEFAULT_ALLOW) {
363 if (behavior == DEVCG_DEFAULT_ALLOW) {
364 /* the exception will deny access to certain devices */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500365 return true;
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500366 } else {
367 /* the exception will allow access to certain devices */
368 if (match)
369 /*
370 * a new exception allowing access shouldn't
371 * match an parent's exception
372 */
373 return false;
374 return true;
375 }
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500376 } else {
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500377 /* only behavior == DEVCG_DEFAULT_DENY allowed here */
378 if (match)
379 /* parent has an exception that matches the proposed */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500380 return true;
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500381 else
382 return false;
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500383 }
384 return false;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700385}
386
387/*
388 * parent_has_perm:
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700389 * when adding a new allow rule to a device exception list, the rule
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700390 * must be allowed in the parent device
391 */
Paul Menagef92523e2008-07-25 01:47:03 -0700392static int parent_has_perm(struct dev_cgroup *childcg,
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700393 struct dev_exception_item *ex)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700394{
Tejun Heo63876982013-08-08 20:11:23 -0400395 struct dev_cgroup *parent = css_to_devcgroup(css_parent(&childcg->css));
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700396
Tejun Heo63876982013-08-08 20:11:23 -0400397 if (!parent)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700398 return 1;
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500399 return may_access(parent, ex, childcg->behavior);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700400}
401
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700402/**
403 * may_allow_all - checks if it's possible to change the behavior to
404 * allow based on parent's rules.
405 * @parent: device cgroup's parent
406 * returns: != 0 in case it's allowed, 0 otherwise
407 */
408static inline int may_allow_all(struct dev_cgroup *parent)
409{
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800410 if (!parent)
411 return 1;
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700412 return parent->behavior == DEVCG_DEFAULT_ALLOW;
413}
414
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500415/**
416 * revalidate_active_exceptions - walks through the active exception list and
417 * revalidates the exceptions based on parent's
418 * behavior and exceptions. The exceptions that
419 * are no longer valid will be removed.
420 * Called with devcgroup_mutex held.
421 * @devcg: cgroup which exceptions will be checked
422 *
423 * This is one of the three key functions for hierarchy implementation.
424 * This function is responsible for re-evaluating all the cgroup's active
425 * exceptions due to a parent's exception change.
426 * Refer to Documentation/cgroups/devices.txt for more details.
427 */
428static void revalidate_active_exceptions(struct dev_cgroup *devcg)
429{
430 struct dev_exception_item *ex;
431 struct list_head *this, *tmp;
432
433 list_for_each_safe(this, tmp, &devcg->exceptions) {
434 ex = container_of(this, struct dev_exception_item, list);
435 if (!parent_has_perm(devcg, ex))
436 dev_exception_rm(devcg, ex);
437 }
438}
439
440/**
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500441 * propagate_exception - propagates a new exception to the children
442 * @devcg_root: device cgroup that added a new exception
443 * @ex: new exception to be propagated
444 *
445 * returns: 0 in case of success, != 0 in case of error
446 */
447static int propagate_exception(struct dev_cgroup *devcg_root,
448 struct dev_exception_item *ex)
449{
Tejun Heod591fb52013-05-24 10:55:38 +0900450 struct cgroup *root = devcg_root->css.cgroup, *pos;
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500451 int rc = 0;
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500452
Tejun Heod591fb52013-05-24 10:55:38 +0900453 rcu_read_lock();
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500454
Tejun Heod591fb52013-05-24 10:55:38 +0900455 cgroup_for_each_descendant_pre(pos, root) {
456 struct dev_cgroup *devcg = cgroup_to_devcgroup(pos);
457
458 /*
459 * Because devcgroup_mutex is held, no devcg will become
460 * online or offline during the tree walk (see on/offline
461 * methods), and online ones are safe to access outside RCU
462 * read lock without bumping refcnt.
463 */
464 if (!is_devcg_online(devcg))
465 continue;
466
467 rcu_read_unlock();
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500468
469 /*
470 * in case both root's behavior and devcg is allow, a new
471 * restriction means adding to the exception list
472 */
473 if (devcg_root->behavior == DEVCG_DEFAULT_ALLOW &&
474 devcg->behavior == DEVCG_DEFAULT_ALLOW) {
475 rc = dev_exception_add(devcg, ex);
476 if (rc)
477 break;
478 } else {
479 /*
480 * in the other possible cases:
481 * root's behavior: allow, devcg's: deny
482 * root's behavior: deny, devcg's: deny
483 * the exception will be removed
484 */
485 dev_exception_rm(devcg, ex);
486 }
487 revalidate_active_exceptions(devcg);
488
Tejun Heod591fb52013-05-24 10:55:38 +0900489 rcu_read_lock();
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500490 }
Tejun Heod591fb52013-05-24 10:55:38 +0900491
492 rcu_read_unlock();
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500493 return rc;
494}
495
496static inline bool has_children(struct dev_cgroup *devcgroup)
497{
498 struct cgroup *cgrp = devcgroup->css.cgroup;
499
500 return !list_empty(&cgrp->children);
501}
502
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700503/*
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700504 * Modify the exception list using allow/deny rules.
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700505 * CAP_SYS_ADMIN is needed for this. It's at least separate from CAP_MKNOD
506 * so we can give a container CAP_MKNOD to let it create devices but not
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700507 * modify the exception list.
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700508 * It seems likely we'll want to add a CAP_CONTAINER capability to allow
509 * us to also grant CAP_SYS_ADMIN to containers without giving away the
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700510 * device exception list controls, but for now we'll stick with CAP_SYS_ADMIN
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700511 *
512 * Taking rules away is always allowed (given CAP_SYS_ADMIN). Granting
513 * new access is only allowed if you're in the top-level cgroup, or your
514 * parent cgroup has the access you're asking for.
515 */
Paul Menagef92523e2008-07-25 01:47:03 -0700516static int devcgroup_update_access(struct dev_cgroup *devcgroup,
517 int filetype, const char *buffer)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700518{
Paul Menagef92523e2008-07-25 01:47:03 -0700519 const char *b;
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700520 char temp[12]; /* 11 + 1 characters needed for a u32 */
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500521 int count, rc = 0;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700522 struct dev_exception_item ex;
Tejun Heo63876982013-08-08 20:11:23 -0400523 struct dev_cgroup *parent = css_to_devcgroup(css_parent(&devcgroup->css));
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700524
525 if (!capable(CAP_SYS_ADMIN))
526 return -EPERM;
527
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700528 memset(&ex, 0, sizeof(ex));
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700529 b = buffer;
530
531 switch (*b) {
532 case 'a':
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700533 switch (filetype) {
534 case DEVCG_ALLOW:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500535 if (has_children(devcgroup))
536 return -EINVAL;
537
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700538 if (!may_allow_all(parent))
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700539 return -EPERM;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700540 dev_exception_clean(devcgroup);
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800541 devcgroup->behavior = DEVCG_DEFAULT_ALLOW;
542 if (!parent)
543 break;
544
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700545 rc = dev_exceptions_copy(&devcgroup->exceptions,
546 &parent->exceptions);
547 if (rc)
548 return rc;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700549 break;
550 case DEVCG_DENY:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500551 if (has_children(devcgroup))
552 return -EINVAL;
553
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700554 dev_exception_clean(devcgroup);
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700555 devcgroup->behavior = DEVCG_DEFAULT_DENY;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700556 break;
557 default:
558 return -EINVAL;
559 }
560 return 0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700561 case 'b':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700562 ex.type = DEV_BLOCK;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700563 break;
564 case 'c':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700565 ex.type = DEV_CHAR;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700566 break;
567 default:
Paul Menagef92523e2008-07-25 01:47:03 -0700568 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700569 }
570 b++;
Paul Menagef92523e2008-07-25 01:47:03 -0700571 if (!isspace(*b))
572 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700573 b++;
574 if (*b == '*') {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700575 ex.major = ~0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700576 b++;
577 } else if (isdigit(*b)) {
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700578 memset(temp, 0, sizeof(temp));
579 for (count = 0; count < sizeof(temp) - 1; count++) {
580 temp[count] = *b;
581 b++;
582 if (!isdigit(*b))
583 break;
584 }
585 rc = kstrtou32(temp, 10, &ex.major);
586 if (rc)
587 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700588 } else {
Paul Menagef92523e2008-07-25 01:47:03 -0700589 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700590 }
Paul Menagef92523e2008-07-25 01:47:03 -0700591 if (*b != ':')
592 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700593 b++;
594
595 /* read minor */
596 if (*b == '*') {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700597 ex.minor = ~0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700598 b++;
599 } else if (isdigit(*b)) {
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700600 memset(temp, 0, sizeof(temp));
601 for (count = 0; count < sizeof(temp) - 1; count++) {
602 temp[count] = *b;
603 b++;
604 if (!isdigit(*b))
605 break;
606 }
607 rc = kstrtou32(temp, 10, &ex.minor);
608 if (rc)
609 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700610 } else {
Paul Menagef92523e2008-07-25 01:47:03 -0700611 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700612 }
Paul Menagef92523e2008-07-25 01:47:03 -0700613 if (!isspace(*b))
614 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700615 for (b++, count = 0; count < 3; count++, b++) {
616 switch (*b) {
617 case 'r':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700618 ex.access |= ACC_READ;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700619 break;
620 case 'w':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700621 ex.access |= ACC_WRITE;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700622 break;
623 case 'm':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700624 ex.access |= ACC_MKNOD;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700625 break;
626 case '\n':
627 case '\0':
628 count = 3;
629 break;
630 default:
Paul Menagef92523e2008-07-25 01:47:03 -0700631 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700632 }
633 }
634
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700635 switch (filetype) {
636 case DEVCG_ALLOW:
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700637 if (!parent_has_perm(devcgroup, &ex))
Paul Menagef92523e2008-07-25 01:47:03 -0700638 return -EPERM;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700639 /*
640 * If the default policy is to allow by default, try to remove
641 * an matching exception instead. And be silent about it: we
642 * don't want to break compatibility
643 */
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700644 if (devcgroup->behavior == DEVCG_DEFAULT_ALLOW) {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700645 dev_exception_rm(devcgroup, &ex);
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700646 return 0;
647 }
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500648 rc = dev_exception_add(devcgroup, &ex);
649 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700650 case DEVCG_DENY:
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700651 /*
652 * If the default policy is to deny by default, try to remove
653 * an matching exception instead. And be silent about it: we
654 * don't want to break compatibility
655 */
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500656 if (devcgroup->behavior == DEVCG_DEFAULT_DENY)
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700657 dev_exception_rm(devcgroup, &ex);
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500658 else
659 rc = dev_exception_add(devcgroup, &ex);
660
661 if (rc)
662 break;
663 /* we only propagate new restrictions */
664 rc = propagate_exception(devcgroup, &ex);
665 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700666 default:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500667 rc = -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700668 }
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500669 return rc;
Paul Menagef92523e2008-07-25 01:47:03 -0700670}
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700671
Paul Menagef92523e2008-07-25 01:47:03 -0700672static int devcgroup_access_write(struct cgroup *cgrp, struct cftype *cft,
673 const char *buffer)
674{
675 int retval;
Li Zefanb4046f02009-04-02 16:57:32 -0700676
677 mutex_lock(&devcgroup_mutex);
Paul Menagef92523e2008-07-25 01:47:03 -0700678 retval = devcgroup_update_access(cgroup_to_devcgroup(cgrp),
679 cft->private, buffer);
Li Zefanb4046f02009-04-02 16:57:32 -0700680 mutex_unlock(&devcgroup_mutex);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700681 return retval;
682}
683
684static struct cftype dev_cgroup_files[] = {
685 {
686 .name = "allow",
Paul Menagef92523e2008-07-25 01:47:03 -0700687 .write_string = devcgroup_access_write,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700688 .private = DEVCG_ALLOW,
689 },
690 {
691 .name = "deny",
Paul Menagef92523e2008-07-25 01:47:03 -0700692 .write_string = devcgroup_access_write,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700693 .private = DEVCG_DENY,
694 },
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700695 {
696 .name = "list",
697 .read_seq_string = devcgroup_seq_read,
698 .private = DEVCG_LIST,
699 },
Tejun Heo4baf6e32012-04-01 12:09:55 -0700700 { } /* terminate */
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700701};
702
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700703struct cgroup_subsys devices_subsys = {
704 .name = "devices",
705 .can_attach = devcgroup_can_attach,
Tejun Heo92fb9742012-11-19 08:13:38 -0800706 .css_alloc = devcgroup_css_alloc,
707 .css_free = devcgroup_css_free,
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500708 .css_online = devcgroup_online,
709 .css_offline = devcgroup_offline,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700710 .subsys_id = devices_subsys_id,
Tejun Heo4baf6e32012-04-01 12:09:55 -0700711 .base_cftypes = dev_cgroup_files,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700712};
713
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700714/**
715 * __devcgroup_check_permission - checks if an inode operation is permitted
716 * @dev_cgroup: the dev cgroup to be tested against
717 * @type: device type
718 * @major: device major number
719 * @minor: device minor number
720 * @access: combination of ACC_WRITE, ACC_READ and ACC_MKNOD
721 *
722 * returns 0 on success, -EPERM case the operation is not permitted
723 */
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700724static int __devcgroup_check_permission(short type, u32 major, u32 minor,
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700725 short access)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700726{
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700727 struct dev_cgroup *dev_cgroup;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700728 struct dev_exception_item ex;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700729 int rc;
730
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700731 memset(&ex, 0, sizeof(ex));
732 ex.type = type;
733 ex.major = major;
734 ex.minor = minor;
735 ex.access = access;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700736
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700737 rcu_read_lock();
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700738 dev_cgroup = task_devcgroup(current);
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500739 rc = may_access(dev_cgroup, &ex, dev_cgroup->behavior);
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700740 rcu_read_unlock();
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700741
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700742 if (!rc)
743 return -EPERM;
744
745 return 0;
746}
747
748int __devcgroup_inode_permission(struct inode *inode, int mask)
749{
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700750 short type, access = 0;
751
752 if (S_ISBLK(inode->i_mode))
753 type = DEV_BLOCK;
754 if (S_ISCHR(inode->i_mode))
755 type = DEV_CHAR;
756 if (mask & MAY_WRITE)
757 access |= ACC_WRITE;
758 if (mask & MAY_READ)
759 access |= ACC_READ;
760
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700761 return __devcgroup_check_permission(type, imajor(inode), iminor(inode),
762 access);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700763}
764
765int devcgroup_inode_mknod(int mode, dev_t dev)
766{
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700767 short type;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700768
Serge E. Hallyn0b82ac32009-01-07 18:07:46 -0800769 if (!S_ISBLK(mode) && !S_ISCHR(mode))
770 return 0;
771
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700772 if (S_ISBLK(mode))
773 type = DEV_BLOCK;
774 else
775 type = DEV_CHAR;
Li Zefan36fd71d2008-09-02 14:35:52 -0700776
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700777 return __devcgroup_check_permission(type, MAJOR(dev), MINOR(dev),
778 ACC_MKNOD);
Li Zefan36fd71d2008-09-02 14:35:52 -0700779
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700780}