pid.c 14.3 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
/*
 * Generic pidhash and scalable, time-bounded PID allocator
 *
 * (C) 2002-2003 William Irwin, IBM
 * (C) 2004 William Irwin, Oracle
 * (C) 2002-2004 Ingo Molnar, Red Hat
 *
 * pid-structures are backing objects for tasks sharing a given ID to chain
 * against. There is very little to them aside from hashing them and
 * parking tasks using given ID's on a list.
 *
 * The hash is always changed with the tasklist_lock write-acquired,
 * and the hash is only accessed with the tasklist_lock at least
 * read-acquired, so there's no additional SMP locking needed here.
 *
 * We have a list of bitmap pages, which bitmaps represent the PID space.
 * Allocating and freeing PIDs is completely lockless. The worst-case
 * allocation scenario when all but one out of 1 million PIDs possible are
 * allocated already: the scanning of 32 list entries and at most PAGE_SIZE
 * bytes. The typical fastpath is a single successful setbit. Freeing is O(1).
21 22 23 24 25 26
 *
 * Pid namespaces:
 *    (C) 2007 Pavel Emelyanov <xemul@openvz.org>, OpenVZ, SWsoft Inc.
 *    (C) 2007 Sukadev Bhattiprolu <sukadev@us.ibm.com>, IBM
 *     Many thanks to Oleg Nesterov for comments and help
 *
L
Linus Torvalds 已提交
27 28 29 30 31 32 33 34
 */

#include <linux/mm.h>
#include <linux/module.h>
#include <linux/slab.h>
#include <linux/init.h>
#include <linux/bootmem.h>
#include <linux/hash.h>
35
#include <linux/pid_namespace.h>
36
#include <linux/init_task.h>
L
Linus Torvalds 已提交
37

38 39
#define pid_hashfn(nr, ns)	\
	hash_long((unsigned long)nr + (unsigned long)ns, pidhash_shift)
40
static struct hlist_head *pid_hash;
L
Linus Torvalds 已提交
41
static int pidhash_shift;
42
struct pid init_struct_pid = INIT_STRUCT_PID;
43
static struct kmem_cache *pid_ns_cachep;
L
Linus Torvalds 已提交
44 45 46 47 48 49 50 51 52 53

int pid_max = PID_MAX_DEFAULT;

#define RESERVED_PIDS		300

int pid_max_min = RESERVED_PIDS + 1;
int pid_max_max = PID_MAX_LIMIT;

#define BITS_PER_PAGE		(PAGE_SIZE*8)
#define BITS_PER_PAGE_MASK	(BITS_PER_PAGE-1)
S
Sukadev Bhattiprolu 已提交
54

55 56
static inline int mk_pid(struct pid_namespace *pid_ns,
		struct pidmap *map, int off)
S
Sukadev Bhattiprolu 已提交
57
{
58
	return (map - pid_ns->pidmap)*BITS_PER_PAGE + off;
S
Sukadev Bhattiprolu 已提交
59 60
}

L
Linus Torvalds 已提交
61 62 63 64 65 66 67 68 69
#define find_next_offset(map, off)					\
		find_next_zero_bit((map)->page, BITS_PER_PAGE, off)

/*
 * PID-map pages start out as NULL, they get allocated upon
 * first use and are never deallocated. This way a low pid_max
 * value does not cause lots of bitmaps to be allocated, but
 * the scheme scales to up to 4 million PIDs, runtime.
 */
70
struct pid_namespace init_pid_ns = {
C
Cedric Le Goater 已提交
71 72 73
	.kref = {
		.refcount       = ATOMIC_INIT(2),
	},
S
Sukadev Bhattiprolu 已提交
74 75 76
	.pidmap = {
		[ 0 ... PIDMAP_ENTRIES-1] = { ATOMIC_INIT(BITS_PER_PAGE), NULL }
	},
77
	.last_pid = 0,
78 79
	.level = 0,
	.child_reaper = &init_task,
S
Sukadev Bhattiprolu 已提交
80
};
81
EXPORT_SYMBOL_GPL(init_pid_ns);
L
Linus Torvalds 已提交
82

