[patch 33/44] posix-cpu-timers: Make expiry checks array based

From: Thomas Gleixner
Date: Mon Aug 19 2019 - 11:47:11 EST


The expiry cache is an array indexed by clock ids. The new sample functions
allow to retrieve a corresponding array of samples.

Convert the fastpath expiry checks to make use of the new sample functions
and do the comparisons on the sample and the expiry array.

Make the check for the expiry array being zero array based as well.

Signed-off-by: Thomas Gleixner <tglx@xxxxxxxxxxxxx>
---
kernel/time/posix-cpu-timers.c | 85 +++++++++++++++++------------------------
1 file changed, 36 insertions(+), 49 deletions(-)

--- a/kernel/time/posix-cpu-timers.c
+++ b/kernel/time/posix-cpu-timers.c
@@ -32,7 +32,7 @@ static void posix_cpu_timer_rearm(struct

/*
* Called after updating RLIMIT_CPU to run cpu timer and update
- * tsk->signal->posix_cputimers.cputime_expires expiration cache if
+ * tsk->signal->posix_cputimers.expiries expiration cache if
* necessary. Needs siglock protection since other code may update
* expiration cache as well.
*/
@@ -125,19 +125,9 @@ static void bump_cpu_timer(struct k_itim
}
}

-/**
- * task_cputime_zero - Check a task_cputime struct for all zero fields.
- *
- * @cputime: The struct to compare.
- *
- * Checks @cputime to see if all fields are zero. Returns true if all fields
- * are zero, false if any field is nonzero.
- */
-static inline int task_cputime_zero(const struct task_cputime *cputime)
+static inline bool expiry_cache_is_zero(const u64 *ec)
{
- if (!cputime->utime && !cputime->stime && !cputime->sum_exec_runtime)
- return 1;
- return 0;
+ return !(ec[CPUCLOCK_PROF] | ec[CPUCLOCK_VIRT] | ec[CPUCLOCK_SCHED]);
}

static int
@@ -804,10 +794,10 @@ static void check_thread_timers(struct t
check_dl_overrun(tsk);

/*
- * If cputime_expires is zero, then there are no active
- * per thread CPU timers.
+ * If the expiry cache is zero, then there are no active per thread
+ * CPU timers.
*/
- if (task_cputime_zero(&tsk->posix_cputimers.cputime_expires))
+ if (expiry_cache_is_zero(tsk->posix_cputimers.expiries))
return;

task_cputime(tsk, &utime, &stime);
@@ -853,7 +843,7 @@ static void check_thread_timers(struct t
}
}

- if (task_cputime_zero(&tsk->posix_cputimers.cputime_expires))
+ if (expiry_cache_is_zero(tsk->posix_cputimers.expiries))
tick_dep_clear_task(tsk, TICK_DEP_BIT_POSIX_TIMER);
}

@@ -976,7 +966,7 @@ static void check_process_timers(struct
sig->posix_cputimers.expiries[CPUCLOCK_VIRT] = virt_expires;
sig->posix_cputimers.expiries[CPUCLOCK_SCHED] = sched_expires;

- if (task_cputime_zero(&sig->posix_cputimers.cputime_expires))
+ if (expiry_cache_is_zero(sig->posix_cputimers.expiries))
stop_process_timers(sig);

sig->cputimer.checking_timer = false;
@@ -1041,26 +1031,23 @@ static void posix_cpu_timer_rearm(struct
}

/**
- * task_cputime_expired - Compare two task_cputime entities.
+ * task_cputimers_expired - Compare two task_cputime entities.
*
- * @sample: The task_cputime structure to be checked for expiration.
- * @expires: Expiration times, against which @sample will be checked.
+ * @samples: Array of current samples for the CPUCLOCK clocks
+ * @expiries: Array of expiry values for the CPUCLOCK clocks
*
- * Checks @sample against @expires to see if any field of @sample has expired.
- * Returns true if any field of the former is greater than the corresponding
- * field of the latter if the latter field is set. Otherwise returns false.
+ * Returns true if any mmember of @samples is greater than the corresponding
+ * member of @expiries if that member is non zero. False otherwise
*/
-static inline int task_cputime_expired(const struct task_cputime *sample,
- const struct task_cputime *expires)
+static inline bool task_cputimers_expired(const u64 *sample, const u64 *expiries)
{
- if (expires->utime && sample->utime >= expires->utime)
- return 1;
- if (expires->stime && sample->utime + sample->stime >= expires->stime)
- return 1;
- if (expires->sum_exec_runtime != 0 &&
- sample->sum_exec_runtime >= expires->sum_exec_runtime)
- return 1;
- return 0;
+ int i;
+
+ for (i = 0; i < CPUCLOCK_MAX; i++) {
+ if (expiries[i] && sample[i] >= expiries[i])
+ return true;
+ }
+ return false;
}

/**
@@ -1073,18 +1060,17 @@ static inline int task_cputime_expired(c
* timers and compare them with the corresponding expiration times. Return
* true if a timer has expired, else return false.
*/
-static inline int fastpath_timer_check(struct task_struct *tsk)
+static inline bool fastpath_timer_check(struct task_struct *tsk)
{
+ u64 *expiries = tsk->posix_cputimers.expiries;
struct signal_struct *sig;

- if (!task_cputime_zero(&tsk->posix_cputimers.cputime_expires)) {
- struct task_cputime task_sample;
+ if (!expiry_cache_is_zero(expiries)) {
+ u64 samples[CPUCLOCK_MAX];

- task_cputime(tsk, &task_sample.utime, &task_sample.stime);
- task_sample.sum_exec_runtime = tsk->se.sum_exec_runtime;
- if (task_cputime_expired(&task_sample,
- &tsk->posix_cputimers.cputime_expires))
- return 1;
+ task_sample_cputime(tsk, samples);
+ if (task_cputimers_expired(samples, expiries))
+ return true;
}

sig = tsk->signal;
@@ -1104,19 +1090,20 @@ static inline int fastpath_timer_check(s
*/
if (READ_ONCE(sig->cputimer.running) &&
!READ_ONCE(sig->cputimer.checking_timer)) {
- struct task_cputime group_sample;
+ u64 samples[CPUCLOCK_MAX];

- sample_cputime_atomic(&group_sample, &sig->cputimer.cputime_atomic);
+ proc_sample_cputime_atomic(&sig->cputimer.cputime_atomic,
+ samples);

- if (task_cputime_expired(&group_sample,
- &sig->posix_cputimers.cputime_expires))
- return 1;
+ if (task_cputimers_expired(samples,
+ sig->posix_cputimers.expiries))
+ return true;
}

if (dl_task(tsk) && tsk->dl.dl_overrun)
- return 1;
+ return true;

- return 0;
+ return false;
}

/*