2013-11-07 21:43:47 +08:00
|
|
|
/*
|
|
|
|
* kernel/sched/cpudl.c
|
|
|
|
*
|
|
|
|
* Global CPU deadline management
|
|
|
|
*
|
|
|
|
* Author: Juri Lelli <j.lelli@sssup.it>
|
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU General Public License
|
|
|
|
* as published by the Free Software Foundation; version 2
|
|
|
|
* of the License.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <linux/gfp.h>
|
|
|
|
#include <linux/kernel.h>
|
2014-05-14 22:13:56 +08:00
|
|
|
#include <linux/slab.h>
|
2013-11-07 21:43:47 +08:00
|
|
|
#include "cpudeadline.h"
|
|
|
|
|
|
|
|
static inline int parent(int i)
|
|
|
|
{
|
|
|
|
return (i - 1) >> 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline int left_child(int i)
|
|
|
|
{
|
|
|
|
return (i << 1) + 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline int right_child(int i)
|
|
|
|
{
|
|
|
|
return (i << 1) + 2;
|
|
|
|
}
|
|
|
|
|
2016-08-14 22:27:06 +08:00
|
|
|
static void cpudl_heapify_down(struct cpudl *cp, int idx)
|
2013-11-07 21:43:47 +08:00
|
|
|
{
|
|
|
|
int l, r, largest;
|
|
|
|
|
2016-08-14 22:27:07 +08:00
|
|
|
int orig_cpu = cp->elements[idx].cpu;
|
|
|
|
u64 orig_dl = cp->elements[idx].dl;
|
|
|
|
|
|
|
|
if (left_child(idx) >= cp->size)
|
|
|
|
return;
|
|
|
|
|
2013-11-07 21:43:47 +08:00
|
|
|
/* adapted from lib/prio_heap.c */
|
|
|
|
while(1) {
|
2016-08-14 22:27:07 +08:00
|
|
|
u64 largest_dl;
|
2013-11-07 21:43:47 +08:00
|
|
|
l = left_child(idx);
|
|
|
|
r = right_child(idx);
|
|
|
|
largest = idx;
|
2016-08-14 22:27:07 +08:00
|
|
|
largest_dl = orig_dl;
|
2013-11-07 21:43:47 +08:00
|
|
|
|
2016-08-14 22:27:07 +08:00
|
|
|
if ((l < cp->size) && dl_time_before(orig_dl,
|
|
|
|
cp->elements[l].dl)) {
|
2013-11-07 21:43:47 +08:00
|
|
|
largest = l;
|
2016-08-14 22:27:07 +08:00
|
|
|
largest_dl = cp->elements[l].dl;
|
|
|
|
}
|
|
|
|
if ((r < cp->size) && dl_time_before(largest_dl,
|
|
|
|
cp->elements[r].dl))
|
2013-11-07 21:43:47 +08:00
|
|
|
largest = r;
|
2016-08-14 22:27:07 +08:00
|
|
|
|
2013-11-07 21:43:47 +08:00
|
|
|
if (largest == idx)
|
|
|
|
break;
|
|
|
|
|
2016-08-14 22:27:07 +08:00
|
|
|
/* pull largest child onto idx */
|
|
|
|
cp->elements[idx].cpu = cp->elements[largest].cpu;
|
|
|
|
cp->elements[idx].dl = cp->elements[largest].dl;
|
|
|
|
cp->elements[cp->elements[idx].cpu].idx = idx;
|
2013-11-07 21:43:47 +08:00
|
|
|
idx = largest;
|
|
|
|
}
|
2016-08-14 22:27:07 +08:00
|
|
|
/* actual push down of saved original values orig_* */
|
|
|
|
cp->elements[idx].cpu = orig_cpu;
|
|
|
|
cp->elements[idx].dl = orig_dl;
|
|
|
|
cp->elements[cp->elements[idx].cpu].idx = idx;
|
2013-11-07 21:43:47 +08:00
|
|
|
}
|
|
|
|
|
2016-08-14 22:27:06 +08:00
|
|
|
static void cpudl_heapify_up(struct cpudl *cp, int idx)
|
2013-11-07 21:43:47 +08:00
|
|
|
{
|
2016-08-14 22:27:07 +08:00
|
|
|
int p;
|
|
|
|
|
|
|
|
int orig_cpu = cp->elements[idx].cpu;
|
|
|
|
u64 orig_dl = cp->elements[idx].dl;
|
|
|
|
|
|
|
|
if (idx == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
do {
|
|
|
|
p = parent(idx);
|
|
|
|
if (dl_time_before(orig_dl, cp->elements[p].dl))
|
|
|
|
break;
|
|
|
|
/* pull parent onto idx */
|
|
|
|
cp->elements[idx].cpu = cp->elements[p].cpu;
|
|
|
|
cp->elements[idx].dl = cp->elements[p].dl;
|
|
|
|
cp->elements[cp->elements[idx].cpu].idx = idx;
|
|
|
|
idx = p;
|
|
|
|
} while (idx != 0);
|
|
|
|
/* actual push up of saved original values orig_* */
|
|
|
|
cp->elements[idx].cpu = orig_cpu;
|
|
|
|
cp->elements[idx].dl = orig_dl;
|
|
|
|
cp->elements[cp->elements[idx].cpu].idx = idx;
|
2013-11-07 21:43:47 +08:00
|
|
|
}
|
|
|
|
|
2016-08-14 22:27:06 +08:00
|
|
|
static void cpudl_heapify(struct cpudl *cp, int idx)
|
|
|
|
{
|
|
|
|
if (idx > 0 && dl_time_before(cp->elements[parent(idx)].dl,
|
|
|
|
cp->elements[idx].dl))
|
|
|
|
cpudl_heapify_up(cp, idx);
|
|
|
|
else
|
|
|
|
cpudl_heapify_down(cp, idx);
|
|
|
|
}
|
|
|
|
|
2013-11-07 21:43:47 +08:00
|
|
|
static inline int cpudl_maximum(struct cpudl *cp)
|
|
|
|
{
|
|
|
|
return cp->elements[0].cpu;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* cpudl_find - find the best (later-dl) CPU in the system
|
|
|
|
* @cp: the cpudl max-heap context
|
|
|
|
* @p: the task
|
|
|
|
* @later_mask: a mask to fill in with the selected CPUs (or NULL)
|
|
|
|
*
|
|
|
|
* Returns: int - best CPU (heap maximum if suitable)
|
|
|
|
*/
|
|
|
|
int cpudl_find(struct cpudl *cp, struct task_struct *p,
|
|
|
|
struct cpumask *later_mask)
|
|
|
|
{
|
|
|
|
int best_cpu = -1;
|
|
|
|
const struct sched_dl_entity *dl_se = &p->dl;
|
|
|
|
|
2015-01-19 12:49:36 +08:00
|
|
|
if (later_mask &&
|
2017-02-05 22:38:10 +08:00
|
|
|
cpumask_and(later_mask, cp->free_cpus, &p->cpus_allowed)) {
|
2013-11-07 21:43:47 +08:00
|
|
|
best_cpu = cpumask_any(later_mask);
|
|
|
|
goto out;
|
2017-02-05 22:38:10 +08:00
|
|
|
} else if (cpumask_test_cpu(cpudl_maximum(cp), &p->cpus_allowed) &&
|
2013-11-07 21:43:47 +08:00
|
|
|
dl_time_before(dl_se->deadline, cp->elements[0].dl)) {
|
|
|
|
best_cpu = cpudl_maximum(cp);
|
|
|
|
if (later_mask)
|
|
|
|
cpumask_set_cpu(best_cpu, later_mask);
|
|
|
|
}
|
|
|
|
|
|
|
|
out:
|
2014-02-24 18:47:12 +08:00
|
|
|
WARN_ON(best_cpu != -1 && !cpu_present(best_cpu));
|
2013-11-07 21:43:47 +08:00
|
|
|
|
|
|
|
return best_cpu;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
sched/deadline: Split cpudl_set() into cpudl_set() and cpudl_clear()
These 2 exercise independent code paths and need different arguments.
After this change, you call:
cpudl_clear(cp, cpu);
cpudl_set(cp, cpu, dl);
instead of:
cpudl_set(cp, cpu, 0 /* dl */, 0 /* is_valid */);
cpudl_set(cp, cpu, dl, 1 /* is_valid */);
Signed-off-by: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Luca Abeni <luca.abeni@unitn.it>
Reviewed-by: Juri Lelli <juri.lelli@arm.com>
Cc: Juri Lelli <juri.lelli@gmail.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-dl@retis.sssup.it
Link: http://lkml.kernel.org/r/1471184828-12644-4-git-send-email-tommaso.cucinotta@sssup.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
2016-08-14 22:27:08 +08:00
|
|
|
* cpudl_clear - remove a cpu from the cpudl max-heap
|
2013-11-07 21:43:47 +08:00
|
|
|
* @cp: the cpudl max-heap context
|
|
|
|
* @cpu: the target cpu
|
|
|
|
*
|
|
|
|
* Notes: assumes cpu_rq(cpu)->lock is locked
|
|
|
|
*
|
|
|
|
* Returns: (void)
|
|
|
|
*/
|
sched/deadline: Split cpudl_set() into cpudl_set() and cpudl_clear()
These 2 exercise independent code paths and need different arguments.
After this change, you call:
cpudl_clear(cp, cpu);
cpudl_set(cp, cpu, dl);
instead of:
cpudl_set(cp, cpu, 0 /* dl */, 0 /* is_valid */);
cpudl_set(cp, cpu, dl, 1 /* is_valid */);
Signed-off-by: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Luca Abeni <luca.abeni@unitn.it>
Reviewed-by: Juri Lelli <juri.lelli@arm.com>
Cc: Juri Lelli <juri.lelli@gmail.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-dl@retis.sssup.it
Link: http://lkml.kernel.org/r/1471184828-12644-4-git-send-email-tommaso.cucinotta@sssup.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
2016-08-14 22:27:08 +08:00
|
|
|
void cpudl_clear(struct cpudl *cp, int cpu)
|
2013-11-07 21:43:47 +08:00
|
|
|
{
|
|
|
|
int old_idx, new_cpu;
|
|
|
|
unsigned long flags;
|
|
|
|
|
2014-02-17 22:12:33 +08:00
|
|
|
WARN_ON(!cpu_present(cpu));
|
2013-11-07 21:43:47 +08:00
|
|
|
|
|
|
|
raw_spin_lock_irqsave(&cp->lock, flags);
|
sched/deadline: Split cpudl_set() into cpudl_set() and cpudl_clear()
These 2 exercise independent code paths and need different arguments.
After this change, you call:
cpudl_clear(cp, cpu);
cpudl_set(cp, cpu, dl);
instead of:
cpudl_set(cp, cpu, 0 /* dl */, 0 /* is_valid */);
cpudl_set(cp, cpu, dl, 1 /* is_valid */);
Signed-off-by: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Luca Abeni <luca.abeni@unitn.it>
Reviewed-by: Juri Lelli <juri.lelli@arm.com>
Cc: Juri Lelli <juri.lelli@gmail.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-dl@retis.sssup.it
Link: http://lkml.kernel.org/r/1471184828-12644-4-git-send-email-tommaso.cucinotta@sssup.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
2016-08-14 22:27:08 +08:00
|
|
|
|
2014-05-14 22:13:56 +08:00
|
|
|
old_idx = cp->elements[cpu].idx;
|
sched/deadline: Split cpudl_set() into cpudl_set() and cpudl_clear()
These 2 exercise independent code paths and need different arguments.
After this change, you call:
cpudl_clear(cp, cpu);
cpudl_set(cp, cpu, dl);
instead of:
cpudl_set(cp, cpu, 0 /* dl */, 0 /* is_valid */);
cpudl_set(cp, cpu, dl, 1 /* is_valid */);
Signed-off-by: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Luca Abeni <luca.abeni@unitn.it>
Reviewed-by: Juri Lelli <juri.lelli@arm.com>
Cc: Juri Lelli <juri.lelli@gmail.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-dl@retis.sssup.it
Link: http://lkml.kernel.org/r/1471184828-12644-4-git-send-email-tommaso.cucinotta@sssup.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
2016-08-14 22:27:08 +08:00
|
|
|
if (old_idx == IDX_INVALID) {
|
|
|
|
/*
|
|
|
|
* Nothing to remove if old_idx was invalid.
|
|
|
|
* This could happen if a rq_offline_dl is
|
|
|
|
* called for a CPU without -dl tasks running.
|
|
|
|
*/
|
|
|
|
} else {
|
2013-11-07 21:43:47 +08:00
|
|
|
new_cpu = cp->elements[cp->size - 1].cpu;
|
|
|
|
cp->elements[old_idx].dl = cp->elements[cp->size - 1].dl;
|
|
|
|
cp->elements[old_idx].cpu = new_cpu;
|
|
|
|
cp->size--;
|
2014-05-14 22:13:56 +08:00
|
|
|
cp->elements[new_cpu].idx = old_idx;
|
|
|
|
cp->elements[cpu].idx = IDX_INVALID;
|
2016-08-14 22:27:06 +08:00
|
|
|
cpudl_heapify(cp, old_idx);
|
2013-11-07 21:43:47 +08:00
|
|
|
|
sched/deadline: Split cpudl_set() into cpudl_set() and cpudl_clear()
These 2 exercise independent code paths and need different arguments.
After this change, you call:
cpudl_clear(cp, cpu);
cpudl_set(cp, cpu, dl);
instead of:
cpudl_set(cp, cpu, 0 /* dl */, 0 /* is_valid */);
cpudl_set(cp, cpu, dl, 1 /* is_valid */);
Signed-off-by: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Luca Abeni <luca.abeni@unitn.it>
Reviewed-by: Juri Lelli <juri.lelli@arm.com>
Cc: Juri Lelli <juri.lelli@gmail.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-dl@retis.sssup.it
Link: http://lkml.kernel.org/r/1471184828-12644-4-git-send-email-tommaso.cucinotta@sssup.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
2016-08-14 22:27:08 +08:00
|
|
|
cpumask_set_cpu(cpu, cp->free_cpus);
|
2013-11-07 21:43:47 +08:00
|
|
|
}
|
sched/deadline: Split cpudl_set() into cpudl_set() and cpudl_clear()
These 2 exercise independent code paths and need different arguments.
After this change, you call:
cpudl_clear(cp, cpu);
cpudl_set(cp, cpu, dl);
instead of:
cpudl_set(cp, cpu, 0 /* dl */, 0 /* is_valid */);
cpudl_set(cp, cpu, dl, 1 /* is_valid */);
Signed-off-by: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Luca Abeni <luca.abeni@unitn.it>
Reviewed-by: Juri Lelli <juri.lelli@arm.com>
Cc: Juri Lelli <juri.lelli@gmail.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-dl@retis.sssup.it
Link: http://lkml.kernel.org/r/1471184828-12644-4-git-send-email-tommaso.cucinotta@sssup.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
2016-08-14 22:27:08 +08:00
|
|
|
raw_spin_unlock_irqrestore(&cp->lock, flags);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* cpudl_set - update the cpudl max-heap
|
|
|
|
* @cp: the cpudl max-heap context
|
|
|
|
* @cpu: the target cpu
|
|
|
|
* @dl: the new earliest deadline for this cpu
|
|
|
|
*
|
|
|
|
* Notes: assumes cpu_rq(cpu)->lock is locked
|
|
|
|
*
|
|
|
|
* Returns: (void)
|
|
|
|
*/
|
|
|
|
void cpudl_set(struct cpudl *cp, int cpu, u64 dl)
|
|
|
|
{
|
|
|
|
int old_idx;
|
|
|
|
unsigned long flags;
|
|
|
|
|
|
|
|
WARN_ON(!cpu_present(cpu));
|
2013-11-07 21:43:47 +08:00
|
|
|
|
sched/deadline: Split cpudl_set() into cpudl_set() and cpudl_clear()
These 2 exercise independent code paths and need different arguments.
After this change, you call:
cpudl_clear(cp, cpu);
cpudl_set(cp, cpu, dl);
instead of:
cpudl_set(cp, cpu, 0 /* dl */, 0 /* is_valid */);
cpudl_set(cp, cpu, dl, 1 /* is_valid */);
Signed-off-by: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Luca Abeni <luca.abeni@unitn.it>
Reviewed-by: Juri Lelli <juri.lelli@arm.com>
Cc: Juri Lelli <juri.lelli@gmail.com>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-dl@retis.sssup.it
Link: http://lkml.kernel.org/r/1471184828-12644-4-git-send-email-tommaso.cucinotta@sssup.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
2016-08-14 22:27:08 +08:00
|
|
|
raw_spin_lock_irqsave(&cp->lock, flags);
|
|
|
|
|
|
|
|
old_idx = cp->elements[cpu].idx;
|
2013-11-07 21:43:47 +08:00
|
|
|
if (old_idx == IDX_INVALID) {
|
2016-08-14 22:27:06 +08:00
|
|
|
int new_idx = cp->size++;
|
|
|
|
cp->elements[new_idx].dl = dl;
|
|
|
|
cp->elements[new_idx].cpu = cpu;
|
|
|
|
cp->elements[cpu].idx = new_idx;
|
|
|
|
cpudl_heapify_up(cp, new_idx);
|
2013-11-07 21:43:47 +08:00
|
|
|
cpumask_clear_cpu(cpu, cp->free_cpus);
|
|
|
|
} else {
|
2016-08-14 22:27:06 +08:00
|
|
|
cp->elements[old_idx].dl = dl;
|
|
|
|
cpudl_heapify(cp, old_idx);
|
2013-11-07 21:43:47 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
raw_spin_unlock_irqrestore(&cp->lock, flags);
|
|
|
|
}
|
|
|
|
|
2015-01-19 12:49:36 +08:00
|
|
|
/*
|
|
|
|
* cpudl_set_freecpu - Set the cpudl.free_cpus
|
|
|
|
* @cp: the cpudl max-heap context
|
|
|
|
* @cpu: rd attached cpu
|
|
|
|
*/
|
|
|
|
void cpudl_set_freecpu(struct cpudl *cp, int cpu)
|
|
|
|
{
|
|
|
|
cpumask_set_cpu(cpu, cp->free_cpus);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* cpudl_clear_freecpu - Clear the cpudl.free_cpus
|
|
|
|
* @cp: the cpudl max-heap context
|
|
|
|
* @cpu: rd attached cpu
|
|
|
|
*/
|
|
|
|
void cpudl_clear_freecpu(struct cpudl *cp, int cpu)
|
|
|
|
{
|
|
|
|
cpumask_clear_cpu(cpu, cp->free_cpus);
|
|
|
|
}
|
|
|
|
|
2013-11-07 21:43:47 +08:00
|
|
|
/*
|
|
|
|
* cpudl_init - initialize the cpudl structure
|
|
|
|
* @cp: the cpudl max-heap context
|
|
|
|
*/
|
|
|
|
int cpudl_init(struct cpudl *cp)
|
|
|
|
{
|
|
|
|
int i;
|
|
|
|
|
|
|
|
raw_spin_lock_init(&cp->lock);
|
|
|
|
cp->size = 0;
|
2014-05-14 22:13:56 +08:00
|
|
|
|
|
|
|
cp->elements = kcalloc(nr_cpu_ids,
|
|
|
|
sizeof(struct cpudl_item),
|
|
|
|
GFP_KERNEL);
|
|
|
|
if (!cp->elements)
|
|
|
|
return -ENOMEM;
|
|
|
|
|
2015-01-19 12:49:36 +08:00
|
|
|
if (!zalloc_cpumask_var(&cp->free_cpus, GFP_KERNEL)) {
|
2014-05-14 22:13:56 +08:00
|
|
|
kfree(cp->elements);
|
2013-11-07 21:43:47 +08:00
|
|
|
return -ENOMEM;
|
2014-05-14 22:13:56 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
for_each_possible_cpu(i)
|
|
|
|
cp->elements[i].idx = IDX_INVALID;
|
|
|
|
|
2013-11-07 21:43:47 +08:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* cpudl_cleanup - clean up the cpudl structure
|
|
|
|
* @cp: the cpudl max-heap context
|
|
|
|
*/
|
|
|
|
void cpudl_cleanup(struct cpudl *cp)
|
|
|
|
{
|
2014-04-17 10:05:02 +08:00
|
|
|
free_cpumask_var(cp->free_cpus);
|
2014-05-14 22:13:56 +08:00
|
|
|
kfree(cp->elements);
|
2013-11-07 21:43:47 +08:00
|
|
|
}
|