83
int is_container_init(struct task_struct *tsk)
84
{
85 86 87 88 89 90 91 92 93 94
	int ret = 0;
	struct pid *pid;

	rcu_read_lock();
	pid = task_pid(tsk);
	if (pid != NULL && pid->numbers[pid->level].nr == 1)
		ret = 1;
	rcu_read_unlock();

	return ret;
95
}
96
EXPORT_SYMBOL(is_container_init);
97

98 99 100 101 102 103 104 105 106 107 108 109 110
/*
 * Note: disable interrupts while the pidmap_lock is held as an
 * interrupt might come in and do read_lock(&tasklist_lock).
 *
 * If we don't disable interrupts there is a nasty deadlock between
 * detach_pid()->free_pid() and another cpu that does
 * spin_lock(&pidmap_lock) followed by an interrupt routine that does
 * read_lock(&tasklist_lock);
 *
 * After we clean up the tasklist_lock and know there are no
 * irq handlers that take it we can leave the interrupts enabled.
 * For now it is easier to be safe than to prove it can't happen.
 */
S
Sukadev Bhattiprolu 已提交
111

L
Linus Torvalds 已提交
112 113
static  __cacheline_aligned_in_smp DEFINE_SPINLOCK(pidmap_lock);

114
static fastcall void free_pidmap(struct pid_namespace *pid_ns, int pid)
L
Linus Torvalds 已提交
115
{
116
	struct pidmap *map = pid_ns->pidmap + pid / BITS_PER_PAGE;
L
Linus Torvalds 已提交
117 118 119 120 121 122
	int offset = pid & BITS_PER_PAGE_MASK;

	clear_bit(offset, map->page);
	atomic_inc(&map->nr_free);
}

123
static int alloc_pidmap(struct pid_namespace *pid_ns)
L
Linus Torvalds 已提交
124
{
125
	int i, offset, max_scan, pid, last = pid_ns->last_pid;
126
	struct pidmap *map;
L
Linus Torvalds 已提交
127 128 129 130 131

	pid = last + 1;
	if (pid >= pid_max)
		pid = RESERVED_PIDS;
	offset = pid & BITS_PER_PAGE_MASK;
132
	map = &pid_ns->pidmap[pid/BITS_PER_PAGE];
L
Linus Torvalds 已提交
133 134 135
	max_scan = (pid_max + BITS_PER_PAGE - 1)/BITS_PER_PAGE - !offset;
	for (i = 0; i <= max_scan; ++i) {
		if (unlikely(!map->page)) {
S
Sukadev Bhattiprolu 已提交
136
			void *page = kzalloc(PAGE_SIZE, GFP_KERNEL);
L
Linus Torvalds 已提交
137 138 139 140
			/*
			 * Free the page if someone raced with us
			 * installing it:
			 */
141
			spin_lock_irq(&pidmap_lock);
L
Linus Torvalds 已提交
142
			if (map->page)
S
Sukadev Bhattiprolu 已提交
143
				kfree(page);
L
Linus Torvalds 已提交
144
			else
S
Sukadev Bhattiprolu 已提交
145
				map->page = page;
146
			spin_unlock_irq(&pidmap_lock);
L
Linus Torvalds 已提交
147 148 149 150 151 152 153
			if (unlikely(!map->page))
				break;
		}
		if (likely(atomic_read(&map->nr_free))) {
			do {
				if (!test_and_set_bit(offset, map->page)) {
					atomic_dec(&map->nr_free);
154
					pid_ns->last_pid = pid;
L
Linus Torvalds 已提交
155 156 157
					return pid;
				}
				offset = find_next_offset(map, offset);
158
				pid = mk_pid(pid_ns, map, offset);
L
Linus Torvalds 已提交
159 160 161 162 163 164 165 166 167 168
			/*
			 * find_next_offset() found a bit, the pid from it
			 * is in-bounds, and if we fell back to the last
			 * bitmap block and the final block was the same
			 * as the starting point, pid is before last_pid.
			 */
			} while (offset < BITS_PER_PAGE && pid < pid_max &&
					(i != max_scan || pid < last ||
					    !((last+1) & BITS_PER_PAGE_MASK)));
		}
169
		if (map < &pid_ns->pidmap[(pid_max-1)/BITS_PER_PAGE]) {
L
Linus Torvalds 已提交
170 171 172
			++map;
			offset = 0;
		} else {
173
			map = &pid_ns->pidmap[0];
L
Linus Torvalds 已提交
174 175 176 177
			offset = RESERVED_PIDS;
			if (unlikely(last == offset))
				break;
		}
178
		pid = mk_pid(pid_ns, map, offset);
L
Linus Torvalds 已提交
179 180 181 182
	}
	return -1;
}

