]> git.proxmox.com Git - mirror_ubuntu-artful-kernel.git/blame - kernel/pid.c
pid namespaces: allow signalling cgroup-init
[mirror_ubuntu-artful-kernel.git] / kernel / pid.c
CommitLineData
1da177e4
LT
1/*
2 * Generic pidhash and scalable, time-bounded PID allocator
3 *
4 * (C) 2002-2003 William Irwin, IBM
5 * (C) 2004 William Irwin, Oracle
6 * (C) 2002-2004 Ingo Molnar, Red Hat
7 *
8 * pid-structures are backing objects for tasks sharing a given ID to chain
9 * against. There is very little to them aside from hashing them and
10 * parking tasks using given ID's on a list.
11 *
12 * The hash is always changed with the tasklist_lock write-acquired,
13 * and the hash is only accessed with the tasklist_lock at least
14 * read-acquired, so there's no additional SMP locking needed here.
15 *
16 * We have a list of bitmap pages, which bitmaps represent the PID space.
17 * Allocating and freeing PIDs is completely lockless. The worst-case
18 * allocation scenario when all but one out of 1 million PIDs possible are
19 * allocated already: the scanning of 32 list entries and at most PAGE_SIZE
20 * bytes. The typical fastpath is a single successful setbit. Freeing is O(1).
30e49c26
PE
21 *
22 * Pid namespaces:
23 * (C) 2007 Pavel Emelyanov <xemul@openvz.org>, OpenVZ, SWsoft Inc.
24 * (C) 2007 Sukadev Bhattiprolu <sukadev@us.ibm.com>, IBM
25 * Many thanks to Oleg Nesterov for comments and help
26 *
1da177e4
LT
27 */
28
29#include <linux/mm.h>
30#include <linux/module.h>
31#include <linux/slab.h>
32#include <linux/init.h>
33#include <linux/bootmem.h>
34#include <linux/hash.h>
61a58c6c 35#include <linux/pid_namespace.h>
820e45db 36#include <linux/init_task.h>
1da177e4 37
8ef047aa
PE
38#define pid_hashfn(nr, ns) \
39 hash_long((unsigned long)nr + (unsigned long)ns, pidhash_shift)
92476d7f 40static struct hlist_head *pid_hash;
1da177e4 41static int pidhash_shift;
820e45db 42struct pid init_struct_pid = INIT_STRUCT_PID;
c9c5d922 43static struct kmem_cache *pid_ns_cachep;
1da177e4
LT
44
45int pid_max = PID_MAX_DEFAULT;
1da177e4
LT
46
47#define RESERVED_PIDS 300
48
49int pid_max_min = RESERVED_PIDS + 1;
50int pid_max_max = PID_MAX_LIMIT;
51
1da177e4
LT
52#define BITS_PER_PAGE (PAGE_SIZE*8)
53#define BITS_PER_PAGE_MASK (BITS_PER_PAGE-1)
3fbc9648 54
61a58c6c
SB
55static inline int mk_pid(struct pid_namespace *pid_ns,
56 struct pidmap *map, int off)
3fbc9648 57{
61a58c6c 58 return (map - pid_ns->pidmap)*BITS_PER_PAGE + off;
3fbc9648
SB
59}
60
1da177e4
LT
61#define find_next_offset(map, off) \
62 find_next_zero_bit((map)->page, BITS_PER_PAGE, off)
63
64/*
65 * PID-map pages start out as NULL, they get allocated upon
66 * first use and are never deallocated. This way a low pid_max
67 * value does not cause lots of bitmaps to be allocated, but
68 * the scheme scales to up to 4 million PIDs, runtime.
69 */
61a58c6c 70struct pid_namespace init_pid_ns = {
9a575a92
CLG
71 .kref = {
72 .refcount = ATOMIC_INIT(2),
73 },
3fbc9648
SB
74 .pidmap = {
75 [ 0 ... PIDMAP_ENTRIES-1] = { ATOMIC_INIT(BITS_PER_PAGE), NULL }
76 },
84d73786 77 .last_pid = 0,
faacbfd3
PE
78 .level = 0,
79 .child_reaper = &init_task,
3fbc9648 80};
198fe21b 81EXPORT_SYMBOL_GPL(init_pid_ns);
1da177e4 82
b461cc03 83int is_container_init(struct task_struct *tsk)
b460cbc5 84{
b461cc03
PE
85 int ret = 0;
86 struct pid *pid;
87
88 rcu_read_lock();
89 pid = task_pid(tsk);
90 if (pid != NULL && pid->numbers[pid->level].nr == 1)
91 ret = 1;
92 rcu_read_unlock();
93
94 return ret;
b460cbc5 95}
b461cc03 96EXPORT_SYMBOL(is_container_init);
b460cbc5 97
92476d7f
EB
98/*
99 * Note: disable interrupts while the pidmap_lock is held as an
100 * interrupt might come in and do read_lock(&tasklist_lock).
101 *
102 * If we don't disable interrupts there is a nasty deadlock between
103 * detach_pid()->free_pid() and another cpu that does
104 * spin_lock(&pidmap_lock) followed by an interrupt routine that does
105 * read_lock(&tasklist_lock);
106 *
107 * After we clean up the tasklist_lock and know there are no
108 * irq handlers that take it we can leave the interrupts enabled.
109 * For now it is easier to be safe than to prove it can't happen.
110 */
3fbc9648 111
1da177e4
LT
112static __cacheline_aligned_in_smp DEFINE_SPINLOCK(pidmap_lock);
113
61a58c6c 114static fastcall void free_pidmap(struct pid_namespace *pid_ns, int pid)
1da177e4 115{
61a58c6c 116 struct pidmap *map = pid_ns->pidmap + pid / BITS_PER_PAGE;
1da177e4
LT
117 int offset = pid & BITS_PER_PAGE_MASK;
118
119 clear_bit(offset, map->page);
120 atomic_inc(&map->nr_free);
121}
122
61a58c6c 123static int alloc_pidmap(struct pid_namespace *pid_ns)
1da177e4 124{
61a58c6c 125 int i, offset, max_scan, pid, last = pid_ns->last_pid;
6a1f3b84 126 struct pidmap *map;
1da177e4
LT
127
128 pid = last + 1;
129 if (pid >= pid_max)
130 pid = RESERVED_PIDS;
131 offset = pid & BITS_PER_PAGE_MASK;
61a58c6c 132 map = &pid_ns->pidmap[pid/BITS_PER_PAGE];
1da177e4
LT
133 max_scan = (pid_max + BITS_PER_PAGE - 1)/BITS_PER_PAGE - !offset;
134 for (i = 0; i <= max_scan; ++i) {
135 if (unlikely(!map->page)) {
3fbc9648 136 void *page = kzalloc(PAGE_SIZE, GFP_KERNEL);
1da177e4
LT
137 /*
138 * Free the page if someone raced with us
139 * installing it:
140 */
92476d7f 141 spin_lock_irq(&pidmap_lock);
1da177e4 142 if (map->page)
3fbc9648 143 kfree(page);
1da177e4 144 else
3fbc9648 145 map->page = page;
92476d7f 146 spin_unlock_irq(&pidmap_lock);
1da177e4
LT
147 if (unlikely(!map->page))
148 break;
149 }
150 if (likely(atomic_read(&map->nr_free))) {
151 do {
152 if (!test_and_set_bit(offset, map->page)) {
153 atomic_dec(&map->nr_free);
61a58c6c 154 pid_ns->last_pid = pid;
1da177e4
LT
155 return pid;
156 }
157 offset = find_next_offset(map, offset);
61a58c6c 158 pid = mk_pid(pid_ns, map, offset);
1da177e4
LT
159 /*
160 * find_next_offset() found a bit, the pid from it
161 * is in-bounds, and if we fell back to the last
162 * bitmap block and the final block was the same
163 * as the starting point, pid is before last_pid.
164 */
165 } while (offset < BITS_PER_PAGE && pid < pid_max &&
166 (i != max_scan || pid < last ||
167 !((last+1) & BITS_PER_PAGE_MASK)));
168 }
61a58c6c 169 if (map < &pid_ns->pidmap[(pid_max-1)/BITS_PER_PAGE]) {
1da177e4
LT
170 ++map;
171 offset = 0;
172 } else {
61a58c6c 173 map = &pid_ns->pidmap[0];
1da177e4
LT
174 offset = RESERVED_PIDS;
175 if (unlikely(last == offset))
176 break;
177 }
61a58c6c 178 pid = mk_pid(pid_ns, map, offset);
1da177e4
LT
179 }
180 return -1;
181}
182
61a58c6c 183static int next_pidmap(struct pid_namespace *pid_ns, int last)
0804ef4b
EB
184{
185 int offset;
f40f50d3 186 struct pidmap *map, *end;
0804ef4b
EB
187
188 offset = (last + 1) & BITS_PER_PAGE_MASK;
61a58c6c
SB
189 map = &pid_ns->pidmap[(last + 1)/BITS_PER_PAGE];
190 end = &pid_ns->pidmap[PIDMAP_ENTRIES];
f40f50d3 191 for (; map < end; map++, offset = 0) {
0804ef4b
EB
192 if (unlikely(!map->page))
193 continue;
194 offset = find_next_bit((map)->page, BITS_PER_PAGE, offset);
195 if (offset < BITS_PER_PAGE)
61a58c6c 196 return mk_pid(pid_ns, map, offset);
0804ef4b
EB
197 }
198 return -1;
199}
200
92476d7f
EB
201fastcall void put_pid(struct pid *pid)
202{
baf8f0f8
PE
203 struct pid_namespace *ns;
204
92476d7f
EB
205 if (!pid)
206 return;
baf8f0f8 207
8ef047aa 208 ns = pid->numbers[pid->level].ns;
92476d7f 209 if ((atomic_read(&pid->count) == 1) ||
8ef047aa 210 atomic_dec_and_test(&pid->count)) {
baf8f0f8 211 kmem_cache_free(ns->pid_cachep, pid);
b461cc03 212 put_pid_ns(ns);
8ef047aa 213 }
92476d7f 214}
bbf73147 215EXPORT_SYMBOL_GPL(put_pid);
92476d7f
EB
216
217static void delayed_put_pid(struct rcu_head *rhp)
218{
219 struct pid *pid = container_of(rhp, struct pid, rcu);
220 put_pid(pid);
221}
222
223fastcall void free_pid(struct pid *pid)
224{
225 /* We can be called with write_lock_irq(&tasklist_lock) held */
8ef047aa 226 int i;
92476d7f
EB
227 unsigned long flags;
228
229 spin_lock_irqsave(&pidmap_lock, flags);
198fe21b
PE
230 for (i = 0; i <= pid->level; i++)
231 hlist_del_rcu(&pid->numbers[i].pid_chain);
92476d7f
EB
232 spin_unlock_irqrestore(&pidmap_lock, flags);
233
8ef047aa
PE
234 for (i = 0; i <= pid->level; i++)
235 free_pidmap(pid->numbers[i].ns, pid->numbers[i].nr);
236
92476d7f
EB
237 call_rcu(&pid->rcu, delayed_put_pid);
238}
239
8ef047aa 240struct pid *alloc_pid(struct pid_namespace *ns)
92476d7f
EB
241{
242 struct pid *pid;
243 enum pid_type type;
8ef047aa
PE
244 int i, nr;
245 struct pid_namespace *tmp;
198fe21b 246 struct upid *upid;
92476d7f 247
baf8f0f8 248 pid = kmem_cache_alloc(ns->pid_cachep, GFP_KERNEL);
92476d7f
EB
249 if (!pid)
250 goto out;
251
8ef047aa
PE
252 tmp = ns;
253 for (i = ns->level; i >= 0; i--) {
254 nr = alloc_pidmap(tmp);
255 if (nr < 0)
256 goto out_free;
92476d7f 257
8ef047aa
PE
258 pid->numbers[i].nr = nr;
259 pid->numbers[i].ns = tmp;
260 tmp = tmp->parent;
261 }
262
b461cc03 263 get_pid_ns(ns);
8ef047aa
PE
264 pid->level = ns->level;
265 pid->nr = pid->numbers[0].nr;
92476d7f 266 atomic_set(&pid->count, 1);
92476d7f
EB
267 for (type = 0; type < PIDTYPE_MAX; ++type)
268 INIT_HLIST_HEAD(&pid->tasks[type]);
269
270 spin_lock_irq(&pidmap_lock);
198fe21b
PE
271 for (i = ns->level; i >= 0; i--) {
272 upid = &pid->numbers[i];
273 hlist_add_head_rcu(&upid->pid_chain,
274 &pid_hash[pid_hashfn(upid->nr, upid->ns)]);
275 }
92476d7f
EB
276 spin_unlock_irq(&pidmap_lock);
277
278out:
279 return pid;
280
281out_free:
8ef047aa
PE
282 for (i++; i <= ns->level; i++)
283 free_pidmap(pid->numbers[i].ns, pid->numbers[i].nr);
284
baf8f0f8 285 kmem_cache_free(ns->pid_cachep, pid);
92476d7f
EB
286 pid = NULL;
287 goto out;
288}
289
198fe21b 290struct pid * fastcall find_pid_ns(int nr, struct pid_namespace *ns)
1da177e4
LT
291{
292 struct hlist_node *elem;
198fe21b
PE
293 struct upid *pnr;
294
295 hlist_for_each_entry_rcu(pnr, elem,
296 &pid_hash[pid_hashfn(nr, ns)], pid_chain)
297 if (pnr->nr == nr && pnr->ns == ns)
298 return container_of(pnr, struct pid,
299 numbers[ns->level]);
1da177e4 300
1da177e4
LT
301 return NULL;
302}
198fe21b 303EXPORT_SYMBOL_GPL(find_pid_ns);
1da177e4 304
e713d0da
SB
305/*
306 * attach_pid() must be called with the tasklist_lock write-held.
307 */
308int fastcall attach_pid(struct task_struct *task, enum pid_type type,
309 struct pid *pid)
1da177e4 310{
92476d7f 311 struct pid_link *link;
92476d7f 312
92476d7f 313 link = &task->pids[type];
e713d0da 314 link->pid = pid;
92476d7f 315 hlist_add_head_rcu(&link->node, &pid->tasks[type]);
1da177e4
LT
316
317 return 0;
318}
319
36c8b586 320void fastcall detach_pid(struct task_struct *task, enum pid_type type)
1da177e4 321{
92476d7f
EB
322 struct pid_link *link;
323 struct pid *pid;
324 int tmp;
1da177e4 325
92476d7f
EB
326 link = &task->pids[type];
327 pid = link->pid;
1da177e4 328
92476d7f
EB
329 hlist_del_rcu(&link->node);
330 link->pid = NULL;
1da177e4 331
92476d7f
EB
332 for (tmp = PIDTYPE_MAX; --tmp >= 0; )
333 if (!hlist_empty(&pid->tasks[tmp]))
334 return;
1da177e4 335
92476d7f 336 free_pid(pid);
1da177e4
LT
337}
338
c18258c6
EB
339/* transfer_pid is an optimization of attach_pid(new), detach_pid(old) */
340void fastcall transfer_pid(struct task_struct *old, struct task_struct *new,
341 enum pid_type type)
342{
343 new->pids[type].pid = old->pids[type].pid;
344 hlist_replace_rcu(&old->pids[type].node, &new->pids[type].node);
345 old->pids[type].pid = NULL;
346}
347
92476d7f 348struct task_struct * fastcall pid_task(struct pid *pid, enum pid_type type)
1da177e4 349{
92476d7f
EB
350 struct task_struct *result = NULL;
351 if (pid) {
352 struct hlist_node *first;
353 first = rcu_dereference(pid->tasks[type].first);
354 if (first)
355 result = hlist_entry(first, struct task_struct, pids[(type)].node);
356 }
357 return result;
358}
1da177e4 359
92476d7f
EB
360/*
361 * Must be called under rcu_read_lock() or with tasklist_lock read-held.
362 */
198fe21b
PE
363struct task_struct *find_task_by_pid_type_ns(int type, int nr,
364 struct pid_namespace *ns)
92476d7f 365{
198fe21b 366 return pid_task(find_pid_ns(nr, ns), type);
92476d7f 367}
1da177e4 368
198fe21b 369EXPORT_SYMBOL(find_task_by_pid_type_ns);
1da177e4 370
1a657f78
ON
371struct pid *get_task_pid(struct task_struct *task, enum pid_type type)
372{
373 struct pid *pid;
374 rcu_read_lock();
375 pid = get_pid(task->pids[type].pid);
376 rcu_read_unlock();
377 return pid;
378}
379
92476d7f
EB
380struct task_struct *fastcall get_pid_task(struct pid *pid, enum pid_type type)
381{
382 struct task_struct *result;
383 rcu_read_lock();
384 result = pid_task(pid, type);
385 if (result)
386 get_task_struct(result);
387 rcu_read_unlock();
388 return result;
1da177e4
LT
389}
390
92476d7f 391struct pid *find_get_pid(pid_t nr)
1da177e4
LT
392{
393 struct pid *pid;
394
92476d7f 395 rcu_read_lock();
198fe21b 396 pid = get_pid(find_vpid(nr));
92476d7f 397 rcu_read_unlock();
1da177e4 398
92476d7f 399 return pid;
1da177e4
LT
400}
401
7af57294
PE
402pid_t pid_nr_ns(struct pid *pid, struct pid_namespace *ns)
403{
404 struct upid *upid;
405 pid_t nr = 0;
406
407 if (pid && ns->level <= pid->level) {
408 upid = &pid->numbers[ns->level];
409 if (upid->ns == ns)
410 nr = upid->nr;
411 }
412 return nr;
413}
414
0804ef4b
EB
415/*
416 * Used by proc to find the first pid that is greater then or equal to nr.
417 *
418 * If there is a pid at nr this function is exactly the same as find_pid.
419 */
198fe21b 420struct pid *find_ge_pid(int nr, struct pid_namespace *ns)
0804ef4b
EB
421{
422 struct pid *pid;
423
424 do {
198fe21b 425 pid = find_pid_ns(nr, ns);
0804ef4b
EB
426 if (pid)
427 break;
198fe21b 428 nr = next_pidmap(ns, nr);
0804ef4b
EB
429 } while (nr > 0);
430
431 return pid;
432}
bbf73147 433EXPORT_SYMBOL_GPL(find_get_pid);
0804ef4b 434
baf8f0f8
PE
435struct pid_cache {
436 int nr_ids;
437 char name[16];
438 struct kmem_cache *cachep;
439 struct list_head list;
440};
441
442static LIST_HEAD(pid_caches_lh);
443static DEFINE_MUTEX(pid_caches_mutex);
444
445/*
446 * creates the kmem cache to allocate pids from.
447 * @nr_ids: the number of numerical ids this pid will have to carry
448 */
449
450static struct kmem_cache *create_pid_cachep(int nr_ids)
451{
452 struct pid_cache *pcache;
453 struct kmem_cache *cachep;
454
455 mutex_lock(&pid_caches_mutex);
456 list_for_each_entry (pcache, &pid_caches_lh, list)
457 if (pcache->nr_ids == nr_ids)
458 goto out;
459
460 pcache = kmalloc(sizeof(struct pid_cache), GFP_KERNEL);
461 if (pcache == NULL)
462 goto err_alloc;
463
464 snprintf(pcache->name, sizeof(pcache->name), "pid_%d", nr_ids);
465 cachep = kmem_cache_create(pcache->name,
30e49c26
PE
466 sizeof(struct pid) + (nr_ids - 1) * sizeof(struct upid),
467 0, SLAB_HWCACHE_ALIGN, NULL);
baf8f0f8
PE
468 if (cachep == NULL)
469 goto err_cachep;
470
471 pcache->nr_ids = nr_ids;
472 pcache->cachep = cachep;
473 list_add(&pcache->list, &pid_caches_lh);
474out:
475 mutex_unlock(&pid_caches_mutex);
476 return pcache->cachep;
477
478err_cachep:
479 kfree(pcache);
480err_alloc:
481 mutex_unlock(&pid_caches_mutex);
482 return NULL;
483}
484
30e49c26
PE
485static struct pid_namespace *create_pid_namespace(int level)
486{
487 struct pid_namespace *ns;
488 int i;
489
c9c5d922 490 ns = kmem_cache_alloc(pid_ns_cachep, GFP_KERNEL);
30e49c26
PE
491 if (ns == NULL)
492 goto out;
493
494 ns->pidmap[0].page = kzalloc(PAGE_SIZE, GFP_KERNEL);
495 if (!ns->pidmap[0].page)
496 goto out_free;
497
498 ns->pid_cachep = create_pid_cachep(level + 1);
499 if (ns->pid_cachep == NULL)
500 goto out_free_map;
501
502 kref_init(&ns->kref);
503 ns->last_pid = 0;
504 ns->child_reaper = NULL;
505 ns->level = level;
506
507 set_bit(0, ns->pidmap[0].page);
508 atomic_set(&ns->pidmap[0].nr_free, BITS_PER_PAGE - 1);
509
510 for (i = 1; i < PIDMAP_ENTRIES; i++) {
511 ns->pidmap[i].page = 0;
512 atomic_set(&ns->pidmap[i].nr_free, BITS_PER_PAGE);
513 }
514
515 return ns;
516
517out_free_map:
518 kfree(ns->pidmap[0].page);
519out_free:
c9c5d922 520 kmem_cache_free(pid_ns_cachep, ns);
30e49c26
PE
521out:
522 return ERR_PTR(-ENOMEM);
523}
524
525static void destroy_pid_namespace(struct pid_namespace *ns)
526{
527 int i;
528
529 for (i = 0; i < PIDMAP_ENTRIES; i++)
530 kfree(ns->pidmap[i].page);
c9c5d922 531 kmem_cache_free(pid_ns_cachep, ns);
30e49c26
PE
532}
533
213dd266 534struct pid_namespace *copy_pid_ns(unsigned long flags, struct pid_namespace *old_ns)
9a575a92 535{
30e49c26
PE
536 struct pid_namespace *new_ns;
537
e3222c4e 538 BUG_ON(!old_ns);
30e49c26
PE
539 new_ns = get_pid_ns(old_ns);
540 if (!(flags & CLONE_NEWPID))
541 goto out;
542
543 new_ns = ERR_PTR(-EINVAL);
544 if (flags & CLONE_THREAD)
545 goto out_put;
546
547 new_ns = create_pid_namespace(old_ns->level + 1);
548 if (!IS_ERR(new_ns))
549 new_ns->parent = get_pid_ns(old_ns);
550
551out_put:
552 put_pid_ns(old_ns);
553out:
554 return new_ns;
9a575a92
CLG
555}
556
557void free_pid_ns(struct kref *kref)
558{
30e49c26 559 struct pid_namespace *ns, *parent;
9a575a92
CLG
560
561 ns = container_of(kref, struct pid_namespace, kref);
30e49c26
PE
562
563 parent = ns->parent;
564 destroy_pid_namespace(ns);
565
566 if (parent != NULL)
567 put_pid_ns(parent);
9a575a92
CLG
568}
569
1da177e4
LT
570/*
571 * The pid hash table is scaled according to the amount of memory in the
572 * machine. From a minimum of 16 slots up to 4096 slots at one gigabyte or
573 * more.
574 */
575void __init pidhash_init(void)
576{
92476d7f 577 int i, pidhash_size;
1da177e4
LT
578 unsigned long megabytes = nr_kernel_pages >> (20 - PAGE_SHIFT);
579
580 pidhash_shift = max(4, fls(megabytes * 4));
581 pidhash_shift = min(12, pidhash_shift);
582 pidhash_size = 1 << pidhash_shift;
583
584 printk("PID hash table entries: %d (order: %d, %Zd bytes)\n",
585 pidhash_size, pidhash_shift,
92476d7f
EB
586 pidhash_size * sizeof(struct hlist_head));
587
588 pid_hash = alloc_bootmem(pidhash_size * sizeof(*(pid_hash)));
589 if (!pid_hash)
590 panic("Could not alloc pidhash!\n");
591 for (i = 0; i < pidhash_size; i++)
592 INIT_HLIST_HEAD(&pid_hash[i]);
1da177e4
LT
593}
594
595void __init pidmap_init(void)
596{
61a58c6c 597 init_pid_ns.pidmap[0].page = kzalloc(PAGE_SIZE, GFP_KERNEL);
73b9ebfe 598 /* Reserve PID 0. We never call free_pidmap(0) */
61a58c6c
SB
599 set_bit(0, init_pid_ns.pidmap[0].page);
600 atomic_dec(&init_pid_ns.pidmap[0].nr_free);
92476d7f 601
baf8f0f8
PE
602 init_pid_ns.pid_cachep = create_pid_cachep(1);
603 if (init_pid_ns.pid_cachep == NULL)
604 panic("Can't create pid_1 cachep\n");
c9c5d922
SB
605
606 pid_ns_cachep = KMEM_CACHE(pid_namespace, SLAB_PANIC);
1da177e4 607}