oom_kill.c 29.7 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5 6
/*
 *  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...
D
David Rientjes 已提交
7 8
 *  Copyright (C)  2010  Google, Inc.
 *	Rewritten by David Rientjes
L
Linus Torvalds 已提交
9 10
 *
 *  The routines in this file are used to kill a process when
P
Paul Jackson 已提交
11 12
 *  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 已提交
13 14 15 16 17 18 19
 *
 *  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.
 */

20
#include <linux/oom.h>
L
Linus Torvalds 已提交
21
#include <linux/mm.h>
A
Alexey Dobriyan 已提交
22
#include <linux/err.h>
23
#include <linux/gfp.h>
L
Linus Torvalds 已提交
24
#include <linux/sched.h>
25
#include <linux/sched/mm.h>
26
#include <linux/sched/coredump.h>
27
#include <linux/sched/task.h>
L
Linus Torvalds 已提交
28 29 30
#include <linux/swap.h>
#include <linux/timex.h>
#include <linux/jiffies.h>
31
#include <linux/cpuset.h>
32
#include <linux/export.h>
33
#include <linux/notifier.h>
34
#include <linux/memcontrol.h>
35
#include <linux/mempolicy.h>
36
#include <linux/security.h>
37
#include <linux/ptrace.h>
38
#include <linux/freezer.h>
39
#include <linux/ftrace.h>
40
#include <linux/ratelimit.h>
M
Michal Hocko 已提交
41 42
#include <linux/kthread.h>
#include <linux/init.h>
43
#include <linux/mmu_notifier.h>
M
Michal Hocko 已提交
44 45 46

#include <asm/tlb.h>
#include "internal.h"
47
#include "slab.h"
48 49 50

#define CREATE_TRACE_POINTS
#include <trace/events/oom.h>
L
Linus Torvalds 已提交
51

52
int sysctl_panic_on_oom;
53
int sysctl_oom_kill_allocating_task;
54
int sysctl_oom_dump_tasks = 1;
55 56

DEFINE_MUTEX(oom_lock);
L
Linus Torvalds 已提交
57

58 59 60
#ifdef CONFIG_NUMA
/**
 * has_intersects_mems_allowed() - check task eligiblity for kill
61
 * @start: task struct of which task to consider
62 63 64 65 66
 * @mask: nodemask passed to page allocator for mempolicy ooms
 *
 * Task eligibility is determined by whether or not a candidate task, @tsk,
 * shares the same mempolicy nodes as current if it is bound by such a policy
 * and whether or not it has the same set of allowed cpuset nodes.
67
 */
68
static bool has_intersects_mems_allowed(struct task_struct *start,
69
					const nodemask_t *mask)
70
{
71 72
	struct task_struct *tsk;
	bool ret = false;
73

74
	rcu_read_lock();
75
	for_each_thread(start, tsk) {
76 77 78 79 80 81 82
		if (mask) {
			/*
			 * If this is a mempolicy constrained oom, tsk's
			 * cpuset is irrelevant.  Only return true if its
			 * mempolicy intersects current, otherwise it may be
			 * needlessly killed.
			 */
83
			ret = mempolicy_nodemask_intersects(tsk, mask);
84 85 86 87 88
		} else {
			/*
			 * This is not a mempolicy constrained oom, so only
			 * check the mems of tsk's cpuset.
			 */
89
			ret = cpuset_mems_allowed_intersects(current, tsk);
90
		}
91 92
		if (ret)
			break;
93
	}
94
	rcu_read_unlock();
95

96
	return ret;
97 98 99 100 101 102
}
#else
static bool has_intersects_mems_allowed(struct task_struct *tsk,
					const nodemask_t *mask)
{
	return true;
103
}
104
#endif /* CONFIG_NUMA */
105

106 107 108 109 110 111
/*
 * The process p may have detached its own ->mm while exiting or through
 * use_mm(), but one or more of its subthreads may still have a valid
 * pointer.  Return p, or any of its subthreads with a valid ->mm, with
 * task_lock() held.
 */
112
struct task_struct *find_lock_task_mm(struct task_struct *p)
113
{
114
	struct task_struct *t;
115

116 117
	rcu_read_lock();

118
	for_each_thread(p, t) {
119 120
		task_lock(t);
		if (likely(t->mm))
121
			goto found;
122
		task_unlock(t);
123
	}
124 125 126
	t = NULL;
found:
	rcu_read_unlock();
127

128
	return t;
129 130
}

131 132 133 134 135 136 137 138 139
/*
 * order == -1 means the oom kill is required by sysrq, otherwise only
 * for display purposes.
 */
static inline bool is_sysrq_oom(struct oom_control *oc)
{
	return oc->order == -1;
}

140 141 142 143 144
static inline bool is_memcg_oom(struct oom_control *oc)
{
	return oc->memcg != NULL;
}

145
/* return true if the task is not adequate as candidate victim task. */
146
static bool oom_unkillable_task(struct task_struct *p,
147
		struct mem_cgroup *memcg, const nodemask_t *nodemask)
148 149 150 151 152 153 154
{
	if (is_global_init(p))
		return true;
	if (p->flags & PF_KTHREAD)
		return true;

	/* When mem_cgroup_out_of_memory() and p is not member of the group */
155
	if (memcg && !task_in_mem_cgroup(p, memcg))
156 157 158 159 160 161 162 163 164
		return true;

	/* p may not have freeable memory in nodemask */
	if (!has_intersects_mems_allowed(p, nodemask))
		return true;

	return false;
}

