blob: eb66bd2953ab95f614781b12da75b4613ec0f757 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
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).
21 */
22
23#include <linux/mm.h>
24#include <linux/module.h>
25#include <linux/slab.h>
26#include <linux/init.h>
27#include <linux/bootmem.h>
28#include <linux/hash.h>
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -080029#include <linux/pid_namespace.h>
Sukadev Bhattiprolu820e45d2007-05-10 22:23:00 -070030#include <linux/init_task.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070031
32#define pid_hashfn(nr) hash_long((unsigned long)nr, pidhash_shift)
Eric W. Biederman92476d72006-03-31 02:31:42 -080033static struct hlist_head *pid_hash;
Linus Torvalds1da177e2005-04-16 15:20:36 -070034static int pidhash_shift;
Christoph Lametere18b8902006-12-06 20:33:20 -080035static struct kmem_cache *pid_cachep;
Sukadev Bhattiprolu820e45d2007-05-10 22:23:00 -070036struct pid init_struct_pid = INIT_STRUCT_PID;
Linus Torvalds1da177e2005-04-16 15:20:36 -070037
38int pid_max = PID_MAX_DEFAULT;
Linus Torvalds1da177e2005-04-16 15:20:36 -070039
40#define RESERVED_PIDS 300
41
42int pid_max_min = RESERVED_PIDS + 1;
43int pid_max_max = PID_MAX_LIMIT;
44
Linus Torvalds1da177e2005-04-16 15:20:36 -070045#define BITS_PER_PAGE (PAGE_SIZE*8)
46#define BITS_PER_PAGE_MASK (BITS_PER_PAGE-1)
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -070047
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -080048static inline int mk_pid(struct pid_namespace *pid_ns,
49 struct pidmap *map, int off)
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -070050{
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -080051 return (map - pid_ns->pidmap)*BITS_PER_PAGE + off;
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -070052}
53
Linus Torvalds1da177e2005-04-16 15:20:36 -070054#define find_next_offset(map, off) \
55 find_next_zero_bit((map)->page, BITS_PER_PAGE, off)
56
57/*
58 * PID-map pages start out as NULL, they get allocated upon
59 * first use and are never deallocated. This way a low pid_max
60 * value does not cause lots of bitmaps to be allocated, but
61 * the scheme scales to up to 4 million PIDs, runtime.
62 */
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -080063struct pid_namespace init_pid_ns = {
Cedric Le Goater9a575a92006-12-08 02:37:59 -080064 .kref = {
65 .refcount = ATOMIC_INIT(2),
66 },
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -070067 .pidmap = {
68 [ 0 ... PIDMAP_ENTRIES-1] = { ATOMIC_INIT(BITS_PER_PAGE), NULL }
69 },
Sukadev Bhattiprolu84d73782006-12-08 02:38:01 -080070 .last_pid = 0,
71 .child_reaper = &init_task
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -070072};
Linus Torvalds1da177e2005-04-16 15:20:36 -070073
Eric W. Biederman92476d72006-03-31 02:31:42 -080074/*
75 * Note: disable interrupts while the pidmap_lock is held as an
76 * interrupt might come in and do read_lock(&tasklist_lock).
77 *
78 * If we don't disable interrupts there is a nasty deadlock between
79 * detach_pid()->free_pid() and another cpu that does
80 * spin_lock(&pidmap_lock) followed by an interrupt routine that does
81 * read_lock(&tasklist_lock);
82 *
83 * After we clean up the tasklist_lock and know there are no
84 * irq handlers that take it we can leave the interrupts enabled.
85 * For now it is easier to be safe than to prove it can't happen.
86 */
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -070087
Linus Torvalds1da177e2005-04-16 15:20:36 -070088static __cacheline_aligned_in_smp DEFINE_SPINLOCK(pidmap_lock);
89
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -080090static fastcall void free_pidmap(struct pid_namespace *pid_ns, int pid)
Linus Torvalds1da177e2005-04-16 15:20:36 -070091{
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -080092 struct pidmap *map = pid_ns->pidmap + pid / BITS_PER_PAGE;
Linus Torvalds1da177e2005-04-16 15:20:36 -070093 int offset = pid & BITS_PER_PAGE_MASK;
94
95 clear_bit(offset, map->page);
96 atomic_inc(&map->nr_free);
97}
98
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -080099static int alloc_pidmap(struct pid_namespace *pid_ns)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100{
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800101 int i, offset, max_scan, pid, last = pid_ns->last_pid;
Sukadev Bhattiprolu6a1f3b82006-10-02 02:17:20 -0700102 struct pidmap *map;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700103
104 pid = last + 1;
105 if (pid >= pid_max)
106 pid = RESERVED_PIDS;
107 offset = pid & BITS_PER_PAGE_MASK;
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800108 map = &pid_ns->pidmap[pid/BITS_PER_PAGE];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109 max_scan = (pid_max + BITS_PER_PAGE - 1)/BITS_PER_PAGE - !offset;
110 for (i = 0; i <= max_scan; ++i) {
111 if (unlikely(!map->page)) {
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -0700112 void *page = kzalloc(PAGE_SIZE, GFP_KERNEL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700113 /*
114 * Free the page if someone raced with us
115 * installing it:
116 */
Eric W. Biederman92476d72006-03-31 02:31:42 -0800117 spin_lock_irq(&pidmap_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700118 if (map->page)
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -0700119 kfree(page);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120 else
Sukadev Bhattiprolu3fbc9642006-10-02 02:17:24 -0700121 map->page = page;
Eric W. Biederman92476d72006-03-31 02:31:42 -0800122 spin_unlock_irq(&pidmap_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700123 if (unlikely(!map->page))
124 break;
125 }
126 if (likely(atomic_read(&map->nr_free))) {
127 do {
128 if (!test_and_set_bit(offset, map->page)) {
129 atomic_dec(&map->nr_free);
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800130 pid_ns->last_pid = pid;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700131 return pid;
132 }
133 offset = find_next_offset(map, offset);
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800134 pid = mk_pid(pid_ns, map, offset);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135 /*
136 * find_next_offset() found a bit, the pid from it
137 * is in-bounds, and if we fell back to the last
138 * bitmap block and the final block was the same
139 * as the starting point, pid is before last_pid.
140 */
141 } while (offset < BITS_PER_PAGE && pid < pid_max &&
142 (i != max_scan || pid < last ||
143 !((last+1) & BITS_PER_PAGE_MASK)));
144 }
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800145 if (map < &pid_ns->pidmap[(pid_max-1)/BITS_PER_PAGE]) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700146 ++map;
147 offset = 0;
148 } else {
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800149 map = &pid_ns->pidmap[0];
Linus Torvalds1da177e2005-04-16 15:20:36 -0700150 offset = RESERVED_PIDS;
151 if (unlikely(last == offset))
152 break;
153 }
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800154 pid = mk_pid(pid_ns, map, offset);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700155 }
156 return -1;
157}
158
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800159static int next_pidmap(struct pid_namespace *pid_ns, int last)
Eric W. Biederman0804ef42006-10-02 02:17:04 -0700160{
161 int offset;
Eric W. Biedermanf40f50d2006-10-02 02:17:25 -0700162 struct pidmap *map, *end;
Eric W. Biederman0804ef42006-10-02 02:17:04 -0700163
164 offset = (last + 1) & BITS_PER_PAGE_MASK;
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800165 map = &pid_ns->pidmap[(last + 1)/BITS_PER_PAGE];
166 end = &pid_ns->pidmap[PIDMAP_ENTRIES];
Eric W. Biedermanf40f50d2006-10-02 02:17:25 -0700167 for (; map < end; map++, offset = 0) {
Eric W. Biederman0804ef42006-10-02 02:17:04 -0700168 if (unlikely(!map->page))
169 continue;
170 offset = find_next_bit((map)->page, BITS_PER_PAGE, offset);
171 if (offset < BITS_PER_PAGE)
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800172 return mk_pid(pid_ns, map, offset);
Eric W. Biederman0804ef42006-10-02 02:17:04 -0700173 }
174 return -1;
175}
176
Eric W. Biederman92476d72006-03-31 02:31:42 -0800177fastcall void put_pid(struct pid *pid)
178{
179 if (!pid)
180 return;
181 if ((atomic_read(&pid->count) == 1) ||
182 atomic_dec_and_test(&pid->count))
183 kmem_cache_free(pid_cachep, pid);
184}
Eric W. Biedermanbbf73142006-10-02 02:17:11 -0700185EXPORT_SYMBOL_GPL(put_pid);
Eric W. Biederman92476d72006-03-31 02:31:42 -0800186
187static void delayed_put_pid(struct rcu_head *rhp)
188{
189 struct pid *pid = container_of(rhp, struct pid, rcu);
190 put_pid(pid);
191}
192
193fastcall void free_pid(struct pid *pid)
194{
195 /* We can be called with write_lock_irq(&tasklist_lock) held */
196 unsigned long flags;
197
198 spin_lock_irqsave(&pidmap_lock, flags);
199 hlist_del_rcu(&pid->pid_chain);
200 spin_unlock_irqrestore(&pidmap_lock, flags);
201
Serge E. Hallyn0f245282007-01-30 15:28:23 -0600202 free_pidmap(&init_pid_ns, pid->nr);
Eric W. Biederman92476d72006-03-31 02:31:42 -0800203 call_rcu(&pid->rcu, delayed_put_pid);
204}
205
206struct pid *alloc_pid(void)
207{
208 struct pid *pid;
209 enum pid_type type;
210 int nr = -1;
211
212 pid = kmem_cache_alloc(pid_cachep, GFP_KERNEL);
213 if (!pid)
214 goto out;
215
Cedric Le Goater6cc1b222006-12-08 02:38:00 -0800216 nr = alloc_pidmap(current->nsproxy->pid_ns);
Eric W. Biederman92476d72006-03-31 02:31:42 -0800217 if (nr < 0)
218 goto out_free;
219
220 atomic_set(&pid->count, 1);
221 pid->nr = nr;
222 for (type = 0; type < PIDTYPE_MAX; ++type)
223 INIT_HLIST_HEAD(&pid->tasks[type]);
224
225 spin_lock_irq(&pidmap_lock);
226 hlist_add_head_rcu(&pid->pid_chain, &pid_hash[pid_hashfn(pid->nr)]);
227 spin_unlock_irq(&pidmap_lock);
228
229out:
230 return pid;
231
232out_free:
233 kmem_cache_free(pid_cachep, pid);
234 pid = NULL;
235 goto out;
236}
237
238struct pid * fastcall find_pid(int nr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700239{
240 struct hlist_node *elem;
241 struct pid *pid;
242
Ingo Molnare56d0902006-01-08 01:01:37 -0800243 hlist_for_each_entry_rcu(pid, elem,
Eric W. Biederman92476d72006-03-31 02:31:42 -0800244 &pid_hash[pid_hashfn(nr)], pid_chain) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700245 if (pid->nr == nr)
246 return pid;
247 }
248 return NULL;
249}
Eric W. Biedermanbbf73142006-10-02 02:17:11 -0700250EXPORT_SYMBOL_GPL(find_pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251
Sukadev Bhattiprolue713d0d2007-05-10 22:22:58 -0700252/*
253 * attach_pid() must be called with the tasklist_lock write-held.
254 */
255int fastcall attach_pid(struct task_struct *task, enum pid_type type,
256 struct pid *pid)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700257{
Eric W. Biederman92476d72006-03-31 02:31:42 -0800258 struct pid_link *link;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700259
Eric W. Biederman92476d72006-03-31 02:31:42 -0800260 link = &task->pids[type];
Sukadev Bhattiprolue713d0d2007-05-10 22:22:58 -0700261 link->pid = pid;
Eric W. Biederman92476d72006-03-31 02:31:42 -0800262 hlist_add_head_rcu(&link->node, &pid->tasks[type]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700263
264 return 0;
265}
266
Ingo Molnar36c8b582006-07-03 00:25:41 -0700267void fastcall detach_pid(struct task_struct *task, enum pid_type type)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700268{
Eric W. Biederman92476d72006-03-31 02:31:42 -0800269 struct pid_link *link;
270 struct pid *pid;
271 int tmp;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700272
Eric W. Biederman92476d72006-03-31 02:31:42 -0800273 link = &task->pids[type];
274 pid = link->pid;
275
276 hlist_del_rcu(&link->node);
277 link->pid = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700278
279 for (tmp = PIDTYPE_MAX; --tmp >= 0; )
Eric W. Biederman92476d72006-03-31 02:31:42 -0800280 if (!hlist_empty(&pid->tasks[tmp]))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700281 return;
282
Eric W. Biederman92476d72006-03-31 02:31:42 -0800283 free_pid(pid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700284}
285
Eric W. Biedermanc18258c2006-09-27 01:51:06 -0700286/* transfer_pid is an optimization of attach_pid(new), detach_pid(old) */
287void fastcall transfer_pid(struct task_struct *old, struct task_struct *new,
288 enum pid_type type)
289{
290 new->pids[type].pid = old->pids[type].pid;
291 hlist_replace_rcu(&old->pids[type].node, &new->pids[type].node);
292 old->pids[type].pid = NULL;
293}
294
Eric W. Biederman92476d72006-03-31 02:31:42 -0800295struct task_struct * fastcall pid_task(struct pid *pid, enum pid_type type)
296{
297 struct task_struct *result = NULL;
298 if (pid) {
299 struct hlist_node *first;
300 first = rcu_dereference(pid->tasks[type].first);
301 if (first)
302 result = hlist_entry(first, struct task_struct, pids[(type)].node);
303 }
304 return result;
305}
306
307/*
308 * Must be called under rcu_read_lock() or with tasklist_lock read-held.
309 */
Ingo Molnar36c8b582006-07-03 00:25:41 -0700310struct task_struct *find_task_by_pid_type(int type, int nr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700311{
Eric W. Biederman92476d72006-03-31 02:31:42 -0800312 return pid_task(find_pid(nr), type);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700313}
314
315EXPORT_SYMBOL(find_task_by_pid_type);
316
Oleg Nesterov1a657f782006-10-02 02:18:59 -0700317struct pid *get_task_pid(struct task_struct *task, enum pid_type type)
318{
319 struct pid *pid;
320 rcu_read_lock();
321 pid = get_pid(task->pids[type].pid);
322 rcu_read_unlock();
323 return pid;
324}
325
Eric W. Biederman92476d72006-03-31 02:31:42 -0800326struct task_struct *fastcall get_pid_task(struct pid *pid, enum pid_type type)
327{
328 struct task_struct *result;
329 rcu_read_lock();
330 result = pid_task(pid, type);
331 if (result)
332 get_task_struct(result);
333 rcu_read_unlock();
334 return result;
335}
336
337struct pid *find_get_pid(pid_t nr)
338{
339 struct pid *pid;
340
341 rcu_read_lock();
342 pid = get_pid(find_pid(nr));
343 rcu_read_unlock();
344
345 return pid;
346}
347
Linus Torvalds1da177e2005-04-16 15:20:36 -0700348/*
Eric W. Biederman0804ef42006-10-02 02:17:04 -0700349 * Used by proc to find the first pid that is greater then or equal to nr.
350 *
351 * If there is a pid at nr this function is exactly the same as find_pid.
352 */
353struct pid *find_ge_pid(int nr)
354{
355 struct pid *pid;
356
357 do {
358 pid = find_pid(nr);
359 if (pid)
360 break;
Cedric Le Goater6cc1b222006-12-08 02:38:00 -0800361 nr = next_pidmap(current->nsproxy->pid_ns, nr);
Eric W. Biederman0804ef42006-10-02 02:17:04 -0700362 } while (nr > 0);
363
364 return pid;
365}
Eric W. Biedermanbbf73142006-10-02 02:17:11 -0700366EXPORT_SYMBOL_GPL(find_get_pid);
Eric W. Biederman0804ef42006-10-02 02:17:04 -0700367
Badari Pulavartye3222c42007-05-08 00:25:21 -0700368struct pid_namespace *copy_pid_ns(int flags, struct pid_namespace *old_ns)
Cedric Le Goater9a575a92006-12-08 02:37:59 -0800369{
Badari Pulavartye3222c42007-05-08 00:25:21 -0700370 BUG_ON(!old_ns);
Cedric Le Goater9a575a92006-12-08 02:37:59 -0800371 get_pid_ns(old_ns);
Badari Pulavartye3222c42007-05-08 00:25:21 -0700372 return old_ns;
Cedric Le Goater9a575a92006-12-08 02:37:59 -0800373}
374
375void free_pid_ns(struct kref *kref)
376{
377 struct pid_namespace *ns;
378
379 ns = container_of(kref, struct pid_namespace, kref);
380 kfree(ns);
381}
382
Eric W. Biederman0804ef42006-10-02 02:17:04 -0700383/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700384 * The pid hash table is scaled according to the amount of memory in the
385 * machine. From a minimum of 16 slots up to 4096 slots at one gigabyte or
386 * more.
387 */
388void __init pidhash_init(void)
389{
Eric W. Biederman92476d72006-03-31 02:31:42 -0800390 int i, pidhash_size;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700391 unsigned long megabytes = nr_kernel_pages >> (20 - PAGE_SHIFT);
392
393 pidhash_shift = max(4, fls(megabytes * 4));
394 pidhash_shift = min(12, pidhash_shift);
395 pidhash_size = 1 << pidhash_shift;
396
397 printk("PID hash table entries: %d (order: %d, %Zd bytes)\n",
398 pidhash_size, pidhash_shift,
Eric W. Biederman92476d72006-03-31 02:31:42 -0800399 pidhash_size * sizeof(struct hlist_head));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700400
Eric W. Biederman92476d72006-03-31 02:31:42 -0800401 pid_hash = alloc_bootmem(pidhash_size * sizeof(*(pid_hash)));
402 if (!pid_hash)
403 panic("Could not alloc pidhash!\n");
404 for (i = 0; i < pidhash_size; i++)
405 INIT_HLIST_HEAD(&pid_hash[i]);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700406}
407
408void __init pidmap_init(void)
409{
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800410 init_pid_ns.pidmap[0].page = kzalloc(PAGE_SIZE, GFP_KERNEL);
Oleg Nesterov73b9ebf2006-03-28 16:11:07 -0800411 /* Reserve PID 0. We never call free_pidmap(0) */
Sukadev Bhattiprolu61a58c62006-12-08 02:37:58 -0800412 set_bit(0, init_pid_ns.pidmap[0].page);
413 atomic_dec(&init_pid_ns.pidmap[0].nr_free);
Eric W. Biederman92476d72006-03-31 02:31:42 -0800414
Christoph Lameter0a31bd52007-05-06 14:49:57 -0700415 pid_cachep = KMEM_CACHE(pid, SLAB_PANIC);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700416}