oom_kill.c 15.3 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6 7 8
/*
 *  linux/mm/oom_kill.c
 * 
 *  Copyright (C)  1998,2000  Rik van Riel
 *	Thanks go out to Claus Fischer for some serious inspiration and
 *	for goading me into coding this file...
 *
 *  The routines in this file are used to kill a process when
P
Paul Jackson 已提交
9 10
 *  we're seriously out of memory. This gets called from __alloc_pages()
 *  in mm/page_alloc.c when we really run out of memory.
L
Linus Torvalds 已提交
11 12 13 14 15 16 17
 *
 *  Since we won't call these routines often (on a well-configured
 *  machine) this file will double as a 'coding guide' and a signpost
 *  for newbie kernel hackers. It features several pointers to major
 *  kernel subsystems and hints as to where to find out what things do.
 */

18
#include <linux/oom.h>
L
Linus Torvalds 已提交
19
#include <linux/mm.h>
A
Alexey Dobriyan 已提交
20
#include <linux/err.h>
L
Linus Torvalds 已提交
21 22 23 24
#include <linux/sched.h>
#include <linux/swap.h>
#include <linux/timex.h>
#include <linux/jiffies.h>
25
#include <linux/cpuset.h>
26 27
#include <linux/module.h>
#include <linux/notifier.h>
28
#include <linux/memcontrol.h>
29
#include <linux/security.h>
L
Linus Torvalds 已提交
30

31
int sysctl_panic_on_oom;
32
int sysctl_oom_kill_allocating_task;
33
int sysctl_oom_dump_tasks;
34
static DEFINE_SPINLOCK(zone_scan_mutex);
L
Linus Torvalds 已提交
35 36 37
/* #define DEBUG */

/**
38
 * badness - calculate a numeric value for how bad this task has been
L
Linus Torvalds 已提交
39
 * @p: task struct of which task we should calculate
P
Paul Jackson 已提交
40
 * @uptime: current uptime in seconds
R
Randy Dunlap 已提交
41
 * @mem: target memory controller
L
Linus Torvalds 已提交
42 43 44 45 46 47 48 49 50 51 52 53 54 55 56
 *
 * The formula used is relatively simple and documented inline in the
 * function. The main rationale is that we want to select a good task
 * to kill when we run out of memory.
 *
 * Good in this context means that:
 * 1) we lose the minimum amount of work done
 * 2) we recover a large amount of memory
 * 3) we don't kill anything innocent of eating tons of memory
 * 4) we want to kill the minimum amount of processes (one)
 * 5) we try to kill the process the user expects us to kill, this
 *    algorithm has been meticulously tuned to meet the principle
 *    of least surprise ... (be careful when you change it)
 */