165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183
/*
 * Print out unreclaimble slabs info when unreclaimable slabs amount is greater
 * than all user memory (LRU pages)
 */
static bool is_dump_unreclaim_slabs(void)
{
	unsigned long nr_lru;

	nr_lru = global_node_page_state(NR_ACTIVE_ANON) +
		 global_node_page_state(NR_INACTIVE_ANON) +
		 global_node_page_state(NR_ACTIVE_FILE) +
		 global_node_page_state(NR_INACTIVE_FILE) +
		 global_node_page_state(NR_ISOLATED_ANON) +
		 global_node_page_state(NR_ISOLATED_FILE) +
		 global_node_page_state(NR_UNEVICTABLE);

	return (global_node_page_state(NR_SLAB_UNRECLAIMABLE) > nr_lru);
}

L
Linus Torvalds 已提交
184
/**
D
David Rientjes 已提交
185
 * oom_badness - heuristic function to determine which candidate task to kill
L
Linus Torvalds 已提交
186
 * @p: task struct of which task we should calculate
D
David Rientjes 已提交
187
 * @totalpages: total present RAM allowed for page allocation
188 189
 * @memcg: task's memory controller, if constrained
 * @nodemask: nodemask passed to page allocator for mempolicy ooms
L
Linus Torvalds 已提交
190
 *
D
David Rientjes 已提交
191 192 193
 * The heuristic for determining which task to kill is made to be as simple and
 * predictable as possible.  The goal is to return the highest value for the
 * task consuming the most memory to avoid subsequent oom failures.
L
Linus Torvalds 已提交
194
 */
195 196
unsigned long oom_badness(struct task_struct *p, struct mem_cgroup *memcg,
			  const nodemask_t *nodemask, unsigned long totalpages)
L
Linus Torvalds 已提交
197
{
198
	long points;
199
	long adj;
200

201
	if (oom_unkillable_task(p, memcg, nodemask))
202
		return 0;
L
Linus Torvalds 已提交
203

204 205
	p = find_lock_task_mm(p);
	if (!p)
L
Linus Torvalds 已提交
206 207
		return 0;

208 209
	/*
	 * Do not even consider tasks which are explicitly marked oom
210 211
	 * unkillable or have been already oom reaped or the are in
	 * the middle of vfork
212
	 */
213
	adj = (long)p->signal->oom_score_adj;
214
	if (adj == OOM_SCORE_ADJ_MIN ||
215
			test_bit(MMF_OOM_SKIP, &p->mm->flags) ||
216
			in_vfork(p)) {
217 218 219 220
		task_unlock(p);
		return 0;
	}

L
Linus Torvalds 已提交
221
	/*
D
David Rientjes 已提交
222
	 * The baseline for the badness score is the proportion of RAM that each
223
	 * task's rss, pagetable and swap space use.
L
Linus Torvalds 已提交
224
	 */
225
	points = get_mm_rss(p->mm) + get_mm_counter(p->mm, MM_SWAPENTS) +
226
		mm_pgtables_bytes(p->mm) / PAGE_SIZE;
D
David Rientjes 已提交
227
	task_unlock(p);
L
Linus Torvalds 已提交
228

229 230 231
	/* Normalize to oom_score_adj units */
	adj *= totalpages / 1000;
	points += adj;
L
Linus Torvalds 已提交
232

233
	/*
234 235
	 * Never return 0 for an eligible task regardless of the root bonus and
	 * oom_score_adj (oom_score_adj can't be OOM_SCORE_ADJ_MIN here).
236
	 */
237
	return points > 0 ? points : 1;
L
Linus Torvalds 已提交
238 239
}

240 241 242 243 244 245 246
enum oom_constraint {
	CONSTRAINT_NONE,
	CONSTRAINT_CPUSET,
	CONSTRAINT_MEMORY_POLICY,
	CONSTRAINT_MEMCG,
};

247 248 249
/*
 * Determine the type of allocation constraint.
 */
250
static enum oom_constraint constrained_alloc(struct oom_control *oc)
251
{
252
	struct zone *zone;
253
	struct zoneref *z;
254
	enum zone_type high_zoneidx = gfp_zone(oc->gfp_mask);
D
David Rientjes 已提交
255 256
	bool cpuset_limited = false;
	int nid;
257

258 259 260 261 262
	if (is_memcg_oom(oc)) {
		oc->totalpages = mem_cgroup_get_limit(oc->memcg) ?: 1;
		return CONSTRAINT_MEMCG;
	}

D
David Rientjes 已提交
263
	/* Default to all available memory */
264 265 266 267
	oc->totalpages = totalram_pages + total_swap_pages;

	if (!IS_ENABLED(CONFIG_NUMA))
		return CONSTRAINT_NONE;
D
David Rientjes 已提交
268

269
	if (!oc->zonelist)
D
David Rientjes 已提交
270
		return CONSTRAINT_NONE;
271 272 273 274 275
	/*
	 * Reach here only when __GFP_NOFAIL is used. So, we should avoid
	 * to kill current.We have to random task kill in this case.
	 * Hopefully, CONSTRAINT_THISNODE...but no way to handle it, now.
	 */
276
	if (oc->gfp_mask & __GFP_THISNODE)
277
		return CONSTRAINT_NONE;
278

279
	/*
D
David Rientjes 已提交
280 281 282
	 * This is not a __GFP_THISNODE allocation, so a truncated nodemask in
	 * the page allocator means a mempolicy is in effect.  Cpuset policy
	 * is enforced in get_page_from_freelist().
283
	 */
284 285
	if (oc->nodemask &&
	    !nodes_subset(node_states[N_MEMORY], *oc->nodemask)) {
286
		oc->totalpages = total_swap_pages;
287
		for_each_node_mask(nid, *oc->nodemask)
288
			oc->totalpages += node_spanned_pages(nid);
289
		return CONSTRAINT_MEMORY_POLICY;
D
David Rientjes 已提交
290
	}
291 292

	/* Check this allocation failure is caused by cpuset's wall function */
293 294 295
	for_each_zone_zonelist_nodemask(zone, z, oc->zonelist,
			high_zoneidx, oc->nodemask)
		if (!cpuset_zone_allowed(zone, oc->gfp_mask))
D
David Rientjes 已提交
296
			cpuset_limited = true;
297

D
David Rientjes 已提交
298
	if (cpuset_limited) {
299
		oc->totalpages = total_swap_pages;
D
David Rientjes 已提交
300
		for_each_node_mask(nid, cpuset_current_mems_allowed)
301
			oc->totalpages += node_spanned_pages(nid);
D
David Rientjes 已提交
302 303
		return CONSTRAINT_CPUSET;
	}
304 305 306
	return CONSTRAINT_NONE;
}

