blob: a679613a7cb748bd895d1d217d1ac55b60e6f7e5 [file] [log] [blame]
Liu Xinpeng2fb75e12021-10-25 11:46:26 +08001// SPDX-License-Identifier: GPL-2.0
Johannes Weinereb414682018-10-26 15:06:27 -07002/*
3 * Pressure stall information for CPU, memory and IO
4 *
5 * Copyright (c) 2018 Facebook, Inc.
6 * Author: Johannes Weiner <hannes@cmpxchg.org>
7 *
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07008 * Polling support by Suren Baghdasaryan <surenb@google.com>
9 * Copyright (c) 2018 Google, Inc.
10 *
Johannes Weinereb414682018-10-26 15:06:27 -070011 * When CPU, memory and IO are contended, tasks experience delays that
12 * reduce throughput and introduce latencies into the workload. Memory
13 * and IO contention, in addition, can cause a full loss of forward
14 * progress in which the CPU goes idle.
15 *
16 * This code aggregates individual task delays into resource pressure
17 * metrics that indicate problems with both workload health and
18 * resource utilization.
19 *
20 * Model
21 *
22 * The time in which a task can execute on a CPU is our baseline for
23 * productivity. Pressure expresses the amount of time in which this
24 * potential cannot be realized due to resource contention.
25 *
26 * This concept of productivity has two components: the workload and
27 * the CPU. To measure the impact of pressure on both, we define two
28 * contention states for a resource: SOME and FULL.
29 *
30 * In the SOME state of a given resource, one or more tasks are
31 * delayed on that resource. This affects the workload's ability to
32 * perform work, but the CPU may still be executing other tasks.
33 *
34 * In the FULL state of a given resource, all non-idle tasks are
35 * delayed on that resource such that nobody is advancing and the CPU
36 * goes idle. This leaves both workload and CPU unproductive.
37 *
Johannes Weinereb414682018-10-26 15:06:27 -070038 * SOME = nr_delayed_tasks != 0
Brian Chencb0e52b2021-11-10 21:33:12 +000039 * FULL = nr_delayed_tasks != 0 && nr_productive_tasks == 0
40 *
41 * What it means for a task to be productive is defined differently
42 * for each resource. For IO, productive means a running task. For
43 * memory, productive means a running task that isn't a reclaimer. For
44 * CPU, productive means an oncpu task.
45 *
46 * Naturally, the FULL state doesn't exist for the CPU resource at the
47 * system level, but exist at the cgroup level. At the cgroup level,
48 * FULL means all non-idle tasks in the cgroup are delayed on the CPU
49 * resource which is being used by others outside of the cgroup or
50 * throttled by the cgroup cpu.max configuration.
Johannes Weinereb414682018-10-26 15:06:27 -070051 *
52 * The percentage of wallclock time spent in those compound stall
53 * states gives pressure numbers between 0 and 100 for each resource,
54 * where the SOME percentage indicates workload slowdowns and the FULL
55 * percentage indicates reduced CPU utilization:
56 *
57 * %SOME = time(SOME) / period
58 * %FULL = time(FULL) / period
59 *
60 * Multiple CPUs
61 *
62 * The more tasks and available CPUs there are, the more work can be
63 * performed concurrently. This means that the potential that can go
64 * unrealized due to resource contention *also* scales with non-idle
65 * tasks and CPUs.
66 *
67 * Consider a scenario where 257 number crunching tasks are trying to
68 * run concurrently on 256 CPUs. If we simply aggregated the task
69 * states, we would have to conclude a CPU SOME pressure number of
70 * 100%, since *somebody* is waiting on a runqueue at all
71 * times. However, that is clearly not the amount of contention the
Ingo Molnar3b037062021-03-18 13:38:50 +010072 * workload is experiencing: only one out of 256 possible execution
Johannes Weinereb414682018-10-26 15:06:27 -070073 * threads will be contended at any given time, or about 0.4%.
74 *
75 * Conversely, consider a scenario of 4 tasks and 4 CPUs where at any
76 * given time *one* of the tasks is delayed due to a lack of memory.
77 * Again, looking purely at the task state would yield a memory FULL
78 * pressure number of 0%, since *somebody* is always making forward
79 * progress. But again this wouldn't capture the amount of execution
80 * potential lost, which is 1 out of 4 CPUs, or 25%.
81 *
82 * To calculate wasted potential (pressure) with multiple processors,
83 * we have to base our calculation on the number of non-idle tasks in
84 * conjunction with the number of available CPUs, which is the number
85 * of potential execution threads. SOME becomes then the proportion of
Ingo Molnar3b037062021-03-18 13:38:50 +010086 * delayed tasks to possible threads, and FULL is the share of possible
Johannes Weinereb414682018-10-26 15:06:27 -070087 * threads that are unproductive due to delays:
88 *
89 * threads = min(nr_nonidle_tasks, nr_cpus)
90 * SOME = min(nr_delayed_tasks / threads, 1)
Brian Chencb0e52b2021-11-10 21:33:12 +000091 * FULL = (threads - min(nr_productive_tasks, threads)) / threads
Johannes Weinereb414682018-10-26 15:06:27 -070092 *
93 * For the 257 number crunchers on 256 CPUs, this yields:
94 *
95 * threads = min(257, 256)
96 * SOME = min(1 / 256, 1) = 0.4%
Brian Chencb0e52b2021-11-10 21:33:12 +000097 * FULL = (256 - min(256, 256)) / 256 = 0%
Johannes Weinereb414682018-10-26 15:06:27 -070098 *
99 * For the 1 out of 4 memory-delayed tasks, this yields:
100 *
101 * threads = min(4, 4)
102 * SOME = min(1 / 4, 1) = 25%
103 * FULL = (4 - min(3, 4)) / 4 = 25%
104 *
105 * [ Substitute nr_cpus with 1, and you can see that it's a natural
106 * extension of the single-CPU model. ]
107 *
108 * Implementation
109 *
110 * To assess the precise time spent in each such state, we would have
111 * to freeze the system on task changes and start/stop the state
112 * clocks accordingly. Obviously that doesn't scale in practice.
113 *
114 * Because the scheduler aims to distribute the compute load evenly
115 * among the available CPUs, we can track task state locally to each
116 * CPU and, at much lower frequency, extrapolate the global state for
117 * the cumulative stall times and the running averages.
118 *
119 * For each runqueue, we track:
120 *
121 * tSOME[cpu] = time(nr_delayed_tasks[cpu] != 0)
Brian Chencb0e52b2021-11-10 21:33:12 +0000122 * tFULL[cpu] = time(nr_delayed_tasks[cpu] && !nr_productive_tasks[cpu])
Johannes Weinereb414682018-10-26 15:06:27 -0700123 * tNONIDLE[cpu] = time(nr_nonidle_tasks[cpu] != 0)
124 *
125 * and then periodically aggregate:
126 *
127 * tNONIDLE = sum(tNONIDLE[i])
128 *
129 * tSOME = sum(tSOME[i] * tNONIDLE[i]) / tNONIDLE
130 * tFULL = sum(tFULL[i] * tNONIDLE[i]) / tNONIDLE
131 *
132 * %SOME = tSOME / period
133 * %FULL = tFULL / period
134 *
135 * This gives us an approximation of pressure that is practical
136 * cost-wise, yet way more sensitive and accurate than periodic
137 * sampling of the aggregate task states would be.
138 */
139
Johannes Weiner1b69ac62019-02-01 14:20:42 -0800140#include "../workqueue_internal.h"
Johannes Weinereb414682018-10-26 15:06:27 -0700141#include <linux/sched/loadavg.h>
142#include <linux/seq_file.h>
143#include <linux/proc_fs.h>
144#include <linux/seqlock.h>
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700145#include <linux/uaccess.h>
Johannes Weinereb414682018-10-26 15:06:27 -0700146#include <linux/cgroup.h>
147#include <linux/module.h>
148#include <linux/sched.h>
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700149#include <linux/ctype.h>
150#include <linux/file.h>
151#include <linux/poll.h>
Johannes Weinereb414682018-10-26 15:06:27 -0700152#include <linux/psi.h>
153#include "sched.h"
154
155static int psi_bug __read_mostly;
156
Johannes Weinere0c27442018-11-30 14:09:58 -0800157DEFINE_STATIC_KEY_FALSE(psi_disabled);
Suren Baghdasaryan3958e2d2021-05-24 12:53:39 -0700158DEFINE_STATIC_KEY_TRUE(psi_cgroups_enabled);
Johannes Weinere0c27442018-11-30 14:09:58 -0800159
160#ifdef CONFIG_PSI_DEFAULT_DISABLED
Suren Baghdasaryan9289c5e2019-05-14 15:40:59 -0700161static bool psi_enable;
Johannes Weinere0c27442018-11-30 14:09:58 -0800162#else
Suren Baghdasaryan9289c5e2019-05-14 15:40:59 -0700163static bool psi_enable = true;
Johannes Weinere0c27442018-11-30 14:09:58 -0800164#endif
165static int __init setup_psi(char *str)
166{
167 return kstrtobool(str, &psi_enable) == 0;
168}
169__setup("psi=", setup_psi);
Johannes Weinereb414682018-10-26 15:06:27 -0700170
171/* Running averages - we need to be higher-res than loadavg */
172#define PSI_FREQ (2*HZ+1) /* 2 sec intervals */
173#define EXP_10s 1677 /* 1/exp(2s/10s) as fixed-point */
174#define EXP_60s 1981 /* 1/exp(2s/60s) */
175#define EXP_300s 2034 /* 1/exp(2s/300s) */
176
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700177/* PSI trigger definitions */
178#define WINDOW_MIN_US 500000 /* Min window size is 500ms */
179#define WINDOW_MAX_US 10000000 /* Max window size is 10s */
180#define UPDATES_PER_WINDOW 10 /* 10 updates per window */
181
Johannes Weinereb414682018-10-26 15:06:27 -0700182/* Sampling frequency in nanoseconds */
183static u64 psi_period __read_mostly;
184
185/* System-level pressure and stall tracking */
186static DEFINE_PER_CPU(struct psi_group_cpu, system_group_pcpu);
Dan Schatzbergdf5ba5b2019-05-14 15:41:18 -0700187struct psi_group psi_system = {
Johannes Weinereb414682018-10-26 15:06:27 -0700188 .pcpu = &system_group_pcpu,
189};
190
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700191static void psi_avgs_work(struct work_struct *work);
Johannes Weinereb414682018-10-26 15:06:27 -0700192
Zhaoyang Huang8f91efd2021-06-11 08:29:34 +0800193static void poll_timer_fn(struct timer_list *t);
194
Johannes Weinereb414682018-10-26 15:06:27 -0700195static void group_init(struct psi_group *group)
196{
197 int cpu;
198
199 for_each_possible_cpu(cpu)
200 seqcount_init(&per_cpu_ptr(group->pcpu, cpu)->seq);
Johannes Weiner3dfbe252019-12-03 13:35:23 -0500201 group->avg_last_update = sched_clock();
202 group->avg_next_update = group->avg_last_update + psi_period;
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700203 INIT_DELAYED_WORK(&group->avgs_work, psi_avgs_work);
204 mutex_init(&group->avgs_lock);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700205 /* Init trigger-related members */
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700206 mutex_init(&group->trigger_lock);
207 INIT_LIST_HEAD(&group->triggers);
208 memset(group->nr_triggers, 0, sizeof(group->nr_triggers));
209 group->poll_states = 0;
210 group->poll_min_period = U32_MAX;
211 memset(group->polling_total, 0, sizeof(group->polling_total));
212 group->polling_next_update = ULLONG_MAX;
213 group->polling_until = 0;
Zhaoyang Huang8f91efd2021-06-11 08:29:34 +0800214 init_waitqueue_head(&group->poll_wait);
215 timer_setup(&group->poll_timer, poll_timer_fn, 0);
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700216 rcu_assign_pointer(group->poll_task, NULL);
Johannes Weinereb414682018-10-26 15:06:27 -0700217}
218
219void __init psi_init(void)
220{
Johannes Weinere0c27442018-11-30 14:09:58 -0800221 if (!psi_enable) {
222 static_branch_enable(&psi_disabled);
Johannes Weinereb414682018-10-26 15:06:27 -0700223 return;
Johannes Weinere0c27442018-11-30 14:09:58 -0800224 }
Johannes Weinereb414682018-10-26 15:06:27 -0700225
Suren Baghdasaryan3958e2d2021-05-24 12:53:39 -0700226 if (!cgroup_psi_enabled())
227 static_branch_disable(&psi_cgroups_enabled);
228
Johannes Weinereb414682018-10-26 15:06:27 -0700229 psi_period = jiffies_to_nsecs(PSI_FREQ);
230 group_init(&psi_system);
231}
232
233static bool test_state(unsigned int *tasks, enum psi_states state)
234{
235 switch (state) {
236 case PSI_IO_SOME:
Johannes Weinerfddc8ba2021-03-03 11:46:58 +0800237 return unlikely(tasks[NR_IOWAIT]);
Johannes Weinereb414682018-10-26 15:06:27 -0700238 case PSI_IO_FULL:
Johannes Weinerfddc8ba2021-03-03 11:46:58 +0800239 return unlikely(tasks[NR_IOWAIT] && !tasks[NR_RUNNING]);
Johannes Weinereb414682018-10-26 15:06:27 -0700240 case PSI_MEM_SOME:
Johannes Weinerfddc8ba2021-03-03 11:46:58 +0800241 return unlikely(tasks[NR_MEMSTALL]);
Johannes Weinereb414682018-10-26 15:06:27 -0700242 case PSI_MEM_FULL:
Brian Chencb0e52b2021-11-10 21:33:12 +0000243 return unlikely(tasks[NR_MEMSTALL] &&
244 tasks[NR_RUNNING] == tasks[NR_MEMSTALL_RUNNING]);
Johannes Weinereb414682018-10-26 15:06:27 -0700245 case PSI_CPU_SOME:
Johannes Weinerfddc8ba2021-03-03 11:46:58 +0800246 return unlikely(tasks[NR_RUNNING] > tasks[NR_ONCPU]);
Chengming Zhoue7fcd762021-03-03 11:46:56 +0800247 case PSI_CPU_FULL:
Johannes Weinerfddc8ba2021-03-03 11:46:58 +0800248 return unlikely(tasks[NR_RUNNING] && !tasks[NR_ONCPU]);
Johannes Weinereb414682018-10-26 15:06:27 -0700249 case PSI_NONIDLE:
250 return tasks[NR_IOWAIT] || tasks[NR_MEMSTALL] ||
251 tasks[NR_RUNNING];
252 default:
253 return false;
254 }
255}
256
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700257static void get_recent_times(struct psi_group *group, int cpu,
258 enum psi_aggregators aggregator, u32 *times,
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700259 u32 *pchanged_states)
Johannes Weinereb414682018-10-26 15:06:27 -0700260{
261 struct psi_group_cpu *groupc = per_cpu_ptr(group->pcpu, cpu);
Johannes Weinereb414682018-10-26 15:06:27 -0700262 u64 now, state_start;
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700263 enum psi_states s;
Johannes Weinereb414682018-10-26 15:06:27 -0700264 unsigned int seq;
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700265 u32 state_mask;
Johannes Weinereb414682018-10-26 15:06:27 -0700266
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700267 *pchanged_states = 0;
268
Johannes Weinereb414682018-10-26 15:06:27 -0700269 /* Snapshot a coherent view of the CPU state */
270 do {
271 seq = read_seqcount_begin(&groupc->seq);
272 now = cpu_clock(cpu);
273 memcpy(times, groupc->times, sizeof(groupc->times));
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700274 state_mask = groupc->state_mask;
Johannes Weinereb414682018-10-26 15:06:27 -0700275 state_start = groupc->state_start;
276 } while (read_seqcount_retry(&groupc->seq, seq));
277
278 /* Calculate state time deltas against the previous snapshot */
279 for (s = 0; s < NR_PSI_STATES; s++) {
280 u32 delta;
281 /*
282 * In addition to already concluded states, we also
283 * incorporate currently active states on the CPU,
284 * since states may last for many sampling periods.
285 *
286 * This way we keep our delta sampling buckets small
287 * (u32) and our reported pressure close to what's
288 * actually happening.
289 */
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700290 if (state_mask & (1 << s))
Johannes Weinereb414682018-10-26 15:06:27 -0700291 times[s] += now - state_start;
292
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700293 delta = times[s] - groupc->times_prev[aggregator][s];
294 groupc->times_prev[aggregator][s] = times[s];
Johannes Weinereb414682018-10-26 15:06:27 -0700295
296 times[s] = delta;
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700297 if (delta)
298 *pchanged_states |= (1 << s);
Johannes Weinereb414682018-10-26 15:06:27 -0700299 }
300}
301
302static void calc_avgs(unsigned long avg[3], int missed_periods,
303 u64 time, u64 period)
304{
305 unsigned long pct;
306
307 /* Fill in zeroes for periods of no activity */
308 if (missed_periods) {
309 avg[0] = calc_load_n(avg[0], EXP_10s, 0, missed_periods);
310 avg[1] = calc_load_n(avg[1], EXP_60s, 0, missed_periods);
311 avg[2] = calc_load_n(avg[2], EXP_300s, 0, missed_periods);
312 }
313
314 /* Sample the most recent active period */
315 pct = div_u64(time * 100, period);
316 pct *= FIXED_1;
317 avg[0] = calc_load(avg[0], EXP_10s, pct);
318 avg[1] = calc_load(avg[1], EXP_60s, pct);
319 avg[2] = calc_load(avg[2], EXP_300s, pct);
320}
321
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700322static void collect_percpu_times(struct psi_group *group,
323 enum psi_aggregators aggregator,
324 u32 *pchanged_states)
Johannes Weinereb414682018-10-26 15:06:27 -0700325{
326 u64 deltas[NR_PSI_STATES - 1] = { 0, };
Johannes Weinereb414682018-10-26 15:06:27 -0700327 unsigned long nonidle_total = 0;
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700328 u32 changed_states = 0;
Johannes Weinereb414682018-10-26 15:06:27 -0700329 int cpu;
330 int s;
331
Johannes Weinereb414682018-10-26 15:06:27 -0700332 /*
333 * Collect the per-cpu time buckets and average them into a
334 * single time sample that is normalized to wallclock time.
335 *
336 * For averaging, each CPU is weighted by its non-idle time in
337 * the sampling period. This eliminates artifacts from uneven
338 * loading, or even entirely idle CPUs.
339 */
340 for_each_possible_cpu(cpu) {
341 u32 times[NR_PSI_STATES];
342 u32 nonidle;
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700343 u32 cpu_changed_states;
Johannes Weinereb414682018-10-26 15:06:27 -0700344
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700345 get_recent_times(group, cpu, aggregator, times,
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700346 &cpu_changed_states);
347 changed_states |= cpu_changed_states;
Johannes Weinereb414682018-10-26 15:06:27 -0700348
349 nonidle = nsecs_to_jiffies(times[PSI_NONIDLE]);
350 nonidle_total += nonidle;
351
352 for (s = 0; s < PSI_NONIDLE; s++)
353 deltas[s] += (u64)times[s] * nonidle;
354 }
355
356 /*
357 * Integrate the sample into the running statistics that are
358 * reported to userspace: the cumulative stall times and the
359 * decaying averages.
360 *
361 * Pressure percentages are sampled at PSI_FREQ. We might be
362 * called more often when the user polls more frequently than
363 * that; we might be called less often when there is no task
364 * activity, thus no data, and clock ticks are sporadic. The
365 * below handles both.
366 */
367
368 /* total= */
369 for (s = 0; s < NR_PSI_STATES - 1; s++)
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700370 group->total[aggregator][s] +=
371 div_u64(deltas[s], max(nonidle_total, 1UL));
Johannes Weinereb414682018-10-26 15:06:27 -0700372
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700373 if (pchanged_states)
374 *pchanged_states = changed_states;
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -0700375}
376
377static u64 update_averages(struct psi_group *group, u64 now)
378{
379 unsigned long missed_periods = 0;
380 u64 expires, period;
381 u64 avg_next_update;
382 int s;
383
Johannes Weinereb414682018-10-26 15:06:27 -0700384 /* avgX= */
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700385 expires = group->avg_next_update;
Johannes Weiner4e375042019-02-20 22:19:59 -0800386 if (now - expires >= psi_period)
Johannes Weinereb414682018-10-26 15:06:27 -0700387 missed_periods = div_u64(now - expires, psi_period);
388
389 /*
390 * The periodic clock tick can get delayed for various
391 * reasons, especially on loaded systems. To avoid clock
392 * drift, we schedule the clock in fixed psi_period intervals.
393 * But the deltas we sample out of the per-cpu buckets above
394 * are based on the actual time elapsing between clock ticks.
395 */
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -0700396 avg_next_update = expires + ((1 + missed_periods) * psi_period);
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700397 period = now - (group->avg_last_update + (missed_periods * psi_period));
398 group->avg_last_update = now;
Johannes Weinereb414682018-10-26 15:06:27 -0700399
400 for (s = 0; s < NR_PSI_STATES - 1; s++) {
401 u32 sample;
402
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700403 sample = group->total[PSI_AVGS][s] - group->avg_total[s];
Johannes Weinereb414682018-10-26 15:06:27 -0700404 /*
405 * Due to the lockless sampling of the time buckets,
406 * recorded time deltas can slip into the next period,
407 * which under full pressure can result in samples in
408 * excess of the period length.
409 *
410 * We don't want to report non-sensical pressures in
411 * excess of 100%, nor do we want to drop such events
412 * on the floor. Instead we punt any overage into the
413 * future until pressure subsides. By doing this we
414 * don't underreport the occurring pressure curve, we
415 * just report it delayed by one period length.
416 *
417 * The error isn't cumulative. As soon as another
418 * delta slips from a period P to P+1, by definition
419 * it frees up its time T in P.
420 */
421 if (sample > period)
422 sample = period;
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700423 group->avg_total[s] += sample;
Johannes Weinereb414682018-10-26 15:06:27 -0700424 calc_avgs(group->avg[s], missed_periods, sample, period);
425 }
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -0700426
427 return avg_next_update;
Johannes Weinereb414682018-10-26 15:06:27 -0700428}
429
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700430static void psi_avgs_work(struct work_struct *work)
Johannes Weinereb414682018-10-26 15:06:27 -0700431{
432 struct delayed_work *dwork;
433 struct psi_group *group;
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700434 u32 changed_states;
Johannes Weinereb414682018-10-26 15:06:27 -0700435 bool nonidle;
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -0700436 u64 now;
Johannes Weinereb414682018-10-26 15:06:27 -0700437
438 dwork = to_delayed_work(work);
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700439 group = container_of(dwork, struct psi_group, avgs_work);
Johannes Weinereb414682018-10-26 15:06:27 -0700440
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -0700441 mutex_lock(&group->avgs_lock);
442
443 now = sched_clock();
444
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700445 collect_percpu_times(group, PSI_AVGS, &changed_states);
Suren Baghdasaryan333f3017c2019-05-14 15:41:09 -0700446 nonidle = changed_states & (1 << PSI_NONIDLE);
Johannes Weinereb414682018-10-26 15:06:27 -0700447 /*
448 * If there is task activity, periodically fold the per-cpu
449 * times and feed samples into the running averages. If things
450 * are idle and there is no data to process, stop the clock.
451 * Once restarted, we'll catch up the running averages in one
452 * go - see calc_avgs() and missed_periods.
453 */
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -0700454 if (now >= group->avg_next_update)
455 group->avg_next_update = update_averages(group, now);
Johannes Weinereb414682018-10-26 15:06:27 -0700456
457 if (nonidle) {
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -0700458 schedule_delayed_work(dwork, nsecs_to_jiffies(
459 group->avg_next_update - now) + 1);
Johannes Weinereb414682018-10-26 15:06:27 -0700460 }
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -0700461
462 mutex_unlock(&group->avgs_lock);
Johannes Weinereb414682018-10-26 15:06:27 -0700463}
464
Ingo Molnar3b037062021-03-18 13:38:50 +0100465/* Trigger tracking window manipulations */
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700466static void window_reset(struct psi_window *win, u64 now, u64 value,
467 u64 prev_growth)
468{
469 win->start_time = now;
470 win->start_value = value;
471 win->prev_growth = prev_growth;
472}
473
474/*
475 * PSI growth tracking window update and growth calculation routine.
476 *
477 * This approximates a sliding tracking window by interpolating
478 * partially elapsed windows using historical growth data from the
479 * previous intervals. This minimizes memory requirements (by not storing
480 * all the intermediate values in the previous window) and simplifies
481 * the calculations. It works well because PSI signal changes only in
482 * positive direction and over relatively small window sizes the growth
483 * is close to linear.
484 */
485static u64 window_update(struct psi_window *win, u64 now, u64 value)
486{
487 u64 elapsed;
488 u64 growth;
489
490 elapsed = now - win->start_time;
491 growth = value - win->start_value;
492 /*
493 * After each tracking window passes win->start_value and
494 * win->start_time get reset and win->prev_growth stores
495 * the average per-window growth of the previous window.
496 * win->prev_growth is then used to interpolate additional
497 * growth from the previous window assuming it was linear.
498 */
499 if (elapsed > win->size)
500 window_reset(win, now, value, growth);
501 else {
502 u32 remaining;
503
504 remaining = win->size - elapsed;
Johannes Weinerc3466952019-12-03 13:35:24 -0500505 growth += div64_u64(win->prev_growth * remaining, win->size);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700506 }
507
508 return growth;
509}
510
511static void init_triggers(struct psi_group *group, u64 now)
512{
513 struct psi_trigger *t;
514
515 list_for_each_entry(t, &group->triggers, node)
516 window_reset(&t->win, now,
517 group->total[PSI_POLL][t->state], 0);
518 memcpy(group->polling_total, group->total[PSI_POLL],
519 sizeof(group->polling_total));
520 group->polling_next_update = now + group->poll_min_period;
521}
522
523static u64 update_triggers(struct psi_group *group, u64 now)
524{
525 struct psi_trigger *t;
526 bool new_stall = false;
527 u64 *total = group->total[PSI_POLL];
528
529 /*
530 * On subsequent updates, calculate growth deltas and let
531 * watchers know when their specified thresholds are exceeded.
532 */
533 list_for_each_entry(t, &group->triggers, node) {
534 u64 growth;
535
536 /* Check for stall activity */
537 if (group->polling_total[t->state] == total[t->state])
538 continue;
539
540 /*
541 * Multiple triggers might be looking at the same state,
542 * remember to update group->polling_total[] once we've
543 * been through all of them. Also remember to extend the
544 * polling time if we see new stall activity.
545 */
546 new_stall = true;
547
548 /* Calculate growth since last update */
549 growth = window_update(&t->win, now, total[t->state]);
550 if (growth < t->threshold)
551 continue;
552
553 /* Limit event signaling to once per window */
554 if (now < t->last_event_time + t->win.size)
555 continue;
556
557 /* Generate an event */
558 if (cmpxchg(&t->event, 0, 1) == 0)
559 wake_up_interruptible(&t->event_wait);
560 t->last_event_time = now;
561 }
562
563 if (new_stall)
564 memcpy(group->polling_total, total,
565 sizeof(group->polling_total));
566
567 return now + group->poll_min_period;
568}
569
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700570/* Schedule polling if it's not already scheduled. */
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700571static void psi_schedule_poll_work(struct psi_group *group, unsigned long delay)
572{
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700573 struct task_struct *task;
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700574
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700575 /*
576 * Do not reschedule if already scheduled.
577 * Possible race with a timer scheduled after this check but before
578 * mod_timer below can be tolerated because group->polling_next_update
579 * will keep updates on schedule.
580 */
581 if (timer_pending(&group->poll_timer))
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700582 return;
583
584 rcu_read_lock();
585
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700586 task = rcu_dereference(group->poll_task);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700587 /*
588 * kworker might be NULL in case psi_trigger_destroy races with
589 * psi_task_change (hotpath) which can't use locks
590 */
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700591 if (likely(task))
592 mod_timer(&group->poll_timer, jiffies + delay);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700593
594 rcu_read_unlock();
595}
596
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700597static void psi_poll_work(struct psi_group *group)
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700598{
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700599 u32 changed_states;
600 u64 now;
601
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700602 mutex_lock(&group->trigger_lock);
603
604 now = sched_clock();
605
606 collect_percpu_times(group, PSI_POLL, &changed_states);
607
608 if (changed_states & group->poll_states) {
609 /* Initialize trigger windows when entering polling mode */
610 if (now > group->polling_until)
611 init_triggers(group, now);
612
613 /*
614 * Keep the monitor active for at least the duration of the
615 * minimum tracking window as long as monitor states are
616 * changing.
617 */
618 group->polling_until = now +
619 group->poll_min_period * UPDATES_PER_WINDOW;
620 }
621
622 if (now > group->polling_until) {
623 group->polling_next_update = ULLONG_MAX;
624 goto out;
625 }
626
627 if (now >= group->polling_next_update)
628 group->polling_next_update = update_triggers(group, now);
629
630 psi_schedule_poll_work(group,
631 nsecs_to_jiffies(group->polling_next_update - now) + 1);
632
633out:
634 mutex_unlock(&group->trigger_lock);
635}
636
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700637static int psi_poll_worker(void *data)
638{
639 struct psi_group *group = (struct psi_group *)data;
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700640
Peter Zijlstra2cca5422020-04-21 12:09:13 +0200641 sched_set_fifo_low(current);
Suren Baghdasaryan461daba2020-05-28 12:54:42 -0700642
643 while (true) {
644 wait_event_interruptible(group->poll_wait,
645 atomic_cmpxchg(&group->poll_wakeup, 1, 0) ||
646 kthread_should_stop());
647 if (kthread_should_stop())
648 break;
649
650 psi_poll_work(group);
651 }
652 return 0;
653}
654
655static void poll_timer_fn(struct timer_list *t)
656{
657 struct psi_group *group = from_timer(group, t, poll_timer);
658
659 atomic_set(&group->poll_wakeup, 1);
660 wake_up_interruptible(&group->poll_wait);
661}
662
Shakeel Buttdf774302021-03-21 13:51:56 -0700663static void record_times(struct psi_group_cpu *groupc, u64 now)
Johannes Weinereb414682018-10-26 15:06:27 -0700664{
665 u32 delta;
Johannes Weinereb414682018-10-26 15:06:27 -0700666
Johannes Weinereb414682018-10-26 15:06:27 -0700667 delta = now - groupc->state_start;
668 groupc->state_start = now;
669
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700670 if (groupc->state_mask & (1 << PSI_IO_SOME)) {
Johannes Weinereb414682018-10-26 15:06:27 -0700671 groupc->times[PSI_IO_SOME] += delta;
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700672 if (groupc->state_mask & (1 << PSI_IO_FULL))
Johannes Weinereb414682018-10-26 15:06:27 -0700673 groupc->times[PSI_IO_FULL] += delta;
674 }
675
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700676 if (groupc->state_mask & (1 << PSI_MEM_SOME)) {
Johannes Weinereb414682018-10-26 15:06:27 -0700677 groupc->times[PSI_MEM_SOME] += delta;
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700678 if (groupc->state_mask & (1 << PSI_MEM_FULL))
Johannes Weinereb414682018-10-26 15:06:27 -0700679 groupc->times[PSI_MEM_FULL] += delta;
Johannes Weinereb414682018-10-26 15:06:27 -0700680 }
681
Chengming Zhoue7fcd762021-03-03 11:46:56 +0800682 if (groupc->state_mask & (1 << PSI_CPU_SOME)) {
Johannes Weinereb414682018-10-26 15:06:27 -0700683 groupc->times[PSI_CPU_SOME] += delta;
Chengming Zhoue7fcd762021-03-03 11:46:56 +0800684 if (groupc->state_mask & (1 << PSI_CPU_FULL))
685 groupc->times[PSI_CPU_FULL] += delta;
686 }
Johannes Weinereb414682018-10-26 15:06:27 -0700687
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700688 if (groupc->state_mask & (1 << PSI_NONIDLE))
Johannes Weinereb414682018-10-26 15:06:27 -0700689 groupc->times[PSI_NONIDLE] += delta;
690}
691
Johannes Weiner36b238d2020-03-16 15:13:32 -0400692static void psi_group_change(struct psi_group *group, int cpu,
Shakeel Buttdf774302021-03-21 13:51:56 -0700693 unsigned int clear, unsigned int set, u64 now,
Johannes Weiner36b238d2020-03-16 15:13:32 -0400694 bool wake_clock)
Johannes Weinereb414682018-10-26 15:06:27 -0700695{
696 struct psi_group_cpu *groupc;
Johannes Weiner36b238d2020-03-16 15:13:32 -0400697 u32 state_mask = 0;
Johannes Weinereb414682018-10-26 15:06:27 -0700698 unsigned int t, m;
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700699 enum psi_states s;
Johannes Weinereb414682018-10-26 15:06:27 -0700700
701 groupc = per_cpu_ptr(group->pcpu, cpu);
702
703 /*
704 * First we assess the aggregate resource states this CPU's
705 * tasks have been in since the last change, and account any
706 * SOME and FULL time these may have resulted in.
707 *
708 * Then we update the task counts according to the state
709 * change requested through the @clear and @set bits.
710 */
711 write_seqcount_begin(&groupc->seq);
712
Shakeel Buttdf774302021-03-21 13:51:56 -0700713 record_times(groupc, now);
Johannes Weinereb414682018-10-26 15:06:27 -0700714
715 for (t = 0, m = clear; m; m &= ~(1 << t), t++) {
716 if (!(m & (1 << t)))
717 continue;
Charan Teja Reddy9d10a132021-04-16 20:32:16 +0530718 if (groupc->tasks[t]) {
719 groupc->tasks[t]--;
720 } else if (!psi_bug) {
Brian Chencb0e52b2021-11-10 21:33:12 +0000721 printk_deferred(KERN_ERR "psi: task underflow! cpu=%d t=%d tasks=[%u %u %u %u %u] clear=%x set=%x\n",
Johannes Weinereb414682018-10-26 15:06:27 -0700722 cpu, t, groupc->tasks[0],
723 groupc->tasks[1], groupc->tasks[2],
Brian Chencb0e52b2021-11-10 21:33:12 +0000724 groupc->tasks[3], groupc->tasks[4],
725 clear, set);
Johannes Weinereb414682018-10-26 15:06:27 -0700726 psi_bug = 1;
727 }
Johannes Weinereb414682018-10-26 15:06:27 -0700728 }
729
730 for (t = 0; set; set &= ~(1 << t), t++)
731 if (set & (1 << t))
732 groupc->tasks[t]++;
733
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700734 /* Calculate state mask representing active states */
735 for (s = 0; s < NR_PSI_STATES; s++) {
736 if (test_state(groupc->tasks, s))
737 state_mask |= (1 << s);
738 }
Chengming Zhou7fae6c82021-03-03 11:46:57 +0800739
740 /*
741 * Since we care about lost potential, a memstall is FULL
742 * when there are no other working tasks, but also when
743 * the CPU is actively reclaiming and nothing productive
744 * could run even if it were runnable. So when the current
745 * task in a cgroup is in_memstall, the corresponding groupc
746 * on that cpu is in PSI_MEM_FULL state.
747 */
Johannes Weinerfddc8ba2021-03-03 11:46:58 +0800748 if (unlikely(groupc->tasks[NR_ONCPU] && cpu_curr(cpu)->in_memstall))
Chengming Zhou7fae6c82021-03-03 11:46:57 +0800749 state_mask |= (1 << PSI_MEM_FULL);
750
Suren Baghdasaryan33b2d632019-05-14 15:40:56 -0700751 groupc->state_mask = state_mask;
752
Johannes Weinereb414682018-10-26 15:06:27 -0700753 write_seqcount_end(&groupc->seq);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700754
Johannes Weiner36b238d2020-03-16 15:13:32 -0400755 if (state_mask & group->poll_states)
756 psi_schedule_poll_work(group, 1);
757
758 if (wake_clock && !delayed_work_pending(&group->avgs_work))
759 schedule_delayed_work(&group->avgs_work, PSI_FREQ);
Johannes Weinereb414682018-10-26 15:06:27 -0700760}
761
Johannes Weiner2ce71352018-10-26 15:06:31 -0700762static struct psi_group *iterate_groups(struct task_struct *task, void **iter)
763{
Suren Baghdasaryan3958e2d2021-05-24 12:53:39 -0700764 if (*iter == &psi_system)
765 return NULL;
766
Johannes Weiner2ce71352018-10-26 15:06:31 -0700767#ifdef CONFIG_CGROUPS
Suren Baghdasaryan3958e2d2021-05-24 12:53:39 -0700768 if (static_branch_likely(&psi_cgroups_enabled)) {
769 struct cgroup *cgroup = NULL;
Johannes Weiner2ce71352018-10-26 15:06:31 -0700770
Suren Baghdasaryan3958e2d2021-05-24 12:53:39 -0700771 if (!*iter)
772 cgroup = task->cgroups->dfl_cgrp;
773 else
774 cgroup = cgroup_parent(*iter);
Johannes Weiner2ce71352018-10-26 15:06:31 -0700775
Suren Baghdasaryan3958e2d2021-05-24 12:53:39 -0700776 if (cgroup && cgroup_parent(cgroup)) {
777 *iter = cgroup;
778 return cgroup_psi(cgroup);
779 }
Johannes Weiner2ce71352018-10-26 15:06:31 -0700780 }
Johannes Weiner2ce71352018-10-26 15:06:31 -0700781#endif
782 *iter = &psi_system;
783 return &psi_system;
784}
785
Johannes Weiner36b238d2020-03-16 15:13:32 -0400786static void psi_flags_change(struct task_struct *task, int clear, int set)
787{
788 if (((task->psi_flags & set) ||
789 (task->psi_flags & clear) != clear) &&
790 !psi_bug) {
791 printk_deferred(KERN_ERR "psi: inconsistent task state! task=%d:%s cpu=%d psi_flags=%x clear=%x set=%x\n",
792 task->pid, task->comm, task_cpu(task),
793 task->psi_flags, clear, set);
794 psi_bug = 1;
795 }
796
797 task->psi_flags &= ~clear;
798 task->psi_flags |= set;
799}
800
Johannes Weinereb414682018-10-26 15:06:27 -0700801void psi_task_change(struct task_struct *task, int clear, int set)
802{
803 int cpu = task_cpu(task);
Johannes Weiner2ce71352018-10-26 15:06:31 -0700804 struct psi_group *group;
Johannes Weiner1b69ac62019-02-01 14:20:42 -0800805 bool wake_clock = true;
Johannes Weiner2ce71352018-10-26 15:06:31 -0700806 void *iter = NULL;
Shakeel Buttdf774302021-03-21 13:51:56 -0700807 u64 now;
Johannes Weinereb414682018-10-26 15:06:27 -0700808
809 if (!task->pid)
810 return;
811
Johannes Weiner36b238d2020-03-16 15:13:32 -0400812 psi_flags_change(task, clear, set);
Johannes Weinereb414682018-10-26 15:06:27 -0700813
Shakeel Buttdf774302021-03-21 13:51:56 -0700814 now = cpu_clock(cpu);
Johannes Weiner1b69ac62019-02-01 14:20:42 -0800815 /*
816 * Periodic aggregation shuts off if there is a period of no
817 * task changes, so we wake it back up if necessary. However,
818 * don't do this if the task change is the aggregation worker
819 * itself going to sleep, or we'll ping-pong forever.
820 */
821 if (unlikely((clear & TSK_RUNNING) &&
822 (task->flags & PF_WQ_WORKER) &&
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700823 wq_worker_last_func(task) == psi_avgs_work))
Johannes Weiner1b69ac62019-02-01 14:20:42 -0800824 wake_clock = false;
825
Johannes Weiner36b238d2020-03-16 15:13:32 -0400826 while ((group = iterate_groups(task, &iter)))
Shakeel Buttdf774302021-03-21 13:51:56 -0700827 psi_group_change(group, cpu, clear, set, now, wake_clock);
Johannes Weiner36b238d2020-03-16 15:13:32 -0400828}
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700829
Johannes Weiner36b238d2020-03-16 15:13:32 -0400830void psi_task_switch(struct task_struct *prev, struct task_struct *next,
831 bool sleep)
832{
833 struct psi_group *group, *common = NULL;
834 int cpu = task_cpu(prev);
835 void *iter;
Shakeel Buttdf774302021-03-21 13:51:56 -0700836 u64 now = cpu_clock(cpu);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700837
Johannes Weiner36b238d2020-03-16 15:13:32 -0400838 if (next->pid) {
Chengming Zhou7fae6c82021-03-03 11:46:57 +0800839 bool identical_state;
840
Johannes Weiner36b238d2020-03-16 15:13:32 -0400841 psi_flags_change(next, 0, TSK_ONCPU);
842 /*
Chengming Zhou7fae6c82021-03-03 11:46:57 +0800843 * When switching between tasks that have an identical
844 * runtime state, the cgroup that contains both tasks
Chengming Zhou7fae6c82021-03-03 11:46:57 +0800845 * we reach the first common ancestor. Iterate @next's
846 * ancestors only until we encounter @prev's ONCPU.
Johannes Weiner36b238d2020-03-16 15:13:32 -0400847 */
Chengming Zhou7fae6c82021-03-03 11:46:57 +0800848 identical_state = prev->psi_flags == next->psi_flags;
Johannes Weiner36b238d2020-03-16 15:13:32 -0400849 iter = NULL;
850 while ((group = iterate_groups(next, &iter))) {
Chengming Zhou7fae6c82021-03-03 11:46:57 +0800851 if (identical_state &&
852 per_cpu_ptr(group->pcpu, cpu)->tasks[NR_ONCPU]) {
Johannes Weiner36b238d2020-03-16 15:13:32 -0400853 common = group;
854 break;
855 }
856
Shakeel Buttdf774302021-03-21 13:51:56 -0700857 psi_group_change(group, cpu, 0, TSK_ONCPU, now, true);
Johannes Weiner36b238d2020-03-16 15:13:32 -0400858 }
859 }
860
Johannes Weiner36b238d2020-03-16 15:13:32 -0400861 if (prev->pid) {
Chengming Zhou4117ceb2021-03-03 11:46:59 +0800862 int clear = TSK_ONCPU, set = 0;
863
864 /*
Brian Chencb0e52b2021-11-10 21:33:12 +0000865 * When we're going to sleep, psi_dequeue() lets us
866 * handle TSK_RUNNING, TSK_MEMSTALL_RUNNING and
867 * TSK_IOWAIT here, where we can combine it with
868 * TSK_ONCPU and save walking common ancestors twice.
Chengming Zhou4117ceb2021-03-03 11:46:59 +0800869 */
870 if (sleep) {
871 clear |= TSK_RUNNING;
Brian Chencb0e52b2021-11-10 21:33:12 +0000872 if (prev->in_memstall)
873 clear |= TSK_MEMSTALL_RUNNING;
Chengming Zhou4117ceb2021-03-03 11:46:59 +0800874 if (prev->in_iowait)
875 set |= TSK_IOWAIT;
876 }
877
878 psi_flags_change(prev, clear, set);
Johannes Weiner36b238d2020-03-16 15:13:32 -0400879
880 iter = NULL;
881 while ((group = iterate_groups(prev, &iter)) && group != common)
Shakeel Buttdf774302021-03-21 13:51:56 -0700882 psi_group_change(group, cpu, clear, set, now, true);
Chengming Zhou4117ceb2021-03-03 11:46:59 +0800883
884 /*
885 * TSK_ONCPU is handled up to the common ancestor. If we're tasked
886 * with dequeuing too, finish that for the rest of the hierarchy.
887 */
888 if (sleep) {
889 clear &= ~TSK_ONCPU;
890 for (; group; group = iterate_groups(prev, &iter))
Shakeel Buttdf774302021-03-21 13:51:56 -0700891 psi_group_change(group, cpu, clear, set, now, true);
Chengming Zhou4117ceb2021-03-03 11:46:59 +0800892 }
Johannes Weiner1b69ac62019-02-01 14:20:42 -0800893 }
Johannes Weinereb414682018-10-26 15:06:27 -0700894}
895
Johannes Weinereb414682018-10-26 15:06:27 -0700896/**
897 * psi_memstall_enter - mark the beginning of a memory stall section
898 * @flags: flags to handle nested sections
899 *
900 * Marks the calling task as being stalled due to a lack of memory,
901 * such as waiting for a refault or performing reclaim.
902 */
903void psi_memstall_enter(unsigned long *flags)
904{
905 struct rq_flags rf;
906 struct rq *rq;
907
Johannes Weinere0c27442018-11-30 14:09:58 -0800908 if (static_branch_likely(&psi_disabled))
Johannes Weinereb414682018-10-26 15:06:27 -0700909 return;
910
Yafang Shao1066d1b2020-03-16 21:28:05 -0400911 *flags = current->in_memstall;
Johannes Weinereb414682018-10-26 15:06:27 -0700912 if (*flags)
913 return;
914 /*
Yafang Shao1066d1b2020-03-16 21:28:05 -0400915 * in_memstall setting & accounting needs to be atomic wrt
Johannes Weinereb414682018-10-26 15:06:27 -0700916 * changes to the task's scheduling state, otherwise we can
917 * race with CPU migration.
918 */
919 rq = this_rq_lock_irq(&rf);
920
Yafang Shao1066d1b2020-03-16 21:28:05 -0400921 current->in_memstall = 1;
Brian Chencb0e52b2021-11-10 21:33:12 +0000922 psi_task_change(current, 0, TSK_MEMSTALL | TSK_MEMSTALL_RUNNING);
Johannes Weinereb414682018-10-26 15:06:27 -0700923
924 rq_unlock_irq(rq, &rf);
925}
926
927/**
928 * psi_memstall_leave - mark the end of an memory stall section
929 * @flags: flags to handle nested memdelay sections
930 *
931 * Marks the calling task as no longer stalled due to lack of memory.
932 */
933void psi_memstall_leave(unsigned long *flags)
934{
935 struct rq_flags rf;
936 struct rq *rq;
937
Johannes Weinere0c27442018-11-30 14:09:58 -0800938 if (static_branch_likely(&psi_disabled))
Johannes Weinereb414682018-10-26 15:06:27 -0700939 return;
940
941 if (*flags)
942 return;
943 /*
Yafang Shao1066d1b2020-03-16 21:28:05 -0400944 * in_memstall clearing & accounting needs to be atomic wrt
Johannes Weinereb414682018-10-26 15:06:27 -0700945 * changes to the task's scheduling state, otherwise we could
946 * race with CPU migration.
947 */
948 rq = this_rq_lock_irq(&rf);
949
Yafang Shao1066d1b2020-03-16 21:28:05 -0400950 current->in_memstall = 0;
Brian Chencb0e52b2021-11-10 21:33:12 +0000951 psi_task_change(current, TSK_MEMSTALL | TSK_MEMSTALL_RUNNING, 0);
Johannes Weinereb414682018-10-26 15:06:27 -0700952
953 rq_unlock_irq(rq, &rf);
954}
955
Johannes Weiner2ce71352018-10-26 15:06:31 -0700956#ifdef CONFIG_CGROUPS
957int psi_cgroup_alloc(struct cgroup *cgroup)
958{
Johannes Weinere0c27442018-11-30 14:09:58 -0800959 if (static_branch_likely(&psi_disabled))
Johannes Weiner2ce71352018-10-26 15:06:31 -0700960 return 0;
961
962 cgroup->psi.pcpu = alloc_percpu(struct psi_group_cpu);
963 if (!cgroup->psi.pcpu)
964 return -ENOMEM;
965 group_init(&cgroup->psi);
966 return 0;
967}
968
969void psi_cgroup_free(struct cgroup *cgroup)
970{
Johannes Weinere0c27442018-11-30 14:09:58 -0800971 if (static_branch_likely(&psi_disabled))
Johannes Weiner2ce71352018-10-26 15:06:31 -0700972 return;
973
Suren Baghdasaryanbcc78db2019-05-14 15:41:02 -0700974 cancel_delayed_work_sync(&cgroup->psi.avgs_work);
Johannes Weiner2ce71352018-10-26 15:06:31 -0700975 free_percpu(cgroup->psi.pcpu);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -0700976 /* All triggers must be removed by now */
977 WARN_ONCE(cgroup->psi.poll_states, "psi: trigger leak\n");
Johannes Weiner2ce71352018-10-26 15:06:31 -0700978}
979
980/**
981 * cgroup_move_task - move task to a different cgroup
982 * @task: the task
983 * @to: the target css_set
984 *
985 * Move task to a new cgroup and safely migrate its associated stall
986 * state between the different groups.
987 *
988 * This function acquires the task's rq lock to lock out concurrent
989 * changes to the task's scheduling state and - in case the task is
990 * running - concurrent changes to its stall state.
991 */
992void cgroup_move_task(struct task_struct *task, struct css_set *to)
993{
Johannes Weinerd583d362021-05-03 13:49:17 -0400994 unsigned int task_flags;
Johannes Weiner2ce71352018-10-26 15:06:31 -0700995 struct rq_flags rf;
996 struct rq *rq;
997
Johannes Weinere0c27442018-11-30 14:09:58 -0800998 if (static_branch_likely(&psi_disabled)) {
Olof Johansson8fcb2312018-11-16 15:08:00 -0800999 /*
1000 * Lame to do this here, but the scheduler cannot be locked
1001 * from the outside, so we move cgroups from inside sched/.
1002 */
1003 rcu_assign_pointer(task->cgroups, to);
1004 return;
Johannes Weiner2ce71352018-10-26 15:06:31 -07001005 }
1006
Olof Johansson8fcb2312018-11-16 15:08:00 -08001007 rq = task_rq_lock(task, &rf);
1008
Johannes Weinerd583d362021-05-03 13:49:17 -04001009 /*
1010 * We may race with schedule() dropping the rq lock between
1011 * deactivating prev and switching to next. Because the psi
1012 * updates from the deactivation are deferred to the switch
1013 * callback to save cgroup tree updates, the task's scheduling
1014 * state here is not coherent with its psi state:
1015 *
1016 * schedule() cgroup_move_task()
1017 * rq_lock()
1018 * deactivate_task()
1019 * p->on_rq = 0
1020 * psi_dequeue() // defers TSK_RUNNING & TSK_IOWAIT updates
1021 * pick_next_task()
1022 * rq_unlock()
1023 * rq_lock()
1024 * psi_task_change() // old cgroup
1025 * task->cgroups = to
1026 * psi_task_change() // new cgroup
1027 * rq_unlock()
1028 * rq_lock()
1029 * psi_sched_switch() // does deferred updates in new cgroup
1030 *
1031 * Don't rely on the scheduling state. Use psi_flags instead.
1032 */
1033 task_flags = task->psi_flags;
Olof Johansson8fcb2312018-11-16 15:08:00 -08001034
1035 if (task_flags)
1036 psi_task_change(task, task_flags, 0);
1037
1038 /* See comment above */
Johannes Weiner2ce71352018-10-26 15:06:31 -07001039 rcu_assign_pointer(task->cgroups, to);
1040
Olof Johansson8fcb2312018-11-16 15:08:00 -08001041 if (task_flags)
1042 psi_task_change(task, 0, task_flags);
Johannes Weiner2ce71352018-10-26 15:06:31 -07001043
Olof Johansson8fcb2312018-11-16 15:08:00 -08001044 task_rq_unlock(rq, task, &rf);
Johannes Weiner2ce71352018-10-26 15:06:31 -07001045}
1046#endif /* CONFIG_CGROUPS */
1047
1048int psi_show(struct seq_file *m, struct psi_group *group, enum psi_res res)
Johannes Weinereb414682018-10-26 15:06:27 -07001049{
1050 int full;
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -07001051 u64 now;
Johannes Weinereb414682018-10-26 15:06:27 -07001052
Johannes Weinere0c27442018-11-30 14:09:58 -08001053 if (static_branch_likely(&psi_disabled))
Johannes Weinereb414682018-10-26 15:06:27 -07001054 return -EOPNOTSUPP;
1055
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -07001056 /* Update averages before reporting them */
1057 mutex_lock(&group->avgs_lock);
1058 now = sched_clock();
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001059 collect_percpu_times(group, PSI_AVGS, NULL);
Suren Baghdasaryan7fc70a32019-05-14 15:41:06 -07001060 if (now >= group->avg_next_update)
1061 group->avg_next_update = update_averages(group, now);
1062 mutex_unlock(&group->avgs_lock);
Johannes Weinereb414682018-10-26 15:06:27 -07001063
Chengming Zhoue7fcd762021-03-03 11:46:56 +08001064 for (full = 0; full < 2; full++) {
Johannes Weinereb414682018-10-26 15:06:27 -07001065 unsigned long avg[3];
1066 u64 total;
1067 int w;
1068
1069 for (w = 0; w < 3; w++)
1070 avg[w] = group->avg[res * 2 + full][w];
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001071 total = div_u64(group->total[PSI_AVGS][res * 2 + full],
1072 NSEC_PER_USEC);
Johannes Weinereb414682018-10-26 15:06:27 -07001073
1074 seq_printf(m, "%s avg10=%lu.%02lu avg60=%lu.%02lu avg300=%lu.%02lu total=%llu\n",
1075 full ? "full" : "some",
1076 LOAD_INT(avg[0]), LOAD_FRAC(avg[0]),
1077 LOAD_INT(avg[1]), LOAD_FRAC(avg[1]),
1078 LOAD_INT(avg[2]), LOAD_FRAC(avg[2]),
1079 total);
1080 }
1081
1082 return 0;
1083}
1084
1085static int psi_io_show(struct seq_file *m, void *v)
1086{
1087 return psi_show(m, &psi_system, PSI_IO);
1088}
1089
1090static int psi_memory_show(struct seq_file *m, void *v)
1091{
1092 return psi_show(m, &psi_system, PSI_MEM);
1093}
1094
1095static int psi_cpu_show(struct seq_file *m, void *v)
1096{
1097 return psi_show(m, &psi_system, PSI_CPU);
1098}
1099
Josh Hunt6db12ee2021-04-01 22:58:33 -04001100static int psi_open(struct file *file, int (*psi_show)(struct seq_file *, void *))
1101{
1102 if (file->f_mode & FMODE_WRITE && !capable(CAP_SYS_RESOURCE))
1103 return -EPERM;
1104
1105 return single_open(file, psi_show, NULL);
1106}
1107
Johannes Weinereb414682018-10-26 15:06:27 -07001108static int psi_io_open(struct inode *inode, struct file *file)
1109{
Josh Hunt6db12ee2021-04-01 22:58:33 -04001110 return psi_open(file, psi_io_show);
Johannes Weinereb414682018-10-26 15:06:27 -07001111}
1112
1113static int psi_memory_open(struct inode *inode, struct file *file)
1114{
Josh Hunt6db12ee2021-04-01 22:58:33 -04001115 return psi_open(file, psi_memory_show);
Johannes Weinereb414682018-10-26 15:06:27 -07001116}
1117
1118static int psi_cpu_open(struct inode *inode, struct file *file)
1119{
Josh Hunt6db12ee2021-04-01 22:58:33 -04001120 return psi_open(file, psi_cpu_show);
Johannes Weinereb414682018-10-26 15:06:27 -07001121}
1122
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001123struct psi_trigger *psi_trigger_create(struct psi_group *group,
1124 char *buf, size_t nbytes, enum psi_res res)
1125{
1126 struct psi_trigger *t;
1127 enum psi_states state;
1128 u32 threshold_us;
1129 u32 window_us;
1130
1131 if (static_branch_likely(&psi_disabled))
1132 return ERR_PTR(-EOPNOTSUPP);
1133
1134 if (sscanf(buf, "some %u %u", &threshold_us, &window_us) == 2)
1135 state = PSI_IO_SOME + res * 2;
1136 else if (sscanf(buf, "full %u %u", &threshold_us, &window_us) == 2)
1137 state = PSI_IO_FULL + res * 2;
1138 else
1139 return ERR_PTR(-EINVAL);
1140
1141 if (state >= PSI_NONIDLE)
1142 return ERR_PTR(-EINVAL);
1143
1144 if (window_us < WINDOW_MIN_US ||
1145 window_us > WINDOW_MAX_US)
1146 return ERR_PTR(-EINVAL);
1147
1148 /* Check threshold */
1149 if (threshold_us == 0 || threshold_us > window_us)
1150 return ERR_PTR(-EINVAL);
1151
1152 t = kmalloc(sizeof(*t), GFP_KERNEL);
1153 if (!t)
1154 return ERR_PTR(-ENOMEM);
1155
1156 t->group = group;
1157 t->state = state;
1158 t->threshold = threshold_us * NSEC_PER_USEC;
1159 t->win.size = window_us * NSEC_PER_USEC;
1160 window_reset(&t->win, 0, 0, 0);
1161
1162 t->event = 0;
1163 t->last_event_time = 0;
1164 init_waitqueue_head(&t->event_wait);
1165 kref_init(&t->refcount);
1166
1167 mutex_lock(&group->trigger_lock);
1168
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001169 if (!rcu_access_pointer(group->poll_task)) {
1170 struct task_struct *task;
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001171
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001172 task = kthread_create(psi_poll_worker, group, "psimon");
1173 if (IS_ERR(task)) {
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001174 kfree(t);
1175 mutex_unlock(&group->trigger_lock);
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001176 return ERR_CAST(task);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001177 }
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001178 atomic_set(&group->poll_wakeup, 0);
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001179 wake_up_process(task);
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001180 rcu_assign_pointer(group->poll_task, task);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001181 }
1182
1183 list_add(&t->node, &group->triggers);
1184 group->poll_min_period = min(group->poll_min_period,
1185 div_u64(t->win.size, UPDATES_PER_WINDOW));
1186 group->nr_triggers[t->state]++;
1187 group->poll_states |= (1 << t->state);
1188
1189 mutex_unlock(&group->trigger_lock);
1190
1191 return t;
1192}
1193
1194static void psi_trigger_destroy(struct kref *ref)
1195{
1196 struct psi_trigger *t = container_of(ref, struct psi_trigger, refcount);
1197 struct psi_group *group = t->group;
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001198 struct task_struct *task_to_destroy = NULL;
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001199
1200 if (static_branch_likely(&psi_disabled))
1201 return;
1202
1203 /*
1204 * Wakeup waiters to stop polling. Can happen if cgroup is deleted
1205 * from under a polling process.
1206 */
1207 wake_up_interruptible(&t->event_wait);
1208
1209 mutex_lock(&group->trigger_lock);
1210
1211 if (!list_empty(&t->node)) {
1212 struct psi_trigger *tmp;
1213 u64 period = ULLONG_MAX;
1214
1215 list_del(&t->node);
1216 group->nr_triggers[t->state]--;
1217 if (!group->nr_triggers[t->state])
1218 group->poll_states &= ~(1 << t->state);
1219 /* reset min update period for the remaining triggers */
1220 list_for_each_entry(tmp, &group->triggers, node)
1221 period = min(period, div_u64(tmp->win.size,
1222 UPDATES_PER_WINDOW));
1223 group->poll_min_period = period;
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001224 /* Destroy poll_task when the last trigger is destroyed */
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001225 if (group->poll_states == 0) {
1226 group->polling_until = 0;
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001227 task_to_destroy = rcu_dereference_protected(
1228 group->poll_task,
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001229 lockdep_is_held(&group->trigger_lock));
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001230 rcu_assign_pointer(group->poll_task, NULL);
Zhaoyang Huang8f91efd2021-06-11 08:29:34 +08001231 del_timer(&group->poll_timer);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001232 }
1233 }
1234
1235 mutex_unlock(&group->trigger_lock);
1236
1237 /*
1238 * Wait for both *trigger_ptr from psi_trigger_replace and
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001239 * poll_task RCUs to complete their read-side critical sections
1240 * before destroying the trigger and optionally the poll_task
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001241 */
1242 synchronize_rcu();
1243 /*
Zhaoyang Huang8f91efd2021-06-11 08:29:34 +08001244 * Stop kthread 'psimon' after releasing trigger_lock to prevent a
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001245 * deadlock while waiting for psi_poll_work to acquire trigger_lock
1246 */
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001247 if (task_to_destroy) {
Jason Xing7b2b55d2019-08-24 17:54:53 -07001248 /*
1249 * After the RCU grace period has expired, the worker
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001250 * can no longer be found through group->poll_task.
Jason Xing7b2b55d2019-08-24 17:54:53 -07001251 */
Suren Baghdasaryan461daba2020-05-28 12:54:42 -07001252 kthread_stop(task_to_destroy);
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001253 }
1254 kfree(t);
1255}
1256
1257void psi_trigger_replace(void **trigger_ptr, struct psi_trigger *new)
1258{
1259 struct psi_trigger *old = *trigger_ptr;
1260
1261 if (static_branch_likely(&psi_disabled))
1262 return;
1263
1264 rcu_assign_pointer(*trigger_ptr, new);
1265 if (old)
1266 kref_put(&old->refcount, psi_trigger_destroy);
1267}
1268
1269__poll_t psi_trigger_poll(void **trigger_ptr,
1270 struct file *file, poll_table *wait)
1271{
1272 __poll_t ret = DEFAULT_POLLMASK;
1273 struct psi_trigger *t;
1274
1275 if (static_branch_likely(&psi_disabled))
1276 return DEFAULT_POLLMASK | EPOLLERR | EPOLLPRI;
1277
1278 rcu_read_lock();
1279
1280 t = rcu_dereference(*(void __rcu __force **)trigger_ptr);
1281 if (!t) {
1282 rcu_read_unlock();
1283 return DEFAULT_POLLMASK | EPOLLERR | EPOLLPRI;
1284 }
1285 kref_get(&t->refcount);
1286
1287 rcu_read_unlock();
1288
1289 poll_wait(file, &t->event_wait, wait);
1290
1291 if (cmpxchg(&t->event, 1, 0) == 1)
1292 ret |= EPOLLPRI;
1293
1294 kref_put(&t->refcount, psi_trigger_destroy);
1295
1296 return ret;
1297}
1298
1299static ssize_t psi_write(struct file *file, const char __user *user_buf,
1300 size_t nbytes, enum psi_res res)
1301{
1302 char buf[32];
1303 size_t buf_size;
1304 struct seq_file *seq;
1305 struct psi_trigger *new;
1306
1307 if (static_branch_likely(&psi_disabled))
1308 return -EOPNOTSUPP;
1309
Suren Baghdasaryan6fcca0f2020-02-03 13:22:16 -08001310 if (!nbytes)
1311 return -EINVAL;
1312
Miles Chen4adcdce2019-09-12 18:34:52 +08001313 buf_size = min(nbytes, sizeof(buf));
Suren Baghdasaryan0e946822019-05-14 15:41:15 -07001314 if (copy_from_user(buf, user_buf, buf_size))
1315 return -EFAULT;
1316
1317 buf[buf_size - 1] = '\0';
1318
1319 new = psi_trigger_create(&psi_system, buf, nbytes, res);
1320 if (IS_ERR(new))
1321 return PTR_ERR(new);
1322
1323 seq = file->private_data;
1324 /* Take seq->lock to protect seq->private from concurrent writes */
1325 mutex_lock(&seq->lock);
1326 psi_trigger_replace(&seq->private, new);
1327 mutex_unlock(&seq->lock);
1328
1329 return nbytes;
1330}
1331
1332static ssize_t psi_io_write(struct file *file, const char __user *user_buf,
1333 size_t nbytes, loff_t *ppos)
1334{
1335 return psi_write(file, user_buf, nbytes, PSI_IO);
1336}
1337
1338static ssize_t psi_memory_write(struct file *file, const char __user *user_buf,
1339 size_t nbytes, loff_t *ppos)
1340{
1341 return psi_write(file, user_buf, nbytes, PSI_MEM);
1342}
1343
1344static ssize_t psi_cpu_write(struct file *file, const char __user *user_buf,
1345 size_t nbytes, loff_t *ppos)
1346{
1347 return psi_write(file, user_buf, nbytes, PSI_CPU);
1348}
1349
1350static __poll_t psi_fop_poll(struct file *file, poll_table *wait)
1351{
1352 struct seq_file *seq = file->private_data;
1353
1354 return psi_trigger_poll(&seq->private, file, wait);
1355}
1356
1357static int psi_fop_release(struct inode *inode, struct file *file)
1358{
1359 struct seq_file *seq = file->private_data;
1360
1361 psi_trigger_replace(&seq->private, NULL);
1362 return single_release(inode, file);
1363}
1364
Alexey Dobriyan97a32532020-02-03 17:37:17 -08001365static const struct proc_ops psi_io_proc_ops = {
1366 .proc_open = psi_io_open,
1367 .proc_read = seq_read,
1368 .proc_lseek = seq_lseek,
1369 .proc_write = psi_io_write,
1370 .proc_poll = psi_fop_poll,
1371 .proc_release = psi_fop_release,
Johannes Weinereb414682018-10-26 15:06:27 -07001372};
1373
Alexey Dobriyan97a32532020-02-03 17:37:17 -08001374static const struct proc_ops psi_memory_proc_ops = {
1375 .proc_open = psi_memory_open,
1376 .proc_read = seq_read,
1377 .proc_lseek = seq_lseek,
1378 .proc_write = psi_memory_write,
1379 .proc_poll = psi_fop_poll,
1380 .proc_release = psi_fop_release,
Johannes Weinereb414682018-10-26 15:06:27 -07001381};
1382
Alexey Dobriyan97a32532020-02-03 17:37:17 -08001383static const struct proc_ops psi_cpu_proc_ops = {
1384 .proc_open = psi_cpu_open,
1385 .proc_read = seq_read,
1386 .proc_lseek = seq_lseek,
1387 .proc_write = psi_cpu_write,
1388 .proc_poll = psi_fop_poll,
1389 .proc_release = psi_fop_release,
Johannes Weinereb414682018-10-26 15:06:27 -07001390};
1391
1392static int __init psi_proc_init(void)
1393{
Wang Long3d817682019-12-18 20:38:18 +08001394 if (psi_enable) {
1395 proc_mkdir("pressure", NULL);
Josh Hunt6db12ee2021-04-01 22:58:33 -04001396 proc_create("pressure/io", 0666, NULL, &psi_io_proc_ops);
1397 proc_create("pressure/memory", 0666, NULL, &psi_memory_proc_ops);
1398 proc_create("pressure/cpu", 0666, NULL, &psi_cpu_proc_ops);
Wang Long3d817682019-12-18 20:38:18 +08001399 }
Johannes Weinereb414682018-10-26 15:06:27 -07001400 return 0;
1401}
1402module_init(psi_proc_init);