57
unsigned long badness(struct task_struct *p, unsigned long uptime)
L
Linus Torvalds 已提交
58 59
{
	unsigned long points, cpu_time, run_time, s;
A
Andrew Morton 已提交
60 61
	struct mm_struct *mm;
	struct task_struct *child;
L
Linus Torvalds 已提交
62

A
Andrew Morton 已提交
63 64 65 66
	task_lock(p);
	mm = p->mm;
	if (!mm) {
		task_unlock(p);
L
Linus Torvalds 已提交
67
		return 0;
A
Andrew Morton 已提交
68
	}
L
Linus Torvalds 已提交
69 70 71 72

	/*
	 * The memory size of the process is the basis for the badness.
	 */
A
Andrew Morton 已提交
73 74 75 76 77 78
	points = mm->total_vm;

	/*
	 * After this unlock we can no longer dereference local variable `mm'
	 */
	task_unlock(p);
L
Linus Torvalds 已提交
79

80 81 82 83 84 85
	/*
	 * swapoff can easily use up all memory, so kill those first.
	 */
	if (p->flags & PF_SWAPOFF)
		return ULONG_MAX;

L
Linus Torvalds 已提交
86 87
	/*
	 * Processes which fork a lot of child processes are likely
88
	 * a good choice. We add half the vmsize of the children if they
L
Linus Torvalds 已提交
89
	 * have an own mm. This prevents forking servers to flood the
90 91 92
	 * machine with an endless amount of children. In case a single
	 * child is eating the vast majority of memory, adding only half
	 * to the parents will make the child our kill candidate of choice.
L
Linus Torvalds 已提交
93
	 */
A
Andrew Morton 已提交
94 95 96 97 98
	list_for_each_entry(child, &p->children, sibling) {
		task_lock(child);
		if (child->mm != mm && child->mm)
			points += child->mm->total_vm/2 + 1;
		task_unlock(child);
L
Linus Torvalds 已提交
99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131
	}

	/*
	 * CPU time is in tens of seconds and run time is in thousands
         * of seconds. There is no particular reason for this other than
         * that it turned out to work very well in practice.
	 */
	cpu_time = (cputime_to_jiffies(p->utime) + cputime_to_jiffies(p->stime))
		>> (SHIFT_HZ + 3);

	if (uptime >= p->start_time.tv_sec)
		run_time = (uptime - p->start_time.tv_sec) >> 10;
	else
		run_time = 0;

	s = int_sqrt(cpu_time);
	if (s)
		points /= s;
	s = int_sqrt(int_sqrt(run_time));
	if (s)
		points /= s;

	/*
	 * Niced processes are most likely less important, so double
	 * their badness points.
	 */
	if (task_nice(p) > 0)
		points *= 2;

	/*
	 * Superuser processes are usually more important, so we make it
	 * less likely that we kill those.
	 */
132 133
	if (has_capability(p, CAP_SYS_ADMIN) ||
	    has_capability(p, CAP_SYS_RESOURCE))
L
Linus Torvalds 已提交
134 135 136 137 138 139 140 141
		points /= 4;

	/*
	 * We don't want to kill a process with direct hardware access.
	 * Not only could that mess up the hardware, but usually users
	 * tend to only have this flag set on applications they think
	 * of as important.
	 */
142
	if (has_capability(p, CAP_SYS_RAWIO))
L
Linus Torvalds 已提交
143 144
		points /= 4;

N
Nick Piggin 已提交
145 146 147 148 149
	/*
	 * If p's nodes don't overlap ours, it may still help to kill p
	 * because p may have allocated or otherwise mapped memory on
	 * this node before. However it will be less likely.
	 */
150
	if (!cpuset_mems_allowed_intersects(current, p))
N
Nick Piggin 已提交
151 152
		points /= 8;

L
Linus Torvalds 已提交
153 154 155 156
	/*
	 * Adjust the score by oomkilladj.
	 */
	if (p->oomkilladj) {
157 158 159
		if (p->oomkilladj > 0) {
			if (!points)
				points = 1;
L
Linus Torvalds 已提交
160
			points <<= p->oomkilladj;
161
		} else
L
Linus Torvalds 已提交
162 163 164 165
			points >>= -(p->oomkilladj);
	}

#ifdef DEBUG
166
	printk(KERN_DEBUG "OOMkill: task %d (%s) got %lu points\n",
L
Linus Torvalds 已提交
167 168 169 170 171
	p->pid, p->comm, points);
#endif
	return points;
}

172 173 174
/*
 * Determine the type of allocation constraint.
 */
D
David Rientjes 已提交
175 176
static inline enum oom_constraint constrained_alloc(struct zonelist *zonelist,
						    gfp_t gfp_mask)
177 178
{
#ifdef CONFIG_NUMA
179
	struct zone *zone;
180
	struct zoneref *z;
181
	enum zone_type high_zoneidx = gfp_zone(gfp_mask);
182
	nodemask_t nodes = node_states[N_HIGH_MEMORY];
183

184 185 186
	for_each_zone_zonelist(zone, z, zonelist, high_zoneidx)
		if (cpuset_zone_allowed_softwall(zone, gfp_mask))
			node_clear(zone_to_nid(zone), nodes);
187 188 189 190 191 192 193 194 195 196
		else
			return CONSTRAINT_CPUSET;

	if (!nodes_empty(nodes))
		return CONSTRAINT_MEMORY_POLICY;
#endif

	return CONSTRAINT_NONE;
}

L
Linus Torvalds 已提交
197 198 199 200 201 202
/*
 * Simple selection loop. We chose the process with the highest
 * number of 'points'. We expect the caller will lock the tasklist.
 *
 * (not docbooked, we don't want this one cluttering up the manual)
 */