307
static int oom_evaluate_task(struct task_struct *task, void *arg)
308
{
309 310 311
	struct oom_control *oc = arg;
	unsigned long points;

312
	if (oom_unkillable_task(task, NULL, oc->nodemask))
313
		goto next;
314 315 316

	/*
	 * This task already has access to memory reserves and is being killed.
317
	 * Don't allow any other task to have access to the reserves unless
318
	 * the task has MMF_OOM_SKIP because chances that it would release
319
	 * any memory is quite low.
320
	 */
321 322
	if (!is_sysrq_oom(oc) && tsk_is_oom_victim(task)) {
		if (test_bit(MMF_OOM_SKIP, &task->signal->oom_mm->flags))
323 324
			goto next;
		goto abort;
325
	}
326

327 328 329 330
	/*
	 * If task is allocating a lot of memory and has been marked to be
	 * killed first if it triggers an oom, then select it.
	 */
331 332 333 334
	if (oom_task_origin(task)) {
		points = ULONG_MAX;
		goto select;
	}
335

336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355
	points = oom_badness(task, NULL, oc->nodemask, oc->totalpages);
	if (!points || points < oc->chosen_points)
		goto next;

	/* Prefer thread group leaders for display purposes */
	if (points == oc->chosen_points && thread_group_leader(oc->chosen))
		goto next;
select:
	if (oc->chosen)
		put_task_struct(oc->chosen);
	get_task_struct(task);
	oc->chosen = task;
	oc->chosen_points = points;
next:
	return 0;
abort:
	if (oc->chosen)
		put_task_struct(oc->chosen);
	oc->chosen = (void *)-1UL;
	return 1;
356 357
}

L
Linus Torvalds 已提交
358
/*
359 360
 * Simple selection loop. We choose the process with the highest number of
 * 'points'. In case scan was aborted, oc->chosen is set to -1.
L
Linus Torvalds 已提交
361
 */
362
static void select_bad_process(struct oom_control *oc)
L
Linus Torvalds 已提交
363
{
364 365 366 367
	if (is_memcg_oom(oc))
		mem_cgroup_scan_tasks(oc->memcg, oom_evaluate_task, oc);
	else {
		struct task_struct *p;
368

369 370 371 372 373
		rcu_read_lock();
		for_each_process(p)
			if (oom_evaluate_task(p, oc))
				break;
		rcu_read_unlock();
374
	}
375

376
	oc->chosen_points = oc->chosen_points * 1000 / oc->totalpages;
L
Linus Torvalds 已提交
377 378
}

379
/**
R
Randy Dunlap 已提交
380
 * dump_tasks - dump current memory state of all system tasks
W
Wanpeng Li 已提交
381
 * @memcg: current's memory controller, if constrained
382
 * @nodemask: nodemask passed to page allocator for mempolicy ooms
R
Randy Dunlap 已提交
383
 *
384 385 386
 * Dumps the current memory state of all eligible tasks.  Tasks not in the same
 * memcg, not in the same cpuset, or bound to a disjoint set of mempolicy nodes
 * are not shown.
387 388
 * State information includes task's pid, uid, tgid, vm size, rss,
 * pgtables_bytes, swapents, oom_score_adj value, and name.
389
 */
390
static void dump_tasks(struct mem_cgroup *memcg, const nodemask_t *nodemask)
391
{
392 393
	struct task_struct *p;
	struct task_struct *task;
394

395
	pr_info("[ pid ]   uid  tgid total_vm      rss pgtables_bytes swapents oom_score_adj name\n");
396
	rcu_read_lock();
397
	for_each_process(p) {
398
		if (oom_unkillable_task(p, memcg, nodemask))
399
			continue;
400

401 402
		task = find_lock_task_mm(p);
		if (!task) {
403
			/*
404 405
			 * This is a kthread or all of p's threads have already
			 * detached their mm's.  There's no need to report
406
			 * them; they can't be oom killed anyway.
407 408 409
			 */
			continue;
		}
410

411
		pr_info("[%5d] %5d %5d %8lu %8lu %8ld %8lu         %5hd %s\n",
412 413
			task->pid, from_kuid(&init_user_ns, task_uid(task)),
			task->tgid, task->mm->total_vm, get_mm_rss(task->mm),
414
			mm_pgtables_bytes(task->mm),
415
			get_mm_counter(task->mm, MM_SWAPENTS),
D
David Rientjes 已提交
416
			task->signal->oom_score_adj, task->comm);
417 418
		task_unlock(task);
	}
419
	rcu_read_unlock();
420 421
}