183
static int next_pidmap(struct pid_namespace *pid_ns, int last)
184 185
{
	int offset;
186
	struct pidmap *map, *end;
187 188

	offset = (last + 1) & BITS_PER_PAGE_MASK;
189 190
	map = &pid_ns->pidmap[(last + 1)/BITS_PER_PAGE];
	end = &pid_ns->pidmap[PIDMAP_ENTRIES];
191
	for (; map < end; map++, offset = 0) {
192 193 194 195
		if (unlikely(!map->page))
			continue;
		offset = find_next_bit((map)->page, BITS_PER_PAGE, offset);
		if (offset < BITS_PER_PAGE)
196
			return mk_pid(pid_ns, map, offset);
197 198 199 200
	}
	return -1;
}

201 202
fastcall void put_pid(struct pid *pid)
{
203 204
	struct pid_namespace *ns;

205 206
	if (!pid)
		return;
207

208
	ns = pid->numbers[pid->level].ns;
209
	if ((atomic_read(&pid->count) == 1) ||
210
	     atomic_dec_and_test(&pid->count)) {
211
		kmem_cache_free(ns->pid_cachep, pid);
212
		put_pid_ns(ns);
213
	}
214
}
215
EXPORT_SYMBOL_GPL(put_pid);
216 217 218 219 220 221 222 223 224 225

static void delayed_put_pid(struct rcu_head *rhp)
{
	struct pid *pid = container_of(rhp, struct pid, rcu);
	put_pid(pid);
}

fastcall void free_pid(struct pid *pid)
{
	/* We can be called with write_lock_irq(&tasklist_lock) held */
226
	int i;
227 228 229
	unsigned long flags;

	spin_lock_irqsave(&pidmap_lock, flags);
230 231
	for (i = 0; i <= pid->level; i++)
		hlist_del_rcu(&pid->numbers[i].pid_chain);
232 233
	spin_unlock_irqrestore(&pidmap_lock, flags);

234 235 236
	for (i = 0; i <= pid->level; i++)
		free_pidmap(pid->numbers[i].ns, pid->numbers[i].nr);

237 238 239
	call_rcu(&pid->rcu, delayed_put_pid);
}

240
struct pid *alloc_pid(struct pid_namespace *ns)
241 242 243
{
	struct pid *pid;
	enum pid_type type;
244 245
	int i, nr;
	struct pid_namespace *tmp;
246
	struct upid *upid;
247

248
	pid = kmem_cache_alloc(ns->pid_cachep, GFP_KERNEL);
249 250 251
	if (!pid)
		goto out;

252 253 254 255 256
	tmp = ns;
	for (i = ns->level; i >= 0; i--) {
		nr = alloc_pidmap(tmp);
		if (nr < 0)
			goto out_free;
257

258 259 260 261 262
		pid->numbers[i].nr = nr;
		pid->numbers[i].ns = tmp;
		tmp = tmp->parent;
	}

263
	get_pid_ns(ns);
264 265
	pid->level = ns->level;
	pid->nr = pid->numbers[0].nr;
266 267 268 269 270
	atomic_set(&pid->count, 1);
	for (type = 0; type < PIDTYPE_MAX; ++type)
		INIT_HLIST_HEAD(&pid->tasks[type]);

	spin_lock_irq(&pidmap_lock);
271 272 273 274 275
	for (i = ns->level; i >= 0; i--) {
		upid = &pid->numbers[i];
		hlist_add_head_rcu(&upid->pid_chain,
				&pid_hash[pid_hashfn(upid->nr, upid->ns)]);
	}
276 277 278 279 280 281
	spin_unlock_irq(&pidmap_lock);

out:
	return pid;

out_free:
282 283 284
	for (i++; i <= ns->level; i++)
		free_pidmap(pid->numbers[i].ns, pid->numbers[i].nr);

285
	kmem_cache_free(ns->pid_cachep, pid);
286 287 288 289
	pid = NULL;
	goto out;
}