203 204
static struct task_struct *select_bad_process(unsigned long *ppoints,
						struct mem_cgroup *mem)
L
Linus Torvalds 已提交
205 206 207 208
{
	struct task_struct *g, *p;
	struct task_struct *chosen = NULL;
	struct timespec uptime;
209
	*ppoints = 0;
L
Linus Torvalds 已提交
210 211

	do_posix_clock_monotonic_gettime(&uptime);
P
Paul Jackson 已提交
212 213 214
	do_each_thread(g, p) {
		unsigned long points;

215 216 217 218
		/*
		 * skip kernel threads and tasks which have already released
		 * their mm.
		 */
219 220
		if (!p->mm)
			continue;
221
		/* skip the init task */
222
		if (is_global_init(p))
P
Paul Jackson 已提交
223
			continue;
224 225
		if (mem && !task_in_mem_cgroup(p, mem))
			continue;
226

227 228 229 230 231 232 233 234 235 236 237 238
		/*
		 * This task already has access to memory reserves and is
		 * being killed. Don't allow any other task access to the
		 * memory reserve.
		 *
		 * Note: this may have a chance of deadlock if it gets
		 * blocked waiting for another task which itself is waiting
		 * for memory. Is there a better alternative?
		 */
		if (test_tsk_thread_flag(p, TIF_MEMDIE))
			return ERR_PTR(-1UL);

P
Paul Jackson 已提交
239
		/*
240
		 * This is in the process of releasing memory so wait for it
P
Paul Jackson 已提交
241
		 * to finish before killing some other task by mistake.
242 243 244 245 246
		 *
		 * However, if p is the current task, we allow the 'kill' to
		 * go ahead if it is exiting: this will simply set TIF_MEMDIE,
		 * which will allow it to gain access to memory reserves in
		 * the process of exiting and releasing its resources.
247
		 * Otherwise we could get an easy OOM deadlock.
P
Paul Jackson 已提交
248
		 */
249 250 251 252
		if (p->flags & PF_EXITING) {
			if (p != current)
				return ERR_PTR(-1UL);

253 254
			chosen = p;
			*ppoints = ULONG_MAX;
255
		}
256

257 258
		if (p->oomkilladj == OOM_DISABLE)
			continue;
P
Paul Jackson 已提交
259

260
		points = badness(p, uptime.tv_sec);
261
		if (points > *ppoints || !chosen) {
P
Paul Jackson 已提交
262
			chosen = p;
263
			*ppoints = points;
L
Linus Torvalds 已提交
264
		}
P
Paul Jackson 已提交
265
	} while_each_thread(g, p);
266

L
Linus Torvalds 已提交
267 268 269
	return chosen;
}

270
/**
R
Randy Dunlap 已提交
271 272 273
 * dump_tasks - dump current memory state of all system tasks
 * @mem: target memory controller
 *
274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307
 * Dumps the current memory state of all system tasks, excluding kernel threads.
 * State information includes task's pid, uid, tgid, vm size, rss, cpu, oom_adj
 * score, and name.
 *
 * If the actual is non-NULL, only tasks that are a member of the mem_cgroup are
 * shown.
 *
 * Call with tasklist_lock read-locked.
 */
static void dump_tasks(const struct mem_cgroup *mem)
{
	struct task_struct *g, *p;

	printk(KERN_INFO "[ pid ]   uid  tgid total_vm      rss cpu oom_adj "
	       "name\n");
	do_each_thread(g, p) {
		/*
		 * total_vm and rss sizes do not exist for tasks with a
		 * detached mm so there's no need to report them.
		 */
		if (!p->mm)
			continue;
		if (mem && !task_in_mem_cgroup(p, mem))
			continue;

		task_lock(p);
		printk(KERN_INFO "[%5d] %5d %5d %8lu %8lu %3d     %3d %s\n",
		       p->pid, p->uid, p->tgid, p->mm->total_vm,
		       get_mm_rss(p->mm), (int)task_cpu(p), p->oomkilladj,
		       p->comm);
		task_unlock(p);
	} while_each_thread(g, p);
}