422
static void dump_header(struct oom_control *oc, struct task_struct *p)
423
{
M
Michal Hocko 已提交
424 425 426 427
	pr_warn("%s invoked oom-killer: gfp_mask=%#x(%pGg), nodemask=%*pbl, order=%d, oom_score_adj=%hd\n",
		current->comm, oc->gfp_mask, &oc->gfp_mask,
		nodemask_pr_args(oc->nodemask), oc->order,
			current->signal->oom_score_adj);
428 429
	if (!IS_ENABLED(CONFIG_COMPACTION) && oc->order)
		pr_warn("COMPACTION is disabled!!!\n");
430

431
	cpuset_print_current_mems_allowed();
432
	dump_stack();
433
	if (is_memcg_oom(oc))
434
		mem_cgroup_print_oom_info(oc->memcg, p);
435
	else {
436
		show_mem(SHOW_MEM_FILTER_NODES, oc->nodemask);
437 438 439
		if (is_dump_unreclaim_slabs())
			dump_unreclaimable_slab();
	}
440
	if (sysctl_oom_dump_tasks)
441
		dump_tasks(oc->memcg, oc->nodemask);
442 443
}

444
/*
445
 * Number of OOM victims in flight
446
 */
447 448
static atomic_t oom_victims = ATOMIC_INIT(0);
static DECLARE_WAIT_QUEUE_HEAD(oom_victims_wait);
449

450
static bool oom_killer_disabled __read_mostly;
451

452 453
#define K(x) ((x) << (PAGE_SHIFT-10))

454 455 456 457 458 459
/*
 * task->mm can be NULL if the task is the exited group leader.  So to
 * determine whether the task is using a particular mm, we examine all the
 * task's threads: if one of those is using this mm then this task was also
 * using it.
 */
460
bool process_shares_mm(struct task_struct *p, struct mm_struct *mm)
461 462 463 464 465 466 467 468 469 470 471
{
	struct task_struct *t;

	for_each_thread(p, t) {
		struct mm_struct *t_mm = READ_ONCE(t->mm);
		if (t_mm)
			return t_mm == mm;
	}
	return false;
}

M
Michal Hocko 已提交
472 473 474 475 476 477 478
#ifdef CONFIG_MMU
/*
 * OOM Reaper kernel thread which tries to reap the memory used by the OOM
 * victim (if that is possible) to help the OOM killer to move on.
 */
static struct task_struct *oom_reaper_th;
static DECLARE_WAIT_QUEUE_HEAD(oom_reaper_wait);
479
static struct task_struct *oom_reaper_list;
480 481
static DEFINE_SPINLOCK(oom_reaper_lock);

482
void __oom_reap_task_mm(struct mm_struct *mm)
M
Michal Hocko 已提交
483 484
{
	struct vm_area_struct *vma;
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

	/*
	 * Tell all users of get_user/copy_from_user etc... that the content
	 * is no longer stable. No barriers really needed because unmapping
	 * should imply barriers already and the reader would hit a page fault
	 * if it stumbled over a reaped memory.
	 */
	set_bit(MMF_UNSTABLE, &mm->flags);

	for (vma = mm->mmap ; vma; vma = vma->vm_next) {
		if (!can_madv_dontneed_vma(vma))
			continue;

		/*
		 * Only anonymous pages have a good chance to be dropped
		 * without additional steps which we cannot afford as we
		 * are OOM already.
		 *
		 * We do not even care about fs backed pages because all
		 * which are reclaimable have already been reclaimed and
		 * we do not want to block exit_mmap by keeping mm ref
		 * count elevated without a good reason.
		 */
		if (vma_is_anonymous(vma) || !(vma->vm_flags & VM_SHARED)) {
			const unsigned long start = vma->vm_start;
			const unsigned long end = vma->vm_end;
			struct mmu_gather tlb;

			tlb_gather_mmu(&tlb, mm, start, end);
			mmu_notifier_invalidate_range_start(mm, start, end);
			unmap_page_range(&tlb, vma, start, end, NULL);
			mmu_notifier_invalidate_range_end(mm, start, end);
			tlb_finish_mmu(&tlb, start, end);
		}
	}
}