290
struct pid * fastcall find_pid_ns(int nr, struct pid_namespace *ns)
L
Linus Torvalds 已提交
291 292
{
	struct hlist_node *elem;
293 294 295 296 297 298 299
	struct upid *pnr;

	hlist_for_each_entry_rcu(pnr, elem,
			&pid_hash[pid_hashfn(nr, ns)], pid_chain)
		if (pnr->nr == nr && pnr->ns == ns)
			return container_of(pnr, struct pid,
					numbers[ns->level]);
L
Linus Torvalds 已提交
300 301 302

	return NULL;
}
303
EXPORT_SYMBOL_GPL(find_pid_ns);
L
Linus Torvalds 已提交
304

305 306 307 308 309
/*
 * attach_pid() must be called with the tasklist_lock write-held.
 */
int fastcall attach_pid(struct task_struct *task, enum pid_type type,
		struct pid *pid)
L
Linus Torvalds 已提交
310
{
311 312 313
	struct pid_link *link;

	link = &task->pids[type];
314
	link->pid = pid;
315
	hlist_add_head_rcu(&link->node, &pid->tasks[type]);
L
Linus Torvalds 已提交
316 317 318 319

	return 0;
}

320
void fastcall detach_pid(struct task_struct *task, enum pid_type type)
L
Linus Torvalds 已提交
321
{
322 323 324
	struct pid_link *link;
	struct pid *pid;
	int tmp;
L
Linus Torvalds 已提交
325

326 327
	link = &task->pids[type];
	pid = link->pid;
L
Linus Torvalds 已提交
328

329 330
	hlist_del_rcu(&link->node);
	link->pid = NULL;
L
Linus Torvalds 已提交
331

332 333 334
	for (tmp = PIDTYPE_MAX; --tmp >= 0; )
		if (!hlist_empty(&pid->tasks[tmp]))
			return;
L
Linus Torvalds 已提交
335

336
	free_pid(pid);
L
Linus Torvalds 已提交
337 338
}

339 340 341 342 343 344 345 346 347
/* transfer_pid is an optimization of attach_pid(new), detach_pid(old) */
void fastcall transfer_pid(struct task_struct *old, struct task_struct *new,
			   enum pid_type type)
{
	new->pids[type].pid = old->pids[type].pid;
	hlist_replace_rcu(&old->pids[type].node, &new->pids[type].node);
	old->pids[type].pid = NULL;
}

348
struct task_struct * fastcall pid_task(struct pid *pid, enum pid_type type)
L
Linus Torvalds 已提交
349
{
350 351 352 353 354 355 356 357 358
	struct task_struct *result = NULL;
	if (pid) {
		struct hlist_node *first;
		first = rcu_dereference(pid->tasks[type].first);
		if (first)
			result = hlist_entry(first, struct task_struct, pids[(type)].node);
	}
	return result;
}
L
Linus Torvalds 已提交
359

360 361 362
/*
 * Must be called under rcu_read_lock() or with tasklist_lock read-held.
 */
363 364
struct task_struct *find_task_by_pid_type_ns(int type, int nr,
		struct pid_namespace *ns)
365
{
366
	return pid_task(find_pid_ns(nr, ns), type);
367
}
L
Linus Torvalds 已提交
368

369
EXPORT_SYMBOL(find_task_by_pid_type_ns);
L
Linus Torvalds 已提交
370

371 372 373 374 375 376 377 378 379
struct pid *get_task_pid(struct task_struct *task, enum pid_type type)
{
	struct pid *pid;
	rcu_read_lock();
	pid = get_pid(task->pids[type].pid);
	rcu_read_unlock();
	return pid;
}