R
Randy Dunlap 已提交
308
/*
309 310 311
 * Send SIGKILL to the selected  process irrespective of  CAP_SYS_RAW_IO
 * flag though it's unlikely that  we select a process with CAP_SYS_RAW_IO
 * set.
L
Linus Torvalds 已提交
312
 */
N
Nick Piggin 已提交
313
static void __oom_kill_task(struct task_struct *p, int verbose)
L
Linus Torvalds 已提交
314
{
315
	if (is_global_init(p)) {
L
Linus Torvalds 已提交
316 317 318 319 320
		WARN_ON(1);
		printk(KERN_WARNING "tried to kill init!\n");
		return;
	}

321
	if (!p->mm) {
L
Linus Torvalds 已提交
322 323 324 325
		WARN_ON(1);
		printk(KERN_WARNING "tried to kill an mm-less task!\n");
		return;
	}
326

N
Nick Piggin 已提交
327
	if (verbose)
328 329
		printk(KERN_ERR "Killed process %d (%s)\n",
				task_pid_nr(p), p->comm);
L
Linus Torvalds 已提交
330 331 332 333 334 335

	/*
	 * We give our sacrificial lamb high priority and access to
	 * all the memory it needs. That way it should be able to
	 * exit() and clear out its resources quickly...
	 */
P
Peter Zijlstra 已提交
336
	p->rt.time_slice = HZ;
L
Linus Torvalds 已提交
337 338 339 340 341
	set_tsk_thread_flag(p, TIF_MEMDIE);

	force_sig(SIGKILL, p);
}

N
Nick Piggin 已提交
342
static int oom_kill_task(struct task_struct *p)
L
Linus Torvalds 已提交
343
{
344
	struct mm_struct *mm;
345
	struct task_struct *g, *q;
L
Linus Torvalds 已提交
346

347 348 349 350 351 352 353 354 355 356 357
	mm = p->mm;

	/* WARNING: mm may not be dereferenced since we did not obtain its
	 * value from get_task_mm(p).  This is OK since all we need to do is
	 * compare mm to q->mm below.
	 *
	 * Furthermore, even if mm contains a non-NULL value, p->mm may
	 * change to NULL at any time since we do not hold task_lock(p).
	 * However, this is of no concern to us.
	 */

358
	if (mm == NULL)
359
		return 1;
L
Linus Torvalds 已提交
360

361 362 363 364
	/*
	 * Don't kill the process if any threads are set to OOM_DISABLE
	 */
	do_each_thread(g, q) {
365
		if (q->mm == mm && q->oomkilladj == OOM_DISABLE)
366 367 368
			return 1;
	} while_each_thread(g, q);

N
Nick Piggin 已提交
369
	__oom_kill_task(p, 1);
370

L
Linus Torvalds 已提交
371 372
	/*
	 * kill all processes that share the ->mm (i.e. all threads),
N
Nick Piggin 已提交
373 374
	 * but are in a different thread group. Don't let them have access
	 * to memory reserves though, otherwise we might deplete all memory.
L
Linus Torvalds 已提交
375
	 */
376
	do_each_thread(g, q) {
377
		if (q->mm == mm && !same_thread_group(q, p))
378
			force_sig(SIGKILL, q);
379
	} while_each_thread(g, q);
L
Linus Torvalds 已提交
380

381
	return 0;
L
Linus Torvalds 已提交
382 383
}

384
static int oom_kill_process(struct task_struct *p, gfp_t gfp_mask, int order,
385 386
			    unsigned long points, struct mem_cgroup *mem,
			    const char *message)