static bool oom_reap_task_mm(struct task_struct *tsk, struct mm_struct *mm)
{
M
Michal Hocko 已提交
524 525
	bool ret = true;

526 527 528
	/*
	 * We have to make sure to not race with the victim exit path
	 * and cause premature new oom victim selection:
529
	 * oom_reap_task_mm		exit_mm
530
	 *   mmget_not_zero
531 532 533 534 535 536 537 538 539 540 541
	 *				  mmput
	 *				    atomic_dec_and_test
	 *				  exit_oom_victim
	 *				[...]
	 *				out_of_memory
	 *				  select_bad_process
	 *				    # no TIF_MEMDIE task selects new victim
	 *  unmap_page_range # frees some memory
	 */
	mutex_lock(&oom_lock);

M
Michal Hocko 已提交
542 543
	if (!down_read_trylock(&mm->mmap_sem)) {
		ret = false;
544
		trace_skip_task_reaping(tsk->pid);
545
		goto unlock_oom;
546 547
	}

548
	/*
549
	 * If the mm has invalidate_{start,end}() notifiers that could block,
550 551
	 * sleep to give the oom victim some more time.
	 * TODO: we really want to get rid of this ugly hack and make sure that
552
	 * notifiers cannot block for unbounded amount of time
553
	 */
554
	if (mm_has_blockable_invalidate_notifiers(mm)) {
555 556 557 558 559
		up_read(&mm->mmap_sem);
		schedule_timeout_idle(HZ);
		goto unlock_oom;
	}

560
	/*
561 562 563 564
	 * MMF_OOM_SKIP is set by exit_mmap when the OOM reaper can't
	 * work on the mm anymore. The check for MMF_OOM_SKIP must run
	 * under mmap_sem for reading because it serializes against the
	 * down_write();up_write() cycle in exit_mmap().
565
	 */
566
	if (test_bit(MMF_OOM_SKIP, &mm->flags)) {
567
		up_read(&mm->mmap_sem);
568
		trace_skip_task_reaping(tsk->pid);
569
		goto unlock_oom;
M
Michal Hocko 已提交
570 571
	}

572 573
	trace_start_task_reaping(tsk->pid);

574
	__oom_reap_task_mm(mm);
M
Michal Hocko 已提交
575

576 577 578 579 580
	pr_info("oom_reaper: reaped process %d (%s), now anon-rss:%lukB, file-rss:%lukB, shmem-rss:%lukB\n",
			task_pid_nr(tsk), tsk->comm,
			K(get_mm_counter(mm, MM_ANONPAGES)),
			K(get_mm_counter(mm, MM_FILEPAGES)),
			K(get_mm_counter(mm, MM_SHMEMPAGES)));
M
Michal Hocko 已提交
581
	up_read(&mm->mmap_sem);
582

583
	trace_finish_task_reaping(tsk->pid);
584 585
unlock_oom:
	mutex_unlock(&oom_lock);
M
Michal Hocko 已提交
586 587 588
	return ret;
}

589
#define MAX_OOM_REAP_RETRIES 10
590
static void oom_reap_task(struct task_struct *tsk)
M
Michal Hocko 已提交
591 592
{
	int attempts = 0;
593
	struct mm_struct *mm = tsk->signal->oom_mm;
M
Michal Hocko 已提交
594 595

	/* Retry the down_read_trylock(mmap_sem) a few times */
596
	while (attempts++ < MAX_OOM_REAP_RETRIES && !oom_reap_task_mm(tsk, mm))
M
Michal Hocko 已提交
597 598
		schedule_timeout_idle(HZ/10);

599 600
	if (attempts <= MAX_OOM_REAP_RETRIES ||
	    test_bit(MMF_OOM_SKIP, &mm->flags))
601
		goto done;
602

603 604 605
	pr_info("oom_reaper: unable to reap pid:%d (%s)\n",
		task_pid_nr(tsk), tsk->comm);
	debug_show_all_locks();
606

607
done:
608 609
	tsk->oom_reaper_list = NULL;

610 611 612 613
	/*
	 * Hide this mm from OOM killer because it has been either reaped or
	 * somebody can't call up_write(mmap_sem).
	 */
614
	set_bit(MMF_OOM_SKIP, &mm->flags);
615

M
Michal Hocko 已提交
616
	/* Drop a reference taken by wake_oom_reaper */
617
	put_task_struct(tsk);
M
Michal Hocko 已提交
618 619 620 621 622
}

static int oom_reaper(void *unused)
{
	while (true) {
623
		struct task_struct *tsk = NULL;
M
Michal Hocko 已提交
624

625
		wait_event_freezable(oom_reaper_wait, oom_reaper_list != NULL);
626
		spin_lock(&oom_reaper_lock);
627 628 629
		if (oom_reaper_list != NULL) {
			tsk = oom_reaper_list;
			oom_reaper_list = tsk->oom_reaper_list;
630 631 632 633 634
		}
		spin_unlock(&oom_reaper_lock);

		if (tsk)
			oom_reap_task(tsk);
M
Michal Hocko 已提交
635 636 637 638 639
	}

	return 0;
}

640
static void wake_oom_reaper(struct task_struct *tsk)
M
Michal Hocko 已提交
641
{
642 643
	/* tsk is already queued? */
	if (tsk == oom_reaper_list || tsk->oom_reaper_list)
M
Michal Hocko 已提交
644 645
		return;

646
	get_task_struct(tsk);
M
Michal Hocko 已提交
647

648
	spin_lock(&oom_reaper_lock);
649 650
	tsk->oom_reaper_list = oom_reaper_list;
	oom_reaper_list = tsk;
651
	spin_unlock(&oom_reaper_lock);
652
	trace_wake_reaper(tsk->pid);
653
	wake_up(&oom_reaper_wait);
M
Michal Hocko 已提交
654 655 656 657 658 659 660 661
}

static int __init oom_init(void)
{
	oom_reaper_th = kthread_run(oom_reaper, NULL, "oom_reaper");
	return 0;
}
subsys_initcall(oom_init)
662 663 664 665 666
#else
static inline void wake_oom_reaper(struct task_struct *tsk)
{
}
#endif /* CONFIG_MMU */
M
Michal Hocko 已提交
667

668
/**
669
 * mark_oom_victim - mark the given task as OOM victim
670
 * @tsk: task to mark
671
 *
672
 * Has to be called with oom_lock held and never after
673
 * oom has been disabled already.
674 675 676
 *
 * tsk->mm has to be non NULL and caller has to guarantee it is stable (either
 * under task_lock or operate on the current).
677
 */
