blob: 221967d4690c3699faf9d77e047e457f55f94de6 [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;
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -050052 /* temporary list for pending propagation operations */
53 struct list_head propagate_pending;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070054};
55
Pavel Emelyanovb66862f2008-06-05 22:46:24 -070056static inline struct dev_cgroup *css_to_devcgroup(struct cgroup_subsys_state *s)
57{
58 return container_of(s, struct dev_cgroup, css);
59}
60
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070061static inline struct dev_cgroup *cgroup_to_devcgroup(struct cgroup *cgroup)
62{
Pavel Emelyanovb66862f2008-06-05 22:46:24 -070063 return css_to_devcgroup(cgroup_subsys_state(cgroup, devices_subsys_id));
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070064}
65
Paul Menagef92523e2008-07-25 01:47:03 -070066static inline struct dev_cgroup *task_devcgroup(struct task_struct *task)
67{
68 return css_to_devcgroup(task_subsys_state(task, devices_subsys_id));
69}
70
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070071struct cgroup_subsys devices_subsys;
72
Li Zefan761b3ef2012-01-31 13:47:36 +080073static int devcgroup_can_attach(struct cgroup *new_cgrp,
74 struct cgroup_taskset *set)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070075{
Tejun Heo2f7ee562011-12-12 18:12:21 -080076 struct task_struct *task = cgroup_taskset_first(set);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070077
Tejun Heo2f7ee562011-12-12 18:12:21 -080078 if (current != task && !capable(CAP_SYS_ADMIN))
79 return -EPERM;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070080 return 0;
81}
82
83/*
Li Zefanb4046f02009-04-02 16:57:32 -070084 * called under devcgroup_mutex
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070085 */
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070086static int dev_exceptions_copy(struct list_head *dest, struct list_head *orig)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070087{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070088 struct dev_exception_item *ex, *tmp, *new;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070089
Tejun Heo4b1c7842012-11-06 09:16:53 -080090 lockdep_assert_held(&devcgroup_mutex);
91
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -070092 list_for_each_entry(ex, orig, list) {
93 new = kmemdup(ex, sizeof(*ex), GFP_KERNEL);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070094 if (!new)
95 goto free_and_exit;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -070096 list_add_tail(&new->list, dest);
97 }
98
99 return 0;
100
101free_and_exit:
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700102 list_for_each_entry_safe(ex, tmp, dest, list) {
103 list_del(&ex->list);
104 kfree(ex);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700105 }
106 return -ENOMEM;
107}
108
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700109/*
Li Zefanb4046f02009-04-02 16:57:32 -0700110 * called under devcgroup_mutex
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700111 */
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700112static int dev_exception_add(struct dev_cgroup *dev_cgroup,
113 struct dev_exception_item *ex)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700114{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700115 struct dev_exception_item *excopy, *walk;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700116
Tejun Heo4b1c7842012-11-06 09:16:53 -0800117 lockdep_assert_held(&devcgroup_mutex);
118
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700119 excopy = kmemdup(ex, sizeof(*ex), GFP_KERNEL);
120 if (!excopy)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700121 return -ENOMEM;
122
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700123 list_for_each_entry(walk, &dev_cgroup->exceptions, list) {
124 if (walk->type != ex->type)
Pavel Emelyanovd1ee2972008-06-05 22:46:28 -0700125 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700126 if (walk->major != ex->major)
Pavel Emelyanovd1ee2972008-06-05 22:46:28 -0700127 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700128 if (walk->minor != ex->minor)
Pavel Emelyanovd1ee2972008-06-05 22:46:28 -0700129 continue;
130
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700131 walk->access |= ex->access;
132 kfree(excopy);
133 excopy = NULL;
Pavel Emelyanovd1ee2972008-06-05 22:46:28 -0700134 }
135
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700136 if (excopy != NULL)
137 list_add_tail_rcu(&excopy->list, &dev_cgroup->exceptions);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700138 return 0;
139}
140
141/*
Li Zefanb4046f02009-04-02 16:57:32 -0700142 * called under devcgroup_mutex
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700143 */
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700144static void dev_exception_rm(struct dev_cgroup *dev_cgroup,
145 struct dev_exception_item *ex)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700146{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700147 struct dev_exception_item *walk, *tmp;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700148
Tejun Heo4b1c7842012-11-06 09:16:53 -0800149 lockdep_assert_held(&devcgroup_mutex);
150
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700151 list_for_each_entry_safe(walk, tmp, &dev_cgroup->exceptions, list) {
152 if (walk->type != ex->type)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700153 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700154 if (walk->major != ex->major)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700155 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700156 if (walk->minor != ex->minor)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700157 continue;
158
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700159 walk->access &= ~ex->access;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700160 if (!walk->access) {
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700161 list_del_rcu(&walk->list);
Lai Jiangshan6034f7e2011-03-15 18:07:57 +0800162 kfree_rcu(walk, rcu);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700163 }
164 }
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700165}
166
Jerry Snitselaar53eb8c82013-02-21 16:41:31 -0800167static void __dev_exception_clean(struct dev_cgroup *dev_cgroup)
168{
169 struct dev_exception_item *ex, *tmp;
170
171 list_for_each_entry_safe(ex, tmp, &dev_cgroup->exceptions, list) {
172 list_del_rcu(&ex->list);
173 kfree_rcu(ex, rcu);
174 }
175}
176
Aristeu Rozanski868539a2012-10-04 17:15:15 -0700177/**
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700178 * dev_exception_clean - frees all entries of the exception list
179 * @dev_cgroup: dev_cgroup with the exception list to be cleaned
Aristeu Rozanski868539a2012-10-04 17:15:15 -0700180 *
181 * called under devcgroup_mutex
182 */
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700183static void dev_exception_clean(struct dev_cgroup *dev_cgroup)
Aristeu Rozanski868539a2012-10-04 17:15:15 -0700184{
Tejun Heo4b1c7842012-11-06 09:16:53 -0800185 lockdep_assert_held(&devcgroup_mutex);
186
Jerry Snitselaar53eb8c82013-02-21 16:41:31 -0800187 __dev_exception_clean(dev_cgroup);
Aristeu Rozanski868539a2012-10-04 17:15:15 -0700188}
189
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500190static inline bool is_devcg_online(const struct dev_cgroup *devcg)
191{
192 return (devcg->behavior != DEVCG_DEFAULT_NONE);
193}
194
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500195/**
196 * devcgroup_online - initializes devcgroup's behavior and exceptions based on
197 * parent's
198 * @cgroup: cgroup getting online
199 * returns 0 in case of success, error code otherwise
200 */
201static int devcgroup_online(struct cgroup *cgroup)
202{
203 struct dev_cgroup *dev_cgroup, *parent_dev_cgroup = NULL;
204 int ret = 0;
205
206 mutex_lock(&devcgroup_mutex);
207 dev_cgroup = cgroup_to_devcgroup(cgroup);
208 if (cgroup->parent)
209 parent_dev_cgroup = cgroup_to_devcgroup(cgroup->parent);
210
211 if (parent_dev_cgroup == NULL)
212 dev_cgroup->behavior = DEVCG_DEFAULT_ALLOW;
213 else {
214 ret = dev_exceptions_copy(&dev_cgroup->exceptions,
215 &parent_dev_cgroup->exceptions);
216 if (!ret)
217 dev_cgroup->behavior = parent_dev_cgroup->behavior;
218 }
219 mutex_unlock(&devcgroup_mutex);
220
221 return ret;
222}
223
224static void devcgroup_offline(struct cgroup *cgroup)
225{
226 struct dev_cgroup *dev_cgroup = cgroup_to_devcgroup(cgroup);
227
228 mutex_lock(&devcgroup_mutex);
229 dev_cgroup->behavior = DEVCG_DEFAULT_NONE;
230 mutex_unlock(&devcgroup_mutex);
231}
232
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700233/*
234 * called from kernel/cgroup.c with cgroup_lock() held.
235 */
Tejun Heo92fb9742012-11-19 08:13:38 -0800236static struct cgroup_subsys_state *devcgroup_css_alloc(struct cgroup *cgroup)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700237{
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500238 struct dev_cgroup *dev_cgroup;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700239 struct cgroup *parent_cgroup;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700240
241 dev_cgroup = kzalloc(sizeof(*dev_cgroup), GFP_KERNEL);
242 if (!dev_cgroup)
243 return ERR_PTR(-ENOMEM);
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700244 INIT_LIST_HEAD(&dev_cgroup->exceptions);
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500245 INIT_LIST_HEAD(&dev_cgroup->propagate_pending);
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500246 dev_cgroup->behavior = DEVCG_DEFAULT_NONE;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700247 parent_cgroup = cgroup->parent;
248
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700249 return &dev_cgroup->css;
250}
251
Tejun Heo92fb9742012-11-19 08:13:38 -0800252static void devcgroup_css_free(struct cgroup *cgroup)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700253{
254 struct dev_cgroup *dev_cgroup;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700255
256 dev_cgroup = cgroup_to_devcgroup(cgroup);
Jerry Snitselaar53eb8c82013-02-21 16:41:31 -0800257 __dev_exception_clean(dev_cgroup);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700258 kfree(dev_cgroup);
259}
260
261#define DEVCG_ALLOW 1
262#define DEVCG_DENY 2
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700263#define DEVCG_LIST 3
264
Li Zefan17d213f2008-07-13 12:14:02 -0700265#define MAJMINLEN 13
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700266#define ACCLEN 4
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700267
268static void set_access(char *acc, short access)
269{
270 int idx = 0;
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700271 memset(acc, 0, ACCLEN);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700272 if (access & ACC_READ)
273 acc[idx++] = 'r';
274 if (access & ACC_WRITE)
275 acc[idx++] = 'w';
276 if (access & ACC_MKNOD)
277 acc[idx++] = 'm';
278}
279
280static char type_to_char(short type)
281{
282 if (type == DEV_ALL)
283 return 'a';
284 if (type == DEV_CHAR)
285 return 'c';
286 if (type == DEV_BLOCK)
287 return 'b';
288 return 'X';
289}
290
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700291static void set_majmin(char *str, unsigned m)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700292{
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700293 if (m == ~0)
Li Zefan7759fc92008-07-25 01:47:08 -0700294 strcpy(str, "*");
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700295 else
Li Zefan7759fc92008-07-25 01:47:08 -0700296 sprintf(str, "%u", m);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700297}
298
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700299static int devcgroup_seq_read(struct cgroup *cgroup, struct cftype *cft,
300 struct seq_file *m)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700301{
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700302 struct dev_cgroup *devcgroup = cgroup_to_devcgroup(cgroup);
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700303 struct dev_exception_item *ex;
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700304 char maj[MAJMINLEN], min[MAJMINLEN], acc[ACCLEN];
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700305
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700306 rcu_read_lock();
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700307 /*
308 * To preserve the compatibility:
309 * - Only show the "all devices" when the default policy is to allow
310 * - List the exceptions in case the default policy is to deny
311 * This way, the file remains as a "whitelist of devices"
312 */
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700313 if (devcgroup->behavior == DEVCG_DEFAULT_ALLOW) {
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700314 set_access(acc, ACC_MASK);
315 set_majmin(maj, ~0);
316 set_majmin(min, ~0);
317 seq_printf(m, "%c %s:%s %s\n", type_to_char(DEV_ALL),
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700318 maj, min, acc);
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700319 } else {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700320 list_for_each_entry_rcu(ex, &devcgroup->exceptions, list) {
321 set_access(acc, ex->access);
322 set_majmin(maj, ex->major);
323 set_majmin(min, ex->minor);
324 seq_printf(m, "%c %s:%s %s\n", type_to_char(ex->type),
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700325 maj, min, acc);
326 }
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700327 }
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700328 rcu_read_unlock();
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700329
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700330 return 0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700331}
332
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700333/**
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700334 * may_access - verifies if a new exception is part of what is allowed
335 * by a dev cgroup based on the default policy +
336 * exceptions. This is used to make sure a child cgroup
337 * won't have more privileges than its parent or to
338 * verify if a certain access is allowed.
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700339 * @dev_cgroup: dev cgroup to be tested against
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700340 * @refex: new exception
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500341 * @behavior: behavior of the exception
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700342 */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500343static bool may_access(struct dev_cgroup *dev_cgroup,
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500344 struct dev_exception_item *refex,
345 enum devcg_behavior behavior)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700346{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700347 struct dev_exception_item *ex;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700348 bool match = false;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700349
Tejun Heo4b1c7842012-11-06 09:16:53 -0800350 rcu_lockdep_assert(rcu_read_lock_held() ||
351 lockdep_is_held(&devcgroup_mutex),
352 "device_cgroup::may_access() called without proper synchronization");
353
Tejun Heo201e72a2012-11-06 09:17:37 -0800354 list_for_each_entry_rcu(ex, &dev_cgroup->exceptions, list) {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700355 if ((refex->type & DEV_BLOCK) && !(ex->type & DEV_BLOCK))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700356 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700357 if ((refex->type & DEV_CHAR) && !(ex->type & DEV_CHAR))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700358 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700359 if (ex->major != ~0 && ex->major != refex->major)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700360 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700361 if (ex->minor != ~0 && ex->minor != refex->minor)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700362 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700363 if (refex->access & (~ex->access))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700364 continue;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700365 match = true;
366 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700367 }
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700368
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500369 if (dev_cgroup->behavior == DEVCG_DEFAULT_ALLOW) {
370 if (behavior == DEVCG_DEFAULT_ALLOW) {
371 /* the exception will deny access to certain devices */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500372 return true;
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500373 } else {
374 /* the exception will allow access to certain devices */
375 if (match)
376 /*
377 * a new exception allowing access shouldn't
378 * match an parent's exception
379 */
380 return false;
381 return true;
382 }
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500383 } else {
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500384 /* only behavior == DEVCG_DEFAULT_DENY allowed here */
385 if (match)
386 /* parent has an exception that matches the proposed */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500387 return true;
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500388 else
389 return false;
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500390 }
391 return false;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700392}
393
394/*
395 * parent_has_perm:
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700396 * when adding a new allow rule to a device exception list, the rule
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700397 * must be allowed in the parent device
398 */
Paul Menagef92523e2008-07-25 01:47:03 -0700399static int parent_has_perm(struct dev_cgroup *childcg,
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700400 struct dev_exception_item *ex)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700401{
Paul Menagef92523e2008-07-25 01:47:03 -0700402 struct cgroup *pcg = childcg->css.cgroup->parent;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700403 struct dev_cgroup *parent;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700404
405 if (!pcg)
406 return 1;
407 parent = cgroup_to_devcgroup(pcg);
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500408 return may_access(parent, ex, childcg->behavior);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700409}
410
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700411/**
412 * may_allow_all - checks if it's possible to change the behavior to
413 * allow based on parent's rules.
414 * @parent: device cgroup's parent
415 * returns: != 0 in case it's allowed, 0 otherwise
416 */
417static inline int may_allow_all(struct dev_cgroup *parent)
418{
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800419 if (!parent)
420 return 1;
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700421 return parent->behavior == DEVCG_DEFAULT_ALLOW;
422}
423
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500424/**
425 * revalidate_active_exceptions - walks through the active exception list and
426 * revalidates the exceptions based on parent's
427 * behavior and exceptions. The exceptions that
428 * are no longer valid will be removed.
429 * Called with devcgroup_mutex held.
430 * @devcg: cgroup which exceptions will be checked
431 *
432 * This is one of the three key functions for hierarchy implementation.
433 * This function is responsible for re-evaluating all the cgroup's active
434 * exceptions due to a parent's exception change.
435 * Refer to Documentation/cgroups/devices.txt for more details.
436 */
437static void revalidate_active_exceptions(struct dev_cgroup *devcg)
438{
439 struct dev_exception_item *ex;
440 struct list_head *this, *tmp;
441
442 list_for_each_safe(this, tmp, &devcg->exceptions) {
443 ex = container_of(this, struct dev_exception_item, list);
444 if (!parent_has_perm(devcg, ex))
445 dev_exception_rm(devcg, ex);
446 }
447}
448
449/**
450 * get_online_devcg - walks the cgroup tree and fills a list with the online
451 * groups
452 * @root: cgroup used as starting point
453 * @online: list that will be filled with online groups
454 *
455 * Must be called with devcgroup_mutex held. Grabs RCU lock.
456 * Because devcgroup_mutex is held, no devcg will become online or offline
457 * during the tree walk (see devcgroup_online, devcgroup_offline)
458 * A separated list is needed because propagate_behavior() and
459 * propagate_exception() need to allocate memory and can block.
460 */
461static void get_online_devcg(struct cgroup *root, struct list_head *online)
462{
463 struct cgroup *pos;
464 struct dev_cgroup *devcg;
465
466 lockdep_assert_held(&devcgroup_mutex);
467
468 rcu_read_lock();
469 cgroup_for_each_descendant_pre(pos, root) {
470 devcg = cgroup_to_devcgroup(pos);
471 if (is_devcg_online(devcg))
472 list_add_tail(&devcg->propagate_pending, online);
473 }
474 rcu_read_unlock();
475}
476
477/**
478 * propagate_exception - propagates a new exception to the children
479 * @devcg_root: device cgroup that added a new exception
480 * @ex: new exception to be propagated
481 *
482 * returns: 0 in case of success, != 0 in case of error
483 */
484static int propagate_exception(struct dev_cgroup *devcg_root,
485 struct dev_exception_item *ex)
486{
487 struct cgroup *root = devcg_root->css.cgroup;
488 struct dev_cgroup *devcg, *parent, *tmp;
489 int rc = 0;
490 LIST_HEAD(pending);
491
492 get_online_devcg(root, &pending);
493
494 list_for_each_entry_safe(devcg, tmp, &pending, propagate_pending) {
495 parent = cgroup_to_devcgroup(devcg->css.cgroup->parent);
496
497 /*
498 * in case both root's behavior and devcg is allow, a new
499 * restriction means adding to the exception list
500 */
501 if (devcg_root->behavior == DEVCG_DEFAULT_ALLOW &&
502 devcg->behavior == DEVCG_DEFAULT_ALLOW) {
503 rc = dev_exception_add(devcg, ex);
504 if (rc)
505 break;
506 } else {
507 /*
508 * in the other possible cases:
509 * root's behavior: allow, devcg's: deny
510 * root's behavior: deny, devcg's: deny
511 * the exception will be removed
512 */
513 dev_exception_rm(devcg, ex);
514 }
515 revalidate_active_exceptions(devcg);
516
517 list_del_init(&devcg->propagate_pending);
518 }
519 return rc;
520}
521
522static inline bool has_children(struct dev_cgroup *devcgroup)
523{
524 struct cgroup *cgrp = devcgroup->css.cgroup;
525
526 return !list_empty(&cgrp->children);
527}
528
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700529/*
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700530 * Modify the exception list using allow/deny rules.
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700531 * CAP_SYS_ADMIN is needed for this. It's at least separate from CAP_MKNOD
532 * so we can give a container CAP_MKNOD to let it create devices but not
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700533 * modify the exception list.
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700534 * It seems likely we'll want to add a CAP_CONTAINER capability to allow
535 * us to also grant CAP_SYS_ADMIN to containers without giving away the
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700536 * device exception list controls, but for now we'll stick with CAP_SYS_ADMIN
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700537 *
538 * Taking rules away is always allowed (given CAP_SYS_ADMIN). Granting
539 * new access is only allowed if you're in the top-level cgroup, or your
540 * parent cgroup has the access you're asking for.
541 */
Paul Menagef92523e2008-07-25 01:47:03 -0700542static int devcgroup_update_access(struct dev_cgroup *devcgroup,
543 int filetype, const char *buffer)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700544{
Paul Menagef92523e2008-07-25 01:47:03 -0700545 const char *b;
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700546 char temp[12]; /* 11 + 1 characters needed for a u32 */
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500547 int count, rc = 0;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700548 struct dev_exception_item ex;
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700549 struct cgroup *p = devcgroup->css.cgroup;
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800550 struct dev_cgroup *parent = NULL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700551
552 if (!capable(CAP_SYS_ADMIN))
553 return -EPERM;
554
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800555 if (p->parent)
556 parent = cgroup_to_devcgroup(p->parent);
557
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700558 memset(&ex, 0, sizeof(ex));
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700559 b = buffer;
560
561 switch (*b) {
562 case 'a':
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700563 switch (filetype) {
564 case DEVCG_ALLOW:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500565 if (has_children(devcgroup))
566 return -EINVAL;
567
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700568 if (!may_allow_all(parent))
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700569 return -EPERM;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700570 dev_exception_clean(devcgroup);
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800571 devcgroup->behavior = DEVCG_DEFAULT_ALLOW;
572 if (!parent)
573 break;
574
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700575 rc = dev_exceptions_copy(&devcgroup->exceptions,
576 &parent->exceptions);
577 if (rc)
578 return rc;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700579 break;
580 case DEVCG_DENY:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500581 if (has_children(devcgroup))
582 return -EINVAL;
583
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700584 dev_exception_clean(devcgroup);
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700585 devcgroup->behavior = DEVCG_DEFAULT_DENY;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700586 break;
587 default:
588 return -EINVAL;
589 }
590 return 0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700591 case 'b':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700592 ex.type = DEV_BLOCK;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700593 break;
594 case 'c':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700595 ex.type = DEV_CHAR;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700596 break;
597 default:
Paul Menagef92523e2008-07-25 01:47:03 -0700598 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700599 }
600 b++;
Paul Menagef92523e2008-07-25 01:47:03 -0700601 if (!isspace(*b))
602 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700603 b++;
604 if (*b == '*') {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700605 ex.major = ~0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700606 b++;
607 } else if (isdigit(*b)) {
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700608 memset(temp, 0, sizeof(temp));
609 for (count = 0; count < sizeof(temp) - 1; count++) {
610 temp[count] = *b;
611 b++;
612 if (!isdigit(*b))
613 break;
614 }
615 rc = kstrtou32(temp, 10, &ex.major);
616 if (rc)
617 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700618 } else {
Paul Menagef92523e2008-07-25 01:47:03 -0700619 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700620 }
Paul Menagef92523e2008-07-25 01:47:03 -0700621 if (*b != ':')
622 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700623 b++;
624
625 /* read minor */
626 if (*b == '*') {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700627 ex.minor = ~0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700628 b++;
629 } else if (isdigit(*b)) {
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700630 memset(temp, 0, sizeof(temp));
631 for (count = 0; count < sizeof(temp) - 1; count++) {
632 temp[count] = *b;
633 b++;
634 if (!isdigit(*b))
635 break;
636 }
637 rc = kstrtou32(temp, 10, &ex.minor);
638 if (rc)
639 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700640 } else {
Paul Menagef92523e2008-07-25 01:47:03 -0700641 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700642 }
Paul Menagef92523e2008-07-25 01:47:03 -0700643 if (!isspace(*b))
644 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700645 for (b++, count = 0; count < 3; count++, b++) {
646 switch (*b) {
647 case 'r':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700648 ex.access |= ACC_READ;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700649 break;
650 case 'w':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700651 ex.access |= ACC_WRITE;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700652 break;
653 case 'm':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700654 ex.access |= ACC_MKNOD;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700655 break;
656 case '\n':
657 case '\0':
658 count = 3;
659 break;
660 default:
Paul Menagef92523e2008-07-25 01:47:03 -0700661 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700662 }
663 }
664
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700665 switch (filetype) {
666 case DEVCG_ALLOW:
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700667 if (!parent_has_perm(devcgroup, &ex))
Paul Menagef92523e2008-07-25 01:47:03 -0700668 return -EPERM;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700669 /*
670 * If the default policy is to allow by default, try to remove
671 * an matching exception instead. And be silent about it: we
672 * don't want to break compatibility
673 */
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700674 if (devcgroup->behavior == DEVCG_DEFAULT_ALLOW) {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700675 dev_exception_rm(devcgroup, &ex);
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700676 return 0;
677 }
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500678 rc = dev_exception_add(devcgroup, &ex);
679 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700680 case DEVCG_DENY:
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700681 /*
682 * If the default policy is to deny by default, try to remove
683 * an matching exception instead. And be silent about it: we
684 * don't want to break compatibility
685 */
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500686 if (devcgroup->behavior == DEVCG_DEFAULT_DENY)
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700687 dev_exception_rm(devcgroup, &ex);
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500688 else
689 rc = dev_exception_add(devcgroup, &ex);
690
691 if (rc)
692 break;
693 /* we only propagate new restrictions */
694 rc = propagate_exception(devcgroup, &ex);
695 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700696 default:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500697 rc = -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700698 }
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500699 return rc;
Paul Menagef92523e2008-07-25 01:47:03 -0700700}
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700701
Paul Menagef92523e2008-07-25 01:47:03 -0700702static int devcgroup_access_write(struct cgroup *cgrp, struct cftype *cft,
703 const char *buffer)
704{
705 int retval;
Li Zefanb4046f02009-04-02 16:57:32 -0700706
707 mutex_lock(&devcgroup_mutex);
Paul Menagef92523e2008-07-25 01:47:03 -0700708 retval = devcgroup_update_access(cgroup_to_devcgroup(cgrp),
709 cft->private, buffer);
Li Zefanb4046f02009-04-02 16:57:32 -0700710 mutex_unlock(&devcgroup_mutex);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700711 return retval;
712}
713
714static struct cftype dev_cgroup_files[] = {
715 {
716 .name = "allow",
Paul Menagef92523e2008-07-25 01:47:03 -0700717 .write_string = devcgroup_access_write,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700718 .private = DEVCG_ALLOW,
719 },
720 {
721 .name = "deny",
Paul Menagef92523e2008-07-25 01:47:03 -0700722 .write_string = devcgroup_access_write,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700723 .private = DEVCG_DENY,
724 },
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700725 {
726 .name = "list",
727 .read_seq_string = devcgroup_seq_read,
728 .private = DEVCG_LIST,
729 },
Tejun Heo4baf6e32012-04-01 12:09:55 -0700730 { } /* terminate */
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700731};
732
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700733struct cgroup_subsys devices_subsys = {
734 .name = "devices",
735 .can_attach = devcgroup_can_attach,
Tejun Heo92fb9742012-11-19 08:13:38 -0800736 .css_alloc = devcgroup_css_alloc,
737 .css_free = devcgroup_css_free,
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500738 .css_online = devcgroup_online,
739 .css_offline = devcgroup_offline,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700740 .subsys_id = devices_subsys_id,
Tejun Heo4baf6e32012-04-01 12:09:55 -0700741 .base_cftypes = dev_cgroup_files,
Tejun Heo8c7f6ed2012-09-13 12:20:58 -0700742
743 /*
744 * While devices cgroup has the rudimentary hierarchy support which
745 * checks the parent's restriction, it doesn't properly propagates
746 * config changes in ancestors to their descendents. A child
747 * should only be allowed to add more restrictions to the parent's
748 * configuration. Fix it and remove the following.
749 */
750 .broken_hierarchy = true,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700751};
752
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700753/**
754 * __devcgroup_check_permission - checks if an inode operation is permitted
755 * @dev_cgroup: the dev cgroup to be tested against
756 * @type: device type
757 * @major: device major number
758 * @minor: device minor number
759 * @access: combination of ACC_WRITE, ACC_READ and ACC_MKNOD
760 *
761 * returns 0 on success, -EPERM case the operation is not permitted
762 */
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700763static int __devcgroup_check_permission(short type, u32 major, u32 minor,
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700764 short access)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700765{
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700766 struct dev_cgroup *dev_cgroup;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700767 struct dev_exception_item ex;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700768 int rc;
769
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700770 memset(&ex, 0, sizeof(ex));
771 ex.type = type;
772 ex.major = major;
773 ex.minor = minor;
774 ex.access = access;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700775
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700776 rcu_read_lock();
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700777 dev_cgroup = task_devcgroup(current);
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500778 rc = may_access(dev_cgroup, &ex, dev_cgroup->behavior);
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700779 rcu_read_unlock();
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700780
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700781 if (!rc)
782 return -EPERM;
783
784 return 0;
785}
786
787int __devcgroup_inode_permission(struct inode *inode, int mask)
788{
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700789 short type, access = 0;
790
791 if (S_ISBLK(inode->i_mode))
792 type = DEV_BLOCK;
793 if (S_ISCHR(inode->i_mode))
794 type = DEV_CHAR;
795 if (mask & MAY_WRITE)
796 access |= ACC_WRITE;
797 if (mask & MAY_READ)
798 access |= ACC_READ;
799
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700800 return __devcgroup_check_permission(type, imajor(inode), iminor(inode),
801 access);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700802}
803
804int devcgroup_inode_mknod(int mode, dev_t dev)
805{
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700806 short type;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700807
Serge E. Hallyn0b82ac32009-01-07 18:07:46 -0800808 if (!S_ISBLK(mode) && !S_ISCHR(mode))
809 return 0;
810
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700811 if (S_ISBLK(mode))
812 type = DEV_BLOCK;
813 else
814 type = DEV_CHAR;
Li Zefan36fd71d2008-09-02 14:35:52 -0700815
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700816 return __devcgroup_check_permission(type, MAJOR(dev), MINOR(dev),
817 ACC_MKNOD);
Li Zefan36fd71d2008-09-02 14:35:52 -0700818
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700819}