L
Linus Torvalds 已提交
387 388 389
{
	struct task_struct *c;

390 391 392 393 394 395
	if (printk_ratelimit()) {
		printk(KERN_WARNING "%s invoked oom-killer: "
			"gfp_mask=0x%x, order=%d, oomkilladj=%d\n",
			current->comm, gfp_mask, order, current->oomkilladj);
		dump_stack();
		show_mem();
396 397
		if (sysctl_oom_dump_tasks)
			dump_tasks(mem);
398 399
	}

400 401 402 403 404
	/*
	 * If the task is already exiting, don't alarm the sysadmin or kill
	 * its children or threads, just set TIF_MEMDIE so it can die quickly
	 */
	if (p->flags & PF_EXITING) {
N
Nick Piggin 已提交
405
		__oom_kill_task(p, 0);
406 407 408
		return 0;
	}

N
Nick Piggin 已提交
409
	printk(KERN_ERR "%s: kill process %d (%s) score %li or a child\n",
410
					message, task_pid_nr(p), p->comm, points);
N
Nick Piggin 已提交
411

L
Linus Torvalds 已提交
412
	/* Try to kill a child first */
413
	list_for_each_entry(c, &p->children, sibling) {
L
Linus Torvalds 已提交
414 415
		if (c->mm == p->mm)
			continue;
N
Nick Piggin 已提交
416
		if (!oom_kill_task(c))
417
			return 0;
L
Linus Torvalds 已提交
418
	}
N
Nick Piggin 已提交
419
	return oom_kill_task(p);
L
Linus Torvalds 已提交
420 421
}

422
#ifdef CONFIG_CGROUP_MEM_RES_CTLR
423 424 425 426 427 428
void mem_cgroup_out_of_memory(struct mem_cgroup *mem, gfp_t gfp_mask)
{
	unsigned long points = 0;
	struct task_struct *p;

	cgroup_lock();
L
Li Zefan 已提交
429
	read_lock(&tasklist_lock);
430 431 432 433 434 435 436 437
retry:
	p = select_bad_process(&points, mem);
	if (PTR_ERR(p) == -1UL)
		goto out;

	if (!p)
		p = current;

438
	if (oom_kill_process(p, gfp_mask, 0, points, mem,
439 440 441
				"Memory cgroup out of memory"))
		goto retry;
out:
L
Li Zefan 已提交
442
	read_unlock(&tasklist_lock);
443 444 445 446
	cgroup_unlock();
}
#endif

447 448 449 450 451 452 453 454 455 456 457 458 459 460
static BLOCKING_NOTIFIER_HEAD(oom_notify_list);

int register_oom_notifier(struct notifier_block *nb)
{
	return blocking_notifier_chain_register(&oom_notify_list, nb);
}
EXPORT_SYMBOL_GPL(register_oom_notifier);

int unregister_oom_notifier(struct notifier_block *nb)
{
	return blocking_notifier_chain_unregister(&oom_notify_list, nb);
}
EXPORT_SYMBOL_GPL(unregister_oom_notifier);

D
David Rientjes 已提交
461 462 463 464 465
/*
 * Try to acquire the OOM killer lock for the zones in zonelist.  Returns zero
 * if a parallel OOM killing is already taking place that includes a zone in
 * the zonelist.  Otherwise, locks all zones in the zonelist and returns 1.
 */
466
int try_set_zone_oom(struct zonelist *zonelist, gfp_t gfp_mask)
D
David Rientjes 已提交
467
{
468 469
	struct zoneref *z;
	struct zone *zone;
D
David Rientjes 已提交
470 471
	int ret = 1;

472
	spin_lock(&zone_scan_mutex);
473 474
	for_each_zone_zonelist(zone, z, zonelist, gfp_zone(gfp_mask)) {
		if (zone_is_oom_locked(zone)) {
D
David Rientjes 已提交
475 476 477
			ret = 0;
			goto out;
		}
478 479 480 481 482 483 484 485 486 487
	}

	for_each_zone_zonelist(zone, z, zonelist, gfp_zone(gfp_mask)) {
		/*
		 * Lock each zone in the zonelist under zone_scan_mutex so a
		 * parallel invocation of try_set_zone_oom() doesn't succeed
		 * when it shouldn't.
		 */
		zone_set_flag(zone, ZONE_OOM_LOCKED);
	}
D
David Rientjes 已提交
488 489

out:
490
	spin_unlock(&zone_scan_mutex);
D
David Rientjes 已提交
491 492 493 494 495 496 497 498
	return ret;
}

/*
 * Clears the ZONE_OOM_LOCKED flag for all zones in the zonelist so that failed
 * allocation attempts with zonelists containing them may now recall the OOM
 * killer, if necessary.
 */