678
static void mark_oom_victim(struct task_struct *tsk)
679
{
680 681
	struct mm_struct *mm = tsk->mm;

682 683 684 685
	WARN_ON(oom_killer_disabled);
	/* OOM killer might race with memcg OOM */
	if (test_and_set_tsk_thread_flag(tsk, TIF_MEMDIE))
		return;
686 687

	/* oom_mm is bound to the signal struct life time. */
688
	if (!cmpxchg(&tsk->signal->oom_mm, NULL, mm)) {
V
Vegard Nossum 已提交
689
		mmgrab(tsk->signal->oom_mm);
690 691
		set_bit(MMF_OOM_VICTIM, &mm->flags);
	}
692

693 694 695 696 697 698 699
	/*
	 * Make sure that the task is woken up from uninterruptible sleep
	 * if it is frozen because OOM killer wouldn't be able to free
	 * any memory and livelock. freezing_slow_path will tell the freezer
	 * that TIF_MEMDIE tasks should be ignored.
	 */
	__thaw_task(tsk);
700
	atomic_inc(&oom_victims);
701
	trace_mark_victim(tsk->pid);
702 703 704
}

/**
705
 * exit_oom_victim - note the exit of an OOM victim
706
 */
707
void exit_oom_victim(void)
708
{
709
	clear_thread_flag(TIF_MEMDIE);
710

711
	if (!atomic_dec_return(&oom_victims))
712 713 714
		wake_up_all(&oom_victims_wait);
}

715 716 717 718 719 720
/**
 * oom_killer_enable - enable OOM killer
 */
void oom_killer_enable(void)
{
	oom_killer_disabled = false;
M
Michal Hocko 已提交
721
	pr_info("OOM killer enabled.\n");
722 723
}

724 725
/**
 * oom_killer_disable - disable OOM killer
726
 * @timeout: maximum timeout to wait for oom victims in jiffies
727 728
 *
 * Forces all page allocations to fail rather than trigger OOM killer.
729 730
 * Will block and wait until all OOM victims are killed or the given
 * timeout expires.
731 732 733 734 735 736 737 738
 *
 * The function cannot be called when there are runnable user tasks because
 * the userspace would see unexpected allocation failures as a result. Any
 * new usage of this function should be consulted with MM people.
 *
 * Returns true if successful and false if the OOM killer cannot be
 * disabled.
 */
739
bool oom_killer_disable(signed long timeout)
740
{
741 742
	signed long ret;

743
	/*
744 745
	 * Make sure to not race with an ongoing OOM killer. Check that the
	 * current is not killed (possibly due to sharing the victim's memory).
746
	 */
747
	if (mutex_lock_killable(&oom_lock))
748 749
		return false;
	oom_killer_disabled = true;
750
	mutex_unlock(&oom_lock);
751

752 753 754 755 756 757
	ret = wait_event_interruptible_timeout(oom_victims_wait,
			!atomic_read(&oom_victims), timeout);
	if (ret <= 0) {
		oom_killer_enable();
		return false;
	}
M
Michal Hocko 已提交
758
	pr_info("OOM killer disabled.\n");
759 760 761 762

	return true;
}

763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787
static inline bool __task_will_free_mem(struct task_struct *task)
{
	struct signal_struct *sig = task->signal;

	/*
	 * A coredumping process may sleep for an extended period in exit_mm(),
	 * so the oom killer cannot assume that the process will promptly exit
	 * and release memory.
	 */
	if (sig->flags & SIGNAL_GROUP_COREDUMP)
		return false;

	if (sig->flags & SIGNAL_GROUP_EXIT)
		return true;

	if (thread_group_empty(task) && (task->flags & PF_EXITING))
		return true;

	return false;
}

/*
 * Checks whether the given task is dying or exiting and likely to
 * release its address space. This means that all threads and processes
 * sharing the same mm have to be killed or exiting.
788 789
 * Caller has to make sure that task->mm is stable (hold task_lock or
 * it operates on the current).
790
 */
791
static bool task_will_free_mem(struct task_struct *task)
792
{
793
	struct mm_struct *mm = task->mm;
794
	struct task_struct *p;
795
	bool ret = true;
796 797

	/*
798 799 800
	 * Skip tasks without mm because it might have passed its exit_mm and
	 * exit_oom_victim. oom_reaper could have rescued that but do not rely
	 * on that for now. We can consider find_lock_task_mm in future.
801
	 */
802
	if (!mm)
803 804
		return false;

805 806
	if (!__task_will_free_mem(task))
		return false;
807 808 809 810 811

	/*
	 * This task has already been drained by the oom reaper so there are
	 * only small chances it will free some more
	 */
812
	if (test_bit(MMF_OOM_SKIP, &mm->flags))
813 814
		return false;

815
	if (atomic_read(&mm->mm_users) <= 1)
816 817 818
		return true;

	/*
819 820 821
	 * Make sure that all tasks which share the mm with the given tasks
	 * are dying as well to make sure that a) nobody pins its mm and
	 * b) the task is also reapable by the oom reaper.
822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837
	 */
	rcu_read_lock();
	for_each_process(p) {
		if (!process_shares_mm(p, mm))
			continue;
		if (same_thread_group(task, p))
			continue;
		ret = __task_will_free_mem(p);
		if (!ret)
			break;
	}
	rcu_read_unlock();

	return ret;
}

