pid.c 14.2 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;
L
Linus Torvalds 已提交
43 44 45 46 47 48 49 50 51 52

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 已提交
53

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

L
Linus Torvalds 已提交
60 61 62 63 64 65 66 67 68
#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.
 */
69
struct pid_namespace init_pid_ns = {
C
Cedric Le Goater 已提交
70 71 72
	.kref = {
		.refcount       = ATOMIC_INIT(2),
	},
S
Sukadev Bhattiprolu 已提交
73 74 75
	.pidmap = {
		[ 0 ... PIDMAP_ENTRIES-1] = { ATOMIC_INIT(BITS_PER_PAGE), NULL }
	},
76
	.last_pid = 0,
77 78
	.level = 0,
	.child_reaper = &init_task,
S
Sukadev Bhattiprolu 已提交
79
};
80
EXPORT_SYMBOL_GPL(init_pid_ns);
L
Linus Torvalds 已提交
81

82
int is_container_init(struct task_struct *tsk)
83
{
84 85 86 87 88 89 90 91 92 93
	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;
94
}
95
EXPORT_SYMBOL(is_container_init);
96

97 98 99 100 101 102 103 104 105 106 107 108 109
/*
 * 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 已提交
110

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

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

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

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

	pid = last + 1;
	if (pid >= pid_max)
		pid = RESERVED_PIDS;
	offset = pid & BITS_PER_PAGE_MASK;
131
	map = &pid_ns->pidmap[pid/BITS_PER_PAGE];
L
Linus Torvalds 已提交
132 133 134
	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 已提交
135
			void *page = kzalloc(PAGE_SIZE, GFP_KERNEL);
L
Linus Torvalds 已提交
136 137 138 139
			/*
			 * Free the page if someone raced with us
			 * installing it:
			 */
140
			spin_lock_irq(&pidmap_lock);
L
Linus Torvalds 已提交
141
			if (map->page)
S
Sukadev Bhattiprolu 已提交
142
				kfree(page);
L
Linus Torvalds 已提交
143
			else
S
Sukadev Bhattiprolu 已提交
144
				map->page = page;
145
			spin_unlock_irq(&pidmap_lock);
L
Linus Torvalds 已提交
146 147 148 149 150 151 152
			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);
153
					pid_ns->last_pid = pid;
L
Linus Torvalds 已提交
154 155 156
					return pid;
				}
				offset = find_next_offset(map, offset);
157
				pid = mk_pid(pid_ns, map, offset);
L
Linus Torvalds 已提交
158 159 160 161 162 163 164 165 166 167
			/*
			 * 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)));
		}
168
		if (map < &pid_ns->pidmap[(pid_max-1)/BITS_PER_PAGE]) {
L
Linus Torvalds 已提交
169 170 171
			++map;
			offset = 0;
		} else {
172
			map = &pid_ns->pidmap[0];
L
Linus Torvalds 已提交
173 174 175 176
			offset = RESERVED_PIDS;
			if (unlikely(last == offset))
				break;
		}
177
		pid = mk_pid(pid_ns, map, offset);
L
Linus Torvalds 已提交
178 179 180 181
	}
	return -1;
}

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

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

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

204 205
	if (!pid)
		return;
206

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

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 */
225
	int i;
226 227 228
	unsigned long flags;

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

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

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

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

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

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

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

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

	spin_lock_irq(&pidmap_lock);
270 271 272 273 274
	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)]);
	}
275 276 277 278 279 280
	spin_unlock_irq(&pidmap_lock);

out:
	return pid;

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

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

289
struct pid * fastcall find_pid_ns(int nr, struct pid_namespace *ns)
L
Linus Torvalds 已提交
290 291
{
	struct hlist_node *elem;
292 293 294 295 296 297 298
	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 已提交
299 300 301

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

304 305 306 307 308
/*
 * 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 已提交
309
{
310 311 312
	struct pid_link *link;

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

	return 0;
}

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

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

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

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

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

338 339 340 341 342 343 344 345 346
/* 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;
}

347
struct task_struct * fastcall pid_task(struct pid *pid, enum pid_type type)
L
Linus Torvalds 已提交
348
{
349 350 351 352 353 354 355 356 357
	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 已提交
358

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

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

370 371 372 373 374 375 376 377 378
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;
}

379 380 381 382 383 384 385 386 387
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 已提交
388 389
}

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

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

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

401 402 403 404 405 406 407 408 409 410 411 412 413
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;
}

414 415 416 417 418
/*
 * 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.
 */
419
struct pid *find_ge_pid(int nr, struct pid_namespace *ns)
420 421 422 423
{
	struct pid *pid;

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

	return pid;
}
432
EXPORT_SYMBOL_GPL(find_get_pid);
433

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
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,
465 466
			sizeof(struct pid) + (nr_ids - 1) * sizeof(struct upid),
			0, SLAB_HWCACHE_ALIGN, NULL);
467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483
	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;
}

484 485 486 487 488 489 490 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 520 521 522 523 524 525 526 527 528 529 530 531 532
static struct pid_namespace *create_pid_namespace(int level)
{
	struct pid_namespace *ns;
	int i;

	ns = kmalloc(sizeof(struct pid_namespace), GFP_KERNEL);
	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:
	kfree(ns);
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);
	kfree(ns);
}

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

537
	BUG_ON(!old_ns);
538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553
	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 已提交
554 555 556 557
}

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

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

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

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

L
Linus Torvalds 已提交
569 570 571 572 573 574 575
/*
 * 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)
{
576
	int i, pidhash_size;
L
Linus Torvalds 已提交
577 578 579 580 581 582 583 584
	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,
585 586 587 588 589 590 591
		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 已提交
592 593 594 595
}

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

601 602 603
	init_pid_ns.pid_cachep = create_pid_cachep(1);
	if (init_pid_ns.pid_cachep == NULL)
		panic("Can't create pid_1 cachep\n");
L
Linus Torvalds 已提交
604
}