499
void clear_zonelist_oom(struct zonelist *zonelist, gfp_t gfp_mask)
D
David Rientjes 已提交
500
{
501 502
	struct zoneref *z;
	struct zone *zone;
D
David Rientjes 已提交
503

504
	spin_lock(&zone_scan_mutex);
505 506 507
	for_each_zone_zonelist(zone, z, zonelist, gfp_zone(gfp_mask)) {
		zone_clear_flag(zone, ZONE_OOM_LOCKED);
	}
508
	spin_unlock(&zone_scan_mutex);
D
David Rientjes 已提交
509 510
}

L
Linus Torvalds 已提交
511
/**
512
 * out_of_memory - kill the "best" process when we run out of memory
R
Randy Dunlap 已提交
513 514 515
 * @zonelist: zonelist pointer
 * @gfp_mask: memory allocation flags
 * @order: amount of memory being requested as a power of 2
L
Linus Torvalds 已提交
516 517 518 519 520 521
 *
 * If we run out of memory, we have the choice between either
 * killing a random task (bad), letting the system crash (worse)
 * OR try to be smart about which process to kill. Note that we
 * don't have to be perfect here, we just have to be good.
 */
522
void out_of_memory(struct zonelist *zonelist, gfp_t gfp_mask, int order)
L
Linus Torvalds 已提交
523
{
524
	struct task_struct *p;
525
	unsigned long points = 0;
526
	unsigned long freed = 0;
D
David Rientjes 已提交
527
	enum oom_constraint constraint;
528 529 530 531 532

	blocking_notifier_call_chain(&oom_notify_list, 0, &freed);
	if (freed > 0)
		/* Got some memory back in the last second. */
		return;
L
Linus Torvalds 已提交
533

534 535 536
	if (sysctl_panic_on_oom == 2)
		panic("out of memory. Compulsory panic_on_oom is selected.\n");

537 538 539 540
	/*
	 * Check if there were limitations on the allocation (only relevant for
	 * NUMA) that may require different handling.
	 */
D
David Rientjes 已提交
541 542 543 544
	constraint = constrained_alloc(zonelist, gfp_mask);
	read_lock(&tasklist_lock);

	switch (constraint) {
545
	case CONSTRAINT_MEMORY_POLICY:
546
		oom_kill_process(current, gfp_mask, order, points, NULL,
547 548 549 550
				"No available memory (MPOL_BIND)");
		break;

	case CONSTRAINT_NONE:
551 552
		if (sysctl_panic_on_oom)
			panic("out of memory. panic_on_oom is selected\n");
553 554 555
		/* Fall-through */
	case CONSTRAINT_CPUSET:
		if (sysctl_oom_kill_allocating_task) {
556
			oom_kill_process(current, gfp_mask, order, points, NULL,
557 558 559
					"Out of memory (oom_kill_allocating_task)");
			break;
		}
L
Linus Torvalds 已提交
560
retry:
561 562 563 564
		/*
		 * Rambo mode: Shoot down a process and hope it solves whatever
		 * issues we may have.
		 */
565
		p = select_bad_process(&points, NULL);
L
Linus Torvalds 已提交
566

567 568
		if (PTR_ERR(p) == -1UL)
			goto out;
L
Linus Torvalds 已提交
569

570 571 572 573 574
		/* Found nothing?!?! Either we hang forever, or we panic. */
		if (!p) {
			read_unlock(&tasklist_lock);
			panic("Out of memory and no killable processes...\n");
		}
L
Linus Torvalds 已提交
575

576
		if (oom_kill_process(p, gfp_mask, order, points, NULL,
577
				     "Out of memory"))
578 579 580 581
			goto retry;

		break;
	}
L
Linus Torvalds 已提交
582

583
out:
584
	read_unlock(&tasklist_lock);
L
Linus Torvalds 已提交
585 586 587

	/*
	 * Give "p" a good chance of killing itself before we
588
	 * retry to allocate memory unless "p" is current
L
Linus Torvalds 已提交
589
	 */
590
	if (!test_thread_flag(TIF_MEMDIE))
591
		schedule_timeout_uninterruptible(1);
L
Linus Torvalds 已提交
592
}