838
static void oom_kill_process(struct oom_control *oc, const char *message)
L
Linus Torvalds 已提交
839
{
840 841
	struct task_struct *p = oc->chosen;
	unsigned int points = oc->chosen_points;
842
	struct task_struct *victim = p;
843
	struct task_struct *child;
844
	struct task_struct *t;
845
	struct mm_struct *mm;
846
	unsigned int victim_points = 0;
847 848
	static DEFINE_RATELIMIT_STATE(oom_rs, DEFAULT_RATELIMIT_INTERVAL,
					      DEFAULT_RATELIMIT_BURST);
849
	bool can_oom_reap = true;
L
Linus Torvalds 已提交
850

851 852
	/*
	 * If the task is already exiting, don't alarm the sysadmin or kill
853 854
	 * its children or threads, just give it access to memory reserves
	 * so it can die quickly
855
	 */
856
	task_lock(p);
857
	if (task_will_free_mem(p)) {
858
		mark_oom_victim(p);
859
		wake_oom_reaper(p);
860
		task_unlock(p);
861
		put_task_struct(p);
862
		return;
863
	}
864
	task_unlock(p);
865

866
	if (__ratelimit(&oom_rs))
867
		dump_header(oc, p);
868

869
	pr_err("%s: Kill process %d (%s) score %u or sacrifice child\n",
870
		message, task_pid_nr(p), p->comm, points);
N
Nick Piggin 已提交
871

872 873
	/*
	 * If any of p's children has a different mm and is eligible for kill,
874
	 * the one with the highest oom_badness() score is sacrificed for its
875 876 877
	 * parent.  This attempts to lose the minimal amount of work done while
	 * still freeing memory.
	 */
878
	read_lock(&tasklist_lock);
879
	for_each_thread(p, t) {
880
		list_for_each_entry(child, &t->children, sibling) {
D
David Rientjes 已提交
881
			unsigned int child_points;
882

883
			if (process_shares_mm(child, p->mm))
884
				continue;
D
David Rientjes 已提交
885 886 887
			/*
			 * oom_badness() returns 0 if the thread is unkillable
			 */
888
			child_points = oom_badness(child,
889
				oc->memcg, oc->nodemask, oc->totalpages);
890
			if (child_points > victim_points) {
891
				put_task_struct(victim);
892 893
				victim = child;
				victim_points = child_points;
894
				get_task_struct(victim);
895
			}
896
		}
897
	}
898
	read_unlock(&tasklist_lock);
899

900 901 902
	p = find_lock_task_mm(victim);
	if (!p) {
		put_task_struct(victim);
903
		return;
904 905 906 907 908
	} else if (victim != p) {
		get_task_struct(p);
		put_task_struct(victim);
		victim = p;
	}
909

910
	/* Get a reference to safely compare mm after task_unlock(victim) */
911
	mm = victim->mm;
V
Vegard Nossum 已提交
912
	mmgrab(mm);
913 914 915 916 917

	/* Raise event before sending signal: task reaper must see this */
	count_vm_event(OOM_KILL);
	count_memcg_event_mm(mm, OOM_KILL);

918
	/*
919 920 921
	 * We should send SIGKILL before granting access to memory reserves
	 * in order to prevent the OOM victim from depleting the memory
	 * reserves from the user space under its control.
922 923
	 */
	do_send_sig_info(SIGKILL, SEND_SIG_FORCED, victim, true);
924
	mark_oom_victim(victim);
925
	pr_err("Killed process %d (%s) total-vm:%lukB, anon-rss:%lukB, file-rss:%lukB, shmem-rss:%lukB\n",
926 927
		task_pid_nr(victim), victim->comm, K(victim->mm->total_vm),
		K(get_mm_counter(victim->mm, MM_ANONPAGES)),
928 929
		K(get_mm_counter(victim->mm, MM_FILEPAGES)),
		K(get_mm_counter(victim->mm, MM_SHMEMPAGES)));
930 931 932 933 934 935 936 937 938 939 940
	task_unlock(victim);

	/*
	 * Kill all user processes sharing victim->mm in other thread groups, if
	 * any.  They don't get access to memory reserves, though, to avoid
	 * depletion of all memory.  This prevents mm->mmap_sem livelock when an
	 * oom killed thread cannot exit because it requires the semaphore and
	 * its contended by another thread trying to allocate memory itself.
	 * That thread will now get access to memory reserves since it has a
	 * pending fatal signal.
	 */
941
	rcu_read_lock();
942
	for_each_process(p) {
943
		if (!process_shares_mm(p, mm))
944 945 946
			continue;
		if (same_thread_group(p, victim))
			continue;
947
		if (is_global_init(p)) {
M
Michal Hocko 已提交
948
			can_oom_reap = false;
949
			set_bit(MMF_OOM_SKIP, &mm->flags);
950 951 952
			pr_info("oom killer %d (%s) has mm pinned by %d (%s)\n",
					task_pid_nr(victim), victim->comm,
					task_pid_nr(p), p->comm);
953
			continue;
M
Michal Hocko 已提交
954
		}
955 956 957 958 959 960
		/*
		 * No use_mm() user needs to read from the userspace so we are
		 * ok to reap it.
		 */
		if (unlikely(p->flags & PF_KTHREAD))
			continue;
961 962
		do_send_sig_info(SIGKILL, SEND_SIG_FORCED, p, true);
	}
963
	rcu_read_unlock();
964

M
Michal Hocko 已提交
965
	if (can_oom_reap)
966
		wake_oom_reaper(victim);
M
Michal Hocko 已提交
967

968
	mmdrop(mm);
969
	put_task_struct(victim);
L
Linus Torvalds 已提交
970
}
971
#undef K
L
Linus Torvalds 已提交
972