380 381 382 383 384 385 386 387 388
struct task_struct *fastcall get_pid_task(struct pid *pid, enum pid_type type)
{
	struct task_struct *result;
	rcu_read_lock();
	result = pid_task(pid, type);
	if (result)
		get_task_struct(result);
	rcu_read_unlock();
	return result;
L
Linus Torvalds 已提交
389 390
}

391
struct pid *find_get_pid(pid_t nr)
L
Linus Torvalds 已提交
392 393 394
{
	struct pid *pid;

395
	rcu_read_lock();
396
	pid = get_pid(find_vpid(nr));
397
	rcu_read_unlock();
L
Linus Torvalds 已提交
398

399
	return pid;
L
Linus Torvalds 已提交
400 401
}

402 403 404 405 406 407 408 409 410 411 412 413 414
pid_t pid_nr_ns(struct pid *pid, struct pid_namespace *ns)
{
	struct upid *upid;
	pid_t nr = 0;

	if (pid && ns->level <= pid->level) {
		upid = &pid->numbers[ns->level];
		if (upid->ns == ns)
			nr = upid->nr;
	}
	return nr;
}

415 416 417 418 419
/*
 * Used by proc to find the first pid that is greater then or equal to nr.
 *
 * If there is a pid at nr this function is exactly the same as find_pid.
 */
420
struct pid *find_ge_pid(int nr, struct pid_namespace *ns)
421 422 423 424
{
	struct pid *pid;

	do {
425
		pid = find_pid_ns(nr, ns);
426 427
		if (pid)
			break;
428
		nr = next_pidmap(ns, nr);
429 430 431 432
	} while (nr > 0);

	return pid;
}
433
EXPORT_SYMBOL_GPL(find_get_pid);
434

435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465
struct pid_cache {
	int nr_ids;
	char name[16];
	struct kmem_cache *cachep;
	struct list_head list;
};

static LIST_HEAD(pid_caches_lh);
static DEFINE_MUTEX(pid_caches_mutex);

/*
 * creates the kmem cache to allocate pids from.
 * @nr_ids: the number of numerical ids this pid will have to carry
 */

static struct kmem_cache *create_pid_cachep(int nr_ids)
{
	struct pid_cache *pcache;
	struct kmem_cache *cachep;

	mutex_lock(&pid_caches_mutex);
	list_for_each_entry (pcache, &pid_caches_lh, list)
		if (pcache->nr_ids == nr_ids)
			goto out;

	pcache = kmalloc(sizeof(struct pid_cache), GFP_KERNEL);
	if (pcache == NULL)
		goto err_alloc;

	snprintf(pcache->name, sizeof(pcache->name), "pid_%d", nr_ids);
	cachep = kmem_cache_create(pcache->name,
466 467
			sizeof(struct pid) + (nr_ids - 1) * sizeof(struct upid),
			0, SLAB_HWCACHE_ALIGN, NULL);
468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484
	if (cachep == NULL)
		goto err_cachep;

	pcache->nr_ids = nr_ids;
	pcache->cachep = cachep;
	list_add(&pcache->list, &pid_caches_lh);
out:
	mutex_unlock(&pid_caches_mutex);
	return pcache->cachep;

err_cachep:
	kfree(pcache);
err_alloc:
	mutex_unlock(&pid_caches_mutex);
	return NULL;
}

485 486 487 488 489
static struct pid_namespace *create_pid_namespace(int level)
{
	struct pid_namespace *ns;
	int i;

490
	ns = kmem_cache_alloc(pid_ns_cachep, GFP_KERNEL);
491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519
	if (ns == NULL)
		goto out;

	ns->pidmap[0].page = kzalloc(PAGE_SIZE, GFP_KERNEL);
	if (!ns->pidmap[0].page)
		goto out_free;

	ns->pid_cachep = create_pid_cachep(level + 1);
	if (ns->pid_cachep == NULL)
		goto out_free_map;

	kref_init(&ns->kref);
	ns->last_pid = 0;
	ns->child_reaper = NULL;
	ns->level = level;

