blob: dd0dc574d78dd0774fd0e183f62ac677caa091e0 [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
240 dev_cgroup = kzalloc(sizeof(*dev_cgroup), GFP_KERNEL);
241 if (!dev_cgroup)
242 return ERR_PTR(-ENOMEM);
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700243 INIT_LIST_HEAD(&dev_cgroup->exceptions);
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500244 INIT_LIST_HEAD(&dev_cgroup->propagate_pending);
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500245 dev_cgroup->behavior = DEVCG_DEFAULT_NONE;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700246
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700247 return &dev_cgroup->css;
248}
249
Tejun Heo92fb9742012-11-19 08:13:38 -0800250static void devcgroup_css_free(struct cgroup *cgroup)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700251{
252 struct dev_cgroup *dev_cgroup;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700253
254 dev_cgroup = cgroup_to_devcgroup(cgroup);
Jerry Snitselaar53eb8c82013-02-21 16:41:31 -0800255 __dev_exception_clean(dev_cgroup);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700256 kfree(dev_cgroup);
257}
258
259#define DEVCG_ALLOW 1
260#define DEVCG_DENY 2
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700261#define DEVCG_LIST 3
262
Li Zefan17d213f2008-07-13 12:14:02 -0700263#define MAJMINLEN 13
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700264#define ACCLEN 4
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700265
266static void set_access(char *acc, short access)
267{
268 int idx = 0;
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700269 memset(acc, 0, ACCLEN);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700270 if (access & ACC_READ)
271 acc[idx++] = 'r';
272 if (access & ACC_WRITE)
273 acc[idx++] = 'w';
274 if (access & ACC_MKNOD)
275 acc[idx++] = 'm';
276}
277
278static char type_to_char(short type)
279{
280 if (type == DEV_ALL)
281 return 'a';
282 if (type == DEV_CHAR)
283 return 'c';
284 if (type == DEV_BLOCK)
285 return 'b';
286 return 'X';
287}
288
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700289static void set_majmin(char *str, unsigned m)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700290{
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700291 if (m == ~0)
Li Zefan7759fc92008-07-25 01:47:08 -0700292 strcpy(str, "*");
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700293 else
Li Zefan7759fc92008-07-25 01:47:08 -0700294 sprintf(str, "%u", m);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700295}
296
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700297static int devcgroup_seq_read(struct cgroup *cgroup, struct cftype *cft,
298 struct seq_file *m)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700299{
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700300 struct dev_cgroup *devcgroup = cgroup_to_devcgroup(cgroup);
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700301 struct dev_exception_item *ex;
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700302 char maj[MAJMINLEN], min[MAJMINLEN], acc[ACCLEN];
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700303
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700304 rcu_read_lock();
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700305 /*
306 * To preserve the compatibility:
307 * - Only show the "all devices" when the default policy is to allow
308 * - List the exceptions in case the default policy is to deny
309 * This way, the file remains as a "whitelist of devices"
310 */
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700311 if (devcgroup->behavior == DEVCG_DEFAULT_ALLOW) {
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700312 set_access(acc, ACC_MASK);
313 set_majmin(maj, ~0);
314 set_majmin(min, ~0);
315 seq_printf(m, "%c %s:%s %s\n", type_to_char(DEV_ALL),
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700316 maj, min, acc);
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700317 } else {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700318 list_for_each_entry_rcu(ex, &devcgroup->exceptions, list) {
319 set_access(acc, ex->access);
320 set_majmin(maj, ex->major);
321 set_majmin(min, ex->minor);
322 seq_printf(m, "%c %s:%s %s\n", type_to_char(ex->type),
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700323 maj, min, acc);
324 }
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700325 }
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700326 rcu_read_unlock();
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700327
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700328 return 0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700329}
330
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700331/**
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700332 * may_access - verifies if a new exception is part of what is allowed
333 * by a dev cgroup based on the default policy +
334 * exceptions. This is used to make sure a child cgroup
335 * won't have more privileges than its parent or to
336 * verify if a certain access is allowed.
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700337 * @dev_cgroup: dev cgroup to be tested against
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700338 * @refex: new exception
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500339 * @behavior: behavior of the exception
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700340 */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500341static bool may_access(struct dev_cgroup *dev_cgroup,
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500342 struct dev_exception_item *refex,
343 enum devcg_behavior behavior)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700344{
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700345 struct dev_exception_item *ex;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700346 bool match = false;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700347
Tejun Heo4b1c7842012-11-06 09:16:53 -0800348 rcu_lockdep_assert(rcu_read_lock_held() ||
349 lockdep_is_held(&devcgroup_mutex),
350 "device_cgroup::may_access() called without proper synchronization");
351
Tejun Heo201e72a2012-11-06 09:17:37 -0800352 list_for_each_entry_rcu(ex, &dev_cgroup->exceptions, list) {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700353 if ((refex->type & DEV_BLOCK) && !(ex->type & DEV_BLOCK))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700354 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700355 if ((refex->type & DEV_CHAR) && !(ex->type & DEV_CHAR))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700356 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700357 if (ex->major != ~0 && ex->major != refex->major)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700358 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700359 if (ex->minor != ~0 && ex->minor != refex->minor)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700360 continue;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700361 if (refex->access & (~ex->access))
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700362 continue;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700363 match = true;
364 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700365 }
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700366
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500367 if (dev_cgroup->behavior == DEVCG_DEFAULT_ALLOW) {
368 if (behavior == DEVCG_DEFAULT_ALLOW) {
369 /* the exception will deny access to certain devices */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500370 return true;
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500371 } else {
372 /* the exception will allow access to certain devices */
373 if (match)
374 /*
375 * a new exception allowing access shouldn't
376 * match an parent's exception
377 */
378 return false;
379 return true;
380 }
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500381 } else {
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500382 /* only behavior == DEVCG_DEFAULT_DENY allowed here */
383 if (match)
384 /* parent has an exception that matches the proposed */
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500385 return true;
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500386 else
387 return false;
Aristeu Rozanski26898fd2013-02-15 11:55:44 -0500388 }
389 return false;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700390}
391
392/*
393 * parent_has_perm:
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700394 * when adding a new allow rule to a device exception list, the rule
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700395 * must be allowed in the parent device
396 */
Paul Menagef92523e2008-07-25 01:47:03 -0700397static int parent_has_perm(struct dev_cgroup *childcg,
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700398 struct dev_exception_item *ex)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700399{
Paul Menagef92523e2008-07-25 01:47:03 -0700400 struct cgroup *pcg = childcg->css.cgroup->parent;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700401 struct dev_cgroup *parent;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700402
403 if (!pcg)
404 return 1;
405 parent = cgroup_to_devcgroup(pcg);
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500406 return may_access(parent, ex, childcg->behavior);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700407}
408
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700409/**
410 * may_allow_all - checks if it's possible to change the behavior to
411 * allow based on parent's rules.
412 * @parent: device cgroup's parent
413 * returns: != 0 in case it's allowed, 0 otherwise
414 */
415static inline int may_allow_all(struct dev_cgroup *parent)
416{
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800417 if (!parent)
418 return 1;
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700419 return parent->behavior == DEVCG_DEFAULT_ALLOW;
420}
421
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500422/**
423 * revalidate_active_exceptions - walks through the active exception list and
424 * revalidates the exceptions based on parent's
425 * behavior and exceptions. The exceptions that
426 * are no longer valid will be removed.
427 * Called with devcgroup_mutex held.
428 * @devcg: cgroup which exceptions will be checked
429 *
430 * This is one of the three key functions for hierarchy implementation.
431 * This function is responsible for re-evaluating all the cgroup's active
432 * exceptions due to a parent's exception change.
433 * Refer to Documentation/cgroups/devices.txt for more details.
434 */
435static void revalidate_active_exceptions(struct dev_cgroup *devcg)
436{
437 struct dev_exception_item *ex;
438 struct list_head *this, *tmp;
439
440 list_for_each_safe(this, tmp, &devcg->exceptions) {
441 ex = container_of(this, struct dev_exception_item, list);
442 if (!parent_has_perm(devcg, ex))
443 dev_exception_rm(devcg, ex);
444 }
445}
446
447/**
448 * get_online_devcg - walks the cgroup tree and fills a list with the online
449 * groups
450 * @root: cgroup used as starting point
451 * @online: list that will be filled with online groups
452 *
453 * Must be called with devcgroup_mutex held. Grabs RCU lock.
454 * Because devcgroup_mutex is held, no devcg will become online or offline
455 * during the tree walk (see devcgroup_online, devcgroup_offline)
456 * A separated list is needed because propagate_behavior() and
457 * propagate_exception() need to allocate memory and can block.
458 */
459static void get_online_devcg(struct cgroup *root, struct list_head *online)
460{
461 struct cgroup *pos;
462 struct dev_cgroup *devcg;
463
464 lockdep_assert_held(&devcgroup_mutex);
465
466 rcu_read_lock();
467 cgroup_for_each_descendant_pre(pos, root) {
468 devcg = cgroup_to_devcgroup(pos);
469 if (is_devcg_online(devcg))
470 list_add_tail(&devcg->propagate_pending, online);
471 }
472 rcu_read_unlock();
473}
474
475/**
476 * propagate_exception - propagates a new exception to the children
477 * @devcg_root: device cgroup that added a new exception
478 * @ex: new exception to be propagated
479 *
480 * returns: 0 in case of success, != 0 in case of error
481 */
482static int propagate_exception(struct dev_cgroup *devcg_root,
483 struct dev_exception_item *ex)
484{
485 struct cgroup *root = devcg_root->css.cgroup;
486 struct dev_cgroup *devcg, *parent, *tmp;
487 int rc = 0;
488 LIST_HEAD(pending);
489
490 get_online_devcg(root, &pending);
491
492 list_for_each_entry_safe(devcg, tmp, &pending, propagate_pending) {
493 parent = cgroup_to_devcgroup(devcg->css.cgroup->parent);
494
495 /*
496 * in case both root's behavior and devcg is allow, a new
497 * restriction means adding to the exception list
498 */
499 if (devcg_root->behavior == DEVCG_DEFAULT_ALLOW &&
500 devcg->behavior == DEVCG_DEFAULT_ALLOW) {
501 rc = dev_exception_add(devcg, ex);
502 if (rc)
503 break;
504 } else {
505 /*
506 * in the other possible cases:
507 * root's behavior: allow, devcg's: deny
508 * root's behavior: deny, devcg's: deny
509 * the exception will be removed
510 */
511 dev_exception_rm(devcg, ex);
512 }
513 revalidate_active_exceptions(devcg);
514
515 list_del_init(&devcg->propagate_pending);
516 }
517 return rc;
518}
519
520static inline bool has_children(struct dev_cgroup *devcgroup)
521{
522 struct cgroup *cgrp = devcgroup->css.cgroup;
523
524 return !list_empty(&cgrp->children);
525}
526
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700527/*
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700528 * Modify the exception list using allow/deny rules.
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700529 * CAP_SYS_ADMIN is needed for this. It's at least separate from CAP_MKNOD
530 * so we can give a container CAP_MKNOD to let it create devices but not
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700531 * modify the exception list.
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700532 * It seems likely we'll want to add a CAP_CONTAINER capability to allow
533 * us to also grant CAP_SYS_ADMIN to containers without giving away the
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700534 * device exception list controls, but for now we'll stick with CAP_SYS_ADMIN
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700535 *
536 * Taking rules away is always allowed (given CAP_SYS_ADMIN). Granting
537 * new access is only allowed if you're in the top-level cgroup, or your
538 * parent cgroup has the access you're asking for.
539 */
Paul Menagef92523e2008-07-25 01:47:03 -0700540static int devcgroup_update_access(struct dev_cgroup *devcgroup,
541 int filetype, const char *buffer)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700542{
Paul Menagef92523e2008-07-25 01:47:03 -0700543 const char *b;
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700544 char temp[12]; /* 11 + 1 characters needed for a u32 */
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500545 int count, rc = 0;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700546 struct dev_exception_item ex;
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700547 struct cgroup *p = devcgroup->css.cgroup;
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800548 struct dev_cgroup *parent = NULL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700549
550 if (!capable(CAP_SYS_ADMIN))
551 return -EPERM;
552
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800553 if (p->parent)
554 parent = cgroup_to_devcgroup(p->parent);
555
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700556 memset(&ex, 0, sizeof(ex));
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700557 b = buffer;
558
559 switch (*b) {
560 case 'a':
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700561 switch (filetype) {
562 case DEVCG_ALLOW:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500563 if (has_children(devcgroup))
564 return -EINVAL;
565
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700566 if (!may_allow_all(parent))
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700567 return -EPERM;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700568 dev_exception_clean(devcgroup);
Aristeu Rozanski64e10472012-11-06 07:25:04 -0800569 devcgroup->behavior = DEVCG_DEFAULT_ALLOW;
570 if (!parent)
571 break;
572
Aristeu Rozanski4cef7292012-10-25 13:37:45 -0700573 rc = dev_exceptions_copy(&devcgroup->exceptions,
574 &parent->exceptions);
575 if (rc)
576 return rc;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700577 break;
578 case DEVCG_DENY:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500579 if (has_children(devcgroup))
580 return -EINVAL;
581
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700582 dev_exception_clean(devcgroup);
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700583 devcgroup->behavior = DEVCG_DEFAULT_DENY;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700584 break;
585 default:
586 return -EINVAL;
587 }
588 return 0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700589 case 'b':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700590 ex.type = DEV_BLOCK;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700591 break;
592 case 'c':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700593 ex.type = DEV_CHAR;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700594 break;
595 default:
Paul Menagef92523e2008-07-25 01:47:03 -0700596 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700597 }
598 b++;
Paul Menagef92523e2008-07-25 01:47:03 -0700599 if (!isspace(*b))
600 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700601 b++;
602 if (*b == '*') {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700603 ex.major = ~0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700604 b++;
605 } else if (isdigit(*b)) {
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700606 memset(temp, 0, sizeof(temp));
607 for (count = 0; count < sizeof(temp) - 1; count++) {
608 temp[count] = *b;
609 b++;
610 if (!isdigit(*b))
611 break;
612 }
613 rc = kstrtou32(temp, 10, &ex.major);
614 if (rc)
615 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700616 } else {
Paul Menagef92523e2008-07-25 01:47:03 -0700617 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700618 }
Paul Menagef92523e2008-07-25 01:47:03 -0700619 if (*b != ':')
620 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700621 b++;
622
623 /* read minor */
624 if (*b == '*') {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700625 ex.minor = ~0;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700626 b++;
627 } else if (isdigit(*b)) {
Aristeu Rozanski26fd8402012-10-25 13:37:41 -0700628 memset(temp, 0, sizeof(temp));
629 for (count = 0; count < sizeof(temp) - 1; count++) {
630 temp[count] = *b;
631 b++;
632 if (!isdigit(*b))
633 break;
634 }
635 rc = kstrtou32(temp, 10, &ex.minor);
636 if (rc)
637 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700638 } else {
Paul Menagef92523e2008-07-25 01:47:03 -0700639 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700640 }
Paul Menagef92523e2008-07-25 01:47:03 -0700641 if (!isspace(*b))
642 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700643 for (b++, count = 0; count < 3; count++, b++) {
644 switch (*b) {
645 case 'r':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700646 ex.access |= ACC_READ;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700647 break;
648 case 'w':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700649 ex.access |= ACC_WRITE;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700650 break;
651 case 'm':
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700652 ex.access |= ACC_MKNOD;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700653 break;
654 case '\n':
655 case '\0':
656 count = 3;
657 break;
658 default:
Paul Menagef92523e2008-07-25 01:47:03 -0700659 return -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700660 }
661 }
662
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700663 switch (filetype) {
664 case DEVCG_ALLOW:
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700665 if (!parent_has_perm(devcgroup, &ex))
Paul Menagef92523e2008-07-25 01:47:03 -0700666 return -EPERM;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700667 /*
668 * If the default policy is to allow by default, try to remove
669 * an matching exception instead. And be silent about it: we
670 * don't want to break compatibility
671 */
Aristeu Rozanski5b7aa7d2012-10-25 13:37:38 -0700672 if (devcgroup->behavior == DEVCG_DEFAULT_ALLOW) {
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700673 dev_exception_rm(devcgroup, &ex);
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700674 return 0;
675 }
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500676 rc = dev_exception_add(devcgroup, &ex);
677 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700678 case DEVCG_DENY:
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700679 /*
680 * If the default policy is to deny by default, try to remove
681 * an matching exception instead. And be silent about it: we
682 * don't want to break compatibility
683 */
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500684 if (devcgroup->behavior == DEVCG_DEFAULT_DENY)
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700685 dev_exception_rm(devcgroup, &ex);
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500686 else
687 rc = dev_exception_add(devcgroup, &ex);
688
689 if (rc)
690 break;
691 /* we only propagate new restrictions */
692 rc = propagate_exception(devcgroup, &ex);
693 break;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700694 default:
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500695 rc = -EINVAL;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700696 }
Aristeu Rozanskibd2953e2013-02-15 11:55:47 -0500697 return rc;
Paul Menagef92523e2008-07-25 01:47:03 -0700698}
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700699
Paul Menagef92523e2008-07-25 01:47:03 -0700700static int devcgroup_access_write(struct cgroup *cgrp, struct cftype *cft,
701 const char *buffer)
702{
703 int retval;
Li Zefanb4046f02009-04-02 16:57:32 -0700704
705 mutex_lock(&devcgroup_mutex);
Paul Menagef92523e2008-07-25 01:47:03 -0700706 retval = devcgroup_update_access(cgroup_to_devcgroup(cgrp),
707 cft->private, buffer);
Li Zefanb4046f02009-04-02 16:57:32 -0700708 mutex_unlock(&devcgroup_mutex);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700709 return retval;
710}
711
712static struct cftype dev_cgroup_files[] = {
713 {
714 .name = "allow",
Paul Menagef92523e2008-07-25 01:47:03 -0700715 .write_string = devcgroup_access_write,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700716 .private = DEVCG_ALLOW,
717 },
718 {
719 .name = "deny",
Paul Menagef92523e2008-07-25 01:47:03 -0700720 .write_string = devcgroup_access_write,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700721 .private = DEVCG_DENY,
722 },
Serge E. Hallyn29486df2008-04-29 01:00:14 -0700723 {
724 .name = "list",
725 .read_seq_string = devcgroup_seq_read,
726 .private = DEVCG_LIST,
727 },
Tejun Heo4baf6e32012-04-01 12:09:55 -0700728 { } /* terminate */
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700729};
730
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700731struct cgroup_subsys devices_subsys = {
732 .name = "devices",
733 .can_attach = devcgroup_can_attach,
Tejun Heo92fb9742012-11-19 08:13:38 -0800734 .css_alloc = devcgroup_css_alloc,
735 .css_free = devcgroup_css_free,
Aristeu Rozanski1909554c2013-02-15 11:55:46 -0500736 .css_online = devcgroup_online,
737 .css_offline = devcgroup_offline,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700738 .subsys_id = devices_subsys_id,
Tejun Heo4baf6e32012-04-01 12:09:55 -0700739 .base_cftypes = dev_cgroup_files,
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700740};
741
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700742/**
743 * __devcgroup_check_permission - checks if an inode operation is permitted
744 * @dev_cgroup: the dev cgroup to be tested against
745 * @type: device type
746 * @major: device major number
747 * @minor: device minor number
748 * @access: combination of ACC_WRITE, ACC_READ and ACC_MKNOD
749 *
750 * returns 0 on success, -EPERM case the operation is not permitted
751 */
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700752static int __devcgroup_check_permission(short type, u32 major, u32 minor,
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700753 short access)
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700754{
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700755 struct dev_cgroup *dev_cgroup;
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700756 struct dev_exception_item ex;
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700757 int rc;
758
Aristeu Rozanskidb9aeca2012-10-04 17:15:20 -0700759 memset(&ex, 0, sizeof(ex));
760 ex.type = type;
761 ex.major = major;
762 ex.minor = minor;
763 ex.access = access;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700764
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700765 rcu_read_lock();
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700766 dev_cgroup = task_devcgroup(current);
Aristeu Rozanskic39a2a32013-02-15 11:55:45 -0500767 rc = may_access(dev_cgroup, &ex, dev_cgroup->behavior);
Pavel Emelyanov4efd1a12008-07-25 01:47:07 -0700768 rcu_read_unlock();
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700769
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700770 if (!rc)
771 return -EPERM;
772
773 return 0;
774}
775
776int __devcgroup_inode_permission(struct inode *inode, int mask)
777{
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700778 short type, access = 0;
779
780 if (S_ISBLK(inode->i_mode))
781 type = DEV_BLOCK;
782 if (S_ISCHR(inode->i_mode))
783 type = DEV_CHAR;
784 if (mask & MAY_WRITE)
785 access |= ACC_WRITE;
786 if (mask & MAY_READ)
787 access |= ACC_READ;
788
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700789 return __devcgroup_check_permission(type, imajor(inode), iminor(inode),
790 access);
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700791}
792
793int devcgroup_inode_mknod(int mode, dev_t dev)
794{
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700795 short type;
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700796
Serge E. Hallyn0b82ac32009-01-07 18:07:46 -0800797 if (!S_ISBLK(mode) && !S_ISCHR(mode))
798 return 0;
799
Aristeu Rozanskiad676072012-10-04 17:15:17 -0700800 if (S_ISBLK(mode))
801 type = DEV_BLOCK;
802 else
803 type = DEV_CHAR;
Li Zefan36fd71d2008-09-02 14:35:52 -0700804
Jiri Slaby8c9506d2012-10-25 13:37:34 -0700805 return __devcgroup_check_permission(type, MAJOR(dev), MINOR(dev),
806 ACC_MKNOD);
Li Zefan36fd71d2008-09-02 14:35:52 -0700807
Serge E. Hallyn08ce5f12008-04-29 01:00:10 -0700808}