973 974 975
/*
 * Determines whether the kernel must panic because of the panic_on_oom sysctl.
 */
976 977
static void check_panic_on_oom(struct oom_control *oc,
			       enum oom_constraint constraint)
978 979 980 981 982 983 984 985 986 987 988 989
{
	if (likely(!sysctl_panic_on_oom))
		return;
	if (sysctl_panic_on_oom != 2) {
		/*
		 * panic_on_oom == 1 only affects CONSTRAINT_NONE, the kernel
		 * does not panic for cpuset, mempolicy, or memcg allocation
		 * failures.
		 */
		if (constraint != CONSTRAINT_NONE)
			return;
	}
990
	/* Do not panic for oom kills triggered by sysrq */
991
	if (is_sysrq_oom(oc))
992
		return;
993
	dump_header(oc, NULL);
994 995 996 997
	panic("Out of memory: %s panic_on_oom is enabled\n",
		sysctl_panic_on_oom == 2 ? "compulsory" : "system-wide");
}

998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011
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);

L
Linus Torvalds 已提交
1012
/**
1013 1014
 * out_of_memory - kill the "best" process when we run out of memory
 * @oc: pointer to struct oom_control
L
Linus Torvalds 已提交
1015 1016 1017 1018 1019 1020
 *
 * 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.
 */
1021
bool out_of_memory(struct oom_control *oc)
L
Linus Torvalds 已提交
1022
{
1023
	unsigned long freed = 0;
1024
	enum oom_constraint constraint = CONSTRAINT_NONE;
1025

1026 1027 1028
	if (oom_killer_disabled)
		return false;

1029 1030 1031 1032 1033 1034
	if (!is_memcg_oom(oc)) {
		blocking_notifier_call_chain(&oom_notify_list, 0, &freed);
		if (freed > 0)
			/* Got some memory back in the last second. */
			return true;
	}
L
Linus Torvalds 已提交
1035

1036
	/*
1037 1038 1039
	 * If current has a pending SIGKILL or is exiting, then automatically
	 * select it.  The goal is to allow it to allocate so that it may
	 * quickly exit and free its memory.
1040
	 */
1041
	if (task_will_free_mem(current)) {
1042
		mark_oom_victim(current);
1043
		wake_oom_reaper(current);
1044
		return true;
1045 1046
	}

1047 1048 1049 1050 1051 1052
	/*
	 * The OOM killer does not compensate for IO-less reclaim.
	 * pagefault_out_of_memory lost its gfp context so we have to
	 * make sure exclude 0 mask - all other users should have at least
	 * ___GFP_DIRECT_RECLAIM to get here.
	 */
1053
	if (oc->gfp_mask && !(oc->gfp_mask & __GFP_FS))
1054 1055
		return true;

1056 1057
	/*
	 * Check if there were limitations on the allocation (only relevant for
1058
	 * NUMA and memcg) that may require different handling.
1059
	 */
1060
	constraint = constrained_alloc(oc);
1061 1062
	if (constraint != CONSTRAINT_MEMORY_POLICY)
		oc->nodemask = NULL;
1063
	check_panic_on_oom(oc, constraint);
1064

1065 1066
	if (!is_memcg_oom(oc) && sysctl_oom_kill_allocating_task &&
	    current->mm && !oom_unkillable_task(current, NULL, oc->nodemask) &&
1067
	    current->signal->oom_score_adj != OOM_SCORE_ADJ_MIN) {
1068
		get_task_struct(current);
1069 1070
		oc->chosen = current;
		oom_kill_process(oc, "Out of memory (oom_kill_allocating_task)");
1071
		return true;
1072 1073
	}

1074
	select_bad_process(oc);
1075
	/* Found nothing?!?! Either we hang forever, or we panic. */
1076
	if (!oc->chosen && !is_sysrq_oom(oc) && !is_memcg_oom(oc)) {
1077
		dump_header(oc, NULL);
1078 1079
		panic("Out of memory and no killable processes...\n");
	}
1080 1081 1082
	if (oc->chosen && oc->chosen != (void *)-1UL) {
		oom_kill_process(oc, !is_memcg_oom(oc) ? "Out of memory" :
				 "Memory cgroup out of memory");
1083 1084 1085 1086
		/*
		 * Give the killed process a good chance to exit before trying
		 * to allocate memory again.
		 */
1087
		schedule_timeout_killable(1);
1088
	}
1089
	return !!oc->chosen;
1090 1091
}

1092 1093
/*
 * The pagefault handler calls here because it is out of memory, so kill a
V
Vladimir Davydov 已提交
1094 1095
 * memory-hogging task. If oom_lock is held by somebody else, a parallel oom
 * killing is already in progress so do nothing.
1096 1097 1098
 */
void pagefault_out_of_memory(void)
{
1099 1100 1101
	struct oom_control oc = {
		.zonelist = NULL,
		.nodemask = NULL,
1102
		.memcg = NULL,
1103 1104 1105 1106
		.gfp_mask = 0,
		.order = 0,
	};

1107
	if (mem_cgroup_oom_synchronize(true))
1108
		return;
1109

1110 1111
	if (!mutex_trylock(&oom_lock))
		return;
1112
	out_of_memory(&oc);
1113
	mutex_unlock(&oom_lock);
1114
}