	set_bit(0, ns->pidmap[0].page);
	atomic_set(&ns->pidmap[0].nr_free, BITS_PER_PAGE - 1);

	for (i = 1; i < PIDMAP_ENTRIES; i++) {
		ns->pidmap[i].page = 0;
		atomic_set(&ns->pidmap[i].nr_free, BITS_PER_PAGE);
	}

	return ns;

out_free_map:
	kfree(ns->pidmap[0].page);
out_free:
520
	kmem_cache_free(pid_ns_cachep, ns);
521 522 523 524 525 526 527 528 529 530
out:
	return ERR_PTR(-ENOMEM);
}

static void destroy_pid_namespace(struct pid_namespace *ns)
{
	int i;

	for (i = 0; i < PIDMAP_ENTRIES; i++)
		kfree(ns->pidmap[i].page);
531
	kmem_cache_free(pid_ns_cachep, ns);
532 533
}

534
struct pid_namespace *copy_pid_ns(unsigned long flags, struct pid_namespace *old_ns)
C
Cedric Le Goater 已提交
535
{
536 537
	struct pid_namespace *new_ns;

538
	BUG_ON(!old_ns);
539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554
	new_ns = get_pid_ns(old_ns);
	if (!(flags & CLONE_NEWPID))
		goto out;

	new_ns = ERR_PTR(-EINVAL);
	if (flags & CLONE_THREAD)
		goto out_put;

	new_ns = create_pid_namespace(old_ns->level + 1);
	if (!IS_ERR(new_ns))
		new_ns->parent = get_pid_ns(old_ns);

out_put:
	put_pid_ns(old_ns);
out:
	return new_ns;
C
Cedric Le Goater 已提交
555 556 557 558
}

void free_pid_ns(struct kref *kref)
{
559
	struct pid_namespace *ns, *parent;
C
Cedric Le Goater 已提交
560 561

	ns = container_of(kref, struct pid_namespace, kref);
562 563 564 565 566 567

	parent = ns->parent;
	destroy_pid_namespace(ns);

	if (parent != NULL)
		put_pid_ns(parent);
C
Cedric Le Goater 已提交
568 569
}

L
Linus Torvalds 已提交
570 571 572 573 574 575 576
/*
 * The pid hash table is scaled according to the amount of memory in the
 * machine.  From a minimum of 16 slots up to 4096 slots at one gigabyte or
 * more.
 */
void __init pidhash_init(void)
{
577
	int i, pidhash_size;
L
Linus Torvalds 已提交
578 579 580 581 582 583 584 585
	unsigned long megabytes = nr_kernel_pages >> (20 - PAGE_SHIFT);

	pidhash_shift = max(4, fls(megabytes * 4));
	pidhash_shift = min(12, pidhash_shift);
	pidhash_size = 1 << pidhash_shift;

	printk("PID hash table entries: %d (order: %d, %Zd bytes)\n",
		pidhash_size, pidhash_shift,
586 587 588 589 590 591 592
		pidhash_size * sizeof(struct hlist_head));

	pid_hash = alloc_bootmem(pidhash_size *	sizeof(*(pid_hash)));
	if (!pid_hash)
		panic("Could not alloc pidhash!\n");
	for (i = 0; i < pidhash_size; i++)
		INIT_HLIST_HEAD(&pid_hash[i]);
L
Linus Torvalds 已提交
593 594 595 596
}

void __init pidmap_init(void)
{
597
	init_pid_ns.pidmap[0].page = kzalloc(PAGE_SIZE, GFP_KERNEL);
598
	/* Reserve PID 0. We never call free_pidmap(0) */
599 600
	set_bit(0, init_pid_ns.pidmap[0].page);
	atomic_dec(&init_pid_ns.pidmap[0].nr_free);
601

602 603 604
	init_pid_ns.pid_cachep = create_pid_cachep(1);
	if (init_pid_ns.pid_cachep == NULL)
		panic("Can't create pid_1 cachep\n");
605 606

	pid_ns_cachep = KMEM_CACHE(pid_namespace, SLAB_PANIC);
L
Linus Torvalds 已提交
607
}